Lines Matching defs:rm
294 SHIFT_IMMEDIATE2 shift (sh:word2) rm c =
296 0w => LSL rm shift c
297 | 1w => LSR rm (if shift = 0w then 32w else shift) c
298 | 2w => ASR rm (if shift = 0w then 32w else shift) c
299 | _ => if shift = 0w then word_rrx (c,rm) else ROR rm shift c`;
302 SHIFT_REGISTER2 shift (sh:word2) rm c =
304 0w => LSL rm shift c
305 | 1w => LSR rm shift c
306 | 2w => ASR rm shift c
307 | _ => ROR rm shift c`;
312 let rm = REG_READ reg mode Rm
316 SHIFT_IMMEDIATE2 shift sh rm C`;
323 and rm = REG_READ (INC_PC reg) mode Rm
325 SHIFT_REGISTER2 shift sh rm C`;
450 ALU_multiply L Sgn A rd rn rs rm =
456 sw2sw rm * sw2sw rs
458 w2w rm * w2w rs) in
477 and rm = REG_READ r.reg mode Rm in
478 let (N,Z,resHi,resLo) = ALU_multiply L Sgn A rd rn rs rm in
673 let rm = REG_READ pc_reg mode Rm in
677 MemWrite rn (if B then Byte ((7 >< 0) rm) else Word rm)]