http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59952
--- Comment #3 from Mikael Pettersson <mikpelinux at gmail dot com> --- There are also Haswells that lack BMI2. I updated our dynamic binary instrumentation engine for AVX2 about a year ago, but while our Haswell box at the time had AVX2 it didn't have BMI2 etc, causing Intel's MKL to refuse to enter it AVX2 code paths. So testing had to be limited to small assembly-coded kernels.