From aa4a69f89be9fcdcf20ca1c28d67444b994ec479 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 14 May 2020 00:26:23 -0700
Subject: opt_clean: add init test

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

(limited to 'tests')

diff --git a/tests/opt/opt_clean_init.ys b/tests/opt/opt_clean_init.ys
new file mode 100644
index 000000000..bfc383955
--- /dev/null
+++ b/tests/opt/opt_clean_init.ys
@@ -0,0 +1,13 @@
+logger -expect warning "Initial value conflict for wire '\\y' and value '1'0'" 1
+logger -expect-no-warnings
+read_verilog <<EOT
+module top;
+(* init=1'b0 *) wire w = 1'b0;
+(* init=1'bx *) wire x = 1'b0;
+(* init=1'b1 *) wire y = 1'b0;
+(* init=1'b0 *) wire z = 1'bx;
+endmodule
+EOT
+clean
+select -assert-count 1 a:init
+select -assert-count 1 w:y a:init %i
-- 
cgit v1.2.3


From 5be4b00a0dad4c6fe281a0e925daeae26715f215 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 14 May 2020 00:59:38 -0700
Subject: opt_clean: improve warning message

---
 tests/opt/opt_clean_init.ys | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests')

diff --git a/tests/opt/opt_clean_init.ys b/tests/opt/opt_clean_init.ys
index bfc383955..0d567608d 100644
--- a/tests/opt/opt_clean_init.ys
+++ b/tests/opt/opt_clean_init.ys
@@ -1,4 +1,4 @@
-logger -expect warning "Initial value conflict for wire '\\y' and value '1'0'" 1
+logger -expect warning "Initial value conflict for \\y resolving to 1'0 but with init 1'1" 1
 logger -expect-no-warnings
 read_verilog <<EOT
 module top;
-- 
cgit v1.2.3