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

Fix comparing ranged slices of unpacked arrays.

Browse Source
This commit is contained in:
Wilson Snyder
2022-11-11 18:01:30 -05:00
parent b2e61425d6
commit 227e61f891
4 changed files with 53 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/V3Slice.cpp
+4 -6
View File
@@ -185,14 +185,12 @@ class SliceVisitor final : public VNVisitor {
<< nodep->rhsp()->prettyTypeName()
<< " on non-slicable (e.g. non-vector) right-hand-side operand");
} else {
for (int index = 0; index < adtypep->rangep()->elementsConst(); ++index) {
const int elements = adtypep->rangep()->elementsConst();
for (int offset = 0; offset < elements; ++offset) {
// EQ(a,b) -> LOGAND(EQ(ARRAYSEL(a,0), ARRAYSEL(b,0)), ...[1])
AstNodeBiop* const clonep
= VN_AS(nodep->cloneType(
new AstArraySel{nodep->fileline(),
nodep->lhsp()->cloneTree(false), index},
new AstArraySel{nodep->fileline(),
nodep->rhsp()->cloneTree(false), index}),
= VN_AS(nodep->cloneType(cloneAndSel(nodep->lhsp(), elements, offset),
cloneAndSel(nodep->rhsp(), elements, offset)),
NodeBiop);
if (!logp) {
logp = clonep;