| /* { dg-do compile } */ |
| /* { dg-options "-O1 -fdump-tree-optimized" } */ |
| |
| int f(int x) |
| { |
| return ((~x) != 0); |
| } |
| int f1(int x) |
| { |
| return ((~x) == 0); |
| } |
| |
| /* There should be no != 0 which is produced by the front-end as |
| ~x != 0 is the same as x != -1 (or ~0). Likewise for ==. */ |
| /* { dg-final { scan-tree-dump-times "!= 0" 0 "optimized"} } */ |
| /* { dg-final { scan-tree-dump-times "!= -1" 1 "optimized"} } */ |
| /* { dg-final { scan-tree-dump-times "== 0" 0 "optimized"} } */ |
| /* { dg-final { scan-tree-dump-times "== -1" 1 "optimized"} } */ |
| |
| |