From: Clifford Wolf <clifford@clifford.at>
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");
 		}