http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59952
--- Comment #5 from Mikael Pettersson <mikpelinux at gmail dot com> --- (In reply to Thiago Macieira from comment #4) > (In reply to Mikael Pettersson from comment #3) > > 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. > > Are you sure? Unfortunately, ark.intel.com does not list BMI instruction > level. Yes I'm sure. According to my notes the processor was a 2.0 GHz 4c/8t i7-4765T. It may have been an engineering sample, this was at my previous job and I can't access the machine any more.