%default { "load":"movl", "sqnum":"0" } %verify "executed" %verify "null object" %verify "field already resolved" %verify "field not yet resolved" %verify "field cannot be resolved" /* * General 32-bit instance field get. * * for: iget, iget-object, iget-boolean, iget-byte, iget-char, iget-short */ /* op vA, vB, field@CCCC */ GET_GLUE(%ecx) SPILL(rIBASE) # need another reg movzwl 2(rPC),rIBASE # rIBASE<- 0000CCCC movl offGlue_methodClassDex(%ecx),%eax # eax<- DvmDex movzbl rINST_HI,%ecx # ecx<- BA sarl $$4,%ecx # ecx<- B movl offDvmDex_pResFields(%eax),%eax # eax<- pDvmDex->pResFields movzbl rINST_HI,rINST_FULL # rINST_FULL<- BA andb $$0xf,rINST_LO # rINST_FULL<- A GET_VREG(%ecx,%ecx) # ecx<- fp[B], the object ptr movl (%eax,rIBASE,4),%eax # resolved entry testl %eax,%eax # is resolved entry null? jne .L${opcode}_finish # no, already resolved movl rIBASE,OUT_ARG1(%esp) # needed by dvmResolveInstField GET_GLUE(rIBASE) jmp .L${opcode}_resolve %break .L${opcode}_resolve: EXPORT_PC() SPILL(rPC) movl offGlue_method(rIBASE),rPC # rPC<- current method UNSPILL(rIBASE) movl offMethod_clazz(rPC),rPC # rPC<- method->clazz SPILL_TMP(%ecx) # save object pointer across call movl rPC,OUT_ARG0(%esp) # pass in method->clazz call dvmResolveInstField # ... to dvmResolveInstField UNSPILL_TMP(%ecx) UNSPILL(rPC) testl %eax,%eax # ... which returns InstrField ptr jne .L${opcode}_finish jmp common_exceptionThrown .L${opcode}_finish: /* * Currently: * eax holds resolved field * ecx holds object * rIBASE is scratch, but needs to be unspilled * rINST_FULL holds A */ movl offInstField_byteOffset(%eax),%eax # eax<- byte offset of field UNSPILL(rIBASE) testl %ecx,%ecx # object null? je common_errNullObject # object was null $load (%ecx,%eax,1),%ecx # ecx<- obj.field (8/16/32 bits) movl rINST_FULL,%eax # eax<- A FETCH_INST_WORD(2) SET_VREG(%ecx,%eax) ADVANCE_PC(2) GOTO_NEXT