| commit | 65aba1978c7585c36fdd6b3bd2d50974bac91a92 | |
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |
| Tue, 7 Feb 2017 20:50:28 +0000 (7 21:50 +0100) | ||
| committer | Christopher Li <sparse@chrisli.org> | |
| Mon, 13 Feb 2017 01:34:46 +0000 (13 09:34 +0800) | ||
| tree | b37a6703acdecba74d1323ea7e7feb2c9a1c67af | treesnapshot (tar.gz zip) |
| parent | f4615a44a2ab133b90a9c9eb9bc7861fa66dfa46 | commitdiff |
simplify '(x % 1)' into '0'
For completeness, add the dual simplification 'x * 1 => x'
for modulo: 'x % 1 => 0'.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
For completeness, add the dual simplification 'x * 1 => x'
for modulo: 'x % 1 => 0'.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
| simplify.c | diffblobblamehistory | |
| validation/optim/muldiv-by-one.c | diffblobblamehistory |