avx512gfni-encoding.s 8.31 KB