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