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" } } */