diff options
author | Tristan Gingold <tgingold@free.fr> | 2020-04-03 11:43:42 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2020-04-06 20:10:54 +0200 |
commit | 77d71c72f10cb8a1779dfddcf2a5053c728300ec (patch) | |
tree | a6adcc528dc1845e16cf7b4c992a5384a5cf6f1a /src/vhdl/vhdl-nodes_meta.adb | |
parent | 6ccedcb1f76081df973776f0e4e6909e21de8760 (diff) | |
download | ghdl-77d71c72f10cb8a1779dfddcf2a5053c728300ec.tar.gz ghdl-77d71c72f10cb8a1779dfddcf2a5053c728300ec.tar.bz2 ghdl-77d71c72f10cb8a1779dfddcf2a5053c728300ec.zip |
vhdl: add scalar_size. Size of scalar types is computed during analysis.
Diffstat (limited to 'src/vhdl/vhdl-nodes_meta.adb')
-rw-r--r-- | src/vhdl/vhdl-nodes_meta.adb | 526 |
1 files changed, 286 insertions, 240 deletions
diff --git a/src/vhdl/vhdl-nodes_meta.adb b/src/vhdl/vhdl-nodes_meta.adb index 48a05f0aa..1046e8856 100644 --- a/src/vhdl/vhdl-nodes_meta.adb +++ b/src/vhdl/vhdl-nodes_meta.adb @@ -287,6 +287,7 @@ package body Vhdl.Nodes_Meta is Field_Alias_Declaration => Type_Iir, Field_Referenced_Name => Type_Iir, Field_Expr_Staticness => Type_Iir_Staticness, + Field_Scalar_Size => Type_Scalar_Size, Field_Error_Origin => Type_Iir, Field_Operand => Type_Iir, Field_Left => Type_Iir, @@ -924,6 +925,8 @@ package body Vhdl.Nodes_Meta is return "referenced_name"; when Field_Expr_Staticness => return "expr_staticness"; + when Field_Scalar_Size => + return "scalar_size"; when Field_Error_Origin => return "error_origin"; when Field_Operand => @@ -2268,6 +2271,8 @@ package body Vhdl.Nodes_Meta is return Attr_Ref; when Field_Expr_Staticness => return Attr_None; + when Field_Scalar_Size => + return Attr_None; when Field_Error_Origin => return Attr_None; when Field_Operand => @@ -2947,6 +2952,7 @@ package body Vhdl.Nodes_Meta is Field_Has_Signal_Flag, Field_Only_Characters_Flag, Field_Is_Character_Type, + Field_Scalar_Size, Field_Type_Staticness, Field_Enumeration_Literal_List, Field_Range_Constraint, @@ -2957,6 +2963,7 @@ package body Vhdl.Nodes_Meta is Field_Is_Ref, Field_Signal_Type_Flag, Field_Has_Signal_Flag, + Field_Scalar_Size, Field_Type_Staticness, Field_Range_Constraint, Field_Type_Declarator, @@ -2966,6 +2973,7 @@ package body Vhdl.Nodes_Meta is Field_Is_Ref, Field_Signal_Type_Flag, Field_Has_Signal_Flag, + Field_Scalar_Size, Field_Type_Staticness, Field_Range_Constraint, Field_Type_Declarator, @@ -2975,6 +2983,7 @@ package body Vhdl.Nodes_Meta is Field_Is_Ref, Field_Signal_Type_Flag, Field_Has_Signal_Flag, + Field_Scalar_Size, Field_End_Has_Reserved_Id, Field_End_Has_Identifier, Field_Type_Staticness, @@ -5127,246 +5136,246 @@ package body Vhdl.Nodes_Meta is Iir_Kind_Floating_Subtype_Definition => 397, Iir_Kind_Integer_Subtype_Definition => 407, Iir_Kind_Enumeration_Subtype_Definition => 417, - Iir_Kind_Enumeration_Type_Definition => 428, - Iir_Kind_Integer_Type_Definition => 436, - Iir_Kind_Floating_Type_Definition => 444, - Iir_Kind_Physical_Type_Definition => 455, - Iir_Kind_Range_Expression => 463, - Iir_Kind_Protected_Type_Body => 470, - Iir_Kind_Wildcard_Type_Definition => 475, - Iir_Kind_Subtype_Definition => 482, - Iir_Kind_Scalar_Nature_Definition => 490, - Iir_Kind_Record_Nature_Definition => 503, - Iir_Kind_Array_Nature_Definition => 517, - Iir_Kind_Array_Subnature_Definition => 532, - Iir_Kind_Overload_List => 533, - Iir_Kind_Entity_Declaration => 546, - Iir_Kind_Configuration_Declaration => 555, - Iir_Kind_Context_Declaration => 561, - Iir_Kind_Package_Declaration => 576, - Iir_Kind_Package_Instantiation_Declaration => 590, - Iir_Kind_Vmode_Declaration => 601, - Iir_Kind_Vprop_Declaration => 612, - Iir_Kind_Vunit_Declaration => 624, - Iir_Kind_Package_Body => 632, - Iir_Kind_Architecture_Body => 645, - Iir_Kind_Type_Declaration => 652, - Iir_Kind_Anonymous_Type_Declaration => 658, - Iir_Kind_Subtype_Declaration => 665, - Iir_Kind_Nature_Declaration => 671, - Iir_Kind_Subnature_Declaration => 678, - Iir_Kind_Package_Header => 680, - Iir_Kind_Unit_Declaration => 689, - Iir_Kind_Library_Declaration => 697, - Iir_Kind_Component_Declaration => 707, - Iir_Kind_Attribute_Declaration => 714, - Iir_Kind_Group_Template_Declaration => 720, - Iir_Kind_Group_Declaration => 727, - Iir_Kind_Element_Declaration => 734, - Iir_Kind_Nature_Element_Declaration => 741, - Iir_Kind_Non_Object_Alias_Declaration => 749, - Iir_Kind_Psl_Declaration => 757, - Iir_Kind_Psl_Endpoint_Declaration => 771, - Iir_Kind_Enumeration_Literal => 782, - Iir_Kind_Function_Declaration => 807, - Iir_Kind_Procedure_Declaration => 831, - Iir_Kind_Function_Body => 841, - Iir_Kind_Procedure_Body => 852, - Iir_Kind_Terminal_Declaration => 861, - Iir_Kind_Object_Alias_Declaration => 872, - Iir_Kind_Free_Quantity_Declaration => 884, - Iir_Kind_Spectrum_Quantity_Declaration => 897, - Iir_Kind_Noise_Quantity_Declaration => 909, - Iir_Kind_Across_Quantity_Declaration => 925, - Iir_Kind_Through_Quantity_Declaration => 941, - Iir_Kind_File_Declaration => 955, - Iir_Kind_Guard_Signal_Declaration => 968, - Iir_Kind_Signal_Declaration => 985, - Iir_Kind_Variable_Declaration => 998, - Iir_Kind_Constant_Declaration => 1012, - Iir_Kind_Iterator_Declaration => 1023, - Iir_Kind_Interface_Constant_Declaration => 1039, - Iir_Kind_Interface_Variable_Declaration => 1055, - Iir_Kind_Interface_Signal_Declaration => 1076, - Iir_Kind_Interface_File_Declaration => 1092, - Iir_Kind_Interface_Quantity_Declaration => 1108, - Iir_Kind_Interface_Terminal_Declaration => 1120, - Iir_Kind_Interface_Type_Declaration => 1130, - Iir_Kind_Interface_Package_Declaration => 1142, - Iir_Kind_Interface_Function_Declaration => 1159, - Iir_Kind_Interface_Procedure_Declaration => 1172, - Iir_Kind_Anonymous_Signal_Declaration => 1181, - Iir_Kind_Signal_Attribute_Declaration => 1184, - Iir_Kind_Identity_Operator => 1188, - Iir_Kind_Negation_Operator => 1192, - Iir_Kind_Absolute_Operator => 1196, - Iir_Kind_Not_Operator => 1200, - Iir_Kind_Implicit_Condition_Operator => 1204, - Iir_Kind_Condition_Operator => 1208, - Iir_Kind_Reduction_And_Operator => 1212, - Iir_Kind_Reduction_Or_Operator => 1216, - Iir_Kind_Reduction_Nand_Operator => 1220, - Iir_Kind_Reduction_Nor_Operator => 1224, - Iir_Kind_Reduction_Xor_Operator => 1228, - Iir_Kind_Reduction_Xnor_Operator => 1232, - Iir_Kind_And_Operator => 1237, - Iir_Kind_Or_Operator => 1242, - Iir_Kind_Nand_Operator => 1247, - Iir_Kind_Nor_Operator => 1252, - Iir_Kind_Xor_Operator => 1257, - Iir_Kind_Xnor_Operator => 1262, - Iir_Kind_Equality_Operator => 1267, - Iir_Kind_Inequality_Operator => 1272, - Iir_Kind_Less_Than_Operator => 1277, - Iir_Kind_Less_Than_Or_Equal_Operator => 1282, - Iir_Kind_Greater_Than_Operator => 1287, - Iir_Kind_Greater_Than_Or_Equal_Operator => 1292, - Iir_Kind_Match_Equality_Operator => 1297, - Iir_Kind_Match_Inequality_Operator => 1302, - Iir_Kind_Match_Less_Than_Operator => 1307, - Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1312, - Iir_Kind_Match_Greater_Than_Operator => 1317, - Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1322, - Iir_Kind_Sll_Operator => 1327, - Iir_Kind_Sla_Operator => 1332, - Iir_Kind_Srl_Operator => 1337, - Iir_Kind_Sra_Operator => 1342, - Iir_Kind_Rol_Operator => 1347, - Iir_Kind_Ror_Operator => 1352, - Iir_Kind_Addition_Operator => 1357, - Iir_Kind_Substraction_Operator => 1362, - Iir_Kind_Concatenation_Operator => 1367, - Iir_Kind_Multiplication_Operator => 1372, - Iir_Kind_Division_Operator => 1377, - Iir_Kind_Modulus_Operator => 1382, - Iir_Kind_Remainder_Operator => 1387, - Iir_Kind_Exponentiation_Operator => 1392, - Iir_Kind_Function_Call => 1400, - Iir_Kind_Aggregate => 1407, - Iir_Kind_Parenthesis_Expression => 1410, - Iir_Kind_Qualified_Expression => 1414, - Iir_Kind_Type_Conversion => 1419, - Iir_Kind_Allocator_By_Expression => 1423, - Iir_Kind_Allocator_By_Subtype => 1428, - Iir_Kind_Selected_Element => 1436, - Iir_Kind_Dereference => 1441, - Iir_Kind_Implicit_Dereference => 1446, - Iir_Kind_Slice_Name => 1453, - Iir_Kind_Indexed_Name => 1459, - Iir_Kind_Psl_Expression => 1461, - Iir_Kind_Sensitized_Process_Statement => 1482, - Iir_Kind_Process_Statement => 1502, - Iir_Kind_Concurrent_Simple_Signal_Assignment => 1515, - Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1528, - Iir_Kind_Concurrent_Selected_Signal_Assignment => 1542, - Iir_Kind_Concurrent_Assertion_Statement => 1550, - Iir_Kind_Concurrent_Procedure_Call_Statement => 1557, - Iir_Kind_Concurrent_Break_Statement => 1565, - Iir_Kind_Psl_Assert_Directive => 1578, - Iir_Kind_Psl_Assume_Directive => 1589, - Iir_Kind_Psl_Cover_Directive => 1601, - Iir_Kind_Psl_Restrict_Directive => 1612, - Iir_Kind_Block_Statement => 1626, - Iir_Kind_If_Generate_Statement => 1637, - Iir_Kind_Case_Generate_Statement => 1646, - Iir_Kind_For_Generate_Statement => 1655, - Iir_Kind_Component_Instantiation_Statement => 1666, - Iir_Kind_Psl_Default_Clock => 1670, - Iir_Kind_Generate_Statement_Body => 1681, - Iir_Kind_If_Generate_Else_Clause => 1687, - Iir_Kind_Simple_Simultaneous_Statement => 1694, - Iir_Kind_Simultaneous_Null_Statement => 1698, - Iir_Kind_Simultaneous_Procedural_Statement => 1709, - Iir_Kind_Simultaneous_Case_Statement => 1718, - Iir_Kind_Simultaneous_If_Statement => 1727, - Iir_Kind_Simultaneous_Elsif => 1733, - Iir_Kind_Simple_Signal_Assignment_Statement => 1744, - Iir_Kind_Conditional_Signal_Assignment_Statement => 1755, - Iir_Kind_Selected_Waveform_Assignment_Statement => 1767, - Iir_Kind_Null_Statement => 1771, - Iir_Kind_Assertion_Statement => 1778, - Iir_Kind_Report_Statement => 1784, - Iir_Kind_Wait_Statement => 1792, - Iir_Kind_Variable_Assignment_Statement => 1799, - Iir_Kind_Conditional_Variable_Assignment_Statement => 1806, - Iir_Kind_Return_Statement => 1812, - Iir_Kind_For_Loop_Statement => 1823, - Iir_Kind_While_Loop_Statement => 1834, - Iir_Kind_Next_Statement => 1841, - Iir_Kind_Exit_Statement => 1848, - Iir_Kind_Case_Statement => 1856, - Iir_Kind_Procedure_Call_Statement => 1862, - Iir_Kind_Break_Statement => 1869, - Iir_Kind_If_Statement => 1879, - Iir_Kind_Elsif => 1885, - Iir_Kind_Character_Literal => 1893, - Iir_Kind_Simple_Name => 1901, - Iir_Kind_Selected_Name => 1910, - Iir_Kind_Operator_Symbol => 1916, - Iir_Kind_Reference_Name => 1921, - Iir_Kind_External_Constant_Name => 1929, - Iir_Kind_External_Signal_Name => 1937, - Iir_Kind_External_Variable_Name => 1946, - Iir_Kind_Selected_By_All_Name => 1952, - Iir_Kind_Parenthesis_Name => 1957, - Iir_Kind_Package_Pathname => 1961, - Iir_Kind_Absolute_Pathname => 1962, - Iir_Kind_Relative_Pathname => 1963, - Iir_Kind_Pathname_Element => 1968, - Iir_Kind_Base_Attribute => 1970, - Iir_Kind_Subtype_Attribute => 1975, - Iir_Kind_Element_Attribute => 1980, - Iir_Kind_Across_Attribute => 1985, - Iir_Kind_Through_Attribute => 1990, - Iir_Kind_Nature_Reference_Attribute => 1994, - Iir_Kind_Left_Type_Attribute => 1999, - Iir_Kind_Right_Type_Attribute => 2004, - Iir_Kind_High_Type_Attribute => 2009, - Iir_Kind_Low_Type_Attribute => 2014, - Iir_Kind_Ascending_Type_Attribute => 2019, - Iir_Kind_Image_Attribute => 2025, - Iir_Kind_Value_Attribute => 2031, - Iir_Kind_Pos_Attribute => 2037, - Iir_Kind_Val_Attribute => 2043, - Iir_Kind_Succ_Attribute => 2049, - Iir_Kind_Pred_Attribute => 2055, - Iir_Kind_Leftof_Attribute => 2061, - Iir_Kind_Rightof_Attribute => 2067, - Iir_Kind_Signal_Slew_Attribute => 2075, - Iir_Kind_Quantity_Slew_Attribute => 2083, - Iir_Kind_Ramp_Attribute => 2091, - Iir_Kind_Zoh_Attribute => 2099, - Iir_Kind_Ltf_Attribute => 2107, - Iir_Kind_Ztf_Attribute => 2117, - Iir_Kind_Dot_Attribute => 2124, - Iir_Kind_Integ_Attribute => 2131, - Iir_Kind_Above_Attribute => 2139, - Iir_Kind_Quantity_Delayed_Attribute => 2147, - Iir_Kind_Delayed_Attribute => 2156, - Iir_Kind_Stable_Attribute => 2165, - Iir_Kind_Quiet_Attribute => 2174, - Iir_Kind_Transaction_Attribute => 2183, - Iir_Kind_Event_Attribute => 2187, - Iir_Kind_Active_Attribute => 2191, - Iir_Kind_Last_Event_Attribute => 2195, - Iir_Kind_Last_Active_Attribute => 2199, - Iir_Kind_Last_Value_Attribute => 2203, - Iir_Kind_Driving_Attribute => 2207, - Iir_Kind_Driving_Value_Attribute => 2211, - Iir_Kind_Behavior_Attribute => 2211, - Iir_Kind_Structure_Attribute => 2211, - Iir_Kind_Simple_Name_Attribute => 2218, - Iir_Kind_Instance_Name_Attribute => 2223, - Iir_Kind_Path_Name_Attribute => 2228, - Iir_Kind_Left_Array_Attribute => 2235, - Iir_Kind_Right_Array_Attribute => 2242, - Iir_Kind_High_Array_Attribute => 2249, - Iir_Kind_Low_Array_Attribute => 2256, - Iir_Kind_Length_Array_Attribute => 2263, - Iir_Kind_Ascending_Array_Attribute => 2270, - Iir_Kind_Range_Array_Attribute => 2277, - Iir_Kind_Reverse_Range_Array_Attribute => 2284, - Iir_Kind_Attribute_Name => 2293 + Iir_Kind_Enumeration_Type_Definition => 429, + Iir_Kind_Integer_Type_Definition => 438, + Iir_Kind_Floating_Type_Definition => 447, + Iir_Kind_Physical_Type_Definition => 459, + Iir_Kind_Range_Expression => 467, + Iir_Kind_Protected_Type_Body => 474, + Iir_Kind_Wildcard_Type_Definition => 479, + Iir_Kind_Subtype_Definition => 486, + Iir_Kind_Scalar_Nature_Definition => 494, + Iir_Kind_Record_Nature_Definition => 507, + Iir_Kind_Array_Nature_Definition => 521, + Iir_Kind_Array_Subnature_Definition => 536, + Iir_Kind_Overload_List => 537, + Iir_Kind_Entity_Declaration => 550, + Iir_Kind_Configuration_Declaration => 559, + Iir_Kind_Context_Declaration => 565, + Iir_Kind_Package_Declaration => 580, + Iir_Kind_Package_Instantiation_Declaration => 594, + Iir_Kind_Vmode_Declaration => 605, + Iir_Kind_Vprop_Declaration => 616, + Iir_Kind_Vunit_Declaration => 628, + Iir_Kind_Package_Body => 636, + Iir_Kind_Architecture_Body => 649, + Iir_Kind_Type_Declaration => 656, + Iir_Kind_Anonymous_Type_Declaration => 662, + Iir_Kind_Subtype_Declaration => 669, + Iir_Kind_Nature_Declaration => 675, + Iir_Kind_Subnature_Declaration => 682, + Iir_Kind_Package_Header => 684, + Iir_Kind_Unit_Declaration => 693, + Iir_Kind_Library_Declaration => 701, + Iir_Kind_Component_Declaration => 711, + Iir_Kind_Attribute_Declaration => 718, + Iir_Kind_Group_Template_Declaration => 724, + Iir_Kind_Group_Declaration => 731, + Iir_Kind_Element_Declaration => 738, + Iir_Kind_Nature_Element_Declaration => 745, + Iir_Kind_Non_Object_Alias_Declaration => 753, + Iir_Kind_Psl_Declaration => 761, + Iir_Kind_Psl_Endpoint_Declaration => 775, + Iir_Kind_Enumeration_Literal => 786, + Iir_Kind_Function_Declaration => 811, + Iir_Kind_Procedure_Declaration => 835, + Iir_Kind_Function_Body => 845, + Iir_Kind_Procedure_Body => 856, + Iir_Kind_Terminal_Declaration => 865, + Iir_Kind_Object_Alias_Declaration => 876, + Iir_Kind_Free_Quantity_Declaration => 888, + Iir_Kind_Spectrum_Quantity_Declaration => 901, + Iir_Kind_Noise_Quantity_Declaration => 913, + Iir_Kind_Across_Quantity_Declaration => 929, + Iir_Kind_Through_Quantity_Declaration => 945, + Iir_Kind_File_Declaration => 959, + Iir_Kind_Guard_Signal_Declaration => 972, + Iir_Kind_Signal_Declaration => 989, + Iir_Kind_Variable_Declaration => 1002, + Iir_Kind_Constant_Declaration => 1016, + Iir_Kind_Iterator_Declaration => 1027, + Iir_Kind_Interface_Constant_Declaration => 1043, + Iir_Kind_Interface_Variable_Declaration => 1059, + Iir_Kind_Interface_Signal_Declaration => 1080, + Iir_Kind_Interface_File_Declaration => 1096, + Iir_Kind_Interface_Quantity_Declaration => 1112, + Iir_Kind_Interface_Terminal_Declaration => 1124, + Iir_Kind_Interface_Type_Declaration => 1134, + Iir_Kind_Interface_Package_Declaration => 1146, + Iir_Kind_Interface_Function_Declaration => 1163, + Iir_Kind_Interface_Procedure_Declaration => 1176, + Iir_Kind_Anonymous_Signal_Declaration => 1185, + Iir_Kind_Signal_Attribute_Declaration => 1188, + Iir_Kind_Identity_Operator => 1192, + Iir_Kind_Negation_Operator => 1196, + Iir_Kind_Absolute_Operator => 1200, + Iir_Kind_Not_Operator => 1204, + Iir_Kind_Implicit_Condition_Operator => 1208, + Iir_Kind_Condition_Operator => 1212, + Iir_Kind_Reduction_And_Operator => 1216, + Iir_Kind_Reduction_Or_Operator => 1220, + Iir_Kind_Reduction_Nand_Operator => 1224, + Iir_Kind_Reduction_Nor_Operator => 1228, + Iir_Kind_Reduction_Xor_Operator => 1232, + Iir_Kind_Reduction_Xnor_Operator => 1236, + Iir_Kind_And_Operator => 1241, + Iir_Kind_Or_Operator => 1246, + Iir_Kind_Nand_Operator => 1251, + Iir_Kind_Nor_Operator => 1256, + Iir_Kind_Xor_Operator => 1261, + Iir_Kind_Xnor_Operator => 1266, + Iir_Kind_Equality_Operator => 1271, + Iir_Kind_Inequality_Operator => 1276, + Iir_Kind_Less_Than_Operator => 1281, + Iir_Kind_Less_Than_Or_Equal_Operator => 1286, + Iir_Kind_Greater_Than_Operator => 1291, + Iir_Kind_Greater_Than_Or_Equal_Operator => 1296, + Iir_Kind_Match_Equality_Operator => 1301, + Iir_Kind_Match_Inequality_Operator => 1306, + Iir_Kind_Match_Less_Than_Operator => 1311, + Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1316, + Iir_Kind_Match_Greater_Than_Operator => 1321, + Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1326, + Iir_Kind_Sll_Operator => 1331, + Iir_Kind_Sla_Operator => 1336, + Iir_Kind_Srl_Operator => 1341, + Iir_Kind_Sra_Operator => 1346, + Iir_Kind_Rol_Operator => 1351, + Iir_Kind_Ror_Operator => 1356, + Iir_Kind_Addition_Operator => 1361, + Iir_Kind_Substraction_Operator => 1366, + Iir_Kind_Concatenation_Operator => 1371, + Iir_Kind_Multiplication_Operator => 1376, + Iir_Kind_Division_Operator => 1381, + Iir_Kind_Modulus_Operator => 1386, + Iir_Kind_Remainder_Operator => 1391, + Iir_Kind_Exponentiation_Operator => 1396, + Iir_Kind_Function_Call => 1404, + Iir_Kind_Aggregate => 1411, + Iir_Kind_Parenthesis_Expression => 1414, + Iir_Kind_Qualified_Expression => 1418, + Iir_Kind_Type_Conversion => 1423, + Iir_Kind_Allocator_By_Expression => 1427, + Iir_Kind_Allocator_By_Subtype => 1432, + Iir_Kind_Selected_Element => 1440, + Iir_Kind_Dereference => 1445, + Iir_Kind_Implicit_Dereference => 1450, + Iir_Kind_Slice_Name => 1457, + Iir_Kind_Indexed_Name => 1463, + Iir_Kind_Psl_Expression => 1465, + Iir_Kind_Sensitized_Process_Statement => 1486, + Iir_Kind_Process_Statement => 1506, + Iir_Kind_Concurrent_Simple_Signal_Assignment => 1519, + Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1532, + Iir_Kind_Concurrent_Selected_Signal_Assignment => 1546, + Iir_Kind_Concurrent_Assertion_Statement => 1554, + Iir_Kind_Concurrent_Procedure_Call_Statement => 1561, + Iir_Kind_Concurrent_Break_Statement => 1569, + Iir_Kind_Psl_Assert_Directive => 1582, + Iir_Kind_Psl_Assume_Directive => 1593, + Iir_Kind_Psl_Cover_Directive => 1605, + Iir_Kind_Psl_Restrict_Directive => 1616, + Iir_Kind_Block_Statement => 1630, + Iir_Kind_If_Generate_Statement => 1641, + Iir_Kind_Case_Generate_Statement => 1650, + Iir_Kind_For_Generate_Statement => 1659, + Iir_Kind_Component_Instantiation_Statement => 1670, + Iir_Kind_Psl_Default_Clock => 1674, + Iir_Kind_Generate_Statement_Body => 1685, + Iir_Kind_If_Generate_Else_Clause => 1691, + Iir_Kind_Simple_Simultaneous_Statement => 1698, + Iir_Kind_Simultaneous_Null_Statement => 1702, + Iir_Kind_Simultaneous_Procedural_Statement => 1713, + Iir_Kind_Simultaneous_Case_Statement => 1722, + Iir_Kind_Simultaneous_If_Statement => 1731, + Iir_Kind_Simultaneous_Elsif => 1737, + Iir_Kind_Simple_Signal_Assignment_Statement => 1748, + Iir_Kind_Conditional_Signal_Assignment_Statement => 1759, + Iir_Kind_Selected_Waveform_Assignment_Statement => 1771, + Iir_Kind_Null_Statement => 1775, + Iir_Kind_Assertion_Statement => 1782, + Iir_Kind_Report_Statement => 1788, + Iir_Kind_Wait_Statement => 1796, + Iir_Kind_Variable_Assignment_Statement => 1803, + Iir_Kind_Conditional_Variable_Assignment_Statement => 1810, + Iir_Kind_Return_Statement => 1816, + Iir_Kind_For_Loop_Statement => 1827, + Iir_Kind_While_Loop_Statement => 1838, + Iir_Kind_Next_Statement => 1845, + Iir_Kind_Exit_Statement => 1852, + Iir_Kind_Case_Statement => 1860, + Iir_Kind_Procedure_Call_Statement => 1866, + Iir_Kind_Break_Statement => 1873, + Iir_Kind_If_Statement => 1883, + Iir_Kind_Elsif => 1889, + Iir_Kind_Character_Literal => 1897, + Iir_Kind_Simple_Name => 1905, + Iir_Kind_Selected_Name => 1914, + Iir_Kind_Operator_Symbol => 1920, + Iir_Kind_Reference_Name => 1925, + Iir_Kind_External_Constant_Name => 1933, + Iir_Kind_External_Signal_Name => 1941, + Iir_Kind_External_Variable_Name => 1950, + Iir_Kind_Selected_By_All_Name => 1956, + Iir_Kind_Parenthesis_Name => 1961, + Iir_Kind_Package_Pathname => 1965, + Iir_Kind_Absolute_Pathname => 1966, + Iir_Kind_Relative_Pathname => 1967, + Iir_Kind_Pathname_Element => 1972, + Iir_Kind_Base_Attribute => 1974, + Iir_Kind_Subtype_Attribute => 1979, + Iir_Kind_Element_Attribute => 1984, + Iir_Kind_Across_Attribute => 1989, + Iir_Kind_Through_Attribute => 1994, + Iir_Kind_Nature_Reference_Attribute => 1998, + Iir_Kind_Left_Type_Attribute => 2003, + Iir_Kind_Right_Type_Attribute => 2008, + Iir_Kind_High_Type_Attribute => 2013, + Iir_Kind_Low_Type_Attribute => 2018, + Iir_Kind_Ascending_Type_Attribute => 2023, + Iir_Kind_Image_Attribute => 2029, + Iir_Kind_Value_Attribute => 2035, + Iir_Kind_Pos_Attribute => 2041, + Iir_Kind_Val_Attribute => 2047, + Iir_Kind_Succ_Attribute => 2053, + Iir_Kind_Pred_Attribute => 2059, + Iir_Kind_Leftof_Attribute => 2065, + Iir_Kind_Rightof_Attribute => 2071, + Iir_Kind_Signal_Slew_Attribute => 2079, + Iir_Kind_Quantity_Slew_Attribute => 2087, + Iir_Kind_Ramp_Attribute => 2095, + Iir_Kind_Zoh_Attribute => 2103, + Iir_Kind_Ltf_Attribute => 2111, + Iir_Kind_Ztf_Attribute => 2121, + Iir_Kind_Dot_Attribute => 2128, + Iir_Kind_Integ_Attribute => 2135, + Iir_Kind_Above_Attribute => 2143, + Iir_Kind_Quantity_Delayed_Attribute => 2151, + Iir_Kind_Delayed_Attribute => 2160, + Iir_Kind_Stable_Attribute => 2169, + Iir_Kind_Quiet_Attribute => 2178, + Iir_Kind_Transaction_Attribute => 2187, + Iir_Kind_Event_Attribute => 2191, + Iir_Kind_Active_Attribute => 2195, + Iir_Kind_Last_Event_Attribute => 2199, + Iir_Kind_Last_Active_Attribute => 2203, + Iir_Kind_Last_Value_Attribute => 2207, + Iir_Kind_Driving_Attribute => 2211, + Iir_Kind_Driving_Value_Attribute => 2215, + Iir_Kind_Behavior_Attribute => 2215, + Iir_Kind_Structure_Attribute => 2215, + Iir_Kind_Simple_Name_Attribute => 2222, + Iir_Kind_Instance_Name_Attribute => 2227, + Iir_Kind_Path_Name_Attribute => 2232, + Iir_Kind_Left_Array_Attribute => 2239, + Iir_Kind_Right_Array_Attribute => 2246, + Iir_Kind_High_Array_Attribute => 2253, + Iir_Kind_Low_Array_Attribute => 2260, + Iir_Kind_Length_Array_Attribute => 2267, + Iir_Kind_Ascending_Array_Attribute => 2274, + Iir_Kind_Range_Array_Attribute => 2281, + Iir_Kind_Reverse_Range_Array_Attribute => 2288, + Iir_Kind_Attribute_Name => 2297 ); function Get_Fields_First (K : Iir_Kind) return Fields_Index is @@ -7300,6 +7309,30 @@ package body Vhdl.Nodes_Meta is end case; end Set_PSL_Node; + function Get_Scalar_Size + (N : Iir; F : Fields_Enum) return Scalar_Size is + begin + pragma Assert (Fields_Type (F) = Type_Scalar_Size); + case F is + when Field_Scalar_Size => + return Get_Scalar_Size (N); + when others => + raise Internal_Error; + end case; + end Get_Scalar_Size; + + procedure Set_Scalar_Size + (N : Iir; F : Fields_Enum; V: Scalar_Size) is + begin + pragma Assert (Fields_Type (F) = Type_Scalar_Size); + case F is + when Field_Scalar_Size => + Set_Scalar_Size (N, V); + when others => + raise Internal_Error; + end case; + end Set_Scalar_Size; + function Get_Source_File_Entry (N : Iir; F : Fields_Enum) return Source_File_Entry is begin @@ -10878,6 +10911,19 @@ package body Vhdl.Nodes_Meta is end case; end Has_Expr_Staticness; + function Has_Scalar_Size (K : Iir_Kind) return Boolean is + begin + case K is + when Iir_Kind_Enumeration_Type_Definition + | Iir_Kind_Integer_Type_Definition + | Iir_Kind_Floating_Type_Definition + | Iir_Kind_Physical_Type_Definition => + return True; + when others => + return False; + end case; + end Has_Scalar_Size; + function Has_Error_Origin (K : Iir_Kind) return Boolean is begin return K = Iir_Kind_Error; |