diff options
| author | Tristan Gingold <tgingold@free.fr> | 2022-06-11 14:59:12 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2022-06-11 15:02:49 +0200 |
| commit | 414610b92c49370d74ecb70edd98b6c4a9e29d77 (patch) | |
| tree | 56fe68dec496e1cf2a426a9243b8f644912adabc | |
| parent | ea07fa6b5d540796e6cf4bedcc208b204ef359a6 (diff) | |
| download | ghdl-414610b92c49370d74ecb70edd98b6c4a9e29d77.tar.gz ghdl-414610b92c49370d74ecb70edd98b6c4a9e29d77.tar.bz2 ghdl-414610b92c49370d74ecb70edd98b6c4a9e29d77.zip | |
synth-environment(Merge_Dyn_Insert): disable transformation.
Do not transform a Dyn_Insert into a Dyn_Insert_En, to avoid spurious
latch detection.
For #2086
| -rw-r--r-- | src/synth/synth-environment.adb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/synth/synth-environment.adb b/src/synth/synth-environment.adb index b0bf4d6dd..7e809e7cc 100644 --- a/src/synth/synth-environment.adb +++ b/src/synth/synth-environment.adb @@ -1447,7 +1447,9 @@ package body Synth.Environment is -- TODO: also handle dyn_insert_en -- TODO: negative SEL ? V := Get_Input_Net (N1_Inst, 0); - if Same_Net (V, N0) then + -- NOTE: do not try to transform as a dyn_insert_en, as this element + -- is not recognized by Infere; so we got spurious latch detected. + if False and then Same_Net (V, N0) then New_Inst := Add_Enable_To_Dyn_Insert (Ctxt, N1_Inst, Sel); return Get_Output (New_Inst, 0); else |