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") 8typedef float __m128 __attribute__ ((__vector_size__ (16), __may_alias__)); 9 10void 11foo (void) 12{ 13} 14 15__attribute__((target ("avx"))) void 16bar (void) 17{ 18} 19 20#pragma GCC target("sse2") 21#pragma GCC pop_options 22 23__attribute__ ((vector_size (16))) int 24baz (__attribute__ ((vector_size (16))) int a, __attribute__ ((vector_size (16))) int b) 25{ 26 return a + b; 27} 28