avx512vbmi2vl-encoding.s 152 KB