avx512bitalg-encoding.s 6.8 KB