1 /* { dg-do compile } */
2 /* { dg-options "-S -O2 -fdump-tree-vrp2" } */
3 
4 unsigned short data;
foo()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" } } */
22