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 15a37a439a4a77417a86cb3cdfc4595a979754b2..6eab74a215b8ba4d839623dd1907bb1143d7f547 100644 (file)
--- 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");