From: Miodrag Milanovic <mmicko@gmail.com>
Date: Sat, 4 Jan 2020 18:00:44 +0000 (+0100)
Subject: Valid to have attribute starting with SB_CARRY.
X-Git-Tag: working-ls180~886^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c5d28f5d6b20a42e6f3a4b1a4e3be341a352e5e3;p=yosys.git

Valid to have attribute starting with SB_CARRY.
---

diff --git a/techlibs/ice40/ice40_opt.cc b/techlibs/ice40/ice40_opt.cc
index 371ceb623..9bee0444b 100644
--- a/techlibs/ice40/ice40_opt.cc
+++ b/techlibs/ice40/ice40_opt.cc
@@ -128,6 +128,8 @@ static void run_ice40_opts(Module *module)
 							new_attr.insert(std::make_pair(a.first, a.second));
 						else if (a.first.in(ID(SB_LUT4.name), ID::keep, ID(module_not_derived)))
 							continue;
+						else if (a.first.begins_with("\\SB_CARRY.\\"))
+							continue;
 						else
 							log_abort();
 					cell->attributes = std::move(new_attr);