luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-08-31 18:14:33 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix associative array size() constraint generating invalid resize() call (#7103) (#7112)

Browse Source
This commit is contained in:
Yilou Wang
2026-02-20 10:54:02 -05:00
committed by GitHub
parent e0edb49f7a
commit f25a85ea57
3 changed files with 87 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Randomize.cpp
+14 -9
View File
@@ -3915,16 +3915,21 @@ class RandomizeVisitor final : public VNVisitor {
queueVarp->user4p(sizeVarp);
AstTask* resizerTaskp = VN_AS(m_constraintp->user3p(), Task);
if (!resizerTaskp) {
resizerTaskp = newResizeConstrainedArrayTask(classp, m_constraintp->name());
m_constraintp->user3p(resizerTaskp);
// Associative arrays have no resize(); only generate resize
// for dynamic arrays and queues
if (!VN_IS(queueVarp->dtypep()->skipRefp(), AssocArrayDType)) {
AstTask* resizerTaskp = VN_AS(m_constraintp->user3p(), Task);
if (!resizerTaskp) {
resizerTaskp
= newResizeConstrainedArrayTask(classp, m_constraintp->name());
m_constraintp->user3p(resizerTaskp);
}
AstCMethodHard* const resizep = new AstCMethodHard{
fl, nodep->fromp()->unlinkFrBack(), VCMethod::DYN_RESIZE,
new AstVarRef{fl, sizeVarp, VAccess::READ}};
resizep->dtypep(nodep->findVoidDType());
resizerTaskp->addStmtsp(new AstStmtExpr{fl, resizep});
}
AstCMethodHard* const resizep
= new AstCMethodHard{fl, nodep->fromp()->unlinkFrBack(), VCMethod::DYN_RESIZE,
new AstVarRef{fl, sizeVarp, VAccess::READ}};
resizep->dtypep(nodep->findVoidDType());
resizerTaskp->addStmtsp(new AstStmtExpr{fl, resizep});
// Since size variable is signed int, we need additional constraint
// to make sure it is always >= 0.