From 414610b92c49370d74ecb70edd98b6c4a9e29d77 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Sat, 11 Jun 2022 14:59:12 +0200 Subject: 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 --- src/synth/synth-environment.adb | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3