Pseudo-code:
- RT2 <- RT + 1
+```
sum <- (RA) + (RB)
diff <- (RA) - (RB)
- prod1 <- MUL(RC, sum)
- prod2 <- MUL(RC, diff)
- res1 <- ROTL64(prod1, SH)
+ prod1 <- MUL(RC, sum) # TODO: pick hi-half
+ prod2 <- MUL(RC, diff) # TODO: pick hi-half
+ res1 <- ROTL64(prod1, SH) # TODO shift the other way (63-SH?)
res2 <- ROTL64(prod2, SH)
- RT <- (RT) + res1
- RT2 <- (RT2) + res2
+ RT <- res1
+ RS <- res2
+```
Special Registers Altered: