SADD6432

Format: SADD6432 dest, source1RHS, source1LHS, source2, sourcePredCarryIn.

Phase0: SADD6432 FT0, S0{.NEG}{.ABS}, S1{.NEG}{.ABS}, S2{.NEG}{.ABS}, (P0|_)

Phase1: -

Phase2: -

Description: Signed 64-bit and 32-bit add with carry-in bit.

FT0 = (S1<<32 | S0) + S2 [+P0]