From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 22 Apr 2019 08:03:18 +0000 (+0200)
Subject: Preserve $specify[23] cells
X-Git-Tag: yosys-0.9~141^2~13
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=634482380cfe5d6a1c801af0ce04e8048c5c9baf;p=yosys.git

Preserve $specify[23] cells

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc
index c38e9df5e..3f38dd580 100644
--- a/passes/opt/opt_clean.cc
+++ b/passes/opt/opt_clean.cc
@@ -64,7 +64,7 @@ struct keep_cache_t
 
 	bool query(Cell *cell)
 	{
-		if (cell->type.in("$memwr", "$meminit", "$assert", "$assume", "$live", "$fair", "$cover"))
+		if (cell->type.in("$memwr", "$meminit", "$assert", "$assume", "$live", "$fair", "$cover", "$specify2", "$specify3"))
 			return true;
 
 		if (cell->has_keep_attr())