3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-18 06:39:03 +00:00
This commit is contained in:
Can Aknesil 2025-03-19 00:39:14 -06:00 committed by GitHub
commit 69bc0e920e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 23 additions and 0 deletions

View file

@ -1519,6 +1519,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));

View file

@ -1 +1,2 @@
temp
*.log

11
tests/share/bug321.ys Normal file
View file

@ -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

5
tests/share/run-test.sh Executable file → Normal file
View file

@ -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