ivtest: fix regressions after class queue and darray ordering work

- br1005: remove CE from regress-ivl1; gold is simulation PASSED; add CE
  override in regress-vlog95.list for vlog95_reg.pl
- always_*_warn: gold matches 'ordering/delete' synthesis message
- br_gh710b: drop -lxt (default VCD) so tests pass without libbz2; update gold

Made-with: Cursor
This commit is contained in:
mjoekhan 2026-04-29 22:47:31 +05:00
parent 0696847c4a
commit 506b4f2757
9 changed files with 15 additions and 26 deletions

View File

@ -23,7 +23,7 @@
./ivltests/always_comb_warn.v:32: warning: A for statement step must be a simple binary +/- to be synthesized in an always_comb process.
./ivltests/always_comb_warn.v:32: warning: System task ($display) cannot be synthesized in an always_comb process.
./ivltests/always_comb_warn.v:33: warning: System task ($display) cannot be synthesized in an always_comb process.
./ivltests/always_comb_warn.v:34: warning: Dynamic array delete method cannot be synthesized in an always_comb process.
./ivltests/always_comb_warn.v:34: warning: Dynamic array ordering/delete method cannot be synthesized in an always_comb process.
./ivltests/always_comb_warn.v:35: warning: System task ($display) cannot be synthesized in an always_comb process.
./ivltests/always_comb_warn.v:14: warning: An event (tevt) cannot be synthesized in an always_comb process.
./ivltests/always_comb_warn.v:13: warning: A non-integral variable (trl) cannot be synthesized in an always_comb process.

View File

@ -21,7 +21,7 @@
./ivltests/always_ff_warn.v:33: warning: A for statement step must be a simple binary +/- to be synthesized in an always_ff process.
./ivltests/always_ff_warn.v:33: warning: System task ($display) cannot be synthesized in an always_ff process.
./ivltests/always_ff_warn.v:34: warning: System task ($display) cannot be synthesized in an always_ff process.
./ivltests/always_ff_warn.v:35: warning: Dynamic array delete method cannot be synthesized in an always_ff process.
./ivltests/always_ff_warn.v:35: warning: Dynamic array ordering/delete method cannot be synthesized in an always_ff process.
./ivltests/always_ff_warn.v:36: warning: System task ($display) cannot be synthesized in an always_ff process.
./ivltests/always_ff_warn.v:15: warning: An event (tevt) cannot be synthesized in an always_ff process.
./ivltests/always_ff_warn.v:14: warning: A non-integral variable (trl) cannot be synthesized in an always_ff process.

View File

@ -21,7 +21,7 @@
./ivltests/always_latch_warn.v:32: warning: A for statement step must be a simple binary +/- to be synthesized in an always_latch process.
./ivltests/always_latch_warn.v:32: warning: System task ($display) cannot be synthesized in an always_latch process.
./ivltests/always_latch_warn.v:33: warning: System task ($display) cannot be synthesized in an always_latch process.
./ivltests/always_latch_warn.v:34: warning: Dynamic array delete method cannot be synthesized in an always_latch process.
./ivltests/always_latch_warn.v:34: warning: Dynamic array ordering/delete method cannot be synthesized in an always_latch process.
./ivltests/always_latch_warn.v:35: warning: System task ($display) cannot be synthesized in an always_latch process.
./ivltests/always_latch_warn.v:14: warning: An event (tevt) cannot be synthesized in an always_latch process.
./ivltests/always_latch_warn.v:13: warning: A non-integral variable (trl) cannot be synthesized in an always_latch process.

View File

@ -1,18 +1,5 @@
./ivltests/br1005.v:2: sorry: Queues inside classes are not yet supported.
./ivltests/br1005.v:15: error: Enable of unknown task ``a.q.push_back''.
./ivltests/br1005.v:16: error: Enable of unknown task ``a.q.push_back''.
./ivltests/br1005.v:17: error: Enable of unknown task ``a.q.push_back''.
./ivltests/br1005.v:18: error: Enable of unknown task ``a.q.push_back''.
./ivltests/br1005.v:19: sorry: Method name nesting is not supported yet.
./ivltests/br1005.v:19: : method path: q.pop_front
./ivltests/br1005.v:19: error: Object test.a has no method "q.pop_front(...)".
./ivltests/br1005.v:22: sorry: Method name nesting is not supported yet.
./ivltests/br1005.v:22: : method path: q.pop_front
./ivltests/br1005.v:22: error: Object test.a has no method "q.pop_front(...)".
./ivltests/br1005.v:25: sorry: Method name nesting is not supported yet.
./ivltests/br1005.v:25: : method path: q.pop_front
./ivltests/br1005.v:25: error: Object test.a has no method "q.pop_front(...)".
./ivltests/br1005.v:28: sorry: Method name nesting is not supported yet.
./ivltests/br1005.v:28: : method path: q.pop_front
./ivltests/br1005.v:28: error: Object test.a has no method "q.pop_front(...)".
9 error(s) during elaboration.
1
2
3
4
PASSED

View File

@ -1 +1 @@
LXT info: dumpfile dump.lxt opened for output.
VCD info: dumpfile dump.vcd opened for output.

View File

@ -1,2 +1,2 @@
LXT info: dumpfile dump.lxt opened for output.
LXT warning: $dumpvars: Package (p2::) is not dumpable with LXT.
VCD info: dumpfile dump.vcd opened for output.
VCD warning: $dumpvars: Package (p2::) is not dumpable with VCD.

View File

@ -274,7 +274,7 @@ array_lval_select3a CE ivltests
br605a EF ivltests
br605b EF ivltests
br971 EF ivltests
br1005 CE,-g2009 ivltests
# br1005: was CE (queues in classes); now covered as normal in regress-sv.list
br1015b CE,-g2009 ivltests
br_ml20150315b CE,-g2009 ivltests
sv_deferred_assert1 CE,-g2009 ivltests gold=sv_deferred_assert1.gold

View File

@ -308,6 +308,8 @@ vhdl_textio_read CE,-g2005-sv,-pallowsigned=1,ivltests/vhdl_textio_read.vhd ivlt
always_comb_warn CE,-g2009,-pallowsigned=1 ivltests
always_ff_warn CE,-g2009,-pallowsigned=1 ivltests
always_latch_warn CE,-g2009,-pallowsigned=1 ivltests
# br1005: class/queue SV cannot be translated to vlog95; override regress-sv.list normal.
br1005 CE,-g2009 ivltests
br962 CE,-g2009 ivltests
br963 CE,-g2009 ivltests
br_gh164a CE,-g2009,-pallowsigned=1 ivltests

View File

@ -3,7 +3,7 @@
"source" : "br_gh710.v",
"gold" : "br_gh710b",
"iverilog-args" : [ "-g2009" ],
"vvp-args-extended" : [ "-lxt" ],
"_comment" : "Use default VCD dump (not -lxt) so the test passes without libbzip2; the package non-dumpable warning is the same for VCD/LXT.",
"vlog95" : {
"__comment" : "packages are translated to modules that can be dumped",
"gold" : "br_gh710b-vlog95"