from libghdl import libghdl from ctypes import (c_char_p, c_int32, c_int, c_bool, sizeof, c_void_p) import iirs import nodes_meta from nodes_meta import (Attr, types) # from libghdl_defs import (fields, Iir_Kind, types, Attr) assert sizeof(c_bool) == 1 # libghdl _set_option = libghdl.libghdl__set_option _analyze_file = libghdl.libghdl__analyze_file def set_option(opt): return _set_option(c_char_p(opt), len(opt)) def analyze_init(): return libghdl.libghdl__analyze_init() def analyze_file(filename): return _analyze_file(c_char_p(filename), len(filename)) # Lists Get_Nbr_Elements = libghdl.lists__get_nbr_elements Get_Nth_Element = libghdl.lists__get_nth_element # Files Location_To_File = libghdl.files_map__location_to_file Location_File_To_Pos = libghdl.files_map__location_file_to_pos Location_File_To_Line = libghdl.files_map__location_file_to_line Location_File_Line_To_Col = libghdl.files_map__location_file_line_to_col Get_File_Name = libghdl.files_map__get_file_name Get_File_Buffer = libghdl.files_map__get_file_buffer Get_File_Buffer.restype = c_void_p Get_File_Length = libghdl.files_map__get_file_length Read_Source_File = libghdl.files_map__read_source_file No_Source_File_Entry = 0 No_Location = 0 # Names Get_Name_Length = libghdl.name_table__get_name_length Get_Name_Ptr = libghdl.name_table__get_name_ptr Get_Name_Ptr.restype = c_char_p _Get_Identifier_With_Len = libghdl.name_table__get_identifier_with_len # Ieee # Get value Std_Logic_Type = c_int.in_dll(libghdl, "ieee__std_logic_1164__std_logic_type") # Get value Std_Logic_Vector_Type = c_int.in_dll( libghdl, "ieee__std_logic_1164__std_logic_vector_type") def Get_Identifier(s): return _Get_Identifier_With_Len(c_char_p(s), len(s)) # Flags class Flags: Flag_Elocations = c_bool.in_dll(libghdl, "flags__flag_elocations") # Scanner class Scanner: Set_File = libghdl.scanner__set_file Close_File = libghdl.scanner__close_file Scan = libghdl.scanner__scan # This is a c_int, so you want to use its .value Current_Token = c_int.in_dll(libghdl, "scanner__current_token") Flag_Comment = c_bool.in_dll(libghdl, "scanner__flag_comment") Get_Current_Line = libghdl.scanner__get_current_line Get_Token_Column = libghdl.scanner__get_token_column Get_Token_Position = libghdl.scanner__get_token_position Get_Position = libghdl.scanner__get_position class Parse: Parse_Design_File = libghdl.parse__parse_design_file # std.standard # Use .value Standard_Package = c_int32.in_dll(libghdl, "std_package__standard_package") # Use .value Character_Type_Definition = c_int32.in_dll( libghdl, "std_package__character_type_definition") # libraries Get_Libraries_Chain = libghdl.libraries__get_libraries_chain Add_Design_Unit_Into_Library = libghdl.libraries__add_design_unit_into_library Finish_Compilation = libghdl.libraries__finish_compilation # Use .value Library_Location = c_int32.in_dll(libghdl, "libraries__library_location") # Use .value Work_Library = c_int32.in_dll(libghdl, "libraries__work_library") Purge_Design_File = libghdl.libraries__purge_design_file # Disp_Tree Disp_Iir = libghdl.disp_tree__disp_iir # Iirs_Utils class Iirs_Utils: Get_Entity = libghdl.iirs_utils__get_entity Is_Second_Subprogram_Specification = \ libghdl.iirs_utils__is_second_subprogram_specification Null_Iir = 0 Null_Iir_List = 0 def _build_enum_image(cls): d = [e for e in dir(cls) if e[0] != '_'] res = [None] * len(d) for e in d: res[getattr(cls, e)] = e return res _fields_image = _build_enum_image(nodes_meta.fields) def fields_image(idx): """String representation of field idx""" return _fields_image[idx] _kind_image = _build_enum_image(iirs.Iir_Kind) def kind_image(k): """String representation of Iir_Kind k""" return _kind_image[k] _types_image = _build_enum_image(nodes_meta.types) def types_image(t): """String representation of Nodes_Meta.Types t""" return _types_image[t] _attr_image = _build_enum_image(nodes_meta.Attr) def attr_image(a): """String representation of Nodes_Meta.Attr a""" return _attr_image[a] def fields_iter(n): """Iterate on fields of node n""" if n == Null_Iir: return k = iirs.Get_Kind(n) first = nodes_meta.get_fields_first(k) last = nodes_meta.get_fields_last(k) for i in range(first, last + 1): yield nodes_meta.get_field_by_index(i) def chain_iter(n): """Iterate of a chain headed by node n""" while n != Null_Iir: yield n n = iirs.Get_Chain(n) def chain_to_list(n): """Convert a chain headed by node n to a python list""" return [e for e in chain_iter(n)] def nodes_iter(n): """Iterate of all nodes of n, including n. Nodes are returned only once.""" if n == Null_Iir: return # print 'nodes_iter for {0}'.format(n) yield n for f in fields_iter(n): typ = nodes_meta.get_field_type(f) # print ' {0}: field {1} (type: {2})'.format( # n, fields_image(f), types_image(typ)) if typ == nodes_meta.types.Iir: attr = nodes_meta.get_field_attribute(f) if attr == Attr.ANone: for n1 in nodes_iter(nodes_meta.Get_Iir(n, f)): yield n1 elif attr == Attr.Chain: n2 = nodes_meta.Get_Iir(n, f) while n2 != Null_Iir: for n1 in nodes_iter(n2): yield n1 n2 = iirs.Get_Chain(n2) elif attr == Attr.Maybe_Ref: if not iirs.Get_Is_Ref(n, f): for n1 in nodes_iter(nodes_meta.Get_Iir(n, f)): yield n1 elif typ == types.Iir_List: attr = nodes_meta.get_field_attribute(f) if attr == Attr.ANone: for n1 in list_iter(nodes_meta.Get_Iir_List(n, f)): for n2 in nodes_iter(n1): yield n2 def list_iter(lst): """Iterate of all element of Iir_List lst.""" if lst == Null_Iir_List: return for i in range(Get_Nbr_Elements(lst)): yield Get_Nth_Element(lst, i) def declarations_iter(n): """Iterator on all declarations in n.""" k = iirs.Get_Kind(n) if nodes_meta.Has_Generic_Chain(k): for n1 in chain_iter(iirs.Get_Generic_Chain(n)): yield n1 if nodes_meta.Has_Port_Chain(k): for n1 in chain_iter(iirs.Get_Port_Chain(n)): yield n1 if nodes_meta.Has_Interface_Declaration_Chain(k): for n1 in chain_iter(iirs.Get_Interface_Declaration_Chain(n)): yield n1 if nodes_meta.Has_Declaration_Chain(k): for n1 in chain_iter(iirs.Get_Declaration_Chain(n)): yield n1 # There can be nested declarations (subprograms, record elements) for n2 in declarations_iter(n1): yield n2 if nodes_meta.Has_Concurrent_Statement_Chain(k): for n1 in chain_iter(iirs.Get_Concurrent_Statement_Chain(n)): for n2 in declarations_iter(n1): yield n2 if nodes_meta.Has_Sequential_Statement_Chain(k): for n1 in chain_iter(iirs.Get_Sequential_Statement_Chain(n)): for n2 in declarations_iter(n1): yield n2 if nodes_meta.Has_Parameter_Specification(k): yield iirs.Get_Parameter_Specification(n) if nodes_meta.Has_Generate_Statement_Body(k): for n1 in declarations_iter(iirs.Get_Generate_Statement_Body(n)): yield n1 if nodes_meta.Has_Else_Clause(k): n1 = iirs.Get_Else_Clause(n) if n1 != Null_Iir: for n2 in declarations_iter(n1): yield n2 if nodes_meta.Has_Generate_Else_Clause(k): n1 = iirs.Get_Generate_Else_Clause(n) if n1 != Null_Iir: for n2 in declarations_iter(n1): yield n2 if nodes_meta.Has_Block_Header(k): n1 = iirs.Get_Block_Header(n) if n1 != Null_Iir: for n2 in declarations_iter(n1): yield n2 if k in [iirs.Iir_Kind.Entity_Declaration, iirs.Iir_Kind.Architecture_Body, iirs.Iir_Kind.Package_Body, iirs.Iir_Kind.Process_Statement, iirs.Iir_Kind.Sensitized_Process_Statement, iirs.Iir_Kind.Block_Statement, iirs.Iir_Kind.For_Generate_Statement, iirs.Iir_Kind.If_Generate_Statement, iirs.Iir_Kind.Generate_Statement_Body, iirs.Iir_Kind.Assertion_Statement, iirs.Iir_Kind.Wait_Statement, iirs.Iir_Kind.Simple_Signal_Assignment_Statement, iirs.Iir_Kind.Variable_Assignment_Statement, iirs.Iir_Kind.For_Loop_Statement, iirs.Iir_Kind.Case_Statement, iirs.Iir_Kind.Null_Statement, iirs.Iir_Kind.Exit_Statement, iirs.Iir_Kind.Next_Statement, iirs.Iir_Kind.Procedure_Call_Statement, iirs.Iir_Kind.Signal_Declaration, iirs.Iir_Kind.Constant_Declaration, iirs.Iir_Kind.Variable_Declaration, iirs.Iir_Kind.Object_Alias_Declaration, iirs.Iir_Kind.If_Statement, iirs.Iir_Kind.Elsif, iirs.Iir_Kind.Return_Statement, iirs.Iir_Kind.Type_Declaration, iirs.Iir_Kind.Anonymous_Type_Declaration, iirs.Iir_Kind.Subtype_Declaration, iirs.Iir_Kind.Function_Declaration, iirs.Iir_Kind.Function_Body, iirs.Iir_Kind.Procedure_Declaration, iirs.Iir_Kind.Procedure_Body, iirs.Iir_Kind.Component_Instantiation_Statement, ]: return assert False, "unknown node of kind {}".format(kind_image(k))