https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104726
--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> --- Also, the builtin at the start of main compiled with -mavx2 is risky, there could be avx2 insns e.g. in the prologue. avx2-check.h is the usual way
