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
main()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 
21