-- GHDL Run Time (GRT) - Run Time Informations. -- Copyright (C) 2002 - 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 GCC; see the file COPYING. If not, write to the Free -- Software Foundation, 59 Temple Place - Suite 330, Boston, MA -- 02111-1307, USA. -- -- 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 Grt.Types; use Grt.Types; with Ada.Unchecked_Conversion; package Grt.Rtis is pragma Preelaborate (Grt.Rtis); type Ghdl_Rtik is (Ghdl_Rtik_Top, Ghdl_Rtik_Library, -- use scalar Ghdl_Rtik_Package, Ghdl_Rtik_Package_Body, Ghdl_Rtik_Entity, Ghdl_Rtik_Architecture, Ghdl_Rtik_Process, Ghdl_Rtik_Block, Ghdl_Rtik_If_Generate, Ghdl_Rtik_For_Generate, Ghdl_Rtik_Generate_Body, -- 10 Ghdl_Rtik_Instance, Ghdl_Rtik_Constant, Ghdl_Rtik_Iterator, Ghdl_Rtik_Variable, Ghdl_Rtik_Signal, Ghdl_Rtik_File, Ghdl_Rtik_Port, Ghdl_Rtik_Generic, Ghdl_Rtik_Alias, Ghdl_Rtik_Guard, Ghdl_Rtik_Component, Ghdl_Rtik_Attribute, Ghdl_Rtik_Type_B1, -- Enum Ghdl_Rtik_Type_E8, Ghdl_Rtik_Type_E32, Ghdl_Rtik_Type_I32, -- Scalar Ghdl_Rtik_Type_I64, Ghdl_Rtik_Type_F64, Ghdl_Rtik_Type_P32, Ghdl_Rtik_Type_P64, Ghdl_Rtik_Type_Access, Ghdl_Rtik_Type_Array, Ghdl_Rtik_Type_Record, Ghdl_Rtik_Type_File, Ghdl_Rtik_Subtype_Scalar, Ghdl_Rtik_Subtype_Array, Ghdl_Rtik_Subtype_Unconstrained_Array, Ghdl_Rtik_Subtype_Record, Ghdl_Rtik_Subtype_Access, Ghdl_Rtik_Type_Protected, Ghdl_Rtik_Element, Ghdl_Rtik_Unit64, Ghdl_Rtik_Unitptr, Ghdl_Rtik_Attribute_Transaction, Ghdl_Rtik_Attribute_Quiet, Ghdl_Rtik_Attribute_Stable, Ghdl_Rtik_Error); for Ghdl_Rtik'Size use 8; type Ghdl_Rti_Depth is range 0 .. 255; for Ghdl_Rti_Depth'Size use 8; type Ghdl_Rti_U8 is mod 2 ** 8; for Ghdl_Rti_U8'Size use 8; -- This structure is common to all RTI nodes. type Ghdl_Rti_Common is record -- Kind of the RTI, list is above. Kind : Ghdl_Rtik; Depth : Ghdl_Rti_Depth; -- * array types and subtypes, record types, protected types: -- bit 0: set for complex type -- bit 1: set for anonymous type definition -- bit 2: set only for physical type with non-static units (time) -- * signals: -- bit 0-3: mode (1: linkage, 2: buffer, 3 : out, 4 : inout, 5: in) -- bit 4-5: kind (0 : none, 1 : register, 2 : bus) -- bit 6: set if has 'active attributes Mode : Ghdl_Rti_U8; -- * Types and subtypes definition: -- maximum depth of all RTIs referenced. -- * Others: -- 0 Max_Depth : Ghdl_Rti_Depth; end record; type Ghdl_Rti_Access is access all Ghdl_Rti_Common; -- Fat array of rti accesses. type Ghdl_Rti_Array is array (Ghdl_Index_Type) of Ghdl_Rti_Access; type Ghdl_Rti_Arr_Acc is access Ghdl_Rti_Array; subtype Ghdl_Rti_Loc is Integer_Address; Null_Rti_Loc : constant Ghdl_Rti_Loc := 0; type Ghdl_C_String_Array is array (Ghdl_Index_Type) of Ghdl_C_String; type Ghdl_C_String_Array_Ptr is access Ghdl_C_String_Array; type Ghdl_Rtin_Block is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Loc : Ghdl_Rti_Loc; Linecol : Ghdl_Index_Type; Parent : Ghdl_Rti_Access; Nbr_Child : Ghdl_Index_Type; Children : Ghdl_Rti_Arr_Acc; end record; type Ghdl_Rtin_Block_Acc is access Ghdl_Rtin_Block; function To_Ghdl_Rtin_Block_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Block_Acc); function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion (Source => Ghdl_Rtin_Block_Acc, Target => Ghdl_Rti_Access); type Ghdl_Rtin_Generate is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Loc : Ghdl_Rti_Loc; Linecol : Ghdl_Index_Type; Parent : Ghdl_Rti_Access; -- Only for for_generate_statement. Size : Ghdl_Index_Type; Child : Ghdl_Rti_Access; end record; type Ghdl_Rtin_Generate_Acc is access Ghdl_Rtin_Generate; function To_Ghdl_Rtin_Generate_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Generate_Acc); function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion (Source => Ghdl_Rtin_Generate_Acc, Target => Ghdl_Rti_Access); type Ghdl_Rtin_Block_Filename is record Block : Ghdl_Rtin_Block; Filename : Ghdl_C_String; end record; type Ghdl_Rtin_Block_Filename_Acc is access Ghdl_Rtin_Block_Filename; function To_Ghdl_Rtin_Block_Filename_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Block_Filename_Acc); type Ghdl_Rtin_Object is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Loc : Ghdl_Rti_Loc; Obj_Type : Ghdl_Rti_Access; Linecol : Ghdl_Index_Type; end record; type Ghdl_Rtin_Object_Acc is access Ghdl_Rtin_Object; function To_Ghdl_Rtin_Object_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Object_Acc); function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion (Source => Ghdl_Rtin_Object_Acc, Target => Ghdl_Rti_Access); type Ghdl_Rtin_Instance is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Linecol : Ghdl_Index_Type; Loc : Ghdl_Rti_Loc; Parent : Ghdl_Rti_Access; Instance : Ghdl_Rti_Access; -- Component or entity. end record; type Ghdl_Rtin_Instance_Acc is access Ghdl_Rtin_Instance; function To_Ghdl_Rtin_Instance_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Instance_Acc); -- Must be kept in sync with grt.types.mode_signal_type. Ghdl_Rti_Signal_Mode_Mask : constant Ghdl_Rti_U8 := 15; Ghdl_Rti_Signal_Mode_None : constant Ghdl_Rti_U8 := 0; Ghdl_Rti_Signal_Mode_Linkage : constant Ghdl_Rti_U8 := 1; Ghdl_Rti_Signal_Mode_Buffer : constant Ghdl_Rti_U8 := 2; Ghdl_Rti_Signal_Mode_Out : constant Ghdl_Rti_U8 := 3; Ghdl_Rti_Signal_Mode_Inout : constant Ghdl_Rti_U8 := 4; Ghdl_Rti_Signal_Mode_In : constant Ghdl_Rti_U8 := 5; Ghdl_Rti_Signal_Kind_Mask : constant Ghdl_Rti_U8 := 3 * 16; Ghdl_Rti_Signal_Kind_Offset : constant Ghdl_Rti_U8 := 1 * 16; Ghdl_Rti_Signal_Kind_No : constant Ghdl_Rti_U8 := 0 * 16; Ghdl_Rti_Signal_Kind_Register : constant Ghdl_Rti_U8 := 1 * 16; Ghdl_Rti_Signal_Kind_Bus : constant Ghdl_Rti_U8 := 2 * 16; Ghdl_Rti_Signal_Has_Active : constant Ghdl_Rti_U8 := 64; type Ghdl_Rtin_Component is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Nbr_Child : Ghdl_Index_Type; Children : Ghdl_Rti_Arr_Acc; end record; type Ghdl_Rtin_Component_Acc is access Ghdl_Rtin_Component; function To_Ghdl_Rtin_Component_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Component_Acc); type Ghdl_Rtin_Type_Enum is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Nbr : Ghdl_Index_Type; -- Characters are represented as 'X', identifiers are represented as is, -- extended identifiers are represented as is too. Names : Ghdl_C_String_Array_Ptr; end record; type Ghdl_Rtin_Type_Enum_Acc is access Ghdl_Rtin_Type_Enum; function To_Ghdl_Rtin_Type_Enum_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Type_Enum_Acc); type Ghdl_Rtin_Type_Scalar is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; end record; type Ghdl_Rtin_Type_Scalar_Acc is access Ghdl_Rtin_Type_Scalar; function To_Ghdl_Rtin_Type_Scalar_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Type_Scalar_Acc); type Ghdl_Rtin_Subtype_Scalar is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Basetype : Ghdl_Rti_Access; Range_Loc : Ghdl_Rti_Loc; end record; type Ghdl_Rtin_Subtype_Scalar_Acc is access Ghdl_Rtin_Subtype_Scalar; function To_Ghdl_Rtin_Subtype_Scalar_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Subtype_Scalar_Acc); function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion (Source => Ghdl_Rtin_Subtype_Scalar_Acc, Target => Ghdl_Rti_Access); -- True if the type is complex, set in Mode field. Ghdl_Rti_Type_Complex_Mask : constant Ghdl_Rti_U8 := 1; Ghdl_Rti_Type_Complex : constant Ghdl_Rti_U8 := 1; -- True if the type is anonymous Ghdl_Rti_Type_Anonymous_Mask : constant Ghdl_Rti_U8 := 2; Ghdl_Rti_Type_Anonymous : constant Ghdl_Rti_U8 := 2; type Ghdl_Rtin_Type_Array is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Element : Ghdl_Rti_Access; Nbr_Dim : Ghdl_Index_Type; Indexes : Ghdl_Rti_Arr_Acc; end record; type Ghdl_Rtin_Type_Array_Acc is access Ghdl_Rtin_Type_Array; function To_Ghdl_Rtin_Type_Array_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Type_Array_Acc); function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion (Source => Ghdl_Rtin_Type_Array_Acc, Target => Ghdl_Rti_Access); type Ghdl_Rtin_Subtype_Array is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Basetype : Ghdl_Rtin_Type_Array_Acc; Bounds : Ghdl_Rti_Loc; Valsize : Ghdl_Rti_Loc; Sigsize : Ghdl_Rti_Loc; end record; type Ghdl_Rtin_Subtype_Array_Acc is access Ghdl_Rtin_Subtype_Array; function To_Ghdl_Rtin_Subtype_Array_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Subtype_Array_Acc); function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion (Source => Ghdl_Rtin_Subtype_Array_Acc, Target => Ghdl_Rti_Access); type Ghdl_Rtin_Type_Fileacc is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Base : Ghdl_Rti_Access; end record; type Ghdl_Rtin_Type_Fileacc_Acc is access Ghdl_Rtin_Type_Fileacc; function To_Ghdl_Rtin_Type_Fileacc_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Type_Fileacc_Acc); type Ghdl_Rtin_Element is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Eltype : Ghdl_Rti_Access; Val_Off : Ghdl_Index_Type; Sig_Off : Ghdl_Index_Type; end record; type Ghdl_Rtin_Element_Acc is access Ghdl_Rtin_Element; function To_Ghdl_Rtin_Element_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Element_Acc); type Ghdl_Rtin_Type_Record is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Nbrel : Ghdl_Index_Type; Elements : Ghdl_Rti_Arr_Acc; end record; type Ghdl_Rtin_Type_Record_Acc is access Ghdl_Rtin_Type_Record; function To_Ghdl_Rtin_Type_Record_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Type_Record_Acc); type Ghdl_Rtin_Unit64 is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Value : Ghdl_I64; end record; type Ghdl_Rtin_Unit64_Acc is access Ghdl_Rtin_Unit64; function To_Ghdl_Rtin_Unit64_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Unit64_Acc); type Ghdl_Rtin_Unitptr is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Addr : Ghdl_Value_Ptr; end record; type Ghdl_Rtin_Unitptr_Acc is access Ghdl_Rtin_Unitptr; function To_Ghdl_Rtin_Unitptr_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Unitptr_Acc); -- Mode field is set to 4 if units value is per address. Otherwise, -- mode is 0. type Ghdl_Rtin_Type_Physical is record Common : Ghdl_Rti_Common; Name : Ghdl_C_String; Nbr : Ghdl_Index_Type; Units : Ghdl_Rti_Arr_Acc; end record; type Ghdl_Rtin_Type_Physical_Acc is access Ghdl_Rtin_Type_Physical; function To_Ghdl_Rtin_Type_Physical_Acc is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Ghdl_Rtin_Type_Physical_Acc); -- Instance linkage. -- At the beginning of a component structure (or the object for a direct -- instantiation), there is a Ghdl_Component_Link_Type record. -- These record contains a pointer to the instance (down link), -- and RTIS to the statement and its parent (up link). type Ghdl_Component_Link_Type; type Ghdl_Component_Link_Acc is access Ghdl_Component_Link_Type; -- At the beginning of an entity structure, there is a Ghdl_Link_Type, -- which contains the RTI for the architecture (down-link) and a pointer -- to the instantiation object (up-link). type Ghdl_Entity_Link_Type is record Rti : Ghdl_Rti_Access; Parent : Ghdl_Component_Link_Acc; end record; type Ghdl_Entity_Link_Acc is access Ghdl_Entity_Link_Type; function To_Ghdl_Entity_Link_Acc is new Ada.Unchecked_Conversion (Source => Address, Target => Ghdl_Entity_Link_Acc); type Ghdl_Component_Link_Type is record Instance : Ghdl_Entity_Link_Acc; Stmt : Ghdl_Rti_Access; end record; function To_Ghdl_Component_Link_Acc is new Ada.Unchecked_Conversion (Source => Address, Target => Ghdl_Component_Link_Acc); -- TOP rti. Ghdl_Rti_Top : Ghdl_Rtin_Block := (Common => (Ghdl_Rtik_Top, 0, 0, 0), Name => null, Loc => Null_Rti_Loc, Linecol => 0, Parent => null, Nbr_Child => 0, Children => null); -- Address of the top instance. Ghdl_Rti_Top_Instance : Address; -- Instances have a pointer to their RTI at offset 0. type Ghdl_Rti_Acc_Acc is access Ghdl_Rti_Access; function To_Ghdl_Rti_Acc_Acc is new Ada.Unchecked_Conversion (Source => Address, Target => Ghdl_Rti_Acc_Acc); function To_Address is new Ada.Unchecked_Conversion (Source => Ghdl_Rti_Access, Target => Address); function To_Ghdl_Rti_Access is new Ada.Unchecked_Conversion (Source => Address, Target => Ghdl_Rti_Access); procedure Ghdl_Rti_Add_Top (Max_Pkg : Ghdl_Index_Type; Pkgs : Ghdl_Rti_Arr_Acc; Top : Ghdl_Rti_Access; Instance : Address); pragma Export (C, Ghdl_Rti_Add_Top, "__ghdl_rti_add_top"); -- Register a package procedure Ghdl_Rti_Add_Package (Pkg : Ghdl_Rti_Access); pragma Export (C, Ghdl_Rti_Add_Package, "__ghdl_rti_add_package"); end Grt.Rtis;