| %default { "postbarrier":"# no-op", "prebarrier":"# no-op" } |
| %verify "executed" |
| %verify "field already resolved" |
| %verify "field not yet resolved" |
| %verify "field cannot be resolved" |
| /* |
| * General 32-bit SPUT handler. |
| * |
| * for: sput-object, sput-object-volatile |
| */ |
| /* op vAA, field@BBBB */ |
| LOAD_rSELF_methodClassDex(a2) # a2 <- DvmDex |
| FETCH(a1, 1) # a1 <- field ref BBBB |
| LOAD_base_offDvmDex_pResFields(rBIX, a2) # rBIX <- dvmDex->pResFields |
| LOAD_eas2(a0, rBIX, a1) # a0 <- resolved StaticField ptr |
| bnez a0, .L${opcode}_finish # is resolved entry null? |
| |
| /* Continuation if the field has not yet been resolved. |
| * a1: BBBB field ref |
| * rBIX: dvmDex->pResFields |
| */ |
| LOAD_rSELF_method(a2) # a2 <- current method |
| #if defined(WITH_JIT) |
| EAS2(rBIX, rBIX, a1) # rBIX<- &dvmDex->pResFields[field] |
| #endif |
| EXPORT_PC() # resolve() may throw, so export now |
| LOAD_base_offMethod_clazz(a0, a2) # a0 <- method->clazz |
| JAL(dvmResolveStaticField) # v0 <- resolved StaticField ptr |
| move a0, v0 |
| beqz v0, common_exceptionThrown # success? no, handle exception |
| #if defined(WITH_JIT) |
| /* |
| * If the JIT is actively building a trace we need to make sure |
| * that the field is fully resolved before including this instruction. |
| */ |
| JAL(common_verifyField) |
| #endif |
| b .L${opcode}_finish # resume |
| |
| %break |
| .L${opcode}_finish: # field ptr in a0 |
| GET_OPA(a2) # a2 <- AA |
| FETCH_ADVANCE_INST(2) # advance rPC, load rINST |
| GET_VREG(a1, a2) # a1 <- fp[AA] |
| lw a2, offThread_cardTable(rSELF) # a2 <- card table base |
| lw t1, offField_clazz(a0) # t1 <- field->clazz |
| GET_INST_OPCODE(t0) # extract opcode from rINST |
| $prebarrier # releasing store |
| sw a1, offStaticField_value(a0) # field <- vAA |
| $postbarrier |
| beqz a1, 1f |
| srl t2, t1, GC_CARD_SHIFT |
| addu t3, a2, t2 |
| sb a2, (t3) |
| 1: |
| GOTO_OPCODE(t0) # jump to next instruction |