1 /* { dg-do compile { target lp64 } } */
2 /* { dg-options "-O2 -mavx -mabi=ms -dp" } */
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
foo(void)11 foo (void)
12 {
13   bar (x);
14 }
15 
16 /* { dg-final { scan-assembler-times "avx_vzeroupper" 1 } } */
17