avx512vbmi-encoding.s 20.5 KB