MASK64
val &= MASK64(mb, 63 - sh);
imm = MASK64(mb, 63 - sh);
op->val = ROTATE(val, sh) & MASK64(0, 63 - sh);