1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-O2 -mstv -mno-stackrealign" } */
       3  typedef unsigned long long v2di __attribute__((vector_size(16)));
       4  
       5  unsigned long long foo(v2di a, v2di b)
       6  {
       7    a[0] += b[0];
       8    return a[0] + a[1];
       9  }
      10  
      11  /* { dg-final { scan-assembler-not "\taddq\t" } } */
      12  /* { dg-final { scan-assembler-times "v?paddq" 2 } } */
      13  /* { dg-final { scan-assembler "v?psrldq" } } */