From 5bd18613bb0fbdb1809fc40be33fa5f04df2707f Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 19 Feb 2025 23:03:43 +0100
Subject: [PATCH] abstract: test -init

---
 tests/various/abstract_init.ys | 39 ++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)
 create mode 100644 tests/various/abstract_init.ys

diff --git a/tests/various/abstract_init.ys b/tests/various/abstract_init.ys
new file mode 100644
index 00000000000..e848ddf0a1f
--- /dev/null
+++ b/tests/various/abstract_init.ys
@@ -0,0 +1,39 @@
+design -reset
+read_verilog <<EOT
+module foo (CLK, Q, QQQ);
+	input CLK;
+	output reg QQQ;
+	output reg Q = 1'b1;
+	assign QQQ = Q;
+	always @(posedge CLK)
+		Q <= ~Q;
+endmodule
+EOT
+
+proc
+opt_expr
+opt_dff
+select -assert-count 1 w:Q a:init %i
+abstract -init w:QQQ
+check -assert
+select -assert-count 0 w:Q a:init %i
+
+design -reset
+read_verilog <<EOT
+module foo (CLK, Q, QQQ);
+	input CLK;
+	output reg QQQ;
+	output reg [1:0] Q = 1'b1;
+	assign QQQ = Q;
+	always @(posedge CLK)
+		Q <= ~Q;
+endmodule
+EOT
+
+proc
+opt_expr
+opt_dff
+select -assert-count 1 w:Q a:init=2'b01 %i
+abstract -init w:QQQ
+check -assert
+select -assert-count 1 w:Q a:init=2'b0x %i