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