diff options
Diffstat (limited to 'src/synth/netlists-utils.adb')
-rw-r--r-- | src/synth/netlists-utils.adb | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/src/synth/netlists-utils.adb b/src/synth/netlists-utils.adb index 6a8f1a2bf..145692ef4 100644 --- a/src/synth/netlists-utils.adb +++ b/src/synth/netlists-utils.adb @@ -252,43 +252,6 @@ package body Netlists.Utils is return Disconnect_And_Get (Get_Input (Inst, I)); end Disconnect_And_Get; - procedure Disconnect_And_Free (I : Input) - is - I_Net : constant Net := Get_Driver (I); - Inst : constant Instance := Get_Net_Parent (I_Net); - Nbr_Inputs : Port_Nbr; - Nbr_Outputs : Port_Nbr; - begin - -- First disconnect. - Disconnect (I); - - -- Quick check: is output (of I) still used ? - if Is_Connected (I_Net) then - return; - end if; - - -- Check that all outputs are unused. - Nbr_Outputs := Get_Nbr_Outputs (Inst); - if Nbr_Outputs > 1 then - for K in 0 .. Nbr_Outputs - 1 loop - if Is_Connected (Get_Output (Inst, K)) then - return; - end if; - end loop; - end if; - - -- First disconnect inputs. - Nbr_Inputs := Get_Nbr_Inputs (Inst); - if Nbr_Inputs > 0 then - for K in 0 .. Nbr_Inputs - 1 loop - Disconnect_And_Free (Get_Input (Inst, K)); - end loop; - end if; - - -- Free Inst - Free_Instance (Inst); - end Disconnect_And_Free; - function Same_Net (L, R : Net) return Boolean is begin if L = R then |