Lines Matching defs:rn
339 ALU_arith op (rn:word32) (op2:word32) =
340 let sign = word_msb rn
341 and (q,r) = DIVMOD_2EXP 32 (op (w2n rn) (w2n op2)) in
358 ALU (opc:word4) rn op2 c =
360 0w => AND rn op2
361 | 1w => EOR rn op2
362 | 2w => SUB rn op2 T
363 | 4w => ADD rn op2 F
364 | 3w => SUB op2 rn T
365 | 5w => ADD rn op2 c
366 | 6w => SUB rn op2 c
367 | 7w => SUB op2 rn c
368 | 8w => AND rn op2
369 | 9w => EOR rn op2
370 | 10w => SUB rn op2 T
371 | 11w => ADD rn op2 F
372 | 12w => ORR rn op2
374 | 14w => AND rn (~op2)
395 let rn = REG_READ (if ~I /\ (opnd2 ' 4) then pc_reg else r.reg) mode Rn in
396 let ((N,Z,C_alu,V),res) = ALU opcode rn op2 C
450 ALU_multiply L Sgn A rd rn rs rm =
452 if L then rd @@ rn else w2w rn
475 and rn = REG_READ r.reg mode Rn
478 let (N,Z,resHi,resLo) = ALU_multiply L Sgn A rd rn rs rm in
628 and rn = REG_READ r.reg mode Rn in
629 let (rp_list,addr_list,rn') = ADDR_MODE4 P U rn list
633 REG_WRITE pc_reg (if L then mode else mode') Rn rn'
671 let rn = REG_READ r.reg mode Rn
676 [MemRead rn;
677 MemWrite rn (if B then Byte ((7 >< 0) rm) else Word rm)]
684 (FORMAT fmt ((1 >< 0) rn) (HD data));