http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59952
--- Comment #8 from Thiago Macieira <thiago at kde dot org> --- (In reply to Thiago Macieira from comment #7) > (In reply to Jakub Jelinek from comment #6) > > Prerelease samples shouldn't count, people using those just can avoid using > > -march=haswell and use -march=ivybridge -mavx2 or similar instead. Can > > anyone from Intel verify if all released Haswell CPUs have BMI2 (and if > > there aren't plans to ship Haswell CPUs without BMI2)? > > Trying to get that confirmed internally. First info is that the i3-4000 series has BMI2: Family: Core i3 Version: Intel(R) Core(TM) i3-4010U CPU @ 1.70GHz flags : .... fsgsbase bmi1 avx2 smep bmi2 erms invpcid The other information that I can give you is that compiling code with ICC 14 with -march=core-avx2 does generate SHRX, SARX, SHLX instructions. It has no #define for either BMI1 or 2, though.