diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-11-27 10:17:10 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-27 10:17:10 -0800 |
| commit | 4bac6b13bef7e5a97271726c6cf445c02a818903 (patch) | |
| tree | 02ecf2aa31aea9f447688b7c72df4f4492511121 /tests/opt | |
| parent | df8dc6d1fb1f9fc47a8356b5f0bf572a1ea140d2 (diff) | |
| parent | 6464dc35ec0c57b55aa19345b17eb34f47c15986 (diff) | |
| download | yosys-4bac6b13bef7e5a97271726c6cf445c02a818903.tar.gz yosys-4bac6b13bef7e5a97271726c6cf445c02a818903.tar.bz2 yosys-4bac6b13bef7e5a97271726c6cf445c02a818903.zip | |
Merge remote-tracking branch 'origin/master' into xaig_dff
Diffstat (limited to 'tests/opt')
| -rw-r--r-- | tests/opt/bug1525.ys | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tests/opt/bug1525.ys b/tests/opt/bug1525.ys new file mode 100644 index 000000000..972bc0ac7 --- /dev/null +++ b/tests/opt/bug1525.ys @@ -0,0 +1,13 @@ +read_verilog << EOF +module top(...); +input A1, A2, B, S; +output O; + +assign O = S ? (A1 & B) : (A2 & B); + +endmodule +EOF + +simplemap +opt_share +dump |