diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-02-07 21:50:28 +0100 |
|---|---|---|
| committer | Christopher Li <sparse@chrisli.org> | 2017-02-13 09:34:46 +0800 |
| commit | 65aba1978c7585c36fdd6b3bd2d50974bac91a92 (patch) | |
| tree | b37a6703acdecba74d1323ea7e7feb2c9a1c67af /validation/optim/muldiv-by-one.c | |
| parent | f4615a44a2ab133b90a9c9eb9bc7861fa66dfa46 (diff) | |
| download | sparse-dev-65aba1978c7585c36fdd6b3bd2d50974bac91a92.tar.gz | |
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>
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 f6dd7cb2..5d9b458e 100644 --- a/validation/optim/muldiv-by-one.c +++ b/validation/optim/muldiv-by-one.c @@ -5,6 +5,8 @@ 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; } +si smod1(si a) { return a % 1; } +ui umod1(ui a) { return a % 1; } /* * check-name: muldiv-by-one @@ -13,4 +15,5 @@ ui udiv1(ui a) { return a / 1; } * * check-output-excludes: mul[us]\\. * check-output-excludes: div[us]\\. + * check-output-excludes: mod[us]\\. */ |