diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-09-08 13:26:08 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-28 18:54:41 +0200 |
| commit | cd1366255259df08c3e1508976130d978e22da48 (patch) | |
| tree | 2799cfb83c57eba7d80507a449bed45be665d9a8 /validation | |
| parent | 0b99639411481e56cb0e6bfca01c7944c607f707 (diff) | |
| download | sparse-dev-cd1366255259df08c3e1508976130d978e22da48.tar.gz | |
simplify 'x & ~0' to 'x'
This is another simple identity with the potential to trigger
more simplifications.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/optim/bits-not-zero.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/validation/optim/bits-not-zero.c b/validation/optim/bits-not-zero.c index 9872794b..ce74705e 100644 --- a/validation/optim/bits-not-zero.c +++ b/validation/optim/bits-not-zero.c @@ -1,4 +1,5 @@ int or_not0(int a) { return a | ~0; } +int and_not0(int a) { return a & ~0; } /* * check-name: bool-not-zero @@ -11,5 +12,11 @@ or_not0: ret.32 $0xffffffff +and_not0: +.L2: + <entry-point> + ret.32 %arg1 + + * check-output-end */ |