Lines Matching defs:rn
1414 val rn =
1421 val (result,(carry,overflow)) = DataProcessingALU(opc,(rn,(imm32,C)))
1442 val rn =
1446 val (result,_) = DataProcessingALU(opc,(rn,(imm32,C)))
3898 Option.SOME(rd,rn) =>
3901 OK(c,Data(Register(opc,(setflags,(rd,(rn,rm))))))
3908 (opc,(setflags,(rd,(rn,imm32))))))
3927 Option.SOME rn =>
3930 OK(c,Data(TestCompareRegister(opc,(rn,rm))))
3934 OK(c,Data(CompareImmediate(rn,imm32)))
3973 Option.SOME(rd,rn) =>
3976 OK(c,Data(ShiftRegister(rd,(rn,(typ,rm)))))
3986 (false,(true,(rd,(rn,(typ,n)))))))
4074 Option.SOME(rd,(rn,rm)) =>
4075 OK(c,Multiply(Multiply32(rd,(rn,rm))))
4079 Option.SOME(rn,rm) => OK(c,Multiply(Multiply32(rn,(rm,rn))))
4195 Option.SOME rn =>
4200 ("",Option.SOME(rn,immediate_form imm32))
4208 ("",Option.SOME(rn,register_form rm))
4215 Option.SOME rn =>
4218 (rn,immediate_form(BitsN.B(0x0,32))))
4230 fun pick_ldr_str (opc,(rt,(rn,offset))) =
4232 val r = (rt,(rn,offset))
4236 (case (rn,offset) of
4251 ("",Option.SOME(rn,offset)) =>
4252 OK(c,pick_ldr_str(opc,(rt,(rn,offset))))
4277 ("",Option.SOME(rn,offset)) =>
4279 val r = (unsigned,(rt,(rn,offset)))
4332 (Option.SOME rn,(Option.SOME w,true)) =>
4341 (wback,(rn,BitsN.bits(8,0) w))))
4343 then if (rn = (BitsN.B(0xD,4))) andalso
4355 (rn,BitsN.bits(7,0) w)))
4385 (Option.SOME SYSm,Option.SOME rn) =>
4386 OK(c,System(MoveToSpecialRegister(SYSm,rn)))