1 /* PR target/61925 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -w" } */
4 /* { dg-additional-options "-march=i386 -mno-sse" { target ia32 } } */
5 
6 #pragma GCC push_options
7 #pragma GCC target("sse")
8 typedef float __m128 __attribute__ ((__vector_size__ (16), __may_alias__));
9 
10 void
foo(void)11 foo (void)
12 {
13 }
14 
15 __attribute__((target ("avx"))) void
bar(void)16 bar (void)
17 {
18 }
19 
20 #pragma GCC target("sse2")
21 #pragma GCC pop_options
22 
23 __attribute__ ((vector_size (16))) int
baz(int a,int b)24 baz (__attribute__ ((vector_size (16))) int a, __attribute__ ((vector_size (16))) int b)
25 {
26   return a + b;
27 }
28