From 2ee608246fd3dc284ff5fd864c7690b42fa45387 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 22 Dec 2015 12:19:11 +0100
Subject: [PATCH] Re-run ice40_opt in "synth_ice40 -abc2"

---
 techlibs/ice40/synth_ice40.cc | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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