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