1 /* { dg-do compile } */ 2 /* { dg-options "-O2 -fdump-tree-vrp1 -fno-tree-ccp" } */ 3 4 int f1(int x)5f1 (int x) 6 { 7 x &= 0xff; 8 x += 0x400; 9 x &= 0x7ff; 10 return x; 11 } 12 13 int f2(int x)14f2 (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