LXVD2X (P1ptr)(R0), Y1L LXVD2X (P1ptr)(R16), Y1H XXPERMDI Y1H, Y1H, $2, Y1H XXPERMDI Y1L, Y1L, $2, Y1L LXVD2X (CPOOL)(R0), PL LXVD2X (CPOOL)(R16), PH VSUBCUQ PL, Y1L, CAR1 // subtract part2 giving carry VSUBUQM PL, Y1L, T1L // subtract part2 giving result VSUBEUQM PH, Y1H, CAR1, T1H // subtract part1 using carry from part2 VSEL T1H, Y1H, SEL, T1H VSEL T1L, Y1L, SEL, T1L XXPERMDI T1H, T1H, $2, T1H XXPERMDI T1L, T1L, $2, T1L STXVD2X T1L, (R0+P1ptr) STXVD2X T1H, (R16+P1ptr) RET #undef P1ptr #undef CPOOL...