1%verify "executed" 2%verify "null object" 3 /* For: iput-object-quick */ 4 /* op vA, vB, offset@CCCC */ 5 mov r2, rINST, lsr #12 @ r2<- B 6 GET_VREG(r3, r2) @ r3<- fp[B], the object pointer 7 FETCH(r1, 1) @ r1<- field byte offset 8 cmp r3, #0 @ check object for null 9 mov r2, rINST, lsr #8 @ r2<- A(+) 10 beq common_errNullObject @ object was null 11 and r2, r2, #15 12 GET_VREG(r0, r2) @ r0<- fp[A] 13 ldr r2, [rSELF, #offThread_cardTable] @ r2<- card table base 14 FETCH_ADVANCE_INST(2) @ advance rPC, load rINST 15 str r0, [r3, r1] @ obj.field (always 32 bits)<- r0 16 cmp r0, #0 17 strneb r2, [r2, r3, lsr #GC_CARD_SHIFT] @ mark card based on obj head 18 GET_INST_OPCODE(ip) @ extract opcode from rINST 19 GOTO_OPCODE(ip) @ jump to next instruction 20