diff options
Diffstat (limited to 'src/vhdl/simulate/simul-annotations.ads')
| -rw-r--r-- | src/vhdl/simulate/simul-annotations.ads | 158 |
1 files changed, 0 insertions, 158 deletions
diff --git a/src/vhdl/simulate/simul-annotations.ads b/src/vhdl/simulate/simul-annotations.ads deleted file mode 100644 index 52d637907..000000000 --- a/src/vhdl/simulate/simul-annotations.ads +++ /dev/null @@ -1,158 +0,0 @@ --- Annotations for interpreted simulation --- Copyright (C) 2014 Tristan Gingold --- --- GHDL 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, or (at your option) any later --- version. --- --- GHDL 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 GHDL; see the file COPYING. If not, write to the Free --- Software Foundation, 59 Temple Place - Suite 330, Boston, MA --- 02111-1307, USA. - -with Types; use Types; -with Vhdl.Nodes; use Vhdl.Nodes; - -package Simul.Annotations is - -- If True, annotate for synthesis. - Flag_Synthesis : Boolean := False; - - type Object_Slot_Type is new Natural; - - -- This slot is not used. - Invalid_Object_Slot : constant Object_Slot_Type := 0; - - type Block_Instance_Id is new Natural; - No_Block_Instance_Id : constant Block_Instance_Id := 0; - - -- For Kind_Extra: a number. Kind_Extra is not used by annotations, and - -- is free for another pass like preelab. - type Extra_Slot_Type is new Natural; - - -- The annotation depends on the kind of the node. - type Sim_Info_Kind is - ( - Kind_Block, Kind_Process, Kind_Frame, Kind_Protected, Kind_Package, - Kind_Bit_Type, Kind_Log_Type, - Kind_E8_Type, Kind_E32_Type, Kind_I64_Type, Kind_F64_Type, - Kind_File_Type, - Kind_Object, Kind_Signal, - Kind_File, - Kind_Terminal, Kind_Quantity, - Kind_PSL, - Kind_Extra - ); - - subtype Kind_Scalar_Types is Sim_Info_Kind range - Kind_Bit_Type .. - --Kind_Log_Type - --Kind_E8_Type - --Kind_E32_Type - --Kind_I64_Type - Kind_F64_Type; - - subtype Kind_Discrete_Types is Sim_Info_Kind range - Kind_Bit_Type .. - --Kind_Log_Type - --Kind_E8_Type - --Kind_E32_Type - Kind_I64_Type; - - subtype Kind_Enum_Types is Sim_Info_Kind range - Kind_Bit_Type .. - --Kind_Log_Type - --Kind_E8_Type - Kind_E32_Type; - - type Instance_Slot_Type is new Integer; - Invalid_Instance_Slot : constant Instance_Slot_Type := -1; - - type Sim_Info_Type (Kind : Sim_Info_Kind); - type Sim_Info_Acc is access all Sim_Info_Type; - - -- Annotation for an iir node in order to be able to simulate it. - type Sim_Info_Type (Kind: Sim_Info_Kind) is record - -- Redundant, to be used only for debugging. - Ref : Iir; - - case Kind is - when Kind_Block - | Kind_Frame - | Kind_Protected - | Kind_Process - | Kind_Package => - -- Number of objects/signals. - Nbr_Objects : Object_Slot_Type; - - case Kind is - when Kind_Block => - -- Slot number in the parent (for blocks). - Inst_Slot : Instance_Slot_Type; - - -- Number of children (blocks, generate, instantiation). - Nbr_Instances : Instance_Slot_Type; - - when Kind_Package => - Pkg_Slot : Object_Slot_Type; - Pkg_Parent : Sim_Info_Acc; - - when others => - null; - end case; - - when Kind_Object - | Kind_Signal - | Kind_File - | Kind_Terminal - | Kind_Quantity - | Kind_PSL => - -- Block in which this object is declared in. - Obj_Scope : Sim_Info_Acc; - - -- Variable index in the block. - Slot: Object_Slot_Type; - - when Kind_Bit_Type - | Kind_Log_Type - | Kind_E8_Type - | Kind_E32_Type - | Kind_I64_Type - | Kind_F64_Type=> - Width : Uns32; - - when Kind_File_Type => - File_Signature : String_Acc; - - when Kind_Extra => - Extra_Slot : Extra_Slot_Type; - end case; - end record; - - -- Decorate the tree in order to be usable with the internal simulator. - procedure Annotate (Unit : Iir_Design_Unit); - - -- Disp annotations for an iir node. - procedure Disp_Vhdl_Info (Node : Iir); - procedure Disp_Tree_Info (Node : Iir); - - Global_Info : Sim_Info_Acc; - - -- Annotations are used to collect informations for elaboration and to - -- locate iir_value_literal for signals, variables or constants. - - -- Get/Set annotation fied from/to an iir. - procedure Set_Info (Target : Iir; Info : Sim_Info_Acc); - pragma Inline (Set_Info); - function Get_Info (Target : Iir) return Sim_Info_Acc; - pragma Inline (Get_Info); - - -- Expand the annotation table. This is automatically done by Annotate, - -- to be used only by debugger. - procedure Annotate_Expand_Table; -end Simul.Annotations; |