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

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