1  /* { dg-do compile } */
       2  /* { dg-prune-output "ABI for passing parameters" } */
       3  /* { dg-options "-O2 -msse2 -mno-avx" } */
       4  /* { dg-additional-options "-mabi=sysv" { target x86_64-*-mingw* } } */
       5  
       6  typedef long long __m256i __attribute__ ((__vector_size__ (32), __may_alias__));
       7  
       8  extern __m256i y;
       9  
      10  void
      11  bar (__m256i x) /* { dg-warning "AVX" } */
      12  {
      13    y = x;
      14  }