1  /* { dg-do compile } */
       2  /* { dg-options "-S -O2 -fdump-tree-vrp2" } */
       3  
       4  unsigned short data;
       5  void foo ()
       6  {
       7    unsigned char  x16;
       8    unsigned int i;
       9    for (i = 0; i < 8; i++)
      10      {
      11        x16 = data & 1;
      12        data >>= 1;
      13        if (x16 == 1)
      14  	{
      15  	  data ^= 0x4;
      16  	}
      17        data >>= 1;
      18      }
      19  }
      20  
      21  /* { dg-final { scan-tree-dump "\\\[0, 7\\\]" "vrp2" } } */