gcc/testsuite/gcc.dg/tree-ssa/vrp53.c

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