First import from sources

1 files changed, 156 insertions, 0 deletions

diff --git a/iirs_utils.ads b/iirs_utils.ads
new file mode 100644
index 000000000..f567d10b8
--- /dev/null
+++ b/iirs_utils.ads
@@ -0,0 +1,156 @@
+--  Common operations on nodes.
+--  Copyright (C) 2002, 2003, 2004, 2005 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.
+with Types; use Types;
+with Iirs; use Iirs;
+
+package Iirs_Utils is
+   -- Transform the current token into an iir literal.
+   -- The current token must be either a character, a string or an identifier.
+   function Current_Text return Iir;
+
+   --  Get identifier of NODE as a string.
+   function Image_Identifier (Node : Iir) return String;
+   function Image_String_Lit (Str : Iir) return String;
+
+   --  Easier function for string literals.
+   function Get_String_Fat_Acc (Str : Iir) return String_Fat_Acc;
+   function Get_String_Length (Str : Iir) return Natural;
+   pragma Inline (Get_String_Fat_Acc);
+   pragma Inline (Get_String_Length);
+
+   --  Find LIT in the list of identifiers or characters LIST.
+   --  Return the literal (whose name is LIT) or null_iir if not found.
+   function Find_Name_In_Chain (Chain: Iir; Lit: Name_Id) return Iir;
+   function Find_Name_In_List (List : Iir_List; Lit: Name_Id) return Iir;
+
+   --  Return TRUE if EL in an element of chain CHAIN.
+   function Is_In_Chain (Chain : Iir; El : Iir) return Boolean;
+
+   --  Convert an operator node to a name.
+   function Get_Operator_Name (Op : Iir) return Name_Id;
+
+   -- Get the longuest static prefix of EXPR.
+   -- See LRM §8.1
+   function Get_Longuest_Static_Prefix (Expr: Iir) return Iir;
+
+   -- Get the prefix of DECL, ie:
+   -- {signal, variable, constant}{interface_declaration, declaration}, or
+   -- DECL itself, if it is not an object.
+   function Get_Object_Prefix (Decl: Iir) return Iir;
+
+   --  Make TARGETS depends on UNIT.
+   --  UNIT must be either a design unit or a entity_aspect_entity.
+   procedure Add_Dependence (Target: Iir_Design_Unit; Unit: Iir);
+
+   --  Clear configuration field of all component instantiation of
+   --  the concurrent statements of PARENT.
+   procedure Clear_Instantiation_Configuration (Parent : Iir; Full : Boolean);
+
+   --  Free Node and its prefixes, if any.
+   procedure Free_Name (Node : Iir);
+
+   --  Free NODE and its sub-nodes.
+   procedure Free_Recursive (Node : Iir; Free_List : Boolean := False);
+
+   --  Free NODE.
+   procedure Free_Old_Iir (Node: in Iir);
+
+   --  Name of FUNC.
+   function Get_Predefined_Function_Name (Func : Iir_Predefined_Functions)
+     return String;
+
+   --  Create the range_constraint node for an enumeration type.
+   procedure Create_Range_Constraint_For_Enumeration_Type
+     (Def : Iir_Enumeration_Type_Definition);
+
+   --  Clear flag of TOP and all of its callees.
+   procedure Clear_Seen_Flag (Top : Iir);
+
+   --  Return TRUE iff DEF is an anonymous type (or subtype) definition.
+   --  Note: DEF is required to be a type (or subtype) definition.
+   --  Note: type (and not subtype) are never anonymous.
+   function Is_Anonymous_Type_Definition (Def : Iir) return Boolean;
+   pragma Inline (Is_Anonymous_Type_Definition);
+
+   --  Return TRUE iff DEF is an unconstrained type (or subtype) definition.
+   function Is_Unconstrained_Type_Definition (Def : Iir) return Boolean;
+
+   --  Return true iff L and R have the same profile.
+   --  L and R must be subprograms specification (or spec_body).
+   function Is_Same_Profile (L, R: Iir) return Boolean;
+
+   --  From a block_specification, returns the block.
+   --  Roughly speaking, this get prefix of indexed and sliced name.
+   function Get_Block_From_Block_Specification (Block_Spec : Iir)
+     return Iir;
+
+   --  Return the bound type of a string type, ie the type of the (first)
+   --  dimension of a one-dimensional array type.
+   function Get_String_Type_Bound_Type (Sub_Type : Iir) return Iir;
+
+   --  Return left or right limit according to the direction.
+   procedure Get_Low_High_Limit (Arange : Iir_Range_Expression;
+                                 Low, High : out Iir);
+   function Get_Low_Limit (Arange : Iir_Range_Expression) return Iir;
+   function Get_High_Limit (Arange : Iir_Range_Expression) return Iir;
+
+   --  Return TRUE iff type/subtype definition A_TYPE is an undim array.
+   function Is_Unidim_Array_Type (A_Type : Iir) return Boolean;
+
+   --  Return TRUE iff unsemantized EXPR is a range attribute.
+   function Is_Range_Attribute_Name (Expr : Iir) return Boolean;
+
+   --  Create an array subtype from array_type or unconstrained_array_subtype
+   --  ARR_TYPE.
+   --  All fields of the returned node are filled, except the index_list.
+   --  The type_staticness is set with the type staticness of the element
+   --  subtype and therefore must be updated.
+   --  The type_declarator field is set to null_iir.
+   function Create_Array_Subtype (Arr_Type : Iir; Loc : Location_Type)
+                                 return Iir_Array_Subtype_Definition;
+
+   --  Return TRUE iff SPEC is declared inside a protected type or a protected
+   --  body.
+   function Is_Subprogram_Method (Spec : Iir) return Boolean;
+
+   --  Return the protected type for method SPEC.
+   function Get_Method_Type (Spec : Iir) return Iir;
+
+   --  Create an error node for node ORIG, and set its type to ATYPE.
+   --  Set its staticness to locally.
+   function Create_Error_Expr (Orig : Iir; Atype : Iir) return Iir;
+
+   --  Create an error node for node ORIG, which is supposed to be a type.
+   function Create_Error_Type (Orig : Iir) return Iir;
+
+   --  Get the base name of the formal of an association.
+   function Get_Associated_Formal (Assoc : Iir) return Iir;
+
+   --  Extract the entity from ASPECT.
+   --  Note: if ASPECT is a component declaration, returns ASPECT.
+   --        if ASPECT is open, return Null_Iir;
+   function Get_Entity_From_Entity_Aspect (Aspect : Iir) return Iir;
+
+
+   --  Get the value of any physical literals.
+   --  A physical literal can be either an int_literal, and fp_literal or
+   --  a unit_declaration.
+   --  See also Evaluation.Get_Physical_Value.
+   function Get_Physical_Literal_Value (Lit : Iir) return Iir_Int64;
+end Iirs_Utils;
+