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))
      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  
      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  }