diff options
author | Tristan Gingold <tgingold@free.fr> | 2019-04-16 19:03:15 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2019-04-16 19:03:15 +0200 |
commit | 93570afad886f29339ef6a2c3eca6e9fcaa6a234 (patch) | |
tree | c8539f99c77f561263548922da6d34abe911e4b0 /src/synth/synth-environment.adb | |
parent | 6b71fbf805d5534f68b32f3248d8aecf65bb00ec (diff) | |
download | ghdl-93570afad886f29339ef6a2c3eca6e9fcaa6a234.tar.gz ghdl-93570afad886f29339ef6a2c3eca6e9fcaa6a234.tar.bz2 ghdl-93570afad886f29339ef6a2c3eca6e9fcaa6a234.zip |
synth: support async reset in inference.
Diffstat (limited to 'src/synth/synth-environment.adb')
-rw-r--r-- | src/synth/synth-environment.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/synth/synth-environment.adb b/src/synth/synth-environment.adb index e02cf12d3..fd91f1f2e 100644 --- a/src/synth/synth-environment.adb +++ b/src/synth/synth-environment.adb @@ -50,6 +50,7 @@ package body Synth.Environment is Nbr => 0)); end Push_Phi; + -- Get list of assignments for this current block. procedure Pop_Phi (Phi : out Phi_Type) is Cur_Phi : constant Phi_Id := Current_Phi; @@ -74,6 +75,7 @@ package body Synth.Environment is Asgn : Assign; begin Pop_Phi (Phi); + Asgn := Phi.First; while Asgn /= No_Assign loop declare @@ -230,6 +232,7 @@ package body Synth.Environment is end if; end Get_Last_Assigned_Value; + -- Add muxes for two lists T and F of assignments. procedure Merge_Phis (Ctxt : Builders.Context_Acc; Sel : Net; T, F : Phi_Type) |