| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-optimized-raw" } */ |
| /* PR tree-optimization/111679 */ |
| |
| int f1(int a, int b) |
| { |
| return (~a) | (a ^ b); // ~(a & b) or (~a) | (~b) |
| } |
| |
| _Bool fb(_Bool c, _Bool d) |
| { |
| return (!c) | (c ^ d); // ~(c & d) or (~c) | (~d) |
| } |
| |
| _Bool fb1(int x, int y) |
| { |
| _Bool a = x == 10, b = y > 100; |
| return (!a) | (a ^ b); // ~(a & b) or (~a) | (~b) |
| // or (x != 10) | (y <= 100) |
| } |
| |
| /* { dg-final { scan-tree-dump-not "bit_xor_expr, " "optimized" } } */ |
| /* { dg-final { scan-tree-dump-times "bit_not_expr, " 2 "optimized" } } */ |
| /* { dg-final { scan-tree-dump-times "bit_and_expr, " 2 "optimized" } } */ |
| /* { dg-final { scan-tree-dump-times "bit_ior_expr, " 1 "optimized" } } */ |
| /* { dg-final { scan-tree-dump-times "ne_expr, _\[0-9\]+, x_\[0-9\]+" 1 "optimized" } } */ |
| /* { dg-final { scan-tree-dump-times "le_expr, _\[0-9\]+, y_\[0-9\]+" 1 "optimized" } } */ |
