1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1 -fno-tree-ccp" } */
3 
4 int
f1(int x)5 f1 (int x)
6 {
7   x &= 0xff;
8   x += 0x400;
9   x &= 0x7ff;
10   return x;
11 }
12 
13 int
f2(int x)14 f2 (int x)
15 {
16   x &= 0xff;
17   x += 0x5400;
18   x |= 0x4400;
19   return x;
20 }
21 
22 /* { dg-final { scan-tree-dump-not "\& (2047|0x7ff)" "vrp1" } } */
23 /* { dg-final { scan-tree-dump-not "\\| (17408|0x4400)" "vrp1" } } */
24