aboutsummaryrefslogtreecommitdiffstats
path: root/src/synth/netlists-cleanup.ads
diff options
context:
space:
mode:
authorTristan Gingold <tgingold@free.fr>2020-01-14 22:00:47 +0100
committerTristan Gingold <tgingold@free.fr>2020-01-15 06:31:55 +0100
commitb3cb6b9c638e9a45afec449a1cf1a5ea4c34756d (patch)
tree28b10cd35134a244c663c631e42d1b40924b9152 /src/synth/netlists-cleanup.ads
parentc15205285f62978e4551c749c392a8746258f92d (diff)
downloadghdl-b3cb6b9c638e9a45afec449a1cf1a5ea4c34756d.tar.gz
ghdl-b3cb6b9c638e9a45afec449a1cf1a5ea4c34756d.tar.bz2
ghdl-b3cb6b9c638e9a45afec449a1cf1a5ea4c34756d.zip
netlists: use a mark and sweep cleanup.
Diffstat (limited to 'src/synth/netlists-cleanup.ads')
-rw-r--r--src/synth/netlists-cleanup.ads4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/synth/netlists-cleanup.ads b/src/synth/netlists-cleanup.ads
index c4c82addf..bb9679100 100644
--- a/src/synth/netlists-cleanup.ads
+++ b/src/synth/netlists-cleanup.ads
@@ -24,6 +24,10 @@ package Netlists.Cleanup is
-- that are also removed.
procedure Remove_Unconnected_Instances (M : Module);
+ -- Stronger version of Remove_Unconnected_Instances: use a mark and
+ -- sweep algorithm.
+ procedure Mark_And_Sweep (M : Module);
+
-- Remove Id_Output gates.
procedure Remove_Output_Gates (M : Module);
end Netlists.Cleanup;