From 899d45923381aafa8fe485c4c456e548e90a5864 Mon Sep 17 00:00:00 2001
From: Martin Whitaker <icarus@martin-whitaker.me.uk>
Date: Sat, 27 Aug 2022 16:19:04 +0100
Subject: [PATCH] Add regression test for issue #756.

---
 ivtest/ivltests/br_gh756.v | 15 +++++++++++++++
 ivtest/regress-sv.list     |  1 +
 2 files changed, 16 insertions(+)
 create mode 100644 ivtest/ivltests/br_gh756.v

diff --git a/ivtest/ivltests/br_gh756.v b/ivtest/ivltests/br_gh756.v
new file mode 100644
index 000000000..42530ab67
--- /dev/null
+++ b/ivtest/ivltests/br_gh756.v
@@ -0,0 +1,15 @@
+module dut(input [3:0] x);
+
+initial begin
+  $display("%b", x);
+  if (x === 4'b1111)
+    $display("PASSED");
+  else
+    $display("FAILED");
+end
+
+endmodule
+
+module test;
+  dut dut('1);
+endmodule
diff --git a/ivtest/regress-sv.list b/ivtest/regress-sv.list
index a605f9843..d21ffab1b 100644
--- a/ivtest/regress-sv.list
+++ b/ivtest/regress-sv.list
@@ -217,6 +217,7 @@ br_gh661a		normal,-g2009		ivltests
 br_gh661b		normal,-g2009		ivltests
 br_gh672		normal,-g2009		ivltests
 br_gh699		CE,-g2009		ivltests
+br_gh756		normal,-g2009		ivltests
 br_ml20171017		normal,-g2009		ivltests
 br_ml20180227		CE,-g2009		ivltests
 br_ml20180309a		normal,-g2009		ivltests