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
|
-- 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;
|
