riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

cxxrtl: demote wires not inlinable only in debug_eval to locals. 

Fixes #3112.

Co-authored-by: Irides <irides@irides.network>
This commit is contained in:
Catherine 2021-12-15 08:48:49 +00:00
parent b07ca8756a
commit 7f2ea7d222
1 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
backends/cxxrtl/cxxrtl_backend.cc
View File

@ -2888,15 +2888,16 @@ struct CxxrtlWorker {
debug_wire_type = {WireType::INLINE, node->cell}; // wire replaced with cell debug_wire_type = {WireType::INLINE, node->cell}; // wire replaced with cell
break; break;
case FlowGraph::Node::Type::CONNECT: case FlowGraph::Node::Type::CONNECT:
debug_wire_type = {WireType::INLINE, node->connect.second}; // wire replaced with sig debug_wire_type = {WireType::INLINE, node->connect.second}; // wire replaced with sig
break; break;
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)};