1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -mstv -mno-stackrealign" } */
       3  typedef unsigned int v4si __attribute__((vector_size(16)));
       4  
       5  unsigned int foo1 (v4si a, v4si b)
       6  {
       7    a[0] += b[0];
       8    return a[0] + a[1];
       9  }
      10  
      11  unsigned int foo2 (v4si a, v4si b)
      12  {
      13    a[0] += b[0];
      14    return a[0] + a[2];
      15  }
      16  
      17  unsigned int foo3 (v4si a, v4si b)
      18  {
      19    a[0] += b[0];
      20    return a[0] + a[3];
      21  }
      22  
      23  /* { dg-final { scan-assembler-times "\tv?movd\t" 3 } } */
      24  /* { dg-final { scan-assembler-times "v?paddd" 6 } } */
      25  /* { dg-final { scan-assembler-not "addl" } } */