Lines Matching defs:rn
144 val (rd,rn) = if test_or_compare opc then
164 arm_astSyntax.mk_Data_Processing (a,sflag,rn,rd,mode1)
186 val rn = if imm_no_wb andalso random_range 2 = 0 then
204 (if is_PC rn
214 is_word4 13 rn orelse
215 is_word4 15 rn
232 (p,u,b,w,mk_bool unpriv,rn,t,mode2)
258 val rn = if load andalso imm_no_wb andalso
270 (if is_PC rn then 4 else 12)))
277 (p,u,w,s,h,mk_bool unpriv,rn,t,mode3)
280 (p,u,w,mk_bool unpriv,rn,t,mode3)
312 val (rn,mode3) =
328 (a,b,c,rn,t,t2,mode3)