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);
       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 } } */