x86_64-bmi-encoding.s 5.77 KB