Re-run ice40_opt in "synth_ice40 -abc2"

diff --git a/techlibs/ice40/synth_ice40.cc b/techlibs/ice40/synth_ice40.cc
index 935f71c1c110f240dfa2f975f6e53e211d35a238..36aca40723eee119909bffe2973e1431cb0bf805 100644 (file)
--- 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");
                }