Constrain wreduce only if wide mux

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 3d39afcde0a89540cbc6140d8602a54a59d84d13..882ebe439434b560c6d2c19af226f17fbd743774 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -226,7 +226,10 @@ struct SynthXilinxPass : public ScriptPass
                        run("opt_clean");
                        run("check");
                        run("opt");
-                       run("wreduce c:* t:$mux %d");
+                       if (help_mode)
+                               run("wreduce [c:* t:$mux %d]", "(no selection if -nomux)");
+                       else
+                               run("wreduce" + nomux ? "" : " c:* t:$mux %d");
                        run("peepopt");
                        run("opt_clean");
                        run("alumacc");