1  /* { dg-do compile { target { ! ia32 } } } */
       2  /* { dg-options "-msse2 -mgeneral-regs-only" } */
       3  
       4  #include <stdarg.h>
       5  
       6  typedef int int32x2_t __attribute__ ((__vector_size__ ((8))));
       7  
       8  int
       9  test (int i, ...)
      10  {
      11    va_list argp;
      12    va_start (argp, i);
      13    int32x2_t x = (int32x2_t) {0, 1};
      14    x += va_arg (argp, int32x2_t); /* { dg-error "SSE register argument with SSE disabled" } */
      15    return x[0] + x[1];
      16  }