blob: d5e557a8b97f1b89a3da78f953d3dd211020ed84 [file] [log] [blame]
%default {"volatile":"0"}
%verify "executed"
%verify "null object"
%verify "field already resolved"
%verify "field not yet resolved"
%verify "field cannot be resolved"
/* iput-wide/jumbo vBBBB, vCCCC, field@AAAAAAAA */
FETCH(r1, 1) @ r1<- aaaa (lo)
FETCH(r2, 2) @ r2<- AAAA (hi)
FETCH(r0, 4) @ r0<- CCCC
ldr r3, [rSELF, #offThread_methodClassDex] @ r3<- DvmDex
orr r1, r1, r2, lsl #16 @ r1<- AAAAaaaa
ldr r2, [r3, #offDvmDex_pResFields] @ r2<- pResFields
GET_VREG(r9, r0) @ r9<- fp[B], the object pointer
ldr r0, [r2, r1, lsl #2] @ r0<- resolved InstField ptr
cmp r0, #0 @ is resolved entry null?
bne .L${opcode}_finish @ no, already resolved
8: ldr r2, [rSELF, #offThread_method] @ r2<- current method
EXPORT_PC() @ resolve() could throw
ldr r0, [r2, #offMethod_clazz] @ r0<- method->clazz
bl dvmResolveInstField @ r0<- resolved InstField ptr
b .L${opcode}_resolved @ resolved, continue
* Currently:
* r0 holds resolved field
* r9 holds object
cmp r0, #0 @ resolution unsuccessful?
beq common_exceptionThrown @ yes, throw exception
@ fall through to ${opcode}_finish
* Currently:
* r0 holds resolved field
* r9 holds object
cmp r9, #0 @ check object for null
FETCH(r2, 3) @ r1<- BBBB
ldr r3, [r0, #offInstField_byteOffset] @ r3<- byte offset of field
add r2, rFP, r2, lsl #2 @ r3<- &fp[BBBB]
beq common_errNullObject @ object was null
FETCH_ADVANCE_INST(5) @ advance rPC, load rINST
ldmia r2, {r0-r1} @ r0/r1<- fp[BBBB]
GET_INST_OPCODE(r10) @ extract opcode from rINST
.if $volatile
add r2, r9, r3 @ r2<- target address
bl dvmQuasiAtomicSwap64Sync @ stores r0/r1 into addr r2
strd r0, [r9, r3] @ obj.field (64 bits, aligned)<- r0/r1
GOTO_OPCODE(r10) @ jump to next instruction