UADD6432

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

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

Phase1: -

Phase2: -

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

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