From 0572f8806f25dcf543215a47d08bb0f57a74ba7e Mon Sep 17 00:00:00 2001
From: George Rennie <georgerennie@gmail.com>
Date: Wed, 25 Sep 2024 16:28:41 +0100
Subject: [PATCH] opt_reduce: add test for constant $reduce_and/or not being
 zero width

---
 tests/opt/opt_reduce_andor.ys | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 tests/opt/opt_reduce_andor.ys

diff --git a/tests/opt/opt_reduce_andor.ys b/tests/opt/opt_reduce_andor.ys
new file mode 100644
index 00000000000..b570365288b
--- /dev/null
+++ b/tests/opt/opt_reduce_andor.ys
@@ -0,0 +1,14 @@
+# Check that opt_reduce doesn't produce zero width $reduce_or/$reduce_and,
+
+read_verilog <<EOT
+module reduce_const(output wire o, output wire a);
+    wire [3:0] zero = 4'b0000;
+    wire [3:0] ones = 4'b1111;
+    assign o = |zero;
+    assign a = &ones;
+endmodule
+EOT
+
+equiv_opt -assert opt_reduce
+design -load postopt
+select -assert-none r:A_WIDTH=0