1a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden%verify "executed"
2a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden%verify "null object"
3a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden%verify "field already resolved"
4a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden%verify "field not yet resolved"
5a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden%verify "field cannot be resolved"
6a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    /* iput-wide vA, vB, field@CCCC */
7a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    mov     r0, rINST, lsr #12          @ r0<- B
89f601a917c8878204482c37aec7005054b6776fabuzbee    ldr     r3, [rSELF, #offThread_methodClassDex]    @ r3<- DvmDex
9a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    FETCH(r1, 1)                        @ r1<- field ref CCCC
10a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    ldr     r2, [r3, #offDvmDex_pResFields] @ r2<- pResFields
11a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    GET_VREG(r9, r0)                    @ r9<- fp[B], the object pointer
12a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    ldr     r0, [r2, r1, lsl #2]        @ r0<- resolved InstField ptr
13a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    cmp     r0, #0                      @ is resolved entry null?
14a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    bne     .L${opcode}_finish          @ no, already resolved
159f601a917c8878204482c37aec7005054b6776fabuzbee8:  ldr     r2, [rSELF, #offThread_method] @ r2<- current method
16a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    EXPORT_PC()                         @ resolve() could throw
17a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    ldr     r0, [r2, #offMethod_clazz]  @ r0<- method->clazz
18a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    bl      dvmResolveInstField         @ r0<- resolved InstField ptr
19a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    cmp     r0, #0                      @ success?
20a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    bne     .L${opcode}_finish          @ yes, finish up
21a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    b       common_exceptionThrown
22a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden%break
23a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden
24a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    /*
25a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden     * Currently:
26a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden     *  r0 holds resolved field
27a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden     *  r9 holds object
28a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden     */
29a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden.L${opcode}_finish:
30a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    ubfx    r2, rINST, #8, #4           @ r2<- A
31a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    cmp     r9, #0                      @ check object for null
32a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    ldr     r3, [r0, #offInstField_byteOffset]  @ r3<- byte offset of field
33a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    add     r2, rFP, r2, lsl #2         @ r3<- &fp[A]
34a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    beq     common_errNullObject        @ object was null
35a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    FETCH_ADVANCE_INST(2)               @ advance rPC, load rINST
36a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    ldmia   r2, {r0-r1}                 @ r0/r1<- fp[A]
37a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    GET_INST_OPCODE(ip)                 @ extract opcode from rINST
38a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    strd    r0, [r9, r3]                @ obj.field (64 bits, aligned)<- r0
39a5069fb7eb2da846ff1fc2c903ebd8ce9fa3647fAndy McFadden    GOTO_OPCODE(ip)                     @ jump to next instruction
40