Oops. Actually use nocarry flag as spotted by @koriakin

This commit is contained in:
Eddie Hung 2019-06-26 10:06:33 -07:00
parent 4ce329aefd
commit cb722e7b58
1 changed files with 7 additions and 5 deletions

View File

@ -254,11 +254,13 @@ struct SynthXilinxPass : public ScriptPass
} }
if (help_mode) if (help_mode)
run("techmap -map +/techmap.v -map +/xilinx/arith_map.v", "(skip if '-nocarry')"); run("techmap -map +/techmap.v [-map +/xilinx/arith_map.v]", "(skip if '-nocarry')");
else if (!vpr) else if (!nocarry) {
run("techmap -map +/techmap.v -map +/xilinx/arith_map.v"); if (!vpr)
else run("techmap -map +/techmap.v -map +/xilinx/arith_map.v");
run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY"); else
run("techmap -map +/techmap.v -map +/xilinx/arith_map.v -D _EXPLICIT_CARRY");
}
run("opt -fast"); run("opt -fast");
} }