diff options
Diffstat (limited to 'src/vhdl/vhdl-nodes_meta.adb')
| -rw-r--r-- | src/vhdl/vhdl-nodes_meta.adb | 556 |
1 files changed, 292 insertions, 264 deletions
diff --git a/src/vhdl/vhdl-nodes_meta.adb b/src/vhdl/vhdl-nodes_meta.adb index be9ab31d8..5c55f608a 100644 --- a/src/vhdl/vhdl-nodes_meta.adb +++ b/src/vhdl/vhdl-nodes_meta.adb @@ -54,6 +54,7 @@ package body Vhdl.Nodes_Meta is Field_Has_Signed => Type_Boolean, Field_Has_Sign => Type_Boolean, Field_Has_Length => Type_Boolean, + Field_Literal_Length => Type_Int32, Field_Literal_Origin => Type_Iir, Field_Range_Origin => Type_Iir, Field_Literal_Subtype => Type_Iir, @@ -425,6 +426,8 @@ package body Vhdl.Nodes_Meta is return "has_sign"; when Field_Has_Length => return "has_length"; + when Field_Literal_Length => + return "literal_length"; when Field_Literal_Origin => return "literal_origin"; when Field_Range_Origin => @@ -1627,6 +1630,8 @@ package body Vhdl.Nodes_Meta is return Attr_None; when Field_Has_Length => return Attr_None; + when Field_Literal_Length => + return Attr_None; when Field_Literal_Origin => return Attr_None; when Field_Range_Origin => @@ -2270,11 +2275,13 @@ package body Vhdl.Nodes_Meta is Field_Chain, Field_Context_Reference_Chain, -- Iir_Kind_Integer_Literal + Field_Literal_Length, Field_Value, Field_Expr_Staticness, Field_Literal_Origin, Field_Type, -- Iir_Kind_Floating_Point_Literal + Field_Literal_Length, Field_Fp_Value, Field_Expr_Staticness, Field_Literal_Origin, @@ -2283,6 +2290,7 @@ package body Vhdl.Nodes_Meta is Field_Expr_Staticness, Field_Type, -- Iir_Kind_String_Literal8 + Field_Literal_Length, Field_String_Length, Field_String8_Id, Field_Has_Signed, @@ -2294,16 +2302,18 @@ package body Vhdl.Nodes_Meta is Field_Literal_Subtype, Field_Type, -- Iir_Kind_Physical_Int_Literal + Field_Literal_Length, Field_Value, Field_Expr_Staticness, - Field_Literal_Origin, Field_Unit_Name, + Field_Literal_Origin, Field_Type, -- Iir_Kind_Physical_Fp_Literal + Field_Literal_Length, Field_Fp_Value, Field_Expr_Staticness, - Field_Literal_Origin, Field_Unit_Name, + Field_Literal_Origin, Field_Type, -- Iir_Kind_Simple_Aggregate Field_Expr_Staticness, @@ -4425,268 +4435,268 @@ package body Vhdl.Nodes_Meta is Iir_Kind_Library_Clause => 39, Iir_Kind_Use_Clause => 43, Iir_Kind_Context_Reference => 47, - Iir_Kind_Integer_Literal => 51, - Iir_Kind_Floating_Point_Literal => 55, - Iir_Kind_Null_Literal => 57, - Iir_Kind_String_Literal8 => 67, - Iir_Kind_Physical_Int_Literal => 72, - Iir_Kind_Physical_Fp_Literal => 77, - Iir_Kind_Simple_Aggregate => 82, - Iir_Kind_Overflow_Literal => 85, - Iir_Kind_Unaffected_Waveform => 86, - Iir_Kind_Waveform_Element => 89, - Iir_Kind_Conditional_Waveform => 93, - Iir_Kind_Conditional_Expression => 97, - Iir_Kind_Association_Element_By_Expression => 105, - Iir_Kind_Association_Element_By_Individual => 114, - Iir_Kind_Association_Element_Open => 120, - Iir_Kind_Association_Element_Package => 126, - Iir_Kind_Association_Element_Type => 134, - Iir_Kind_Association_Element_Subprogram => 140, - Iir_Kind_Choice_By_Range => 149, - Iir_Kind_Choice_By_Expression => 158, - Iir_Kind_Choice_By_Others => 165, - Iir_Kind_Choice_By_None => 172, - Iir_Kind_Choice_By_Name => 180, - Iir_Kind_Entity_Aspect_Entity => 182, - Iir_Kind_Entity_Aspect_Configuration => 183, - Iir_Kind_Entity_Aspect_Open => 183, - Iir_Kind_Block_Configuration => 189, - Iir_Kind_Block_Header => 193, - Iir_Kind_Component_Configuration => 200, - Iir_Kind_Binding_Indication => 204, - Iir_Kind_Entity_Class => 206, - Iir_Kind_Attribute_Value => 214, - Iir_Kind_Signature => 217, - Iir_Kind_Aggregate_Info => 224, - Iir_Kind_Procedure_Call => 228, - Iir_Kind_Record_Element_Constraint => 234, - Iir_Kind_Array_Element_Resolution => 236, - Iir_Kind_Record_Resolution => 237, - Iir_Kind_Record_Element_Resolution => 240, - Iir_Kind_Attribute_Specification => 248, - Iir_Kind_Disconnection_Specification => 254, - Iir_Kind_Configuration_Specification => 260, - Iir_Kind_Access_Type_Definition => 268, - Iir_Kind_Incomplete_Type_Definition => 276, - Iir_Kind_Interface_Type_Definition => 283, - Iir_Kind_File_Type_Definition => 290, - Iir_Kind_Protected_Type_Declaration => 299, - Iir_Kind_Record_Type_Definition => 310, - Iir_Kind_Array_Type_Definition => 322, - Iir_Kind_Array_Subtype_Definition => 337, - Iir_Kind_Record_Subtype_Definition => 350, - Iir_Kind_Access_Subtype_Definition => 358, - Iir_Kind_Physical_Subtype_Definition => 368, - Iir_Kind_Floating_Subtype_Definition => 379, - Iir_Kind_Integer_Subtype_Definition => 389, - Iir_Kind_Enumeration_Subtype_Definition => 399, - Iir_Kind_Enumeration_Type_Definition => 410, - Iir_Kind_Integer_Type_Definition => 418, - Iir_Kind_Floating_Type_Definition => 426, - Iir_Kind_Physical_Type_Definition => 437, - Iir_Kind_Range_Expression => 445, - Iir_Kind_Protected_Type_Body => 452, - Iir_Kind_Wildcard_Type_Definition => 457, - Iir_Kind_Subtype_Definition => 464, - Iir_Kind_Scalar_Nature_Definition => 468, - Iir_Kind_Overload_List => 469, - Iir_Kind_Type_Declaration => 476, - Iir_Kind_Anonymous_Type_Declaration => 482, - Iir_Kind_Subtype_Declaration => 489, - Iir_Kind_Nature_Declaration => 495, - Iir_Kind_Subnature_Declaration => 501, - Iir_Kind_Entity_Declaration => 513, - Iir_Kind_Configuration_Declaration => 522, - Iir_Kind_Context_Declaration => 528, - Iir_Kind_Package_Declaration => 543, - Iir_Kind_Package_Instantiation_Declaration => 557, - Iir_Kind_Package_Body => 565, - Iir_Kind_Architecture_Body => 577, - Iir_Kind_Package_Header => 579, - Iir_Kind_Unit_Declaration => 588, - Iir_Kind_Library_Declaration => 595, - Iir_Kind_Component_Declaration => 605, - Iir_Kind_Attribute_Declaration => 612, - Iir_Kind_Group_Template_Declaration => 618, - Iir_Kind_Group_Declaration => 625, - Iir_Kind_Element_Declaration => 632, - Iir_Kind_Non_Object_Alias_Declaration => 640, - Iir_Kind_Psl_Declaration => 648, - Iir_Kind_Psl_Endpoint_Declaration => 662, - Iir_Kind_Terminal_Declaration => 669, - Iir_Kind_Free_Quantity_Declaration => 680, - Iir_Kind_Across_Quantity_Declaration => 692, - Iir_Kind_Through_Quantity_Declaration => 704, - Iir_Kind_Enumeration_Literal => 715, - Iir_Kind_Function_Declaration => 740, - Iir_Kind_Procedure_Declaration => 764, - Iir_Kind_Function_Body => 774, - Iir_Kind_Procedure_Body => 785, - Iir_Kind_Object_Alias_Declaration => 796, - Iir_Kind_File_Declaration => 810, - Iir_Kind_Guard_Signal_Declaration => 823, - Iir_Kind_Signal_Declaration => 840, - Iir_Kind_Variable_Declaration => 853, - Iir_Kind_Constant_Declaration => 867, - Iir_Kind_Iterator_Declaration => 878, - Iir_Kind_Interface_Constant_Declaration => 894, - Iir_Kind_Interface_Variable_Declaration => 910, - Iir_Kind_Interface_Signal_Declaration => 931, - Iir_Kind_Interface_File_Declaration => 947, - Iir_Kind_Interface_Type_Declaration => 957, - Iir_Kind_Interface_Package_Declaration => 969, - Iir_Kind_Interface_Function_Declaration => 986, - Iir_Kind_Interface_Procedure_Declaration => 999, - Iir_Kind_Signal_Attribute_Declaration => 1002, - Iir_Kind_Identity_Operator => 1006, - Iir_Kind_Negation_Operator => 1010, - Iir_Kind_Absolute_Operator => 1014, - Iir_Kind_Not_Operator => 1018, - Iir_Kind_Implicit_Condition_Operator => 1022, - Iir_Kind_Condition_Operator => 1026, - Iir_Kind_Reduction_And_Operator => 1030, - Iir_Kind_Reduction_Or_Operator => 1034, - Iir_Kind_Reduction_Nand_Operator => 1038, - Iir_Kind_Reduction_Nor_Operator => 1042, - Iir_Kind_Reduction_Xor_Operator => 1046, - Iir_Kind_Reduction_Xnor_Operator => 1050, - Iir_Kind_And_Operator => 1055, - Iir_Kind_Or_Operator => 1060, - Iir_Kind_Nand_Operator => 1065, - Iir_Kind_Nor_Operator => 1070, - Iir_Kind_Xor_Operator => 1075, - Iir_Kind_Xnor_Operator => 1080, - Iir_Kind_Equality_Operator => 1085, - Iir_Kind_Inequality_Operator => 1090, - Iir_Kind_Less_Than_Operator => 1095, - Iir_Kind_Less_Than_Or_Equal_Operator => 1100, - Iir_Kind_Greater_Than_Operator => 1105, - Iir_Kind_Greater_Than_Or_Equal_Operator => 1110, - Iir_Kind_Match_Equality_Operator => 1115, - Iir_Kind_Match_Inequality_Operator => 1120, - Iir_Kind_Match_Less_Than_Operator => 1125, - Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1130, - Iir_Kind_Match_Greater_Than_Operator => 1135, - Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1140, - Iir_Kind_Sll_Operator => 1145, - Iir_Kind_Sla_Operator => 1150, - Iir_Kind_Srl_Operator => 1155, - Iir_Kind_Sra_Operator => 1160, - Iir_Kind_Rol_Operator => 1165, - Iir_Kind_Ror_Operator => 1170, - Iir_Kind_Addition_Operator => 1175, - Iir_Kind_Substraction_Operator => 1180, - Iir_Kind_Concatenation_Operator => 1185, - Iir_Kind_Multiplication_Operator => 1190, - Iir_Kind_Division_Operator => 1195, - Iir_Kind_Modulus_Operator => 1200, - Iir_Kind_Remainder_Operator => 1205, - Iir_Kind_Exponentiation_Operator => 1210, - Iir_Kind_Function_Call => 1218, - Iir_Kind_Aggregate => 1225, - Iir_Kind_Parenthesis_Expression => 1228, - Iir_Kind_Qualified_Expression => 1232, - Iir_Kind_Type_Conversion => 1237, - Iir_Kind_Allocator_By_Expression => 1241, - Iir_Kind_Allocator_By_Subtype => 1246, - Iir_Kind_Selected_Element => 1254, - Iir_Kind_Dereference => 1259, - Iir_Kind_Implicit_Dereference => 1264, - Iir_Kind_Slice_Name => 1271, - Iir_Kind_Indexed_Name => 1277, - Iir_Kind_Psl_Expression => 1279, - Iir_Kind_Sensitized_Process_Statement => 1300, - Iir_Kind_Process_Statement => 1320, - Iir_Kind_Concurrent_Simple_Signal_Assignment => 1332, - Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1344, - Iir_Kind_Concurrent_Selected_Signal_Assignment => 1357, - Iir_Kind_Concurrent_Assertion_Statement => 1365, - Iir_Kind_Concurrent_Procedure_Call_Statement => 1372, - Iir_Kind_Psl_Assert_Statement => 1385, - Iir_Kind_Psl_Cover_Statement => 1398, - Iir_Kind_Block_Statement => 1412, - Iir_Kind_If_Generate_Statement => 1423, - Iir_Kind_Case_Generate_Statement => 1432, - Iir_Kind_For_Generate_Statement => 1441, - Iir_Kind_Component_Instantiation_Statement => 1452, - Iir_Kind_Psl_Default_Clock => 1456, - Iir_Kind_Simple_Simultaneous_Statement => 1463, - Iir_Kind_Generate_Statement_Body => 1474, - Iir_Kind_If_Generate_Else_Clause => 1480, - Iir_Kind_Simple_Signal_Assignment_Statement => 1490, - Iir_Kind_Conditional_Signal_Assignment_Statement => 1500, - Iir_Kind_Selected_Waveform_Assignment_Statement => 1511, - Iir_Kind_Null_Statement => 1515, - Iir_Kind_Assertion_Statement => 1522, - Iir_Kind_Report_Statement => 1528, - Iir_Kind_Wait_Statement => 1536, - Iir_Kind_Variable_Assignment_Statement => 1543, - Iir_Kind_Conditional_Variable_Assignment_Statement => 1550, - Iir_Kind_Return_Statement => 1556, - Iir_Kind_For_Loop_Statement => 1565, - Iir_Kind_While_Loop_Statement => 1574, - Iir_Kind_Next_Statement => 1581, - Iir_Kind_Exit_Statement => 1588, - Iir_Kind_Case_Statement => 1596, - Iir_Kind_Procedure_Call_Statement => 1602, - Iir_Kind_If_Statement => 1612, - Iir_Kind_Elsif => 1618, - Iir_Kind_Character_Literal => 1626, - Iir_Kind_Simple_Name => 1634, - Iir_Kind_Selected_Name => 1643, - Iir_Kind_Operator_Symbol => 1649, - Iir_Kind_Reference_Name => 1652, - Iir_Kind_External_Constant_Name => 1660, - Iir_Kind_External_Signal_Name => 1668, - Iir_Kind_External_Variable_Name => 1677, - Iir_Kind_Selected_By_All_Name => 1683, - Iir_Kind_Parenthesis_Name => 1688, - Iir_Kind_Package_Pathname => 1692, - Iir_Kind_Absolute_Pathname => 1693, - Iir_Kind_Relative_Pathname => 1694, - Iir_Kind_Pathname_Element => 1699, - Iir_Kind_Base_Attribute => 1701, - Iir_Kind_Subtype_Attribute => 1706, - Iir_Kind_Element_Attribute => 1711, - Iir_Kind_Left_Type_Attribute => 1716, - Iir_Kind_Right_Type_Attribute => 1721, - Iir_Kind_High_Type_Attribute => 1726, - Iir_Kind_Low_Type_Attribute => 1731, - Iir_Kind_Ascending_Type_Attribute => 1736, - Iir_Kind_Image_Attribute => 1742, - Iir_Kind_Value_Attribute => 1748, - Iir_Kind_Pos_Attribute => 1754, - Iir_Kind_Val_Attribute => 1760, - Iir_Kind_Succ_Attribute => 1766, - Iir_Kind_Pred_Attribute => 1772, - Iir_Kind_Leftof_Attribute => 1778, - Iir_Kind_Rightof_Attribute => 1784, - Iir_Kind_Delayed_Attribute => 1793, - Iir_Kind_Stable_Attribute => 1802, - Iir_Kind_Quiet_Attribute => 1811, - Iir_Kind_Transaction_Attribute => 1820, - Iir_Kind_Event_Attribute => 1824, - Iir_Kind_Active_Attribute => 1828, - Iir_Kind_Last_Event_Attribute => 1832, - Iir_Kind_Last_Active_Attribute => 1836, - Iir_Kind_Last_Value_Attribute => 1840, - Iir_Kind_Driving_Attribute => 1844, - Iir_Kind_Driving_Value_Attribute => 1848, - Iir_Kind_Behavior_Attribute => 1848, - Iir_Kind_Structure_Attribute => 1848, - Iir_Kind_Simple_Name_Attribute => 1855, - Iir_Kind_Instance_Name_Attribute => 1860, - Iir_Kind_Path_Name_Attribute => 1865, - Iir_Kind_Left_Array_Attribute => 1872, - Iir_Kind_Right_Array_Attribute => 1879, - Iir_Kind_High_Array_Attribute => 1886, - Iir_Kind_Low_Array_Attribute => 1893, - Iir_Kind_Length_Array_Attribute => 1900, - Iir_Kind_Ascending_Array_Attribute => 1907, - Iir_Kind_Range_Array_Attribute => 1914, - Iir_Kind_Reverse_Range_Array_Attribute => 1921, - Iir_Kind_Attribute_Name => 1930 + Iir_Kind_Integer_Literal => 52, + Iir_Kind_Floating_Point_Literal => 57, + Iir_Kind_Null_Literal => 59, + Iir_Kind_String_Literal8 => 70, + Iir_Kind_Physical_Int_Literal => 76, + Iir_Kind_Physical_Fp_Literal => 82, + Iir_Kind_Simple_Aggregate => 87, + Iir_Kind_Overflow_Literal => 90, + Iir_Kind_Unaffected_Waveform => 91, + Iir_Kind_Waveform_Element => 94, + Iir_Kind_Conditional_Waveform => 98, + Iir_Kind_Conditional_Expression => 102, + Iir_Kind_Association_Element_By_Expression => 110, + Iir_Kind_Association_Element_By_Individual => 119, + Iir_Kind_Association_Element_Open => 125, + Iir_Kind_Association_Element_Package => 131, + Iir_Kind_Association_Element_Type => 139, + Iir_Kind_Association_Element_Subprogram => 145, + Iir_Kind_Choice_By_Range => 154, + Iir_Kind_Choice_By_Expression => 163, + Iir_Kind_Choice_By_Others => 170, + Iir_Kind_Choice_By_None => 177, + Iir_Kind_Choice_By_Name => 185, + Iir_Kind_Entity_Aspect_Entity => 187, + Iir_Kind_Entity_Aspect_Configuration => 188, + Iir_Kind_Entity_Aspect_Open => 188, + Iir_Kind_Block_Configuration => 194, + Iir_Kind_Block_Header => 198, + Iir_Kind_Component_Configuration => 205, + Iir_Kind_Binding_Indication => 209, + Iir_Kind_Entity_Class => 211, + Iir_Kind_Attribute_Value => 219, + Iir_Kind_Signature => 222, + Iir_Kind_Aggregate_Info => 229, + Iir_Kind_Procedure_Call => 233, + Iir_Kind_Record_Element_Constraint => 239, + Iir_Kind_Array_Element_Resolution => 241, + Iir_Kind_Record_Resolution => 242, + Iir_Kind_Record_Element_Resolution => 245, + Iir_Kind_Attribute_Specification => 253, + Iir_Kind_Disconnection_Specification => 259, + Iir_Kind_Configuration_Specification => 265, + Iir_Kind_Access_Type_Definition => 273, + Iir_Kind_Incomplete_Type_Definition => 281, + Iir_Kind_Interface_Type_Definition => 288, + Iir_Kind_File_Type_Definition => 295, + Iir_Kind_Protected_Type_Declaration => 304, + Iir_Kind_Record_Type_Definition => 315, + Iir_Kind_Array_Type_Definition => 327, + Iir_Kind_Array_Subtype_Definition => 342, + Iir_Kind_Record_Subtype_Definition => 355, + Iir_Kind_Access_Subtype_Definition => 363, + Iir_Kind_Physical_Subtype_Definition => 373, + Iir_Kind_Floating_Subtype_Definition => 384, + Iir_Kind_Integer_Subtype_Definition => 394, + Iir_Kind_Enumeration_Subtype_Definition => 404, + Iir_Kind_Enumeration_Type_Definition => 415, + Iir_Kind_Integer_Type_Definition => 423, + Iir_Kind_Floating_Type_Definition => 431, + Iir_Kind_Physical_Type_Definition => 442, + Iir_Kind_Range_Expression => 450, + Iir_Kind_Protected_Type_Body => 457, + Iir_Kind_Wildcard_Type_Definition => 462, + Iir_Kind_Subtype_Definition => 469, + Iir_Kind_Scalar_Nature_Definition => 473, + Iir_Kind_Overload_List => 474, + Iir_Kind_Type_Declaration => 481, + Iir_Kind_Anonymous_Type_Declaration => 487, + Iir_Kind_Subtype_Declaration => 494, + Iir_Kind_Nature_Declaration => 500, + Iir_Kind_Subnature_Declaration => 506, + Iir_Kind_Entity_Declaration => 518, + Iir_Kind_Configuration_Declaration => 527, + Iir_Kind_Context_Declaration => 533, + Iir_Kind_Package_Declaration => 548, + Iir_Kind_Package_Instantiation_Declaration => 562, + Iir_Kind_Package_Body => 570, + Iir_Kind_Architecture_Body => 582, + Iir_Kind_Package_Header => 584, + Iir_Kind_Unit_Declaration => 593, + Iir_Kind_Library_Declaration => 600, + Iir_Kind_Component_Declaration => 610, + Iir_Kind_Attribute_Declaration => 617, + Iir_Kind_Group_Template_Declaration => 623, + Iir_Kind_Group_Declaration => 630, + Iir_Kind_Element_Declaration => 637, + Iir_Kind_Non_Object_Alias_Declaration => 645, + Iir_Kind_Psl_Declaration => 653, + Iir_Kind_Psl_Endpoint_Declaration => 667, + Iir_Kind_Terminal_Declaration => 674, + Iir_Kind_Free_Quantity_Declaration => 685, + Iir_Kind_Across_Quantity_Declaration => 697, + Iir_Kind_Through_Quantity_Declaration => 709, + Iir_Kind_Enumeration_Literal => 720, + Iir_Kind_Function_Declaration => 745, + Iir_Kind_Procedure_Declaration => 769, + Iir_Kind_Function_Body => 779, + Iir_Kind_Procedure_Body => 790, + Iir_Kind_Object_Alias_Declaration => 801, + Iir_Kind_File_Declaration => 815, + Iir_Kind_Guard_Signal_Declaration => 828, + Iir_Kind_Signal_Declaration => 845, + Iir_Kind_Variable_Declaration => 858, + Iir_Kind_Constant_Declaration => 872, + Iir_Kind_Iterator_Declaration => 883, + Iir_Kind_Interface_Constant_Declaration => 899, + Iir_Kind_Interface_Variable_Declaration => 915, + Iir_Kind_Interface_Signal_Declaration => 936, + Iir_Kind_Interface_File_Declaration => 952, + Iir_Kind_Interface_Type_Declaration => 962, + Iir_Kind_Interface_Package_Declaration => 974, + Iir_Kind_Interface_Function_Declaration => 991, + Iir_Kind_Interface_Procedure_Declaration => 1004, + Iir_Kind_Signal_Attribute_Declaration => 1007, + Iir_Kind_Identity_Operator => 1011, + Iir_Kind_Negation_Operator => 1015, + Iir_Kind_Absolute_Operator => 1019, + Iir_Kind_Not_Operator => 1023, + Iir_Kind_Implicit_Condition_Operator => 1027, + Iir_Kind_Condition_Operator => 1031, + Iir_Kind_Reduction_And_Operator => 1035, + Iir_Kind_Reduction_Or_Operator => 1039, + Iir_Kind_Reduction_Nand_Operator => 1043, + Iir_Kind_Reduction_Nor_Operator => 1047, + Iir_Kind_Reduction_Xor_Operator => 1051, + Iir_Kind_Reduction_Xnor_Operator => 1055, + Iir_Kind_And_Operator => 1060, + Iir_Kind_Or_Operator => 1065, + Iir_Kind_Nand_Operator => 1070, + Iir_Kind_Nor_Operator => 1075, + Iir_Kind_Xor_Operator => 1080, + Iir_Kind_Xnor_Operator => 1085, + Iir_Kind_Equality_Operator => 1090, + Iir_Kind_Inequality_Operator => 1095, + Iir_Kind_Less_Than_Operator => 1100, + Iir_Kind_Less_Than_Or_Equal_Operator => 1105, + Iir_Kind_Greater_Than_Operator => 1110, + Iir_Kind_Greater_Than_Or_Equal_Operator => 1115, + Iir_Kind_Match_Equality_Operator => 1120, + Iir_Kind_Match_Inequality_Operator => 1125, + Iir_Kind_Match_Less_Than_Operator => 1130, + Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1135, + Iir_Kind_Match_Greater_Than_Operator => 1140, + Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1145, + Iir_Kind_Sll_Operator => 1150, + Iir_Kind_Sla_Operator => 1155, + Iir_Kind_Srl_Operator => 1160, + Iir_Kind_Sra_Operator => 1165, + Iir_Kind_Rol_Operator => 1170, + Iir_Kind_Ror_Operator => 1175, + Iir_Kind_Addition_Operator => 1180, + Iir_Kind_Substraction_Operator => 1185, + Iir_Kind_Concatenation_Operator => 1190, + Iir_Kind_Multiplication_Operator => 1195, + Iir_Kind_Division_Operator => 1200, + Iir_Kind_Modulus_Operator => 1205, + Iir_Kind_Remainder_Operator => 1210, + Iir_Kind_Exponentiation_Operator => 1215, + Iir_Kind_Function_Call => 1223, + Iir_Kind_Aggregate => 1230, + Iir_Kind_Parenthesis_Expression => 1233, + Iir_Kind_Qualified_Expression => 1237, + Iir_Kind_Type_Conversion => 1242, + Iir_Kind_Allocator_By_Expression => 1246, + Iir_Kind_Allocator_By_Subtype => 1251, + Iir_Kind_Selected_Element => 1259, + Iir_Kind_Dereference => 1264, + Iir_Kind_Implicit_Dereference => 1269, + Iir_Kind_Slice_Name => 1276, + Iir_Kind_Indexed_Name => 1282, + Iir_Kind_Psl_Expression => 1284, + Iir_Kind_Sensitized_Process_Statement => 1305, + Iir_Kind_Process_Statement => 1325, + Iir_Kind_Concurrent_Simple_Signal_Assignment => 1337, + Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1349, + Iir_Kind_Concurrent_Selected_Signal_Assignment => 1362, + Iir_Kind_Concurrent_Assertion_Statement => 1370, + Iir_Kind_Concurrent_Procedure_Call_Statement => 1377, + Iir_Kind_Psl_Assert_Statement => 1390, + Iir_Kind_Psl_Cover_Statement => 1403, + Iir_Kind_Block_Statement => 1417, + Iir_Kind_If_Generate_Statement => 1428, + Iir_Kind_Case_Generate_Statement => 1437, + Iir_Kind_For_Generate_Statement => 1446, + Iir_Kind_Component_Instantiation_Statement => 1457, + Iir_Kind_Psl_Default_Clock => 1461, + Iir_Kind_Simple_Simultaneous_Statement => 1468, + Iir_Kind_Generate_Statement_Body => 1479, + Iir_Kind_If_Generate_Else_Clause => 1485, + Iir_Kind_Simple_Signal_Assignment_Statement => 1495, + Iir_Kind_Conditional_Signal_Assignment_Statement => 1505, + Iir_Kind_Selected_Waveform_Assignment_Statement => 1516, + Iir_Kind_Null_Statement => 1520, + Iir_Kind_Assertion_Statement => 1527, + Iir_Kind_Report_Statement => 1533, + Iir_Kind_Wait_Statement => 1541, + Iir_Kind_Variable_Assignment_Statement => 1548, + Iir_Kind_Conditional_Variable_Assignment_Statement => 1555, + Iir_Kind_Return_Statement => 1561, + Iir_Kind_For_Loop_Statement => 1570, + Iir_Kind_While_Loop_Statement => 1579, + Iir_Kind_Next_Statement => 1586, + Iir_Kind_Exit_Statement => 1593, + Iir_Kind_Case_Statement => 1601, + Iir_Kind_Procedure_Call_Statement => 1607, + Iir_Kind_If_Statement => 1617, + Iir_Kind_Elsif => 1623, + Iir_Kind_Character_Literal => 1631, + Iir_Kind_Simple_Name => 1639, + Iir_Kind_Selected_Name => 1648, + Iir_Kind_Operator_Symbol => 1654, + Iir_Kind_Reference_Name => 1657, + Iir_Kind_External_Constant_Name => 1665, + Iir_Kind_External_Signal_Name => 1673, + Iir_Kind_External_Variable_Name => 1682, + Iir_Kind_Selected_By_All_Name => 1688, + Iir_Kind_Parenthesis_Name => 1693, + Iir_Kind_Package_Pathname => 1697, + Iir_Kind_Absolute_Pathname => 1698, + Iir_Kind_Relative_Pathname => 1699, + Iir_Kind_Pathname_Element => 1704, + Iir_Kind_Base_Attribute => 1706, + Iir_Kind_Subtype_Attribute => 1711, + Iir_Kind_Element_Attribute => 1716, + Iir_Kind_Left_Type_Attribute => 1721, + Iir_Kind_Right_Type_Attribute => 1726, + Iir_Kind_High_Type_Attribute => 1731, + Iir_Kind_Low_Type_Attribute => 1736, + Iir_Kind_Ascending_Type_Attribute => 1741, + Iir_Kind_Image_Attribute => 1747, + Iir_Kind_Value_Attribute => 1753, + Iir_Kind_Pos_Attribute => 1759, + Iir_Kind_Val_Attribute => 1765, + Iir_Kind_Succ_Attribute => 1771, + Iir_Kind_Pred_Attribute => 1777, + Iir_Kind_Leftof_Attribute => 1783, + Iir_Kind_Rightof_Attribute => 1789, + Iir_Kind_Delayed_Attribute => 1798, + Iir_Kind_Stable_Attribute => 1807, + Iir_Kind_Quiet_Attribute => 1816, + Iir_Kind_Transaction_Attribute => 1825, + Iir_Kind_Event_Attribute => 1829, + Iir_Kind_Active_Attribute => 1833, + Iir_Kind_Last_Event_Attribute => 1837, + Iir_Kind_Last_Active_Attribute => 1841, + Iir_Kind_Last_Value_Attribute => 1845, + Iir_Kind_Driving_Attribute => 1849, + Iir_Kind_Driving_Value_Attribute => 1853, + Iir_Kind_Behavior_Attribute => 1853, + Iir_Kind_Structure_Attribute => 1853, + Iir_Kind_Simple_Name_Attribute => 1860, + Iir_Kind_Instance_Name_Attribute => 1865, + Iir_Kind_Path_Name_Attribute => 1870, + Iir_Kind_Left_Array_Attribute => 1877, + Iir_Kind_Right_Array_Attribute => 1884, + Iir_Kind_High_Array_Attribute => 1891, + Iir_Kind_Low_Array_Attribute => 1898, + Iir_Kind_Length_Array_Attribute => 1905, + Iir_Kind_Ascending_Array_Attribute => 1912, + Iir_Kind_Range_Array_Attribute => 1919, + Iir_Kind_Reverse_Range_Array_Attribute => 1926, + Iir_Kind_Attribute_Name => 1935 ); function Get_Fields_First (K : Iir_Kind) return Fields_Index is @@ -6295,6 +6305,8 @@ package body Vhdl.Nodes_Meta is return Get_Design_Unit_Source_Col (N); when Field_String_Length => return Get_String_Length (N); + when Field_Literal_Length => + return Get_Literal_Length (N); when Field_Choice_Order => return Get_Choice_Order (N); when Field_PSL_Nbr_States => @@ -6315,6 +6327,8 @@ package body Vhdl.Nodes_Meta is Set_Design_Unit_Source_Col (N, V); when Field_String_Length => Set_String_Length (N, V); + when Field_Literal_Length => + Set_Literal_Length (N, V); when Field_Choice_Order => Set_Choice_Order (N, V); when Field_PSL_Nbr_States => @@ -6849,6 +6863,20 @@ package body Vhdl.Nodes_Meta is return K = Iir_Kind_String_Literal8; end Has_Has_Length; + function Has_Literal_Length (K : Iir_Kind) return Boolean is + begin + case K is + when Iir_Kind_Integer_Literal + | Iir_Kind_Floating_Point_Literal + | Iir_Kind_String_Literal8 + | Iir_Kind_Physical_Int_Literal + | Iir_Kind_Physical_Fp_Literal => + return True; + when others => + return False; + end case; + end Has_Literal_Length; + function Has_Literal_Origin (K : Iir_Kind) return Boolean is begin case K is |