1 /* { dg-do compile } */
2 /* { dg-options "-O -g -mf16c -mtune=generic -dp" } */
3 
4 typedef int __m256i __attribute__ ((__vector_size__ (32)));
5 
6 __m256i bar (void);
foo(void)7 void foo (void)
8 {
9   unsigned int i = 0;
10   bar ();
11   __builtin_ia32_vzeroupper ();
12   while (++i);
13 }
14 
15 /* { dg-final { scan-assembler-times "avx_vzeroupper" 1 } } */
16