https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71918
--- Comment #11 from Markus Trippelsdorf <trippels at gcc dot gnu.org> --- (In reply to Jakub Jelinek from comment #10) > Note that with GMP it isn't always just misconfigured GMP, see > https://bugzilla.redhat.com/show_bug.cgi?id=1331943 > seems some Skylake Pentium/Celeron chips report in cpuid BMI/BMI2 support > which they don't have. > So it is a question if -march=haswell or -march=skylake in GCC should > include BMI/BMI2 or not (i.e. if users should treat their Haswell/Skylake > Pentium/Celeron just as SandyBridge or IvyBridge, or if we need skylake vs. > skylake-bmi etc.). The issue can be fixed by a microcode/bios update. So it is clearly an Intel bug and I don't think anything should change for gcc.
