1 %default { "store":"str", "postbarrier":"@ no-op ", "prebarrier":"@ no-op ", "sqnum":"0" } 2 %verify "executed" 3 %verify "null object" 4 %verify "field already resolved" 5 %verify "field not yet resolved" 6 %verify "field cannot be resolved" 7 /* 8 * Jumbo 32-bit instance field put. 9 * 10 * for: iput/jumbo, iput-boolean/jumbo, iput-byte/jumbo, iput-char/jumbo, 11 * iput-short/jumbo 12 */ 13 /* exop vBBBB, vCCCC, field@AAAAAAAA */ 14 FETCH(r1, 1) @ r1<- aaaa (lo) 15 FETCH(r2, 2) @ r2<- AAAA (hi) 16 FETCH(r0, 4) @ r0<- CCCC 17 ldr r3, [rSELF, #offThread_methodClassDex] @ r3<- DvmDex 18 orr r1, r1, r2, lsl #16 @ r1<- AAAAaaaa 19 ldr r2, [r3, #offDvmDex_pResFields] @ r2<- pDvmDex->pResFields 20 GET_VREG(r9, r0) @ r9<- fp[CCCC], the object pointer 21 ldr r0, [r2, r1, lsl #2] @ r0<- resolved InstField ptr 22 cmp r0, #0 @ is resolved entry null? 23 bne .L${opcode}_finish @ no, already resolved 24 8: ldr r2, [rSELF, #offThread_method] @ r2<- current method 25 EXPORT_PC() @ resolve() could throw 26 ldr r0, [r2, #offMethod_clazz] @ r0<- method->clazz 27 bl dvmResolveInstField @ r0<- resolved InstField ptr 28 b .L${opcode}_resolved @ resolved, continue 29 %break 30 31 /* 32 * Currently: 33 * r0 holds resolved field 34 * r9 holds object 35 */ 36 .L${opcode}_resolved: 37 cmp r0, #0 @ resolution unsuccessful? 38 beq common_exceptionThrown @ yes, throw exception 39 @ fall through to ${opcode}_finish 40 41 /* 42 * Currently: 43 * r0 holds resolved field 44 * r9 holds object 45 */ 46 .L${opcode}_finish: 47 @bl common_squeak${sqnum} 48 ldr r3, [r0, #offInstField_byteOffset] @ r3<- byte offset of field 49 FETCH(r1, 3) @ r1<- BBBB 50 cmp r9, #0 @ check object for null 51 GET_VREG(r0, r1) @ r0<- fp[BBBB] 52 beq common_errNullObject @ object was null 53 FETCH_ADVANCE_INST(5) @ advance rPC, load rINST 54 GET_INST_OPCODE(ip) @ extract opcode from rINST 55 $prebarrier @ releasing store 56 $store r0, [r9, r3] @ obj.field (8/16/32 bits)<- r0 57 $postbarrier 58 GOTO_OPCODE(ip) @ jump to next instruction 59
