1 /* { dg-require-effective-target vect_int } */
2 
3 #include "tree-vect.h"
4 
5 extern void abort (void);
6 
7 int a[16];
8 int b[4];
9 
10 void __attribute__((noinline))
foo(void)11 foo (void)
12 {
13   b[0] = a[0];
14   b[1] = a[4];
15   b[2] = a[8];
16   b[3] = a[12];
17 }
18 
main()19 int main()
20 {
21   int i;
22   check_vect ();
23   for (i = 0; i < 16; ++i)
24     {
25       a[i] = i;
26       __asm__ volatile ("");
27     }
28   foo ();
29   if (b[0] != 0 || b[1] != 4 || b[2] != 8 || b[3] != 12)
30     abort ();
31   return 0;
32 }
33