gcc/testsuite/gcc.target/i386/avx-vzeroupper-15.c

/* { dg-do compile } */
/* { dg-options "-O2 -mavx -mtune=generic -dp" } */

#include <immintrin.h>

extern __m256 x, y;
extern void (*bar) (void);

void
foo ()
{
  x = y;
  bar ();
}

/* { dg-final { scan-assembler-times "avx_vzeroupper" 1 } } */