riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Add regression test for #2824.

This commit is contained in:
Marcelina Kościelnicka 2021-06-11 12:19:21 +02:00 committed by gatecat
parent 6a6d049f1c
commit 438bcc68c0
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
tests/opt/bug2824.ys Normal file
View File

@ -0,0 +1,7 @@
read_verilog -icells << EOT
module top(input I, output O);
$pmux #(.WIDTH(1), .S_WIDTH(2)) m (.S({I, 1'b0}), .A(1'b0), .B({I, 1'b0}), .Y(O));
endmodule
EOT
equiv_opt -assert opt_muxtree