Lines Matching defs:rn
297 ALU_arith op (rn:word32) (op2:word32) =
298 let sign = word_msb rn
299 and (q,r) = DIVMOD_2EXP 32 (op (w2n rn) (w2n op2)) in
316 ALU (opc:word4) rn op2 c =
317 if (opc = 0w) \/ (opc = 8w) then AND rn op2 else
318 if (opc = 1w) \/ (opc = 9w) then EOR rn op2 else
319 if (opc = 2w) \/ (opc = 10w) then SUB rn op2 T else
320 if (opc = 4w) \/ (opc = 11w) then ADD rn op2 F else
321 if opc = 3w then SUB op2 rn T else
322 if opc = 5w then ADD rn op2 c else
323 if opc = 6w then SUB rn op2 c else
324 if opc = 7w then SUB op2 rn c else
325 if opc = 12w then ORR rn op2 else
327 if opc = 14w then AND rn (~op2) else
349 let rn = REG_READ (if ~I /\ (opnd2 %% 4) then pc_reg else reg) mode Rn in
350 let ((N,Z,C_alu,V),res) = ALU opcode rn op2 C
424 ALU_multiply A (rm:word32) rs rn C =
425 let res = if A then rm * rs + rn else rm * rs in
436 let rn = REG_READ reg mode Rn
439 let (N,Z,C_s,res) = ALU_multiply A rm rs rn C in
536 and rn = REG_READ reg mode Rn in
537 let (rp_list,addr_list,rn') = ADDR_MODE4 P U rn list
541 REG_WRITE pc_reg (if L then mode else mode') Rn rn'
577 let rn = REG_READ reg mode Rn
584 REG_WRITE pc_reg mode Rd (BW_READ B ((1 >< 0) rn) data))
586 out := [MemRead rn; MemWrite B rn rm] |>`;