mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-03 12:51:23 +00:00
Code Activity

cxxrtl: emit debug items for unused public wires.

Browse source 
This greatly improves debug information coverage.

Fixes #2500.
This commit is contained in:
whitequark 2021-07-16 10:05:24 +00:00
parent 10c3214e56
commit 09218896d6
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
backends/cxxrtl/cxxrtl_backend.cc
View file

@ -2794,12 +2794,12 @@ struct CxxrtlWorker {
for (auto wire : module->wires()) { for (auto wire : module->wires()) {
const auto &wire_type = wire_types[wire]; const auto &wire_type = wire_types[wire];
auto &debug_wire_type = debug_wire_types[wire]; auto &debug_wire_type = debug_wire_types[wire];
if (wire_type.type == WireType::UNUSED) continue;
if (!wire->name.isPublic() && !wire_type.is_buffered()) continue;
if (!debug_info) continue; if (!debug_info) continue;
if (wire->port_input || wire_type.is_buffered()) if (wire->port_input || wire_type.is_buffered())
debug_wire_type = wire_type; // wire contains state debug_wire_type = wire_type; // wire contains state
else if (!wire->name.isPublic())
continue; // internal and stateless
if (!debug_member) continue; if (!debug_member) continue;
if (wire_type.is_member()) if (wire_type.is_member())
@ -2863,7 +2863,7 @@ struct CxxrtlWorker {
auto &debug_wire_type = debug_wire_types[wire]; auto &debug_wire_type = debug_wire_types[wire];
if (wire->name.isPublic()) continue; if (wire->name.isPublic()) continue;
if (live_wires[wire].empty() || debug_live_wires[wire].empty()) { if (debug_live_wires[wire].empty()) {
continue; // wire never used continue; // wire never used
} else if (flow.is_inlinable(wire, debug_live_wires[wire])) { } else if (flow.is_inlinable(wire, debug_live_wires[wire])) {
log_assert(flow.wire_comb_defs[wire].size() == 1); log_assert(flow.wire_comb_defs[wire].size() == 1);