Add regression tests for reversed part select indices

Check that reversed part selects result in an error. Check this for both
right-hand and left-hand side expressions as well as for inner and outer
dimensions.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>

ivtest/ivltests/partsel_reversed_idx1.v

@@ -0,0 +1,14 @@
+// Check that an inverted part select in a continuous assign is reported as an
+// error.
+
+module test;
+
+  reg [1:0] x;
+
+  assign x[0:1] = 2'b00; // Error: Part select indices swapped
+
+  initial begin
+    $display("FAILED");
+  end
+
+endmodule

ivtest/ivltests/partsel_reversed_idx2.v

@@ -0,0 +1,14 @@
+// Check that an inverted part select on an inner dimension in a continuous
+// assign is reported as an error.
+
+module test;
+
+  reg [1:0][1:0] x;
+
+  assign x[0:1] = 2'b00; // Error: Part select indices swapped
+
+  initial begin
+    $display("FAILED");
+  end
+
+endmodule

ivtest/ivltests/partsel_reversed_idx3.v

@@ -0,0 +1,14 @@
+// Check that an inverted part select in a procedural assign is reported as an
+// error.
+
+module test;
+
+  reg [1:0] x;
+
+  initial begin
+    x[0:1] = 2'b00; // Error: Part select indices swapped
+
+    $display("FAILED");
+  end
+
+endmodule

ivtest/ivltests/partsel_reversed_idx4.v

@@ -0,0 +1,14 @@
+// Check that an inverted part select on an inner dimension in a procedural
+// assign is reported as an error.
+
+module test;
+
+  reg [1:0][1:0] x;
+
+  initial begin
+    x[0:1] = 2'b00; // Error: Part select indices swapped
+
+    $display("FAILED");
+  end
+
+endmodule

ivtest/ivltests/partsel_reversed_idx5.v

@@ -0,0 +1,14 @@
+// Check that an inverted part select in an expression is reported as an error.
+
+module test;
+
+  reg [1:0] x;
+  reg [1:0] y;
+
+  initial begin
+    y = x[0:1]; // Error: Part select indices swapped
+
+    $display("FAILED");
+  end
+
+endmodule

ivtest/ivltests/partsel_reversed_idx6.v

@@ -0,0 +1,15 @@
+// Check that an inverted part select on an inner dimension in an expression is
+// reported as an error.
+
+module test;
+
+  reg [1:0][1:0] x;
+  reg [1:0] y;
+
+  initial begin
+    y = x[0:1]; // Error: Part select indices swapped
+
+    $display("FAILED");
+  end
+
+endmodule

ivtest/regress-vvp.list

@@ -94,6 +94,12 @@ partsel_invalid_idx3		vvp_tests/partsel_invalid_idx3.json
 partsel_invalid_idx4		vvp_tests/partsel_invalid_idx4.json
 partsel_invalid_idx5		vvp_tests/partsel_invalid_idx5.json
 partsel_invalid_idx6		vvp_tests/partsel_invalid_idx6.json
+partsel_reversed_idx1		vvp_tests/partsel_reversed_idx1.json
+partsel_reversed_idx2		vvp_tests/partsel_reversed_idx2.json
+partsel_reversed_idx3		vvp_tests/partsel_reversed_idx3.json
+partsel_reversed_idx4		vvp_tests/partsel_reversed_idx4.json
+partsel_reversed_idx5		vvp_tests/partsel_reversed_idx5.json
+partsel_reversed_idx6		vvp_tests/partsel_reversed_idx6.json
 param_test3			vvp_tests/param_test3.json
 param-width			vvp_tests/param-width.json
 param-width-vlog95		vvp_tests/param-width-vlog95.json

ivtest/vvp_tests/partsel_reversed_idx1.json

@@ -0,0 +1,4 @@
+{
+    "type"          : "CE",
+    "source"        : "partsel_reversed_idx1.v"
+}

ivtest/vvp_tests/partsel_reversed_idx2.json

@@ -0,0 +1,4 @@
+{
+    "type"          : "CE",
+    "source"        : "partsel_reversed_idx2.v"
+}

ivtest/vvp_tests/partsel_reversed_idx3.json

@@ -0,0 +1,4 @@
+{
+    "type"          : "CE",
+    "source"        : "partsel_reversed_idx3.v"
+}

ivtest/vvp_tests/partsel_reversed_idx4.json

@@ -0,0 +1,4 @@
+{
+    "type"          : "CE",
+    "source"        : "partsel_reversed_idx4.v"
+}

ivtest/vvp_tests/partsel_reversed_idx5.json

@@ -0,0 +1,4 @@
+{
+    "type"          : "CE",
+    "source"        : "partsel_reversed_idx5.v"
+}

ivtest/vvp_tests/partsel_reversed_idx6.json

@@ -0,0 +1,4 @@
+{
+    "type"          : "CE",
+    "source"        : "partsel_reversed_idx6.v"
+}