37 lines
1.6 KiB
Coq
37 lines
1.6 KiB
Coq
|
// Regression test: comparing a `string` parameter to a string constant of
|
||
|
|
// a different length must constant-fold cleanly instead of tripping the
|
||
|
|
// "lv.len() == rv.len()" assertion in the NetEBComp evaluation functions.
|
||
|
|
// Covers ==, !=, ===, !==, ==? and !=? with the string operand on either
|
||
|
|
// side and both shorter and longer than the other operand.
|
||
|
|
|
||
|
|
module main #(parameter string Target = "A",
|
||
|
|
parameter string Long = "ABC");
|
||
|
|
|
||
|
|
integer errors = 0;
|
||
|
|
|
||
|
|
// Equality / inequality, parameter shorter than the literal.
|
||
|
|
if (Target == "AA") initial begin errors += 1; $display("FAILED: Target == \"AA\""); end
|
||
|
|
if (Target != "A") initial begin errors += 1; $display("FAILED: Target != \"A\""); end
|
||
|
|
|
||
|
|
// Literal on the left.
|
||
|
|
if ("AA" == Target) initial begin errors += 1; $display("FAILED: \"AA\" == Target"); end
|
||
|
|
|
||
|
|
// Parameter longer than the literal.
|
||
|
|
if (Long == "AB") initial begin errors += 1; $display("FAILED: Long == \"AB\""); end
|
||
|
|
if (Long != "ABC") initial begin errors += 1; $display("FAILED: Long != \"ABC\""); end
|
||
|
|
|
||
|
|
// Two string parameters of different lengths.
|
||
|
|
if (Target == Long) initial begin errors += 1; $display("FAILED: Target == Long"); end
|
||
|
|
|
||
|
|
// Case equality.
|
||
|
|
if (Target === "AA") initial begin errors += 1; $display("FAILED: Target === \"AA\""); end
|
||
|
|
if (Target !== "A") initial begin errors += 1; $display("FAILED: Target !== \"A\""); end
|
||
|
|
|
||
|
|
// Wildcard equality.
|
||
|
|
if (Target ==? "AA") initial begin errors += 1; $display("FAILED: Target ==? \"AA\""); end
|
||
|
|
if (Target !=? "A") initial begin errors += 1; $display("FAILED: Target !=? \"A\""); end
|
||
|
|
|
||
|
|
initial #1 if (errors == 0) $display("PASSED");
|
||
|
|
|
||
|
|
endmodule
|