avx512vbmi2-encoding.s 76 KB