luke/verilator
1
0
Fork 0
mirror of https://github.com/verilator/verilator.git synced 2026-10-06 10:03:44 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fix nested random dynamic arrays internal error (#8438) (#8439)

Browse Source
This commit is contained in:
Kristof Marien
2026-09-21 20:50:37 -04:00
committed by GitHub
parent ba1961c70b
commit 9ca90f414c
3 changed files with 47 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Randomize.cpp
+5 -3
View File
@@ -3652,6 +3652,7 @@ class RandomizeVisitor final : public VNVisitor {
// STATE
V3UniqueNames m_inlineUniqueNames; // For generating unique function names
V3UniqueNames m_randArrayUniqueNames{"__Vrandarr"}; // Random array loop indices
V3UniqueNames m_modeUniqueNames{"__Vmode"}; // For generating unique rand/constraint
// mode state var names
V3UniqueNames m_inlineUniqueStdName{"__VStdrand"};
@@ -4234,15 +4235,14 @@ class RandomizeVisitor final : public VNVisitor {
}
AstNodeStmt* createArrayForeachLoop(FileLine* const fl, AstNodeDType* const dtypep,
AstNodeExpr* exprp, AstVar* const outputVarp) {
V3UniqueNames uniqueNames{"__Vrandarr"};
AstNodeDType* tempDTypep = dtypep;
AstVar* randLoopIndxp = nullptr;
auto createLoopIndex = [&](AstNodeDType* tempDTypep) {
if (VN_IS(tempDTypep, AssocArrayDType)) {
return new AstVar{fl, VVarType::VAR, uniqueNames.get(""),
return new AstVar{fl, VVarType::VAR, m_randArrayUniqueNames.get(""),
VN_AS(tempDTypep, AssocArrayDType)->keyDTypep()};
}
return new AstVar{fl, VVarType::VAR, uniqueNames.get(""),
return new AstVar{fl, VVarType::VAR, m_randArrayUniqueNames.get(""),
dtypep->findBasicDType(VBasicDTypeKwd::UINT32)};
};
AstNodeExpr* tempElementp = nullptr;
@@ -5675,8 +5675,10 @@ class RandomizeVisitor final : public VNVisitor {
void visit(AstNodeModule* nodep) override {
VL_RESTORER(m_modp);
VL_RESTORER(m_randCaseNum);
VL_RESTORER_COPY(m_randArrayUniqueNames);
m_modp = nodep;
m_randCaseNum = 0;
m_randArrayUniqueNames.reset();
iterateChildren(nodep);
}
void visit(AstNodeFTask* nodep) override {