1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
%default { "store":"sw", "postbarrier":" # noop", "prebarrier":" # noop", "sqnum":"0" }
%verify "executed"
%verify "null object"
%verify "field already resolved"
%verify "field not yet resolved"
%verify "field cannot be resolved"
/*
* 32-bit instance field put.
*
* for: iput-object, iput-object-volatile
*/
# op vA, vB, field /* CCCC */
GET_OPB(a0) # a0 <- B
LOAD_rSELF_methodClassDex(a3) # a3 <- DvmDex
FETCH(a1, 1) # a1 <- field ref CCCC
LOAD_base_offDvmDex_pResFields(a2, a3) # a2 <- pDvmDex->pResFields
GET_VREG(rOBJ, a0) # rOBJ <- fp[B], the object pointer
LOAD_eas2(a0, a2, a1) # a0 <- resolved InstField ptr
# is resolved entry null?
bnez a0, .L${opcode}_finish # no, already resolved
LOAD_rSELF_method(a2) # a2 <- current method
EXPORT_PC() # resolve() could throw
LOAD_base_offMethod_clazz(a0, a2) # a0 <- method->clazz
JAL(dvmResolveInstField) # v0 <- resolved InstField ptr
# success?
move a0, v0
bnez v0, .L${opcode}_finish # yes, finish up
b common_exceptionThrown
%break
/*
* Currently:
* a0 holds resolved field
* rOBJ holds object
*/
.L${opcode}_finish:
#BAL(common_squeak${sqnum})
GET_OPA4(a1) # a1 <- A+
LOAD_base_offInstField_byteOffset(a3, a0) # a3 <- byte offset of field
GET_VREG(a0, a1) # a0 <- fp[A]
lw a2, offThread_cardTable(rSELF) # a2 <- card table base
# check object for null
beqz rOBJ, common_errNullObject # object was null
FETCH_ADVANCE_INST(2) # advance rPC, load rINST
GET_INST_OPCODE(t0) # extract opcode from rINST
addu t2, rOBJ, a3 # form address
$prebarrier # releasing store
$store a0, (t2) # obj.field (32 bits) <- a0
$postbarrier
beqz a0, 1f # stored a null reference?
srl t1, rOBJ, GC_CARD_SHIFT
addu t2, a2, t1
sb a2, (t2) # mark card if not
1:
GOTO_OPCODE(t0) # jump to next instruction
|
