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__
));
9 extern __inline __m128
__attribute__ ((__gnu_inline__
, __always_inline__
, __artificial__
))
14 #pragma GCC target("sse2")
15 #pragma GCC pop_options
17 __attribute__ ((vector_size (16))) int
18 bar (__attribute__ ((vector_size (16))) int a
, __attribute__ ((vector_size (16))) int b
)