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
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
|
-- Synthesis context.
-- 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 Types; use Types;
with Vhdl.Annotations; use Vhdl.Annotations;
with Vhdl.Nodes; use Vhdl.Nodes;
with Elab.Vhdl_Objtypes; use Elab.Vhdl_Objtypes;
with Elab.Vhdl_Values; use Elab.Vhdl_Values;
package Elab.Vhdl_Context is
-- Values are stored into Synth_Instance, which is parallel to simulation
-- Block_Instance_Type.
type Synth_Instance_Type (<>) is limited private;
type Synth_Instance_Acc is access Synth_Instance_Type;
Root_Instance : Synth_Instance_Acc;
-- Unique per instance id. Used to create parallel tables.
type Instance_Id_Type is new Natural;
First_Instance_Id : constant Instance_Id_Type := 1;
function Get_Instance_Id (Inst : Synth_Instance_Acc)
return Instance_Id_Type;
pragma Inline (Get_Instance_Id);
function Get_Instance_By_Scope
(Syn_Inst: Synth_Instance_Acc; Scope: Sim_Info_Acc)
return Synth_Instance_Acc;
-- Create the root instance (which contains the packages).
-- Assign ROOT_INSTANCE.
procedure Make_Root_Instance;
-- Free the first instance.
procedure Free_Base_Instance;
-- Create and free the corresponding synth instance.
function Make_Elab_Instance
(Parent : Synth_Instance_Acc; Blk : Node; Config : Node)
return Synth_Instance_Acc;
procedure Free_Elab_Instance (Synth_Inst : in out Synth_Instance_Acc);
function Make_Elab_Generate_Instance
(Parent : Synth_Instance_Acc; Blk : Node; Config : Node; Len : Natural)
return Synth_Instance_Acc;
function Get_Generate_Sub_Instance
(Parent : Synth_Instance_Acc; Idx : Positive) return Synth_Instance_Acc;
procedure Set_Generate_Sub_Instance
(Parent : Synth_Instance_Acc; Idx : Positive; Child : Synth_Instance_Acc);
function Is_Error (Inst : Synth_Instance_Acc) return Boolean;
pragma Inline (Is_Error);
procedure Set_Error (Inst : Synth_Instance_Acc);
function Get_Instance_Const (Inst : Synth_Instance_Acc) return Boolean;
procedure Set_Instance_Const (Inst : Synth_Instance_Acc; Val : Boolean);
-- Get the corresponding source for the scope of the instance.
function Get_Source_Scope (Inst : Synth_Instance_Acc) return Node;
procedure Set_Instance_Config (Inst : Synth_Instance_Acc; Config : Node);
function Get_Instance_Config (Inst : Synth_Instance_Acc) return Node;
procedure Set_Instance_Foreign (Inst : Synth_Instance_Acc; N : Int32);
function Get_Instance_Foreign (Inst : Synth_Instance_Acc) return Int32;
-- Add/Get extra instances.
-- Those instances are verification units.
procedure Add_Extra_Instance (Inst : Synth_Instance_Acc;
Extra : Synth_Instance_Acc);
function Get_First_Extra_Instance (Inst : Synth_Instance_Acc)
return Synth_Instance_Acc;
function Get_Next_Extra_Instance (Inst : Synth_Instance_Acc)
return Synth_Instance_Acc;
procedure Create_Object
(Syn_Inst : Synth_Instance_Acc; Decl : Node; Vt : Valtyp);
procedure Create_Signal (Syn_Inst : Synth_Instance_Acc;
Decl : Node;
Typ : Type_Acc;
Init : Value_Acc);
-- Create a sub instance: either a direct entity instantiation, or
-- a component instantiation.
procedure Create_Sub_Instance (Syn_Inst : Synth_Instance_Acc;
Stmt : Node;
Sub_Inst : Synth_Instance_Acc);
-- Create a sub instance for a component.
procedure Create_Component_Instance (Syn_Inst : Synth_Instance_Acc;
Sub_Inst : Synth_Instance_Acc);
procedure Create_Package_Object (Syn_Inst : Synth_Instance_Acc;
Decl : Node;
Inst : Synth_Instance_Acc;
Is_Global : Boolean);
function Create_Package_Instance (Parent_Inst : Synth_Instance_Acc;
Pkg : Node)
return Synth_Instance_Acc;
procedure Create_Package_Interface (Syn_Inst : Synth_Instance_Acc;
Decl : Node;
Inst : Synth_Instance_Acc);
procedure Create_Subtype_Object
(Syn_Inst : Synth_Instance_Acc; Decl : Node; Typ : Type_Acc);
-- Force the value of DECL, without checking for elaboration order.
-- It is for deferred constants.
procedure Create_Object_Force
(Syn_Inst : Synth_Instance_Acc; Decl : Node; Vt : Valtyp);
procedure Replace_Signal
(Syn_Inst : Synth_Instance_Acc; Decl : Node; Vt : Valtyp);
procedure Mutate_Object
(Syn_Inst : Synth_Instance_Acc; Decl : Node; Vt : Valtyp);
procedure Destroy_Object
(Syn_Inst : Synth_Instance_Acc; Decl : Node);
-- Get the value of OBJ.
function Get_Value (Syn_Inst : Synth_Instance_Acc; Obj : Node)
return Valtyp;
function Get_Package_Object
(Syn_Inst : Synth_Instance_Acc; Pkg : Node) return Synth_Instance_Acc;
-- Return the type for DECL (a subtype indication).
function Get_Subtype_Object
(Syn_Inst : Synth_Instance_Acc; Decl : Node) return Type_Acc;
function Get_Sub_Instance
(Syn_Inst : Synth_Instance_Acc; Stmt : Node) return Synth_Instance_Acc;
function Get_Component_Instance
(Syn_Inst : Synth_Instance_Acc) return Synth_Instance_Acc;
-- Return the scope of the parent of BLK. Deals with architecture bodies.
function Get_Parent_Scope (Blk : Node) return Sim_Info_Acc;
procedure Set_Uninstantiated_Scope
(Syn_Inst : Synth_Instance_Acc; Bod : Node);
-- For debugging purpose: update the caller of an instance.
procedure Set_Caller_Instance (Syn_Inst : Synth_Instance_Acc;
Caller : Synth_Instance_Acc);
function Get_Caller_Instance (Syn_Inst : Synth_Instance_Acc)
return Synth_Instance_Acc;
private
type Obj_Kind is
(
Obj_None,
Obj_Object,
Obj_Subtype,
Obj_Instance
);
type Obj_Type (Kind : Obj_Kind := Obj_None) is record
case Kind is
when Obj_None =>
null;
when Obj_Object =>
Obj : Valtyp;
when Obj_Subtype =>
T_Typ : Type_Acc;
when Obj_Instance =>
I_Inst : Synth_Instance_Acc;
end case;
end record;
type Objects_Array is array (Object_Slot_Type range <>) of Obj_Type;
type Synth_Instance_Type (Max_Objs : Object_Slot_Type) is limited record
Is_Const : Boolean;
-- True if a fatal error has been detected that aborts the synthesis
-- of this instance.
Is_Error : Boolean;
Id : Instance_Id_Type;
-- The corresponding info for this instance.
-- This is used for lookup.
Block_Scope : Sim_Info_Acc;
-- The corresponding info the the uninstantiated specification of
-- an instantiated package. When an object is looked for from the
-- uninstantiated body, the scope of the uninstantiated specification
-- is used. And it is different from Block_Scope.
-- This is used for lookup of uninstantiated specification.
Uninst_Scope : Sim_Info_Acc;
-- Instance of the parent scope.
Up_Block : Synth_Instance_Acc;
-- For a subprogram instance, the instance of the caller.
-- Used only fo debugging purpose.
Caller : Synth_Instance_Acc;
-- Source construct corresponding to this instance.
Source_Scope : Node;
-- Block configuration (unless the instance is for a package).
Config : Node;
Foreign : Int32;
-- Chain of verification units that applies to this one.
Extra_Units : Synth_Instance_Acc;
Extra_Link : Synth_Instance_Acc;
Elab_Objects : Object_Slot_Type;
-- Instance for synthesis.
Objects : Objects_Array (1 .. Max_Objs);
end record;
end Elab.Vhdl_Context;
|
