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

Update vlog95 test list for tests containing incomplete for loops. 

The for loop initialisation statement, termination condition, and step
statement were only made optional in IEEE 1800-2012. Commit 0695c1fe
enforced this. So we need to compile with -g2012. The vlog95 code
generator doesn't currently translate this, so the tests will fail
when compiling the translated code.
This commit is contained in:
Martin Whitaker 2024-09-07 18:08:44 +01:00
parent 2ab57a2b09
commit 25a84d5cfc
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
ivtest/regress-vlog95.list
View File

@ -777,6 +777,11 @@ dffsynth7 CE,-S ivltests
dffsynth11 CE,-S ivltests
sqrt32synth CE,-S ivltests
# The translator doesn't currently support incomplete for statements and
# doesn't yet check for this.
br_gh801 TE,-g2012,-pallowsigned=1 ivltests
br_gh801b TE,-g2012,-pallowsigned=1 ivltests
# The converter generates a complex expression for $strobe and Icarus does not
# currently support this. The translation is correct.
pr1830834 EF ivltests
@ -853,8 +858,6 @@ br_gh386d normal,-g2009,-pallowsigned=1 ivltests
br_gh477 normal,-g2009,-pallowsigned=1 ivltests
br_gh540 normal,-g2009,-pallowsigned=1 ivltests
br_gh793 normal,-pallowsigned=1 ivltests
br_gh801 normal,-g2009,-pallowsigned=1 ivltests
br_gh801b normal,-g2009,-pallowsigned=1 ivltests
ca_mult normal,-pallowsigned=1 ivltests gold=ca_mult.gold
cast_int normal,-pallowsigned=1 ivltests
cfunc_assign_op_vec normal,-g2009,-pallowsigned=1 ivltests