avx512vl_gfni-encoding.s 16.5 KB