From eae390ae17839bf0273b32149f46a2560a23d934 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 28 Aug 2016 21:35:33 +0200 Subject: Removed $predict again --- passes/hierarchy/hierarchy.cc | 2 +- passes/opt/opt_clean.cc | 2 +- passes/tests/test_cell.cc | 1 - 3 files changed, 2 insertions(+), 3 deletions(-) (limited to 'passes') diff --git a/passes/hierarchy/hierarchy.cc b/passes/hierarchy/hierarchy.cc index 4bb765e75..4d1e3987b 100644 --- a/passes/hierarchy/hierarchy.cc +++ b/passes/hierarchy/hierarchy.cc @@ -313,7 +313,7 @@ bool set_keep_assert(std::map &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.in("$assert", "$assume", "$predict")) + if ((m != nullptr && set_keep_assert(cache, m)) || c->type.in("$assert", "$assume")) return cache[mod] = true; } return cache[mod]; diff --git a/passes/opt/opt_clean.cc b/passes/opt/opt_clean.cc index 1546ec3fc..6600ffa25 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", "$predict")) + if (cell->type.in("$memwr", "$meminit", "$assert", "$assume")) return true; if (cell->has_keep_attr()) diff --git a/passes/tests/test_cell.cc b/passes/tests/test_cell.cc index 19fad01ef..049c20533 100644 --- a/passes/tests/test_cell.cc +++ b/passes/tests/test_cell.cc @@ -854,7 +854,6 @@ struct TestCellPass : public Pass { // cell_types["$concat"] = "A"; // cell_types["$assert"] = "A"; // cell_types["$assume"] = "A"; - // cell_types["$predict"] = "A"; cell_types["$lut"] = "*"; cell_types["$sop"] = "*"; -- cgit v1.2.3