Pseudo-code:
n <- (RB)[58:63]
- v <- ROTL128((RA) || [0]*64, 128-n)
- mask <- ¬MASK(n, 63)
- RT <- v[0:63] | ((RC) & mask)
- RS <- v[64:127]
+ v <- ROTL64((RA), 64-n)
+ mask <- MASK(n, 63)
+ RT <- (v[0:63] & mask) | ((RC) & ¬mask)
+ RS <- v[0:63] & ¬mask
Special Registers Altered: