From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 9 Dec 2019 20:45:22 +0000 (-0800)
Subject: Sensitive to direct inst of $__ICE40_CARRY_WRAPPER; recreate SB_LUT4
X-Git-Tag: working-ls180~931^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=500ed9b501386b38faf6388b43c42abdbc0ee3ec;p=yosys.git

Sensitive to direct inst of $__ICE40_CARRY_WRAPPER; recreate SB_LUT4
---

diff --git a/passes/pmgen/ice40_wrapcarry.cc b/passes/pmgen/ice40_wrapcarry.cc
index 522c8c363..8c953308a 100644
--- a/passes/pmgen/ice40_wrapcarry.cc
+++ b/passes/pmgen/ice40_wrapcarry.cc
@@ -111,20 +111,24 @@ struct Ice40WrapCarryPass : public Pass {
 					auto carry = module->addCell(NEW_ID, ID(SB_CARRY));
 					carry->setPort(ID(I0), cell->getPort(ID(A)));
 					carry->setPort(ID(I1), cell->getPort(ID(B)));
-					carry->setPort(ID(CI), cell->getPort(ID(CO)));
+					carry->setPort(ID(CI), cell->getPort(ID(CI)));
+					carry->setPort(ID(CO), cell->getPort(ID(CO)));
 					module->swap_names(carry, cell);
-					auto lut = module->addCell(cell->attributes.at(ID(SB_LUT4.name)).decode_string(), ID(SB_LUT4));
-					lut->setParam(ID(WIDTH), 4);
-					lut->setParam(ID(LUT), cell->getParam(ID(LUT)));
-					lut->setPort(ID(A), { cell->getPort(ID(I0)), cell->getPort(ID(A)), cell->getPort(ID(B)), cell->getPort(ID(I3)) });
-					lut->setPort(ID(Y), cell->getPort(ID(O)));
+					auto lut_name = cell->attributes.at(ID(SB_LUT4.name), Const(NEW_ID.str())).decode_string();
+					auto lut = module->addCell(lut_name, ID(SB_LUT4));
+					lut->setParam(ID(LUT_INIT), cell->getParam(ID(LUT)));
+					lut->setPort(ID(I0), cell->getPort(ID(I0)));
+					lut->setPort(ID(I1), cell->getPort(ID(A)));
+					lut->setPort(ID(I2), cell->getPort(ID(B)));
+					lut->setPort(ID(I3), cell->getPort(ID(I3)));
+					lut->setPort(ID(O), cell->getPort(ID(O)));
 
 					for (const auto &a : cell->attributes)
 						if (a.first.begins_with("\\SB_CARRY.\\"))
 							carry->attributes[a.first.c_str() + strlen("\\SB_CARRY.")] = a.second;
 						else if (a.first.begins_with("\\SB_LUT4.\\"))
 							lut->attributes[a.first.c_str() + strlen("\\SB_LUT4.")] = a.second;
-						else if (a.first.in(ID(SB_LUT4.name), ID::keep))
+						else if (a.first.in(ID(SB_LUT4.name), ID::keep, ID(module_not_derived), ID(src)))
 							continue;
 						else
 							log_abort();
diff --git a/techlibs/ice40/arith_map.v b/techlibs/ice40/arith_map.v
index 26b24db9e..00a07247b 100644
--- a/techlibs/ice40/arith_map.v
+++ b/techlibs/ice40/arith_map.v
@@ -50,7 +50,7 @@ module _80_ice40_alu (A, B, CI, BI, X, Y, CO);
 			//    A[2]: 1111 0000 1111 0000
 			//    A[3]: 1111 1111 0000 0000
 			.LUT(16'b 0110_1001_1001_0110)
-		) fadd (
+		) carry (
 			.A(AA[i]),
 			.B(BB[i]),
 			.CI(C[i]),