1  /* { dg-do compile { target lp64 } } */
       2  /* { dg-options "-O0 -mavx -mabi=ms -dp" } */
       3  
       4  typedef float __m256 __attribute__ ((__vector_size__ (32), __may_alias__));
       5  
       6  extern __m256 x;
       7  
       8  extern void __attribute__ ((sysv_abi))  bar (__m256);
       9  
      10  void
      11  foo (void)
      12  {
      13    bar (x);
      14  }
      15  
      16  /* { dg-final { scan-assembler-not "avx_vzeroupper" } } */