mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-06 17:44:09 +00:00
Code Activity

abstract: Wire vs port offset confusion bugfix

Browse source 
This fixes the offsets_to_abstract collection in abstract_state so that
it now works the same way as in abstract_value which was already
correct.
This commit is contained in:
Jannis Harder 2025-02-12 15:38:46 +01:00 committed by Emil J. Tywoniak
parent 7cd822b7f5
commit 37aa2e6cd8
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
passes/cmds/abstract.cc
View file

@ -97,12 +97,14 @@ unsigned int abstract_state(Module* mod, EnableLogic enable) {
for (auto ff : ffs) { for (auto ff : ffs) {
// A bit inefficient // A bit inefficient
std::set<int> offsets_to_abstract; std::set<int> offsets_to_abstract;
for (auto bit : ff.sig_q) for (int i = 0; i < GetSize(ff.sig_q); i++) {
SigBit bit = ff.sig_q[i];
if (selected_reps.count(sigmap(bit))) { if (selected_reps.count(sigmap(bit))) {
log_debug("Abstracting state for bit %s due to selections:\n", log_signal(bit)); log_debug("Abstracting state for bit %s due to selections:\n", log_signal(bit));
explain_selections(selected_reps.at(sigmap(bit))); explain_selections(selected_reps.at(sigmap(bit)));
offsets_to_abstract.insert(bit.offset); offsets_to_abstract.insert(i);
} }
}
if (offsets_to_abstract.empty()) if (offsets_to_abstract.empty())
continue; continue;