From 25a84d5cfcecf67bfb7734929a1df98c4b137ce6 Mon Sep 17 00:00:00 2001 From: Martin Whitaker Date: Sat, 7 Sep 2024 18:08:44 +0100 Subject: [PATCH] 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. --- ivtest/regress-vlog95.list | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/ivtest/regress-vlog95.list b/ivtest/regress-vlog95.list index bc1ea261d..34d34443f 100644 --- a/ivtest/regress-vlog95.list +++ b/ivtest/regress-vlog95.list @@ -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