diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 17:12:34 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 17:12:34 -0700 |
commit | faa2d6fc1c4bc10cda96c2dc3721df209d2d2117 (patch) | |
tree | 717d4dbb5baed5537b922c93002d075cda49d96e | |
parent | aeee9dcad7f6d5fc30f133a89c5dd6f209283c11 (diff) | |
download | yosys-faa2d6fc1c4bc10cda96c2dc3721df209d2d2117.tar.gz yosys-faa2d6fc1c4bc10cda96c2dc3721df209d2d2117.tar.bz2 yosys-faa2d6fc1c4bc10cda96c2dc3721df209d2d2117.zip |
Constrain wreduce only if wide mux
-rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 5 |
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"); |