1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-tree-ccp -fno-tree-forwprop -fdump-tree-vrp1" } */
3
f(int x)4 int f(int x)
5 {
6 if (x >= 0 && x <= 3)
7 {
8 x = x ^ 3;
9 x = x & 3;
10 }
11 return x;
12 }
13
g(int x)14 int g(int x)
15 {
16 if (x >= 0 && x <= 3)
17 {
18 x = x ^ 2;
19 x = x & 3;
20 }
21 return x;
22 }
23
h(int x)24 int h(int x)
25 {
26 if (x >= 0 && x <= 3)
27 {
28 x = x ^ 1;
29 x = x & 3;
30 }
31 return x;
32 }
33
34 /* { dg-final { scan-tree-dump-not " & 3;" "vrp1" } } */
35