LXVD2X (R0)(P1ptr), Y0 LXVD2X (R16)(P1ptr), Y1 XXPERMDI Y0, Y0, $2, Y0 XXPERMDI Y1, Y1, $2, Y1 CALL p256MulInternal<>(SB) VOR T0, T0, T3L VOR T1, T1, T3H // X- ; Y=X ; MUL; T- // Y3 = Y3² VOR X0, X0, Y0 VOR X1, X1, Y1 CALL p256MulInternal<>(SB) // HAL(Y3<T) // Y3 = half*Y3 p256HalfInternal(Y3H,Y3L, T1,T0) // X=T2; Y=T2; MUL; T- // X3 = T2² VOR T2L, T2L, X0 VOR T2H, T2H, X1 VOR T2L, T2L, Y0 VOR T2H, T2H, Y1 CALL p256MulInternal<>(SB) // ADD(T1<T3+T3) // T1 = 2*T3 p256AddInternal(T1H,T1L,T3H,T3L,T3H,T3L)...