// SUB(R<T-S1) // R = T-S1 p256SubInternal(RH,RL,T1,T0,S1H,S1L) // if R == 0 or R^P == 0 then ret=ret else ret=0 // clobbers T1H and T1L MOVD $0, ISZERO MOVD $1, TRUE VZERO ZER VO RL, RH, T1H VCEQGS ZER, T1H, T1H MOVDEQ TRUE, ISZERO VX RL, PL, T1L VX RH, PH, T1H VO T1L, T1H, T1H VCEQGS ZER, T1H, T1H MOVDEQ TRUE, ISZERO AND ret+24(FP), ISZERO MOVD ISZERO, ret+24(FP) // X=H ; Y=H ; MUL; T- // T1 = H*H VLR HL, X0 VLR HH, X1 VLR HL, Y0 VLR HH, Y1 CALL p256SqrInternal<>(SB) // X- ; Y=T ; MUL; T2=T // T2...

// SUB(R<T-S1) // R = T-S1 p256SubInternal(RH,RL,T1,T0,S1H,S1L) // if R == 0 or R^P == 0 then ret=ret else ret=0 // clobbers T1H and T1L MOVD $0, ISZERO MOVD $1, TRUE VZERO ZER VO RL, RH, T1H VCEQGS ZER, T1H, T1H MOVDEQ TRUE, ISZERO VX RL, PL, T1L VX RH, PH, T1H VO T1L, T1H, T1H VCEQGS ZER, T1H, T1H MOVDEQ TRUE, ISZERO AND ret+24(FP), ISZERO MOVD ISZERO, ret+24(FP) // X=H ; Y=H ; MUL; T- // T1 = H*H VLR HL, X0 VLR HH, X1 VLR HL, Y0 VLR HH, Y1 CALL p256SqrInternal<>(SB) // X- ; Y=T ; MUL; T2=T // T2...