From 95b6c3588222564b86cfa73f0601be44e3af5786 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Fri, 18 Jan 2019 23:22:02 +0000
Subject: [PATCH] proc_clean: fix fully def check to consider compare/signal
 length.

Fixes #790.
---
 passes/proc/proc_clean.cc | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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)
 		{