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
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
|
%verify "executed"
%verify "null object"
%verify "class cast exception thrown, with correct class name"
%verify "class cast exception not thrown on same class"
%verify "class cast exception not thrown on subclass"
%verify "class not resolved"
%verify "class already resolved"
/*
* Check to see if a cast from one class to another is allowed.
*/
/* check-cast/jumbo vBBBB, class@AAAAAAAA */
FETCH(r0, 1) @ r0<- aaaa (lo)
FETCH(r2, 2) @ r2<- AAAA (hi)
FETCH(r3, 3) @ r3<- BBBB
orr r2, r0, r2, lsl #16 @ r2<- AAAAaaaa
GET_VREG(r9, r3) @ r9<- object
ldr r0, [rSELF, #offThread_methodClassDex] @ r0<- pDvmDex
cmp r9, #0 @ is object null?
ldr r0, [r0, #offDvmDex_pResClasses] @ r0<- pDvmDex->pResClasses
beq .L${opcode}_okay @ null obj, cast always succeeds
ldr r1, [r0, r2, lsl #2] @ r1<- resolved class
ldr r0, [r9, #offObject_clazz] @ r0<- obj->clazz
cmp r1, #0 @ have we resolved this before?
beq .L${opcode}_resolve @ not resolved, do it now
.L${opcode}_resolved:
cmp r0, r1 @ same class (trivial success)?
bne .L${opcode}_fullcheck @ no, do full check
b .L${opcode}_okay @ yes, finish up
%break
/*
* Trivial test failed, need to perform full check. This is common.
* r0 holds obj->clazz
* r1 holds desired class resolved from AAAAAAAA
* r9 holds object
*/
.L${opcode}_fullcheck:
mov r10, r1 @ avoid ClassObject getting clobbered
bl dvmInstanceofNonTrivial @ r0<- boolean result
cmp r0, #0 @ failed?
bne .L${opcode}_okay @ no, success
@ A cast has failed. We need to throw a ClassCastException.
EXPORT_PC() @ about to throw
ldr r0, [r9, #offObject_clazz] @ r0<- obj->clazz (actual class)
mov r1, r10 @ r1<- desired class
bl dvmThrowClassCastException
b common_exceptionThrown
/*
* Advance PC and get the next opcode.
*/
.L${opcode}_okay:
FETCH_ADVANCE_INST(4) @ advance rPC, load rINST
GET_INST_OPCODE(ip) @ extract opcode from rINST
GOTO_OPCODE(ip) @ jump to next instruction
/*
* Resolution required. This is the least-likely path.
*
* r2 holds AAAAAAAA
* r9 holds object
*/
.L${opcode}_resolve:
EXPORT_PC() @ resolve() could throw
ldr r3, [rSELF, #offThread_method] @ r3<- self->method
mov r1, r2 @ r1<- AAAAAAAA
mov r2, #0 @ r2<- false
ldr r0, [r3, #offMethod_clazz] @ r0<- method->clazz
bl dvmResolveClass @ r0<- resolved ClassObject ptr
cmp r0, #0 @ got null?
beq common_exceptionThrown @ yes, handle exception
mov r1, r0 @ r1<- class resolved from AAAAAAAA
ldr r0, [r9, #offObject_clazz] @ r0<- obj->clazz
b .L${opcode}_resolved @ pick up where we left off
|
