/* { dg-options "-w -Wno-psabi" { target { i?86-*-* x86_64-*-* } } } */

typedef float V8SF __attribute__ ((vector_size (32)));
void bar (V8SF);
void
foo (float x)
{
  bar ((V8SF) { x, x, x, x, x, x, x, x });
}