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
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
|
# Copyright (C) 2015 The Android Open Source Project
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
.class public LTestCase;
.super Ljava/lang/Object;
# Situation:
# - PhiA: PrimVoid + PrimNot equivalents
# - PhiB: PrimVoid (PrimVoid PhiA as input)
# DeadPhiHandling:
# - iterate over blocks in reverse post order
# - update PrimVoid PhiA to PrimNot
# - update inputs of PrimNot PhiA
# - set type of PhiB
# - left with two PrimNot equivalents of PhiA
.method public static testCase_ReversePostOrder(IILjava/lang/Object;)V
.registers 5
# v0 - Phi A
# v1 - Phi B
# p0 - int arg1
# p1 - int arg2
# p2 - ref arg3
if-nez p0, :else1
:then1
if-nez p1, :else2
:then2
const/4 v1, 0x0
goto :merge2
:else2
move-object v1, p2
goto :merge2
:merge2
# PhiA [null, arg3]
move-object v0, v1 # create PrimNot PhiA equivalent
invoke-static {}, Ljava/lang/System;->nanoTime()J # env use of both PhiA equivalents
goto :merge1
:else1
move-object v0, p2
goto :merge1
:merge1
# PhiB [PhiA, arg3]
invoke-static {}, Ljava/lang/System;->nanoTime()J # env use of PhiB
return-void
.end method
# Situation:
# - PhiA: PrimVoid + PrimNot (PrimInt inputs)
# - PhiB: PrimVoid + PrimNot (PrimInt inputs)
# - PhiC: PrimVoid only
# DeadPhiHandling:
# - iterate over blocks in reverse post order
# - add both PhiAs to worklist, set PrimVoid PhiA to PrimInt
# - update inputs of PrimNot PhiB ; add PrimNot PhiA to worklist
# - update PhiC to PrimNot
# - start processing worklist
# - PrimNot PhiA: update inputs, no equivalent created
# - PrimInt PhiA: update inputs, set to PrimNot, use instead of PrimNot PhiA
# - add PhiBs to worklist as users of PhiA
# - PrimInt PhiB: set type to PrimNot, equivalent live and in worklist
.method public static testCase_FixPointIteration(IILjava/lang/Object;Ljava/lang/Object;)V
.registers 6
# v0 - Phi A, C
# v1 - Phi B
# p0 - int arg1
# p1 - int arg2
# p2 - ref arg3
# p3 - ref arg4
const/4 v0, 0x0
:loop_header
# PhiA [null, PhiC] for v0
if-eqz p0, :else1
:then1
const/4 v1, 0x0
goto :merge1
:else1
move-object v1, v0 # create PrimNot equivalent of PhiA
invoke-static {}, Ljava/lang/System;->nanoTime()J # env use of both PhiA equivalents
goto :merge1
:merge1
# PhiB [null, PhiA] for v1
move-object v0, v1 # creates PrimNot equivalent of PhiB
invoke-static {}, Ljava/lang/System;->nanoTime()J # env use of both PhiB equivalents
if-eqz p1, :else2
:then2
move-object v0, p2
goto :merge2
:else2
move-object v0, p3
goto :merge2
:merge2
# PhiC [arg3, arg4] for v0, second input of PhiA
if-eqz p1, :loop_header
return-void
.end method
|
