amd64 adx avx2
