diff options
Diffstat (limited to 'src/synth')
| -rw-r--r-- | src/synth/synth-decls.adb | 7 | ||||
| -rw-r--r-- | src/synth/synth-expr.adb | 21 | ||||
| -rw-r--r-- | src/synth/synthesis.adb | 57 |
3 files changed, 74 insertions, 11 deletions
diff --git a/src/synth/synth-decls.adb b/src/synth/synth-decls.adb index b3f4a8a4a..bdf307ae4 100644 --- a/src/synth/synth-decls.adb +++ b/src/synth/synth-decls.adb @@ -103,6 +103,13 @@ package body Synth.Decls is null; when Iir_Kind_Attribute_Specification => null; + when Iir_Kind_Type_Declaration + | Iir_Kind_Anonymous_Type_Declaration + | Iir_Kind_Subtype_Declaration => + -- TODO, in particular enumerated types. + null; + when Iir_Kind_Component_Declaration => + null; when others => Error_Kind ("synth_declaration", Decl); end case; diff --git a/src/synth/synth-expr.adb b/src/synth/synth-expr.adb index c398263f1..1dd5dbbea 100644 --- a/src/synth/synth-expr.adb +++ b/src/synth/synth-expr.adb @@ -538,10 +538,10 @@ package body Synth.Expr is begin return Create_Value_Net (Build_Concat2 (Build_Context, L, Get_Net (Right)), - Bounds_To_Range(Simul.Execution.Create_Bounds_From_Length - (Syn_Inst.Sim, - Get_Index_Type (Get_Type (Loc), 0), - Iir_Index32(Get_Width (L) + 1)))); + Bounds_To_Range (Simul.Execution.Create_Bounds_From_Length + (Syn_Inst.Sim, + Get_Index_Type (Get_Type (Loc), 0), + Iir_Index32 (Get_Width (L) + 1)))); end; when Iir_Predefined_Element_Array_Concat => declare @@ -549,10 +549,10 @@ package body Synth.Expr is begin return Create_Value_Net (Build_Concat2 (Build_Context, Get_Net (Left), R), - Bounds_To_Range(Simul.Execution.Create_Bounds_From_Length - (Syn_Inst.Sim, - Get_Index_Type (Get_Type (Loc), 0), - Iir_Index32(Get_Width (R) + 1)))); + Bounds_To_Range (Simul.Execution.Create_Bounds_From_Length + (Syn_Inst.Sim, + Get_Index_Type (Get_Type (Loc), 0), + Iir_Index32 (Get_Width (R) + 1)))); end; when others => Error_Msg_Synth @@ -609,9 +609,8 @@ package body Synth.Expr is | Iir_Kind_Signal_Declaration => return Get_Value (Syn_Inst, Name); when Iir_Kind_Constant_Declaration => - return Create_Value_Lit( - Syn_Inst.Sim.Objects(Get_Info(Name).Slot), - Get_Type(Name)); + return Create_Value_Lit + (Syn_Inst.Sim.Objects (Get_Info (Name).Slot), Get_Type (Name)); when others => Error_Kind ("synth_name", Name); end case; diff --git a/src/synth/synthesis.adb b/src/synth/synthesis.adb index 4a346b0a9..7f42d018c 100644 --- a/src/synth/synthesis.adb +++ b/src/synth/synthesis.adb @@ -25,6 +25,8 @@ with Netlists.Builders; use Netlists.Builders; with Netlists.Utils; with Vhdl.Utils; use Vhdl.Utils; +with Simul.Annotations; +with Simul.Execution; with Simul.Environments; use Simul.Environments; with Simul.Elaboration; use Simul.Elaboration; @@ -232,6 +234,56 @@ package body Synthesis is return Syn_Inst; end Synth_Entity; + procedure Synth_Dependencies (Unit : Iir) + is + Dep_List : constant Iir_List := Get_Dependence_List (Unit); + Dep_It : List_Iterator; + Dep : Iir; + Dep_Unit : Iir; + begin + Dep_It := List_Iterate (Dep_List); + while Is_Valid (Dep_It) loop + Dep := Get_Element (Dep_It); + pragma Assert (Get_Kind (Dep) = Iir_Kind_Design_Unit); + if not Get_Elab_Flag (Dep) then + Set_Elab_Flag (Dep, True); + Synth_Dependencies (Dep); + Dep_Unit := Get_Library_Unit (Dep); + case Iir_Kinds_Library_Unit (Get_Kind (Dep_Unit)) is + when Iir_Kind_Entity_Declaration => + null; + when Iir_Kind_Configuration_Declaration => + null; + when Iir_Kind_Context_Declaration => + null; + when Iir_Kind_Package_Declaration => + pragma Assert (not Is_Uninstantiated_Package (Dep_Unit)); + declare + Sim_Info : constant Sim_Info_Acc := + Simul.Annotations.Get_Info (Dep_Unit); + Sim_Inst : constant Block_Instance_Acc := + Simul.Execution.Get_Instance_By_Scope + (Global_Instances, Sim_Info); + Bid : constant Block_Instance_Id := Sim_Inst.Id; + Syn_Inst : Synth_Instance_Acc; + begin + pragma Assert (Instance_Map (Bid) = null); + Syn_Inst := Make_Instance (Sim_Inst); + Synth_Declarations + (Syn_Inst, Get_Declaration_Chain (Dep_Unit)); + end; + when Iir_Kind_Package_Instantiation_Declaration => + null; + when Iir_Kind_Package_Body => + null; + when Iir_Kind_Architecture_Body => + null; + end case; + end if; + Next (Dep_It); + end loop; + end Synth_Dependencies; + function Synth_Design (Design : Iir) return Module is Unit : constant Iir := Get_Library_Unit (Design); @@ -255,6 +307,11 @@ package body Synthesis is Des := New_Design (New_Sname_Artificial (Get_Identifier ("top"))); Build_Context := Build_Builders (Des); + + -- Dependencies first. + Synth_Dependencies (Get_Design_Unit (Get_Entity (Arch))); + Synth_Dependencies (Get_Design_Unit (Arch)); + Syn_Inst := Synth_Entity (Des, Arch, Top_Instance); if Errorout.Nbr_Errors > 0 then |