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)11foo (void) 12 { 13 } 14 15 __attribute__((target ("avx"))) void bar(void)16bar (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)24baz (__attribute__ ((vector_size (16))) int a, __attribute__ ((vector_size (16))) int b) 25 { 26 return a + b; 27 } 28