diff --git a/test_regress/t/t_math_signed5.v b/test_regress/t/t_math_signed5.v index 9110f6671..317a0baa7 100644 --- a/test_regress/t/t_math_signed5.v +++ b/test_regress/t/t_math_signed5.v @@ -12,6 +12,7 @@ reg signed [3:0] w4_s; reg signed [4:0] w5_s; + reg [2:0] w3_u; reg [3:0] w4_u; reg [4:0] w5_u; real r; @@ -104,6 +105,12 @@ w4_u = ((5'b0 == (5'sb11111 >>> 3'd7))); `checkh(w4_u, 4'b0001); + // bug756 + w5_s = -1; + w3_u = 7; + w4_u = |0 != (w5_s >>> w3_u); + `checkh(w4_u, 4'b0000); + if (fail) $stop; $write("*-* All Finished *-*\n"); $finish;