mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 20:18:20 +00:00
Code Activity

Merge pull request #2870 from whitequark/cxxrtl-fix-2739

Browse source 
cxxrtl: mark dead local wires as unused even with inlining disabled
This commit is contained in:
whitequark 2021-07-16 00:13:16 +00:00 committed by GitHub
parent a9c8ca21d5 54b6cb645f
commit c17e385e35
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 6 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
backends/cxxrtl/cxxrtl_backend.cc
View file

@ -2733,12 +2733,14 @@ struct CxxrtlWorker {
for (auto wire : module->wires()) { for (auto wire : module->wires()) {
auto &wire_type = wire_types[wire]; auto &wire_type = wire_types[wire];
if (!wire_type.is_local()) continue; if (!wire_type.is_local()) continue;
if (!wire->name.isPublic() && !inline_internal) continue;
if (wire->name.isPublic() && !inline_public) continue;
if (live_wires[wire].empty()) { if (live_wires[wire].empty()) {
wire_type = {WireType::UNUSED}; // wire never used wire_type = {WireType::UNUSED}; // wire never used
} else if (flow.is_inlinable(wire, live_wires[wire])) { continue;
}
if (!wire->name.isPublic() && !inline_internal) continue;
if (wire->name.isPublic() && !inline_public) continue;
if (flow.is_inlinable(wire, live_wires[wire])) {
if (flow.wire_comb_defs[wire].size() > 1) if (flow.wire_comb_defs[wire].size() > 1)
log_cmd_error("Wire %s.%s has multiple drivers!\n", log_id(module), log_id(wire)); log_cmd_error("Wire %s.%s has multiple drivers!\n", log_id(module), log_id(wire));
log_assert(flow.wire_comb_defs[wire].size() == 1); log_assert(flow.wire_comb_defs[wire].size() == 1);