1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-optimized" } */
3 /* { dg-final { scan-tree-dump-not "x_\[0-9]+\\\(D\\\) & y_\[0-9]+\\\(D\\\);" "optimized" } } */
4 /* { dg-final { scan-tree-dump-not "x_\[0-9]+\\\(D\\\) \\| y_\[0-9]+\\\(D\\\);" "optimized" } } */
5 /* { dg-final { scan-tree-dump-times "x_\[0-9]+\\\(D\\\) \\^ y_\[0-9]+\\\(D\\\);" 5 "optimized" } } */
6 /* { dg-final { scan-tree-dump-times "~_\[0-9]\+" 5 "optimized" } } */
7
8 int
a(int x,int y)9 a (int x, int y)
10 {
11 return (x & y) - (x | y) - 1;
12 }
13
14 int
b(int x,int y)15 b (int x, int y)
16 {
17 return (x & y) - 1 - (x | y);
18 }
19
20 int
c(int x,int y)21 c (int x, int y)
22 {
23 return (x & y) - ((x | y) + 1);
24 }
25
26 int
d(int x,int y)27 d (int x, int y)
28 {
29 return (x & y) - (1 + (x | y));
30 }
31
32 int
e(int x,int y)33 e (int x, int y)
34 {
35 return (unsigned) ((x & y) - (x | y)) + -1u;
36 }
37