From 34e3fcbb318ce1c6a142903e795a0eb099c152fe Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Tue, 18 Feb 2025 15:20:09 +0100
Subject: [PATCH] abstract: test -value

---
 .../{abstract.ys => abstract_state.ys}        |  0
 tests/various/abstract_value.ys               | 74 +++++++++++++++++++
 2 files changed, 74 insertions(+)
 rename tests/various/{abstract.ys => abstract_state.ys} (100%)
 create mode 100644 tests/various/abstract_value.ys

diff --git a/tests/various/abstract.ys b/tests/various/abstract_state.ys
similarity index 100%
rename from tests/various/abstract.ys
rename to tests/various/abstract_state.ys
diff --git a/tests/various/abstract_value.ys b/tests/various/abstract_value.ys
new file mode 100644
index 000000000..643d55a65
--- /dev/null
+++ b/tests/various/abstract_value.ys
@@ -0,0 +1,74 @@
+read_verilog <<EOT
+module split_output (A, B, Y, magic);
+	input [1:0] A;
+	input [1:0] B;
+	output [1:0] Y;
+	input magic;
+    wire W;
+    assign Y = A + B;
+    assign W = Y[0]; // <--- look here
+endmodule
+EOT
+proc
+design -save split_output
+# Basic -value test
+abstract -value -enable magic w:W
+# show
+check -assert
+# Connections to $add Y output port
+select -set conn_to_y t:$add %x:+[Y] t:$add %d
+# The $add Y output port feeds partially into a mux
+select -set mux @conn_to_y %ci t:$mux %i
+select -assert-count 1 @mux
+# and also the Y module output
+select -assert-count 1 @conn_to_y %a o:Y %i
+# The S input port is fed with the magic wire
+select -assert-count 1 @mux %x:+[S] w:magic %i
+# The B input port is fed with an anyseq
+select -assert-count 1 @mux %x:+[B] %ci t:$anyseq %i
+# The Y output port feeds into the Y module output
+select -assert-count 1 @mux %x:+[Y] %co o:Y %i
+# -----------------------------------------------------------------------------
+design -reset
+read_verilog <<EOT
+module split_input (A, B, Y, magic);
+	input [1:0] A;
+	input [1:0] B;
+	output [1:0] Y;
+	input magic;
+    wire W;
+    assign Y = A + B;
+    assign W = A[0]; // <--- look here
+endmodule
+EOT
+proc
+design -save split_input
+# The mux goes on an input this time
+abstract -value -enable magic w:W
+# show
+check -assert
+# Connections to add A input port
+select -set conn_to_a t:$add %x:+[A] t:$add %d
+# The B input port is partially fed with a mux
+select -set mux @conn_to_a %ci t:$mux %i
+select -assert-count 1 @mux
+# and also the A input
+select -assert-count 1 @conn_to_a %a w:A %i
+# The S input port is fed with the magic wire
+select -assert-count 1 @mux %x:+[S] w:magic %i
+# The A input port is fed with the module input A
+select -assert-count 1 @mux %x:+[A] %ci i:A %i
+# The B input port is fed with an anyseq
+select -assert-count 1 @mux %x:+[B] %ci t:$anyseq %i
+# -----------------------------------------------------------------------------
+# All wires selected, excluding magic -> muxes on inputs and outputs
+design -load split_output
+select -assert-count 0 t:$mux
+abstract -value -enable magic w:* w:magic %d
+select -assert-count 3 t:$mux
+# All cells selected -> muxes on outputs only
+design -load split_output
+select -assert-count 0 t:$mux
+abstract -value -enable magic t:*
+select -assert-count 1 t:$mux
+# -----------------------------------------------------------------------------