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
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
|
-- GHDL Run Time (GRT) - common types.
-- Copyright (C) 2002 - 2014 Tristan Gingold
--
-- 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>.
--
-- As a special exception, if other files instantiate generics from this
-- unit, or you link this unit with other files to produce an executable,
-- this unit does not by itself cause the resulting executable to be
-- covered by the GNU General Public License. This exception does not
-- however invalidate any other reasons why the executable file might be
-- covered by the GNU Public License.
with System; use System;
with Ada.Unchecked_Conversion;
with Grt.Types; use Grt.Types;
package Grt.Vhdl_Types is
pragma Preelaborate (Grt.Vhdl_Types);
type Ghdl_Dir_Type is (Dir_To, Dir_Downto);
for Ghdl_Dir_Type use (Dir_To => 0, Dir_Downto => 1);
for Ghdl_Dir_Type'Size use 8;
subtype Std_Integer is Ghdl_I32;
type Std_Integer_Acc is access Std_Integer;
pragma Convention (C, Std_Integer_Acc);
type Std_Time is new Ghdl_I64;
Bad_Time : constant Std_Time := Std_Time'First;
type Std_Integer_Trt is record
Left : Std_Integer;
Right : Std_Integer;
Dir : Ghdl_Dir_Type;
Length : Ghdl_Index_Type;
end record;
type Std_Integer_Range_Ptr is access Std_Integer_Trt;
pragma Convention (C, Std_Integer_Range_Ptr);
subtype Std_Character is Character;
type Std_String_Uncons is array (Ghdl_Index_Type range <>) of Std_Character;
subtype Std_String_Base is Std_String_Uncons (Ghdl_Index_Type);
type Std_String_Basep is access all Std_String_Base;
function To_Std_String_Basep is new Ada.Unchecked_Conversion
(Source => Address, Target => Std_String_Basep);
type Std_String_Bound is record
Dim_1 : Std_Integer_Trt;
end record;
type Std_String_Boundp is access all Std_String_Bound;
function To_Std_String_Boundp is new Ada.Unchecked_Conversion
(Source => Address, Target => Std_String_Boundp);
type Std_String is record
Base : Std_String_Basep;
Bounds : Std_String_Boundp;
end record;
type Std_String_Ptr is access all Std_String;
function To_Std_String_Ptr is new Ada.Unchecked_Conversion
(Source => Address, Target => Std_String_Ptr);
type Std_Bit is ('0', '1');
type Std_Bit_Vector_Uncons is array (Ghdl_Index_Type range <>) of Std_Bit;
subtype Std_Bit_Vector_Base is Std_Bit_Vector_Uncons (Ghdl_Index_Type);
type Std_Bit_Vector_Basep is access all Std_Bit_Vector_Base;
-- An unconstrained array.
-- It is in fact a fat pointer to the base and the bounds.
type Ghdl_Uc_Array is record
Base : Address;
Bounds : Address;
end record;
type Ghdl_Uc_Array_Acc is access Ghdl_Uc_Array;
function To_Ghdl_Uc_Array_Acc is new Ada.Unchecked_Conversion
(Source => Address, Target => Ghdl_Uc_Array_Acc);
-- Ranges.
type Ghdl_Range_B1 is record
Left : Ghdl_B1;
Right : Ghdl_B1;
Dir : Ghdl_Dir_Type;
Len : Ghdl_Index_Type;
end record;
type Ghdl_Range_E8 is record
Left : Ghdl_E8;
Right : Ghdl_E8;
Dir : Ghdl_Dir_Type;
Len : Ghdl_Index_Type;
end record;
type Ghdl_Range_E32 is record
Left : Ghdl_E32;
Right : Ghdl_E32;
Dir : Ghdl_Dir_Type;
Len : Ghdl_Index_Type;
end record;
type Ghdl_Range_I32 is record
Left : Ghdl_I32;
Right : Ghdl_I32;
Dir : Ghdl_Dir_Type;
Len : Ghdl_Index_Type;
end record;
type Ghdl_Range_I64 is record
Left : Ghdl_I64;
Right : Ghdl_I64;
Dir : Ghdl_Dir_Type;
Len : Ghdl_Index_Type;
end record;
type Ghdl_Range_F64 is record
Left : Ghdl_F64;
Right : Ghdl_F64;
Dir : Ghdl_Dir_Type;
end record;
type Ghdl_Range_Type (K : Mode_Type := Mode_B1) is record
case K is
when Mode_B1 =>
B1 : Ghdl_Range_B1;
when Mode_E8 =>
E8 : Ghdl_Range_E8;
when Mode_E32 =>
E32 : Ghdl_Range_E32;
when Mode_I32 =>
I32 : Ghdl_Range_I32;
when Mode_I64 =>
P64 : Ghdl_Range_I64;
when Mode_F64 =>
F64 : Ghdl_Range_F64;
end case;
end record;
pragma Unchecked_Union (Ghdl_Range_Type);
type Ghdl_Range_Ptr is access all Ghdl_Range_Type;
function To_Ghdl_Range_Ptr is new Ada.Unchecked_Conversion
(Source => Address, Target => Ghdl_Range_Ptr);
type Ghdl_Range_Array is array (Ghdl_Index_Type range <>) of Ghdl_Range_Ptr;
-- The NOW value.
Current_Time : Std_Time;
-- The current delta cycle number.
Current_Delta : Integer;
-- For AMS
Current_Time_AMS : Ghdl_F64;
private
pragma Export (C, Current_Time, "__ghdl_now");
pragma Export (C, Current_Time_AMS, "__ghdl_now_ams");
end Grt.Vhdl_Types;
|
