yep, vcvt{bf,hf}82bf4s and vpmovssdb are the only three "outliers", with dst=r/m yep, aux1 and aux2 are poor names – classic avx512 names did a little better... x86... c'est la vie :) -- C.