mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

ystests: fix write_smt2_write_smt2_cyclic_dependency_fail

Browse source
This commit is contained in:
Eddie Hung 2020-02-28 12:33:55 -08:00
parent 825b96fdcf
commit de3e5fcdc6
1 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
passes/opt/opt_clean.cc
View file

@ -51,18 +51,18 @@ struct keep_cache_t
if (cache.count(module)) if (cache.count(module))
return cache.at(module); return cache.at(module);
bool found_keep = false; cache[module] = true;
if (module->get_bool_attribute(ID::keep)) if (!module->get_bool_attribute(ID::keep)) {
found_keep = true; bool found_keep = false;
else for (auto cell : module->cells())
for (auto cell : module->cells()) if (query(cell, true /* ignore_specify */)) {
if (query(cell, true /* ignore_specify */)) { found_keep = true;
found_keep = true; break;
break; }
} cache[module] = found_keep;
cache[module] = found_keep; }
return found_keep; return cache[module];
} }
bool query(Cell *cell, bool ignore_specify = false) bool query(Cell *cell, bool ignore_specify = false)