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

Merge pull request #3115 from whitequark/issue-3112

cxxrtl: demote wires not inlinable only in debug_eval to locals
This commit is contained in:
Catherine 2021-12-16 07:29:29 +00:00 committed by GitHub
commit ed4642e18e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2893,10 +2893,11 @@ struct CxxrtlWorker {
default: continue; default: continue;
} }
debug_live_nodes.erase(node); debug_live_nodes.erase(node);
} else if (wire_type.is_member() || wire_type.is_local()) { } else if (wire_type.is_member() || wire_type.type == WireType::LOCAL) {
debug_wire_type = wire_type; // wire not inlinable debug_wire_type = wire_type; // wire not inlinable
} else { } else {
log_assert(wire_type.type == WireType::UNUSED); log_assert(wire_type.type == WireType::INLINE ||
wire_type.type == WireType::UNUSED);
if (flow.wire_comb_defs[wire].size() == 0) { if (flow.wire_comb_defs[wire].size() == 0) {
if (wire_init.count(wire)) { // wire never modified if (wire_init.count(wire)) { // wire never modified
debug_wire_type = {WireType::CONST, wire_init.at(wire)}; debug_wire_type = {WireType::CONST, wire_init.at(wire)};