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

Address review and refine branch cov

This commit is contained in:
Yilou Wang 2026-06-18 22:08:34 +02:00
parent 49e2002704
commit cb7263d991
2 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/V3Width.cpp
View File

@ -3837,9 +3837,8 @@ class WidthVisitor final : public VNVisitor {
// instance pointer), not a static instance. Mark the // instance pointer), not a static instance. Mark the
// dtype virtual so a method call on it dispatches per // dtype virtual so a method call on it dispatches per
// instance instead of inlining to one fixed scope. // instance instead of inlining to one fixed scope.
AstIfaceRefDType* const subRefp if (AstIfaceRefDType* const subRefp
= VN_CAST(subDtypep->skipRefp(), IfaceRefDType); = VN_CAST(subDtypep->skipRefp(), IfaceRefDType)) {
if (subRefp) {
AstIfaceRefDType* const newDtypep = new AstIfaceRefDType{ AstIfaceRefDType* const newDtypep = new AstIfaceRefDType{
nodep->fileline(), subRefp->cellName(), subRefp->ifaceName()}; nodep->fileline(), subRefp->cellName(), subRefp->ifaceName()};
newDtypep->ifacep(subRefp->ifacep()); newDtypep->ifacep(subRefp->ifacep());

3
test_regress/t/t_interface_virtual_sub_iface_method.v
View File

@ -62,6 +62,9 @@ module t;
`checkd(oif.m.sub.cnt, 8'd1) `checkd(oif.m.sub.cnt, 8'd1)
`checkd(drv.read_a(), 8'd1) `checkd(drv.read_a(), 8'd1)
`checkd(oif.d.val, 8'd99) `checkd(oif.d.val, 8'd99)
// Direct (non-virtual) sub-interface method call: covers the non-virtual dtype path.
oif.a.bump();
`checkd(oif.a.cnt, 8'd2)
$write("*-* All Finished *-*\n"); $write("*-* All Finished *-*\n");
$finish; $finish;
end end