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

Merge pull request #2874 from whitequark/cxxrtl-fix-2589

Browse source 
cxxrtl: run hierarchy pass regardless of (*top*) attribute presence
This commit is contained in:
whitequark 2021-07-16 11:12:19 +00:00 committed by GitHub
parent efc43270fa 5b003d6e5c
commit 2db4137514
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
backends/cxxrtl/cxxrtl_backend.cc
View file

@ -2939,9 +2939,9 @@ struct CxxrtlWorker {
} }
} }
void check_design(RTLIL::Design *design, bool &has_top, bool &has_sync_init) void check_design(RTLIL::Design *design, bool &has_sync_init)
{ {
has_sync_init = has_top = false; has_sync_init = false;
for (auto module : design->modules()) { for (auto module : design->modules()) {
if (module->get_blackbox_attribute() && !module->has_attribute(ID(cxxrtl_blackbox))) if (module->get_blackbox_attribute() && !module->has_attribute(ID(cxxrtl_blackbox)))
@ -2953,9 +2953,6 @@ struct CxxrtlWorker {
if (!design->selected_module(module)) if (!design->selected_module(module))
continue; continue;
if (module->get_bool_attribute(ID::top))
has_top = true;
for (auto proc : module->processes) for (auto proc : module->processes)
for (auto sync : proc.second->syncs) for (auto sync : proc.second->syncs)
if (sync->type == RTLIL::STi) if (sync->type == RTLIL::STi)
@ -2966,10 +2963,10 @@ struct CxxrtlWorker {
void prepare_design(RTLIL::Design *design) void prepare_design(RTLIL::Design *design)
{ {
bool did_anything = false; bool did_anything = false;
bool has_top, has_sync_init; bool has_sync_init;
log_push(); log_push();
check_design(design, has_top, has_sync_init); check_design(design, has_sync_init);
if (run_hierarchy && !has_top) { if (run_hierarchy) {
Pass::call(design, "hierarchy -auto-top"); Pass::call(design, "hierarchy -auto-top");
did_anything = true; did_anything = true;
} }
@ -2990,7 +2987,7 @@ struct CxxrtlWorker {
} }
// Recheck the design if it was modified. // Recheck the design if it was modified.
if (did_anything) if (did_anything)
check_design(design, has_top, has_sync_init); check_design(design, has_sync_init);
log_assert(!has_sync_init); log_assert(!has_sync_init);
log_pop(); log_pop();
if (did_anything) if (did_anything)