aboutsummaryrefslogtreecommitdiffstats
path: root/passes/proc
diff options
context:
space:
mode:
Diffstat (limited to 'passes/proc')
-rw-r--r--passes/proc/proc_clean.cc8
1 files changed, 7 insertions, 1 deletions
diff --git a/passes/proc/proc_clean.cc b/passes/proc/proc_clean.cc
index 3919e4b9c..0e2f95226 100644
--- a/passes/proc/proc_clean.cc
+++ b/passes/proc/proc_clean.cc
@@ -82,9 +82,15 @@ void proc_clean_switch(RTLIL::SwitchRule *sw, RTLIL::CaseRule *parent, bool &did
{
if (max_depth != 0)
proc_clean_case(cs, did_something, count, max_depth-1);
+ int size = 0;
for (auto cmp : cs->compare)
- if (!cmp.is_fully_def())
+ {
+ size += cmp.size();
+ if (cmp.is_fully_def())
all_fully_def = false;
+ }
+ if (sw->signal.size() != size)
+ all_fully_def = false;
}
if (all_fully_def)
{