3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 14:13:23 +00:00

functional.cc: Explicit unsorted-pool-as-LIFO

This commit is contained in:
Krystine Sherwin 2025-05-31 09:57:43 +12:00
parent 847558547b
commit 6e3922e1c7
No known key found for this signature in database

View file

@ -518,6 +518,7 @@ public:
if (cell->type.in(ID($assert), ID($assume), ID($live), ID($fair), ID($cover), ID($check)))
queue.emplace_back(cell);
}
// we are relying here on unsorted pools iterating last-in-first-out
for (auto riter = module->ports.rbegin(); riter != module->ports.rend(); ++riter) {
auto *wire = module->wire(*riter);
if (wire && wire->port_input) {