Instead of blocking wreduce on $mux, use -keepdc instead #1132

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index efa4d43f07acc56f0cf870aab78de78b99155d1e..278098a58d63b2dbf8e8ca03c0dfda77d90bf71d 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -249,9 +249,9 @@ struct SynthXilinxPass : public ScriptPass
                        run("check");
                        run("opt");
                        if (help_mode)
-                               run("wreduce [c:* t:$mux %d]", "(selection for '-widemux' only)");
+                               run("wreduce [-keepdc]", "('-widemux' only)");
                        else
-                               run("wreduce" + std::string(widemux > 0 ? " c:* t:$mux %d" : ""));
+                               run("wreduce" + std::string(widemux > 0 ? " -keepdc" : ""));
                        run("peepopt");
                        run("opt_clean");
                        run("alumacc");