1# Copyright (C) 2015 The Android Open Source Project
2#
3# Licensed under the Apache License, Version 2.0 (the "License");
4# you may not use this file except in compliance with the License.
5# You may obtain a copy of the License at
6#
7#      http://www.apache.org/licenses/LICENSE-2.0
8#
9# Unless required by applicable law or agreed to in writing, software
10# distributed under the License is distributed on an "AS IS" BASIS,
11# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12# See the License for the specific language governing permissions and
13# limitations under the License.
14
15.class public LTestCase;
16.super Ljava/lang/Object;
17
18# Situation:
19#  - PhiA: PrimVoid + PrimNot equivalents
20#  - PhiB: PrimVoid (PrimVoid PhiA as input)
21# DeadPhiHandling:
22#  - iterate over blocks in reverse post order
23#    - update PrimVoid PhiA to PrimNot
24#    - update inputs of PrimNot PhiA
25#    - set type of PhiB
26#  - left with two PrimNot equivalents of PhiA
27
28.method public static testCase_ReversePostOrder(IILjava/lang/Object;)V
29  .registers 5
30
31  # v0 - Phi A
32  # v1 - Phi B
33  # p0 - int arg1
34  # p1 - int arg2
35  # p2 - ref arg3
36
37  if-nez p0, :else1
38  :then1
39    if-nez p1, :else2
40    :then2
41      const/4 v1, 0x0
42      goto :merge2
43
44    :else2
45      move-object v1, p2
46      goto :merge2
47
48    :merge2
49      # PhiA [null, arg3]
50      move-object v0, v1                                 # create PrimNot PhiA equivalent
51      invoke-static {}, Ljava/lang/System;->nanoTime()J  # env use of both PhiA equivalents
52      goto :merge1
53
54  :else1
55    move-object v0, p2
56    goto :merge1
57
58  :merge1
59    # PhiB [PhiA, arg3]
60    invoke-static {}, Ljava/lang/System;->nanoTime()J    # env use of PhiB
61
62  return-void
63.end method
64
65# Situation:
66#  - PhiA: PrimVoid + PrimNot (PrimInt inputs)
67#  - PhiB: PrimVoid + PrimNot (PrimInt inputs)
68#  - PhiC: PrimVoid only
69# DeadPhiHandling:
70#  - iterate over blocks in reverse post order
71#    - add both PhiAs to worklist, set PrimVoid PhiA to PrimInt
72#    - update inputs of PrimNot PhiB ; add PrimNot PhiA to worklist
73#    - update PhiC to PrimNot
74#  - start processing worklist
75#    - PrimNot PhiA: update inputs, no equivalent created
76#    - PrimInt PhiA: update inputs, set to PrimNot, use instead of PrimNot PhiA
77#    - add PhiBs to worklist as users of PhiA
78#    - PrimInt PhiB: set type to PrimNot, equivalent live and in worklist
79
80.method public static testCase_FixPointIteration(IILjava/lang/Object;Ljava/lang/Object;)V
81  .registers 6
82
83  # v0 - Phi A, C
84  # v1 - Phi B
85  # p0 - int arg1
86  # p1 - int arg2
87  # p2 - ref arg3
88  # p3 - ref arg4
89
90  const/4 v0, 0x0
91
92  :loop_header
93  # PhiA [null, PhiC] for v0
94
95  if-eqz p0, :else1
96  :then1
97    const/4 v1, 0x0
98    goto :merge1
99  :else1
100    move-object v1, v0                                   # create PrimNot equivalent of PhiA
101    invoke-static {}, Ljava/lang/System;->nanoTime()J    # env use of both PhiA equivalents
102    goto :merge1
103  :merge1
104  # PhiB [null, PhiA] for v1
105
106  move-object v0, v1                                     # creates PrimNot equivalent of PhiB
107  invoke-static {}, Ljava/lang/System;->nanoTime()J      # env use of both PhiB equivalents
108
109  if-eqz p1, :else2
110  :then2
111    move-object v0, p2
112    goto :merge2
113  :else2
114    move-object v0, p3
115    goto :merge2
116  :merge2
117  # PhiC [arg3, arg4] for v0, second input of PhiA
118
119  if-eqz p1, :loop_header
120  return-void
121.end method
122