2 /* { dg-do compile } */
3 /* { dg-options "-O2 -w" } */
4 /* { dg-additional-options "-march=i386 -mno-sse" { target ia32 } } */
6 #pragma GCC push_options
7 #pragma GCC target("sse")
8 typedef float __m128
__attribute__ ((__vector_size__ (16), __may_alias__
));
15 __attribute__((target ("avx"))) void
20 #pragma GCC target("sse2")
21 #pragma GCC pop_options
23 __attribute__ ((vector_size (16))) int
24 baz (__attribute__ ((vector_size (16))) int a
, __attribute__ ((vector_size (16))) int b
)