diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 23:42:30 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-03 23:42:30 -0700 |
| commit | 09b778744dc036d54209644884e9dc9138f95771 (patch) | |
| tree | 5abfc4225114932b1c898e6c11a973f50f8562c0 /techlibs | |
| parent | 5afa42432f71443e69d1095d17066ae173b7883a (diff) | |
| download | yosys-09b778744dc036d54209644884e9dc9138f95771.tar.gz yosys-09b778744dc036d54209644884e9dc9138f95771.tar.bz2 yosys-09b778744dc036d54209644884e9dc9138f95771.zip | |
Respect -nocarry
Diffstat (limited to 'techlibs')
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index 19a19d14e..8ce552780 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -270,9 +270,11 @@ struct SynthXilinxPass : public ScriptPass if (vpr && !nocarry && !help_mode) run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY"); else if (abc == "abc9" && !nocarry && !help_mode) - run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _CLB_CARRY", "(skip if '-nocarry')"); + run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _CLB_CARRY"); else if (!nocarry || help_mode) run("techmap -map +/techmap.v -map +/xilinx/arith_map.v", "(skip if '-nocarry')"); + else + run("techmap -map +/techmap.v"); run("opt -fast"); } |