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 // To make it easier to follow the tests: 18 // - all interfaces defined in this file extend InterfaceSuper (except InterfaceOtherSuper) 19 // - all classes defined in this file extend ClassSuper (except ClassOtherSuper) 20 21 interface InterfaceSuper {} 22 interface InterfaceOtherSuper {} 23 24 interface InterfaceA extends InterfaceSuper {} 25 interface InterfaceB extends InterfaceSuper {} 26 interface InterfaceExtendsA extends InterfaceA {} 27 interface InterfaceExtendsB extends InterfaceB {} 28 29 class ClassSuper {} 30 class ClassOtherSuper {} 31 32 class ClassA extends ClassSuper {} 33 class ClassB extends ClassSuper {} 34 class ClassExtendsA extends ClassA {} 35 class ClassExtendsB extends ClassB {} 36 37 class ClassImplementsInterfaceA extends ClassSuper implements InterfaceA {} 38 39 public class Main { 40 41 /// CHECK-START: java.lang.Object Main.testMergeNullContant(boolean) builder (after) 42 /// CHECK: <<Phi:l\d+>> Phi klass:Main 43 /// CHECK: Return [<<Phi>>] 44 private Object testMergeNullContant(boolean cond) { 45 return cond ? null : new Main(); 46 } 47 48 /// CHECK-START: java.lang.Object Main.testMergeClasses(boolean, ClassExtendsA, ClassExtendsB) builder (after) 49 /// CHECK: <<Phi:l\d+>> Phi klass:ClassSuper 50 /// CHECK: Return [<<Phi>>] 51 private Object testMergeClasses(boolean cond, ClassExtendsA a, ClassExtendsB b) { 52 // Different classes, have a common super type. 53 return cond ? a : b; 54 } 55 56 /// CHECK-START: java.lang.Object Main.testMergeClasses(boolean, ClassExtendsA, ClassSuper) builder (after) 57 /// CHECK: <<Phi:l\d+>> Phi klass:ClassSuper 58 /// CHECK: Return [<<Phi>>] 59 private Object testMergeClasses(boolean cond, ClassExtendsA a, ClassSuper b) { 60 // Different classes, one is the super type of the other. 61 return cond ? a : b; 62 } 63 64 /// CHECK-START: java.lang.Object Main.testMergeClasses(boolean, ClassSuper, ClassSuper) builder (after) 65 /// CHECK: <<Phi:l\d+>> Phi klass:ClassSuper 66 /// CHECK: Return [<<Phi>>] 67 private Object testMergeClasses(boolean cond, ClassSuper a, ClassSuper b) { 68 // Same classes. 69 return cond ? a : b; 70 } 71 72 /// CHECK-START: java.lang.Object Main.testMergeClasses(boolean, ClassOtherSuper, ClassSuper) builder (after) 73 /// CHECK: <<Phi:l\d+>> Phi klass:java.lang.Object 74 /// CHECK: Return [<<Phi>>] 75 private Object testMergeClasses(boolean cond, ClassOtherSuper a, ClassSuper b) { 76 // Different classes, have Object as the common super type. 77 return cond ? a : b; 78 } 79 80 /// CHECK-START: java.lang.Object Main.testMergeClassWithInterface(boolean, ClassImplementsInterfaceA, InterfaceSuper) builder (after) 81 /// CHECK: <<Phi:l\d+>> Phi klass:InterfaceSuper 82 /// CHECK: Return [<<Phi>>] 83 private Object testMergeClassWithInterface(boolean cond, ClassImplementsInterfaceA a, InterfaceSuper b) { 84 // Class implements interface. 85 return cond ? a : b; 86 } 87 88 /// CHECK-START: java.lang.Object Main.testMergeClassWithInterface(boolean, ClassSuper, InterfaceSuper) builder (after) 89 /// CHECK: <<Phi:l\d+>> Phi klass:java.lang.Object 90 /// CHECK: Return [<<Phi>>] 91 private Object testMergeClassWithInterface(boolean cond, ClassSuper a, InterfaceSuper b) { 92 // Class doesn't implement interface. 93 return cond ? a : b; 94 } 95 96 /// CHECK-START: java.lang.Object Main.testMergeInterfaces(boolean, InterfaceExtendsA, InterfaceSuper) builder (after) 97 /// CHECK: <<Phi:l\d+>> Phi klass:InterfaceSuper 98 /// CHECK: Return [<<Phi>>] 99 private Object testMergeInterfaces(boolean cond, InterfaceExtendsA a, InterfaceSuper b) { 100 // Different Interfaces, one implements the other. 101 return cond ? a : b; 102 } 103 104 /// CHECK-START: java.lang.Object Main.testMergeInterfaces(boolean, InterfaceSuper, InterfaceSuper) builder (after) 105 /// CHECK: <<Phi:l\d+>> Phi klass:InterfaceSuper 106 /// CHECK: Return [<<Phi>>] 107 private Object testMergeInterfaces(boolean cond, InterfaceSuper a, InterfaceSuper b) { 108 // Same interfaces. 109 return cond ? a : b; 110 } 111 112 /// CHECK-START: java.lang.Object Main.testMergeInterfaces(boolean, InterfaceExtendsA, InterfaceExtendsB) builder (after) 113 /// CHECK: <<Phi:l\d+>> Phi klass:java.lang.Object 114 /// CHECK: Return [<<Phi>>] 115 private Object testMergeInterfaces(boolean cond, InterfaceExtendsA a, InterfaceExtendsB b) { 116 // Different Interfaces, have a common super type. 117 return cond ? a : b; 118 } 119 120 /// CHECK-START: java.lang.Object Main.testMergeInterfaces(boolean, InterfaceSuper, InterfaceOtherSuper) builder (after) 121 /// CHECK: <<Phi:l\d+>> Phi klass:java.lang.Object 122 /// CHECK: Return [<<Phi>>] 123 private Object testMergeInterfaces(boolean cond, InterfaceSuper a, InterfaceOtherSuper b) { 124 // Different interfaces. 125 return cond ? a : b; 126 } 127 128 public static void main(String[] args) { 129 } 130 } 131
