3 /* { dg-require-effective-target int32plus } */
4 /* { dg-additional-options "-Wno-psabi -w" } */
6 typedef unsigned V
__attribute__ ((vector_size (64)));
8 unsigned __attribute__ ((noinline
, noclone
))
9 foo (unsigned x
, V u
, V v
)
19 unsigned x
= foo (0x10, (V
) { 1 }, (V
) { 0x100, 0x1000, 0x10000 });