| commit | e6328bea9acbbcd68d6abfad8d9d16a42590e378 | |
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | |
| Tue, 7 Feb 2017 20:50:25 +0000 (7 21:50 +0100) | ||
| committer | Christopher Li <sparse@chrisli.org> | |
| Mon, 13 Feb 2017 01:34:46 +0000 (13 09:34 +0800) | ||
| tree | 5daa4d9466d4a43ddac4db9e2126bfcfeadd13c7 | treesnapshot (tar.gz zip) |
| parent | 6c220f73b8be35991f66cb3958527c2395d8c4cc | commitdiff |
simplify '(x / 1)' to 'x'
Currently we simplify multiplication by 1 but nothing
for the similar divide by 1.
This patch add the missing simplification together with
its test cases.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Signed-off-by: Christopher Li <sparse@chrisli.org>
Currently we simplify multiplication by 1 but nothing
for the similar divide by 1.
This patch add the missing simplification together with
its test cases.
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 |