From a31c968340346294c4414db4217a525b8f892543 Mon Sep 17 00:00:00 2001
From: George Rennie <georgerennie@gmail.com>
Date: Thu, 7 Nov 2024 12:55:50 +0100
Subject: [PATCH] tests/bufnorm: add test for bufnorm of constant

---
 tests/techmap/bufnorm.ys | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/techmap/bufnorm.ys

diff --git a/tests/techmap/bufnorm.ys b/tests/techmap/bufnorm.ys
new file mode 100644
index 000000000..b81b80aed
--- /dev/null
+++ b/tests/techmap/bufnorm.ys
@@ -0,0 +1,11 @@
+# Check wires driven by constants are kept
+read_verilog <<EOT
+module top(output wire [7:0] y);
+assign y = 27;
+endmodule
+EOT
+
+equiv_opt -assert bufnorm
+design -load postopt
+select -assert-count 1 t:$buf
+select -assert-count 1 w:y %ci t:$buf %i