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