diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 10:06:33 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 10:06:33 -0700 |
| commit | cb722e7b58d634370bb013641dcccb2b5041febb (patch) | |
| tree | 1b64eb942fa0e6d7c36cb89e56565f4bfbdb6b78 | |
| parent | 4ce329aefd34c53ab2b96cd79540c3e528661037 (diff) | |
| download | yosys-cb722e7b58d634370bb013641dcccb2b5041febb.tar.gz yosys-cb722e7b58d634370bb013641dcccb2b5041febb.tar.bz2 yosys-cb722e7b58d634370bb013641dcccb2b5041febb.zip | |
Oops. Actually use nocarry flag as spotted by @koriakin
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index 27125d56c..dc2b4f2ac 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -254,11 +254,13 @@ struct SynthXilinxPass : public ScriptPass } if (help_mode) - run("techmap -map +/techmap.v -map +/xilinx/arith_map.v", "(skip if '-nocarry')"); - else if (!vpr) - run("techmap -map +/techmap.v -map +/xilinx/arith_map.v"); - else - run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY"); + run("techmap -map +/techmap.v [-map +/xilinx/arith_map.v]", "(skip if '-nocarry')"); + else if (!nocarry) { + if (!vpr) + run("techmap -map +/techmap.v -map +/xilinx/arith_map.v"); + else + run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY"); + } run("opt -fast"); } |