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

fix the aggressive return, add a lightweight check

This commit is contained in:
Yilou Wang 2026-03-01 21:26:50 +01:00
parent d6946e0100
commit 2927aebe27
1 changed files with 14 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/V3Width.cpp
View File

@ -3088,8 +3088,20 @@ class WidthVisitor final : public VNVisitor {
iterateCheck(nodep, "Dist Item", itemp, CONTEXT_DET, FINAL, subDTypep, EXTEND_EXP);
}
// Inside a constraint, V3Randomize handles dist lowering with proper weights
if (m_constraintp) return;
// Inside a constraint, V3Randomize handles dist lowering with proper weights,
// but only for simple scalar/range items. Container-type items (queues, arrays)
// must be lowered here via insideItem() which knows how to expand them.
if (m_constraintp) {
bool canLower = true;
for (AstDistItem* ditemp = nodep->itemsp(); ditemp;
ditemp = VN_AS(ditemp->nextp(), DistItem)) {
if (!VN_IS(ditemp->rangep(), Const) && !VN_IS(ditemp->rangep(), InsideRange)) {
canLower = false;
break;
}
}
if (canLower) return;
}
// Outside constraint: lower to inside (ignores weights)
AstNodeExpr* newp = nullptr;