%verify "executed" %verify "null object" /* For: iget-quick, iget-object-quick */ /* op vA, vB, offset@CCCC */ mov r2, rINST, lsr #12 @ r2<- B GET_VREG(r3, r2) @ r3<- object we're operating on FETCH(r1, 1) @ r1<- field byte offset cmp r3, #0 @ check object for null mov r2, rINST, lsr #8 @ r2<- A(+) beq common_errNullObject @ object was null ldr r0, [r3, r1] @ r0<- obj.field (always 32 bits) FETCH_ADVANCE_INST(2) @ advance rPC, load rINST and r2, r2, #15 GET_INST_OPCODE(ip) @ extract opcode from rINST SET_VREG(r0, r2) @ fp[A]<- r0 GOTO_OPCODE(ip) @ jump to next instruction