gcc/testsuite/gcc.target/i386/pr70738-3.c

/* { dg-do compile } */
/* { dg-options "-msse2 -mgeneral-regs-only" } */

typedef int int32x4_t __attribute__ ((__vector_size__ ((16))));
extern int32x4_t c;

void
test (int32x4_t a, int32x4_t b) /* { dg-warning "SSE vector argument without SSE enabled" } */
{
  c = a + b;
}