From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 22 Apr 2019 07:59:49 +0000 (+0200)
Subject: Allow $specify[23] cells in blackbox modules
X-Git-Tag: yosys-0.9~141^2~14
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=012c6af088a22c035ce1244954b6625188478480;p=yosys.git

Allow $specify[23] cells in blackbox modules

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

diff --git a/frontends/ast/ast.cc b/frontends/ast/ast.cc
index 9f88b08c1..6b3604ee5 100644
--- a/frontends/ast/ast.cc
+++ b/frontends/ast/ast.cc
@@ -951,6 +951,9 @@ static AstModule* process_module(AstNode *ast, bool defer, AstNode *original_ast
 					continue;
 				if (child->type == AST_PARAMETER || child->type == AST_LOCALPARAM)
 					continue;
+				if (child->type == AST_CELL && child->children.size() > 0 && child->children[0]->type == AST_CELLTYPE &&
+						(child->children[0]->str == "$specify2" || child->children[0]->str == "$specify3"))
+					continue;
 				blackbox_module = false;
 				break;
 			}
@@ -1035,6 +1038,9 @@ static AstModule* process_module(AstNode *ast, bool defer, AstNode *original_ast
 					child->delete_children();
 					child->children.push_back(AstNode::mkconst_int(0, false, 0));
 					new_children.push_back(child);
+				} else if (child->type == AST_CELL && child->children.size() > 0 && child->children[0]->type == AST_CELLTYPE &&
+						(child->children[0]->str == "$specify2" || child->children[0]->str == "$specify3")) {
+					new_children.push_back(child);
 				} else {
 					delete child;
 				}