Respect -nocarry

This commit is contained in:
Eddie Hung 2019-06-03 23:42:30 -07:00
parent 5afa42432f
commit 09b778744d
1 changed files with 3 additions and 1 deletions

View File

@ -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");
}