From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 25 Jul 2015 08:31:52 +0000 (+0200)
Subject: Keep modules with $assume (like $assert)
X-Git-Tag: yosys-0.6~222
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2397078485aca763453e019fd980ced992b0abed;p=yosys.git

Keep modules with $assume (like $assert)
---

diff --git a/passes/hierarchy/hierarchy.cc b/passes/hierarchy/hierarchy.cc
index d655af0d7..bfa3890a2 100644
--- a/passes/hierarchy/hierarchy.cc
+++ b/passes/hierarchy/hierarchy.cc
@@ -315,7 +315,7 @@ bool set_keep_assert(std::map<RTLIL::Module*, bool> &cache, RTLIL::Module *mod)
 	if (cache.count(mod) == 0)
 		for (auto c : mod->cells()) {
 			RTLIL::Module *m = mod->design->module(c->type);
-			if ((m != nullptr && set_keep_assert(cache, m)) || c->type == "$assert")
+			if ((m != nullptr && set_keep_assert(cache, m)) || c->type.in("$assert", "$assume"))
 				return cache[mod] = true;
 		}
 	return cache[mod];