blob: e09702e1d0a0479c9e3318f2efa71f9448c0a7b6 (
plain)
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
|
-- 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, write to the Free Software
-- Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
-- MA 02110-1301, USA.
with Synth.Environment; use Synth.Environment;
with Synth.Values; use Synth.Values;
with Simul.Annotations; use Simul.Annotations;
with Netlists; use Netlists;
with Netlists.Builders;
with Vhdl.Nodes; use Vhdl.Nodes;
package Synth.Context is
-- Values are stored into Synth_Instance, which is parallel to simulation
-- Block_Instance_Type.
type Objects_Array is array (Object_Slot_Type range <>) of Value_Acc;
type Synth_Instance_Type;
type Synth_Instance_Acc is access Synth_Instance_Type;
type Synth_Instance_Type (Max_Objs : Object_Slot_Type) is record
-- Module which owns gates created for this instance.
M : Module;
-- Name prefix for declarations.
Name : Sname;
-- The corresponding info for this instance.
Block_Scope : Sim_Info_Acc;
-- Parent instance.
Up_Block : Synth_Instance_Acc;
Elab_Objects : Object_Slot_Type;
-- Instance for synthesis.
Objects : Objects_Array (1 .. Max_Objs);
end record;
type Instance_Map_Array is array (Block_Instance_Id range <>)
of Synth_Instance_Acc;
type Instance_Map_Array_Acc is access Instance_Map_Array;
-- The instance corresponding to the global_info. It contains the global
-- packages.
Global_Instance : Synth_Instance_Acc;
-- Global context.
Build_Context : Netlists.Builders.Context_Acc;
function Get_Instance_By_Scope
(Syn_Inst: Synth_Instance_Acc; Scope: Sim_Info_Acc)
return Synth_Instance_Acc;
-- Create and free the corresponding synth instance.
function Make_Instance (Parent : Synth_Instance_Acc; Info : Sim_Info_Acc)
return Synth_Instance_Acc;
procedure Free_Instance (Synth_Inst : in out Synth_Instance_Acc);
procedure Create_Object
(Syn_Inst : Synth_Instance_Acc; Decl : Iir; Val : Value_Acc);
-- Build the value for object OBJ.
-- KIND must be Wire_Variable or Wire_Signal.
procedure Make_Object (Syn_Inst : Synth_Instance_Acc;
Kind : Wire_Kind;
Obj : Iir);
-- Get the value of OBJ.
function Get_Value (Syn_Inst : Synth_Instance_Acc; Obj : Iir)
return Value_Acc;
-- Get a net from a scalar/vector value. This will automatically create
-- a net for literals.
function Get_Net (Val : Value_Acc; Vtype : Node) return Net;
function Create_Value_Instance (Inst : Synth_Instance_Acc)
return Value_Acc;
end Synth.Context;
|
