| commit | a0886db12307d2633b04ec44342099a2955794a5 | |
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |
| Wed, 7 Dec 2016 16:13:24 +0000 (7 17:13 +0100) | ||
| committer | Christopher Li <sparse@chrisli.org> | |
| Mon, 13 Feb 2017 01:34:46 +0000 (13 09:34 +0800) | ||
| tree | c18df7caf796801fb1109dc1165622f00b2ee92e | treesnapshot (tar.gz zip) |
| parent | 5425db10d4d35895ba3ca390478c624233ec027d | commitdiff |
simplify '(x || 1)' to '1'
There is simplifications for:
(x && 0) => 0
(x && 1) => x
(x || 0) => x
but the fourth case '(x || 1)' is missing.
This patch add the missing simplification and a small test case.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
There is simplifications for:
(x && 0) => 0
(x && 1) => x
(x || 0) => x
but the fourth case '(x || 1)' is missing.
This patch add the missing simplification and a small test case.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
| simplify.c | diffblobblamehistory | |
| validation/optim/bool-simplify.c | [new file with mode: 0644] | blob |