From: Eddie Hung <eddie@fpgeh.com>
Date: Tue, 9 Jul 2019 06:49:16 +0000 (-0700)
Subject: Do not call opt -mux_undef (part of -full) before muxcover
X-Git-Tag: working-ls180~1208^2~15
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=45da3ada7babc8f2b23a8b23ce25430a98e2e58e;p=yosys.git

Do not call opt -mux_undef (part of -full) before muxcover
---

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 15a37a439..6eab74a21 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -270,7 +270,11 @@ struct SynthXilinxPass : public ScriptPass
 		}
 
 		if (check_label("fine")) {
-			run("opt -fast -full");
+		        if (widemux > 0)
+				run("opt -fast -mux_bool -undriven -fine"); // Necessary to omit -mux_undef otherwise muxcover
+									    // performs less efficiently
+			else
+				run("opt -fast -full");
 			run("memory_map");
 			run("dffsr2dff");
 			run("dff2dffe");