1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
-- Values in synthesis.
-- Copyright (C) 2017 Tristan Gingold
--
-- This file is part of GHDL.
--
-- This program is free software: you can redistribute it and/or modify
-- it under the terms of the GNU General Public License as published by
-- the Free Software Foundation, either version 2 of the License, or
-- (at your option) any later version.
--
-- This program is distributed in the hope that it will be useful,
-- but WITHOUT ANY WARRANTY; without even the implied warranty of
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-- GNU General Public License for more details.
--
-- You should have received a copy of the GNU General Public License
-- along with this program. If not, see <gnu.org/licenses>.
with System; use System;
with System.Storage_Elements;
package body Elab.Memtype is
function "+" (Base : Memory_Ptr; Off : Size_Type) return Memory_Ptr
is
use System.Storage_Elements;
begin
return To_Memory_Ptr (To_Address (Base) + Storage_Offset (Off));
end "+";
type Ghdl_U8_Ptr is access all Ghdl_U8;
function To_U8_Ptr is
new Ada.Unchecked_Conversion (Address, Ghdl_U8_Ptr);
procedure Write_U8 (Mem : Memory_Ptr; Val : Ghdl_U8) is
begin
To_U8_Ptr (To_Address (Mem)).all := Val;
end Write_U8;
function Read_U8 (Mem : Memory_Ptr) return Ghdl_U8 is
begin
return To_U8_Ptr (To_Address (Mem)).all;
end Read_U8;
type Char_Ptr is access all Character;
function To_Char_Ptr is new Ada.Unchecked_Conversion (Address, Char_Ptr);
function Read_Char (Mem : Memory_Ptr) return Character is
begin
return To_Char_Ptr (To_Address (Mem)).all;
end Read_Char;
procedure Write_I32 (Mem : Memory_Ptr; Val : Ghdl_I32)
is
V : Ghdl_I32;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
V := Val;
end Write_I32;
function Read_I32 (Mem : Memory_Ptr) return Ghdl_I32
is
V : Ghdl_I32;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
return V;
end Read_I32;
procedure Write_U32 (Mem : Memory_Ptr; Val : Ghdl_U32)
is
V : Ghdl_U32;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
V := Val;
end Write_U32;
function Read_U32 (Mem : Memory_Ptr) return Ghdl_U32
is
V : Ghdl_U32;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
return V;
end Read_U32;
procedure Write_I64 (Mem : Memory_Ptr; Val : Ghdl_I64)
is
V : Ghdl_I64;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
V := Val;
end Write_I64;
function Read_I64 (Mem : Memory_Ptr) return Ghdl_I64
is
V : Ghdl_I64;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
return V;
end Read_I64;
procedure Write_Fp64 (Mem : Memory_Ptr; Val : Fp64)
is
V : Fp64;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
V := Val;
end Write_Fp64;
function Read_Fp64 (Mem : Memory_Ptr) return Fp64
is
V : Fp64;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
return V;
end Read_Fp64;
procedure Write_Ptr (Mem : Memory_Ptr; Val : Memory_Ptr)
is
V : Memory_Ptr;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
V := Val;
end Write_Ptr;
function Read_Ptr (Mem : Memory_Ptr) return Memory_Ptr
is
V : Memory_Ptr;
for V'Address use To_Address (Mem);
pragma Import (Ada, V);
begin
return V;
end Read_Ptr;
end Elab.Memtype;
|
