From fe500f585c41a4d8c69b896e937962c5b6aa16f1 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Mon, 25 May 2020 08:22:39 -0700
Subject: [PATCH] tests: add testcase for clean-ing unused (* init *)

---
 tests/opt/opt_clean_init.ys | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)

diff --git a/tests/opt/opt_clean_init.ys b/tests/opt/opt_clean_init.ys
index 0d567608d..7d5063957 100644
--- a/tests/opt/opt_clean_init.ys
+++ b/tests/opt/opt_clean_init.ys
@@ -11,3 +11,32 @@ EOT
 clean
 select -assert-count 1 a:init
 select -assert-count 1 w:y a:init %i
+
+
+design -reset
+read_verilog <<EOT
+module top(input clk, d, output q);
+(* init=1'b0 *) wire private0;
+reg private1 = 1'b1;
+always @(posedge clk)
+    private1 <= d;
+assign q = private1;
+endmodule
+EOT
+proc
+rename -hide w:private*
+clean
+select -assert-count 1 a:init=1'b1
+select -assert-count 0 a:init=1'b0
+
+
+design -reset
+read_verilog <<EOT
+module top;
+(* init=1'b0 *) wire private;
+wire public = private;
+endmodule
+EOT
+rename -hide w:private
+clean
+select -assert-none w:*