From 3627757c1ccd00a452276d57844534c5df5721eb Mon Sep 17 00:00:00 2001
From: Can Aknesil <aknesil@kth.se>
Date: Sat, 17 Aug 2024 00:46:19 +0200
Subject: [PATCH] fixed 321, added reduce ops in share

---
 passes/opt/share.cc     |  6 ++++++
 tests/share/.gitignore  |  1 +
 tests/share/bug321.ys   | 11 +++++++++++
 tests/share/run-test.sh |  5 +++++
 4 files changed, 23 insertions(+)
 create mode 100644 tests/share/bug321.ys
 mode change 100755 => 100644 tests/share/run-test.sh

diff --git a/passes/opt/share.cc b/passes/opt/share.cc
index 586bd9dfe..a95f8b22a 100644
--- a/passes/opt/share.cc
+++ b/passes/opt/share.cc
@@ -1486,6 +1486,12 @@ struct SharePass : public Pass {
 		config.generic_cbin_ops.insert(ID($logic_and));
 		config.generic_cbin_ops.insert(ID($logic_or));
 
+		config.generic_uni_ops.insert(ID($reduce_and));
+		config.generic_uni_ops.insert(ID($reduce_or));
+		config.generic_uni_ops.insert(ID($reduce_xor));
+		config.generic_uni_ops.insert(ID($reduce_xnor));
+		config.generic_uni_ops.insert(ID($reduce_bool));
+
 		config.generic_other_ops.insert(ID($alu));
 		config.generic_other_ops.insert(ID($macc));
 
diff --git a/tests/share/.gitignore b/tests/share/.gitignore
index 9c595a6fb..cae5f9c90 100644
--- a/tests/share/.gitignore
+++ b/tests/share/.gitignore
@@ -1 +1,2 @@
 temp
+*.log
diff --git a/tests/share/bug321.ys b/tests/share/bug321.ys
new file mode 100644
index 000000000..c5a80e459
--- /dev/null
+++ b/tests/share/bug321.ys
@@ -0,0 +1,11 @@
+read_verilog <<EOF
+module top(a, b, s, y);
+	input wire [7:0] a;
+	input wire [7:0] b;
+	input wire s;
+	output wire y;
+	assign y = s ? |a : |b;
+endmodule
+EOF
+
+share -force
diff --git a/tests/share/run-test.sh b/tests/share/run-test.sh
old mode 100755
new mode 100644
index a7b5fc4a0..f6e43301c
--- a/tests/share/run-test.sh
+++ b/tests/share/run-test.sh
@@ -36,4 +36,9 @@ if [ -n "$failed_share" ]; then
 	false
 fi
 
+for x in *.ys; do
+  echo "Running $x.."
+  ../../yosys -ql ${x%.ys}.log $x
+done
+
 exit 0