From: Paul Annesley <paul@annesley.cc>
Date: Sun, 17 Oct 2021 01:56:32 +0000 (+1100)
Subject: dfflegalize: remove redundant check for initialized dlatch
X-Git-Tag: yosys-0.11~42
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3efc14f5ad856842725a96af0a49c046c622a52d;p=yosys.git

dfflegalize: remove redundant check for initialized dlatch

This if condition is repeated verbatim, and I can't imagine a legitimate
way the inputs could change in between. I imagine it's a copy/paste
mistake.
---

diff --git a/passes/techmap/dfflegalize.cc b/passes/techmap/dfflegalize.cc
index c1e7e557d..5210d01eb 100644
--- a/passes/techmap/dfflegalize.cc
+++ b/passes/techmap/dfflegalize.cc
@@ -718,10 +718,6 @@ flip_dqisr:;
 					goto error;
 				}
 
-				if (!(supported_dlatch & ~INIT_X)) {
-					reason = "initialized dlatch are not supported";
-					goto error;
-				}
 				// If we got here, initialized dlatch is supported, but not this
 				// particular reset+init combination (nor its negation).
 				// The only hope left is breaking down to adff + dff + dlatch + mux.