1  /* PR tree-optimization/56920 */
       2  /* { dg-additional-options "-O3" } */
       3  
       4  #include "tree-vect.h"
       5  
       6  extern void abort (void);
       7  
       8  int
       9  main ()
      10  {
      11    unsigned int a[15], i;
      12    check_vect ();
      13    for (i = 0; i < 15; ++i)
      14      a[i] = (i * 2) % 15;
      15    for (i = 0; i < 15; ++i)
      16      if (a[i] != (i * 2) % 15)
      17        abort ();
      18    return 0;
      19  }
      20