1  #include "tree-vect.h"
       2  
       3  int x[1024];
       4  
       5  void __attribute__((noinline))
       6  foo()
       7  {
       8    for (int i = 0; i < 512; ++i)
       9      {
      10        x[2*i] = x[2*i] << ((i+1) & 31);
      11        x[2*i+1] = x[2*i+1] << ((i+1) & 31);
      12      }
      13  }
      14  
      15  int
      16  main()
      17  {
      18    check_vect ();
      19    for (int i = 0; i < 1024; ++i)
      20      x[i] = i;
      21    foo ();
      22    for (int i = 0; i < 1024; ++i)
      23      if (x[i] != i << ((i/2+1) & 31))
      24        __builtin_abort ();
      25    return 0;
      26  }