diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-07 21:50:25 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-13 09:34:46 +0800 |
| commit | e6328bea9acbbcd68d6abfad8d9d16a42590e378 (patch) | |
| tree | 5daa4d9466d4a43ddac4db9e2126bfcfeadd13c7 /validation/optim/muldiv-by-one.c | |
| parent | 6c220f73b8be35991f66cb3958527c2395d8c4cc (diff) | |
| download | sparse-dev-e6328bea9acbbcd68d6abfad8d9d16a42590e378.tar.gz | |
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>
Diffstat (limited to 'validation/optim/muldiv-by-one.c')
| -rw-r--r-- | validation/optim/muldiv-by-one.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/validation/optim/muldiv-by-one.c b/validation/optim/muldiv-by-one.c index ac8ac95b..f6dd7cb2 100644 --- a/validation/optim/muldiv-by-one.c +++ b/validation/optim/muldiv-by-one.c @@ -3,6 +3,8 @@ typedef int si; si smul1(si a) { return a * 1; } ui umul1(ui a) { return a * 1; } +si sdiv1(si a) { return a / 1; } +ui udiv1(ui a) { return a / 1; } /* * check-name: muldiv-by-one @@ -10,4 +12,5 @@ ui umul1(ui a) { return a * 1; } * check-output-ignore * * check-output-excludes: mul[us]\\. + * check-output-excludes: div[us]\\. */ |