From 061c234559fa5351345c13be061cdde4f12335fd Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 14 Mar 2025 14:05:40 +1300
Subject: [PATCH] tests/select: Add tests for selections with boxes

---
 tests/select/{blackboxes.ys => boxes.v} | 12 --------
 tests/select/boxes_dummy.ys             | 13 +++++++++
 tests/select/boxes_equals_clean.ys      |  7 +++++
 tests/select/boxes_equals_name.ys       |  7 +++++
 tests/select/boxes_equals_operators.ys  | 38 +++++++++++++++++++++++++
 tests/select/boxes_equals_pattern.ys    |  7 +++++
 tests/select/boxes_equals_wildcard.ys   |  6 ++++
 tests/select/boxes_no_equals.ys         |  7 +++++
 tests/select/boxes_no_equals_clean.ys   | 18 ++++++++++++
 9 files changed, 103 insertions(+), 12 deletions(-)
 rename tests/select/{blackboxes.ys => boxes.v} (51%)
 create mode 100644 tests/select/boxes_dummy.ys
 create mode 100644 tests/select/boxes_equals_clean.ys
 create mode 100644 tests/select/boxes_equals_name.ys
 create mode 100644 tests/select/boxes_equals_operators.ys
 create mode 100644 tests/select/boxes_equals_pattern.ys
 create mode 100644 tests/select/boxes_equals_wildcard.ys
 create mode 100644 tests/select/boxes_no_equals.ys
 create mode 100644 tests/select/boxes_no_equals_clean.ys

diff --git a/tests/select/blackboxes.ys b/tests/select/boxes.v
similarity index 51%
rename from tests/select/blackboxes.ys
rename to tests/select/boxes.v
index 9bfe92c6b..696b26523 100644
--- a/tests/select/blackboxes.ys
+++ b/tests/select/boxes.v
@@ -1,4 +1,3 @@
-read_verilog -specify <<EOT
 module top(input a, b, output o);
 assign o = a & b;
 endmodule
@@ -15,14 +14,3 @@ endmodule
 module wb(input a, b, output o);
 assign o = a ^ b;
 endmodule
-EOT
-clean
-
-select -assert-count 1 c:*
-select -assert-none t:* t:$and %d
-select -assert-count 3 w:*
-select -assert-count 4 *
-
-select -assert-count 3 =c:*
-select -assert-count 10 =w:*
-select -assert-count 13 =*
diff --git a/tests/select/boxes_dummy.ys b/tests/select/boxes_dummy.ys
new file mode 100644
index 000000000..67d59bdf1
--- /dev/null
+++ b/tests/select/boxes_dummy.ys
@@ -0,0 +1,13 @@
+read_verilog -specify boxes.v
+clean
+
+echo on
+select -list
+select -count
+select -count *
+select -count top
+select -count top/w:*
+select -list =*
+select -count =*
+select -clear
+select -assert-count 9 =?b
diff --git a/tests/select/boxes_equals_clean.ys b/tests/select/boxes_equals_clean.ys
new file mode 100644
index 000000000..71c4e392b
--- /dev/null
+++ b/tests/select/boxes_equals_clean.ys
@@ -0,0 +1,7 @@
+read_verilog -specify boxes.v
+clean
+
+logger -expect-no-warnings
+select -assert-count 5 =wb
+clean =wb
+select -assert-count 4 =wb
diff --git a/tests/select/boxes_equals_name.ys b/tests/select/boxes_equals_name.ys
new file mode 100644
index 000000000..fea62a596
--- /dev/null
+++ b/tests/select/boxes_equals_name.ys
@@ -0,0 +1,7 @@
+read_verilog -specify boxes.v
+clean
+
+select -set top top
+select -assert-count 4 @top
+select -set boxes =?b
+select -assert-count 9 @boxes
diff --git a/tests/select/boxes_equals_operators.ys b/tests/select/boxes_equals_operators.ys
new file mode 100644
index 000000000..e2dcac9bf
--- /dev/null
+++ b/tests/select/boxes_equals_operators.ys
@@ -0,0 +1,38 @@
+read_verilog -specify boxes.v
+clean
+
+# wb = 4w1c, bb = 3w1c, top = 3w1c
+select =wb
+select -assert-count 5 %
+select -add =bb
+select -assert-count 9 %
+select -del =wb
+select -assert-count 4 %
+
+# unions
+select -assert-count 8 =bb * %u
+select -assert-count 8 * =bb %u
+select -assert-count 13 top =* %u
+select -assert-count 8 =bb top %u
+select -assert-count 8 top =bb %u
+
+# intersections
+select -assert-count 3 =w:* =bb %i
+select -assert-count 4 =* * %i
+select -assert-count 4 * =* %i
+
+# inverses
+select -assert-count 8 =wb %n
+select -assert-none top %n
+select -assert-none * %n
+select -assert-none =* %n
+select -assert-count 9 =top %n
+
+# differences
+select -assert-count 9 =* top %d
+select -assert-count 0 top =* %d
+select -assert-count 9 =* * %d
+select -assert-count 0 * =* %d
+
+# random
+select -assert-any =?b %R
diff --git a/tests/select/boxes_equals_pattern.ys b/tests/select/boxes_equals_pattern.ys
new file mode 100644
index 000000000..d84091cc4
--- /dev/null
+++ b/tests/select/boxes_equals_pattern.ys
@@ -0,0 +1,7 @@
+read_verilog -specify boxes.v
+clean
+
+select -assert-none ?b
+select -assert-count 4 =bb
+select -assert-count 5 =wb
+select -assert-count 9 =?b
diff --git a/tests/select/boxes_equals_wildcard.ys b/tests/select/boxes_equals_wildcard.ys
new file mode 100644
index 000000000..0ff387a0a
--- /dev/null
+++ b/tests/select/boxes_equals_wildcard.ys
@@ -0,0 +1,6 @@
+read_verilog -specify boxes.v
+clean
+
+select -assert-count 3 =c:*
+select -assert-count 10 =w:*
+select -assert-count 13 =*
diff --git a/tests/select/boxes_no_equals.ys b/tests/select/boxes_no_equals.ys
new file mode 100644
index 000000000..d9da7387c
--- /dev/null
+++ b/tests/select/boxes_no_equals.ys
@@ -0,0 +1,7 @@
+read_verilog -specify boxes.v
+clean
+
+select -assert-count 1 c:*
+select -assert-none t:* t:$and %d
+select -assert-count 3 w:*
+select -assert-count 4 *
diff --git a/tests/select/boxes_no_equals_clean.ys b/tests/select/boxes_no_equals_clean.ys
new file mode 100644
index 000000000..856be8d1b
--- /dev/null
+++ b/tests/select/boxes_no_equals_clean.ys
@@ -0,0 +1,18 @@
+read_verilog -specify boxes.v
+
+logger -expect warning "did not match any module" 2
+clean wb
+opt_clean wb
+logger -check-expected
+
+select -clear
+logger -expect warning "did not match any module" 2
+clean wb
+opt_clean wb
+logger -check-expected
+
+select -none
+logger -expect warning "did not match any module" 2
+clean wb
+opt_clean wb
+logger -check-expected