Merge pull request #1252 from diffblue/index-constant

Verilog: Tests for constant folding of index expressions

Author: tautschnig

regression/verilog/expressions/index-constant1.desc

@@ -0,0 +1,8 @@
+CORE
+index-constant1.sv
+
+^\[.*\] .* PROVED .*$
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring

regression/verilog/expressions/index-constant1.sv

@@ -0,0 +1,11 @@
+module main;
+
+  // index expressions yield constants
+  parameter p = 'b1010;
+  parameter q = p[3];
+  parameter r = p[0];
+
+  assert final (q == 1);
+  assert final (r == 0);
+
+endmodule

regression/verilog/expressions/index-constant2.desc

@@ -0,0 +1,8 @@
+KNOWNBUG
+index-constant2.sv
+
+^\[.*\] .* PROVED .*$
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring

regression/verilog/expressions/index-constant2.sv

@@ -0,0 +1,9 @@
+module main;
+
+  // index expressions yield constants
+  parameter p = (1>0); // boolean
+  parameter q = p[0];
+
+  assert final (q == 1);
+
+endmodule