ADD64

Format: ADD64 dest, source1RHS, source1LHS, source2RHS, source2LHS, sourcePredCarryIn.

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

Phase1: -

Phase2: -

Description: 64-bit add with carry-in and carrry-out bits.

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