From: Clifford Wolf Date: Tue, 22 Dec 2015 11:19:11 +0000 (+0100) Subject: Re-run ice40_opt in "synth_ice40 -abc2" X-Git-Tag: yosys-0.6~42 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2ee608246fd3dc284ff5fd864c7690b42fa45387;p=yosys.git Re-run ice40_opt in "synth_ice40 -abc2" --- diff --git a/techlibs/ice40/synth_ice40.cc b/techlibs/ice40/synth_ice40.cc index 935f71c1c..36aca4072 100644 --- a/techlibs/ice40/synth_ice40.cc +++ b/techlibs/ice40/synth_ice40.cc @@ -113,6 +113,7 @@ struct SynthIce40Pass : public Pass { log("\n"); log(" map_luts:\n"); log(" abc (only if -abc2)\n"); + log(" ice40_opt (only if -abc2)\n"); log(" abc -lut 4\n"); log(" clean\n"); log("\n"); @@ -253,8 +254,10 @@ struct SynthIce40Pass : public Pass { if (check_label(active, run_from, run_to, "map_luts")) { - if (abc2) + if (abc2) { Pass::call(design, "abc"); + Pass::call(design, "ice40_opt"); + } Pass::call(design, "abc -lut 4"); Pass::call(design, "clean"); }