asm version of mul binv_xi