aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-06-21 17:12:34 -0700
committerEddie Hung <eddie@fpgeh.com>2019-06-21 17:12:34 -0700
commitfaa2d6fc1c4bc10cda96c2dc3721df209d2d2117 (patch)
tree717d4dbb5baed5537b922c93002d075cda49d96e
parentaeee9dcad7f6d5fc30f133a89c5dd6f209283c11 (diff)
downloadyosys-faa2d6fc1c4bc10cda96c2dc3721df209d2d2117.tar.gz
yosys-faa2d6fc1c4bc10cda96c2dc3721df209d2d2117.tar.bz2
yosys-faa2d6fc1c4bc10cda96c2dc3721df209d2d2117.zip
Constrain wreduce only if wide mux
-rw-r--r--techlibs/xilinx/synth_xilinx.cc5
1 files changed, 4 insertions, 1 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 3d39afcde..882ebe439 100644
--- 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");