1 /*
2  * Copyright (C) 2015 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 
18 public class Main {
19 
returnIntArray()20   public static Object returnIntArray() { return new int[10]; }
21 
22   /// CHECK-START: void Main.boundTypeForMergingPhi() builder (after)
23   /// CHECK-DAG:              ArraySet [<<NC:l\d+>>,{{i\d+}},{{i\d+}}]
24   /// CHECK-DAG:     <<NC>>   NullCheck [<<Phi:l\d+>>]
25   /// CHECK-DAG:     <<Phi>>  Phi klass:int[]
26 
boundTypeForMergingPhi()27   public static void boundTypeForMergingPhi() {
28     int[] array = new int[20];
29     if (array.hashCode() > 5) {
30       array = (int[]) returnIntArray();
31     }
32     array[0] = 14;
33   }
34 
35   /// CHECK-START: void Main.boundTypeForLoopPhi() builder (after)
36   /// CHECK-DAG:              ArraySet [<<NC:l\d+>>,{{i\d+}},{{i\d+}}]
37   /// CHECK-DAG:     <<NC>>   NullCheck [<<Phi:l\d+>>]
38   /// CHECK-DAG:     <<Phi>>  Phi klass:int[]
39 
boundTypeForLoopPhi()40   public static void boundTypeForLoopPhi() {
41     int[] array = new int[20];
42     int i = 0;
43     while (i < 4) {
44       ++i;
45       array[i] = i;
46       if (i > 2) {
47         array = (int[]) returnIntArray();
48       }
49     }
50     array[0] = 14;
51   }
52 
53   /// CHECK-START: void Main.boundTypeForCatchPhi() builder (after)
54   /// CHECK-DAG:              ArraySet [<<NC:l\d+>>,{{i\d+}},{{i\d+}}]
55   /// CHECK-DAG:     <<NC>>   NullCheck [<<Phi:l\d+>>]
56   /// CHECK-DAG:     <<Phi>>  Phi is_catch_phi:true klass:int[]
57 
boundTypeForCatchPhi()58   public static void boundTypeForCatchPhi() {
59     int[] array1 = new int[20];
60     int[] array2 = (int[]) returnIntArray();
61 
62     int[] catch_phi = array1;
63     try {
64       System.nanoTime();
65       catch_phi = array2;
66       System.nanoTime();
67     } catch (Throwable ex) {
68       catch_phi[0] = 14;
69     }
70   }
71 
main(String[] args)72   public static void main(String[] args) {  }
73 }
74