diff --git a/techlibs/ice40/synth_ice40.cc b/techlibs/ice40/synth_ice40.cc
index 86189c848..580524f88 100644
--- a/techlibs/ice40/synth_ice40.cc
+++ b/techlibs/ice40/synth_ice40.cc
@@ -380,6 +380,7 @@ struct SynthIce40Pass : public ScriptPass
 				run("techmap");
 			else {
 				run("ice40_wrapcarry");
+				run("read_verilog " + define + " -icells -lib -specify +/ice40/abc9_model.v");
 				run("techmap -map +/techmap.v -map +/ice40/arith_map.v");
 			}
 			run("opt -fast");
@@ -416,7 +417,6 @@ struct SynthIce40Pass : public ScriptPass
 			}
 			if (!noabc) {
 				if (abc9) {
-					run("read_verilog " + define + " -icells -lib -specify +/ice40/abc9_model.v");
 					std::string abc9_opts;
 					std::string k = "synth_ice40.abc9.W";
 					if (active_design && active_design->scratchpad.count(k))