1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fdump-tree-vrp1" } */
       3  
       4  int
       5  foo (unsigned int i, unsigned int j)
       6  {
       7    i &= 15;
       8    j &= 15;
       9    i += 1024;
      10    j += 2048;
      11    i &= j;
      12    return i < 16;
      13  }
      14  
      15  int
      16  bar (int i)
      17  {
      18    int c = 2;
      19    c &= i > 6;
      20    return c == 0;
      21  }
      22  
      23  int baz (int x, int y)
      24  {
      25    x &= 15;
      26    y &= 15;
      27    x += 4;
      28    y += 16;
      29    x &= y;
      30    return x < 20;
      31  }
      32  
      33  /* { dg-final { scan-tree-dump-times "return 1;" 3 "vrp1" } } */