gcc/testsuite/gcc.target/i386/xsave-avx-1.c

/* { dg-do compile } */
/* { dg-options "-mxsave -mno-avx" } */

#include <immintrin.h>

extern int m;

void
avx_imply_save (void)
{
  _xgetbv (m);
}