From 9553a872daf24cb3bb7bacd1ac864f93122c6284 Mon Sep 17 00:00:00 2001
From: Lars-Peter Clausen <lars@metafoo.de>
Date: Sun, 4 Dec 2022 14:16:13 -0800
Subject: [PATCH] Add regression test for compressed assignment statement in
 genvar loops

Check that compressed assignment statements are supported for genvar loops.
This is supported in SystemVerilog, but not in Verilog.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
---
 ivtest/ivltests/genvar_compressed.v | 123 ++++++++++++++++++++++++++++
 ivtest/regress-sv.list              |   1 +
 ivtest/regress-vlog95.list          |   1 +
 3 files changed, 125 insertions(+)
 create mode 100644 ivtest/ivltests/genvar_compressed.v

diff --git a/ivtest/ivltests/genvar_compressed.v b/ivtest/ivltests/genvar_compressed.v
new file mode 100644
index 000000000..e6ea2eb04
--- /dev/null
+++ b/ivtest/ivltests/genvar_compressed.v
@@ -0,0 +1,123 @@
+// Check that compressed assignment statements are supported for genvar loops.
+// This is supported in SystemVerilog, but not in Verilog.
+
+module test;
+
+integer array1[0:3];
+integer array2[1:4];
+integer array3[1:8];
+integer array4[1:16];
+integer array5[10:10];
+integer array6[1:8];
+integer array7[1:16];
+integer array8[1:16];
+integer array9[0:3];
+integer array10[4:7];
+integer array11[0:3];
+
+for (genvar i = 0; i < 4; i += 1) begin
+  initial array1[i] = i;
+end
+
+for (genvar i = 4; i > 0; i -= 1) begin
+  initial array2[i] = i;
+end
+
+for (genvar i = 1; i < 16; i *= 2) begin
+  initial array3[i] = i;
+end
+
+for (genvar i = 16; i > 0; i /= 2) begin
+  initial array4[i] = i;
+end
+
+for (genvar i = 10; i > 0; i %= 2) begin
+  initial array5[i] = i;
+end
+
+for (genvar i = 1; i < 16; i <<= 1) begin
+  initial array6[i] = i;
+end
+
+for (genvar i = 16; i > 0; i >>= 1) begin
+  initial array7[i] = i;
+end
+
+for (genvar i = 16; i > 0; i >>>= 1) begin
+  initial array8[i] = i;
+end
+
+for (genvar i = 0; i < 4; i |= i + 1) begin
+  initial array9[i] = i;
+end
+
+for (genvar i = 7; i > 0; i &= i - 1) begin
+  initial array10[i] = i;
+end
+
+for (genvar i = 0; i < 4; i ^= i + 1) begin
+  initial array11[i] = i;
+end
+
+`define check(a) if (a[i] !== i) begin \
+  failed = 1; \
+  $display("FAILED(%d): Expected %0d, got %0d.", `__LINE__, i, a[i]); \
+  end
+
+
+integer i;
+reg failed = 1'b0;
+
+initial begin
+  #1
+  for (i = 0; i < 4; i = i + 1) begin
+    `check(array1)
+  end
+
+  for (i = 4; i > 0; i = i - 1) begin
+    `check(array2)
+  end
+
+  for (i = 1; i < 16; i = i * 2) begin
+    `check(array3)
+  end
+
+  for (i = 16; i > 0; i = i / 2) begin
+    `check(array4)
+  end
+
+  for (i = 10; i != 0; i = i % 2) begin
+    `check(array5)
+  end
+
+  for (i = 1; i < 16; i = i << 2) begin
+    `check(array6)
+  end
+
+  for (i = 16; i > 0; i = i >> 2) begin
+    `check(array7)
+  end
+
+  for (i = 16; i > 0; i = i >>> 2) begin
+    `check(array8)
+  end
+
+  for (i = 1; i < 4; i = i | (i + 1)) begin
+    `check(array9)
+  end
+
+  for (i = 7; i > 0; i = i & (i - 1)) begin
+    `check(array10)
+  end
+
+  for (i = 0; i < 4; i = i ^ (i + 1)) begin
+    `check(array11)
+  end
+
+  if (failed)
+    $display("FAILED");
+  else
+    $display("PASSED");
+end
+
+endmodule
diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list
index e653d9ccc..cf7a8f06a 100644
--- a/ivtest/regress-sv.list
+++ b/ivtest/regress-sv.list
@@ -311,6 +311,7 @@ function10		CO,-g2005-sv		ivltests
 function11		CE,-g2005-sv		ivltests
 function12		normal,-g2005-sv	ivltests gold=function12.gold
 genvar_inc_dec		normal,-g2009		ivltests
+genvar_compressed	normal,-g2009		ivltests
 generate_module		CE,-g2005-sv		ivltests
 generate_timeunit	CE,-g2005-sv		ivltests
 ibit_test		normal,-g2005-sv	ivltests
diff --git a/ivtest/regress-vlog95.list b/ivtest/regress-vlog95.list
index bec2bf336..30cbdc3e6 100644
--- a/ivtest/regress-vlog95.list
+++ b/ivtest/regress-vlog95.list
@@ -618,6 +618,7 @@ generate_case		CE			ivltests
 generate_case2		CE			ivltests
 generate_case3		CE			ivltests
 genvar_inc_dec		CE,-g2009		ivltests # also integer arrays
+genvar_compressed	CE,-g2009		ivltests # also integer arrays
 packeda2		CE,-g2009,-pallowsigned=1	ivltests
 pr1565699b		CE			ivltests
 pr1623097		CE			ivltests