From 13f9d65b6fc09af76330c02ab420324b50db61da Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 14 May 2020 00:29:45 -0700
Subject: abc9: preserve $_DFF_?_.Q's (* init *); rely on clean to remove it

---
 tests/various/abc9.ys | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'tests')

diff --git a/tests/various/abc9.ys b/tests/various/abc9.ys
index 9586091c4..ac714665f 100644
--- a/tests/various/abc9.ys
+++ b/tests/various/abc9.ys
@@ -78,18 +78,23 @@ abc9
 
 design -reset
 read_verilog -icells <<EOT
-module abc9_test038(input clk, output w, x, y);
+module abc9_test038(input clk, output w, x, y, z);
 (* init=1'b1 *) wire w;
 $_DFF_N_ ff1(.C(clk), .D(1'b1), .Q(w));
 (* init=1'bx *) wire x;
 $_DFF_N_ ff2(.C(clk), .D(1'b0), .Q(x));
 (* init=1'b0 *) wire y;
 $_DFF_N_ ff3(.C(clk), .D(1'b0), .Q(y));
+(* init=1'b0 *) wire z;
+$_DFF_N_ ff4(.C(clk), .D(1'b1), .Q(z));
 endmodule
 EOT
 simplemap
 equiv_opt abc9 -lut 4 -dff
 design -load postopt
 cd abc9_test038
-select -assert-count 2 t:$_DFF_N_
-select -assert-none c:ff1 c:ff2 %% c:* %D
+select -assert-count 3 t:$_DFF_N_
+select -assert-none c:ff1 c:ff2 c:ff4 %% c:* %D
+clean
+select -assert-count 2 a:init
+select -assert-none w:w w:z %% a:init %D
-- 
cgit v1.2.3