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