luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

V3Tristate: limit resolved xref tri propagation to feedsTri reads

This commit is contained in:
Nick Brereton 2026-03-27 14:57:02 -04:00
parent 572e0cae13
commit fdf462ff3c
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/V3Tristate.cpp
View File

@ -2009,8 +2009,10 @@ class TristateVisitor final : public TristateBaseVisitor {
// Reference to another tristate variable in this module context
&& ((m_tgraph.isTristate(nodep->varp()) && m_tgraph.feedsTri(nodep))
// Or a cross-module/interface reference whose target already has
// a resolved tristate-enable signal from prior processing.
|| (VN_IS(nodep, VarXRef) && VN_IS(nodep->varp()->user1p(), Var)))) {
// a resolved tristate-enable signal from prior processing, and this
// read actually feeds a tristate path in the current module.
|| (VN_IS(nodep, VarXRef) && VN_IS(nodep->varp()->user1p(), Var)
&& m_tgraph.feedsTri(nodep)))) {
// Then propagate the enable from the original variable
UINFO(9, " Ref-to-tri " << nodep);
FileLine* const fl = nodep->fileline();