From 1d1eb4fedbfd236a9f8bce48825f064a50587651 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sat, 10 May 2014 08:20:10 -0400
Subject: [PATCH] Testcase for bug756.

---
 test_regress/t/t_math_signed5.v | 7 +++++++
 1 file changed, 7 insertions(+)

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;