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