diff options
| author | whitequark <whitequark@whitequark.org> | 2019-01-02 04:31:20 +0000 |
|---|---|---|
| committer | whitequark <whitequark@whitequark.org> | 2019-01-02 05:11:29 +0000 |
| commit | 4fd458290c3da4c3f372f2e1fdd99829a9462a38 (patch) | |
| tree | 56631d06ff7334e389fa67e56da8e5cf8fcf273f /tests/opt | |
| parent | 9e9846a6ead700756fbd7a5e6c72ccb424006934 (diff) | |
| download | yosys-4fd458290c3da4c3f372f2e1fdd99829a9462a38.tar.gz yosys-4fd458290c3da4c3f372f2e1fdd99829a9462a38.tar.bz2 yosys-4fd458290c3da4c3f372f2e1fdd99829a9462a38.zip | |
opt_expr: refactor simplification of unsigned X<onehot and X>=onehot. NFCI.
Diffstat (limited to 'tests/opt')
| -rw-r--r-- | tests/opt/opt_expr_cmp.v | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tests/opt/opt_expr_cmp.v b/tests/opt/opt_expr_cmp.v index 72372bdf0..500b15f1b 100644 --- a/tests/opt/opt_expr_cmp.v +++ b/tests/opt/opt_expr_cmp.v @@ -14,4 +14,9 @@ module top(...); output o2_2 = 4'sb0000 <= $signed(a); output o2_3 = $signed(a) < 4'sb0000; output o2_4 = $signed(a) >= 4'sb0000; + + output o3_1 = 4'b0100 > a; + output o3_2 = 4'b0100 <= a; + output o3_3 = a < 4'b0100; + output o3_4 = a >= 4'b0100; endmodule |