blob: acd2305f679102105d45506d01adbd454fd2138d [file] [log] [blame]
/*
* 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.
*/
public class Main {
public static boolean $inline$classTypeTest(Object o) {
return o instanceof SubMain;
}
public static boolean $inline$interfaceTypeTest(Object o) {
return o instanceof Itf;
}
public static SubMain subMain;
public static Main mainField;
public static Unrelated unrelatedField;
public static FinalUnrelated finalUnrelatedField;
/// CHECK-START: boolean Main.classTypeTestNull() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 0
/// CHECK-DAG: Return [<<Const>>]
public static boolean classTypeTestNull() {
return $inline$classTypeTest(null);
}
/// CHECK-START: boolean Main.classTypeTestExactMain() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 0
/// CHECK-DAG: Return [<<Const>>]
public static boolean classTypeTestExactMain() {
return $inline$classTypeTest(new Main());
}
/// CHECK-START: boolean Main.classTypeTestExactSubMain() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 1
/// CHECK-DAG: Return [<<Const>>]
public static boolean classTypeTestExactSubMain() {
return $inline$classTypeTest(new SubMain());
}
/// CHECK-START: boolean Main.classTypeTestSubMainOrNull() register (after)
/// CHECK-DAG: <<Value:z\d+>> NotEqual
/// CHECK-DAG: Return [<<Value>>]
public static boolean classTypeTestSubMainOrNull() {
return $inline$classTypeTest(subMain);
}
/// CHECK-START: boolean Main.classTypeTestMainOrNull() register (after)
/// CHECK-DAG: <<Value:z\d+>> InstanceOf
/// CHECK-DAG: Return [<<Value>>]
public static boolean classTypeTestMainOrNull() {
return $inline$classTypeTest(mainField);
}
/// CHECK-START: boolean Main.classTypeTestUnrelated() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 0
/// CHECK-DAG: Return [<<Const>>]
public static boolean classTypeTestUnrelated() {
return $inline$classTypeTest(unrelatedField);
}
/// CHECK-START: boolean Main.classTypeTestFinalUnrelated() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 0
/// CHECK-DAG: Return [<<Const>>]
public static boolean classTypeTestFinalUnrelated() {
return $inline$classTypeTest(finalUnrelatedField);
}
/// CHECK-START: boolean Main.interfaceTypeTestNull() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 0
/// CHECK-DAG: Return [<<Const>>]
public static boolean interfaceTypeTestNull() {
return $inline$interfaceTypeTest(null);
}
/// CHECK-START: boolean Main.interfaceTypeTestExactMain() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 0
/// CHECK-DAG: Return [<<Const>>]
public static boolean interfaceTypeTestExactMain() {
return $inline$interfaceTypeTest(new Main());
}
/// CHECK-START: boolean Main.interfaceTypeTestExactSubMain() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 1
/// CHECK-DAG: Return [<<Const>>]
public static boolean interfaceTypeTestExactSubMain() {
return $inline$interfaceTypeTest(new SubMain());
}
/// CHECK-START: boolean Main.interfaceTypeTestSubMainOrNull() register (after)
/// CHECK-DAG: <<Value:z\d+>> NotEqual
/// CHECK-DAG: Return [<<Value>>]
public static boolean interfaceTypeTestSubMainOrNull() {
return $inline$interfaceTypeTest(subMain);
}
/// CHECK-START: boolean Main.interfaceTypeTestMainOrNull() register (after)
/// CHECK-DAG: <<Value:z\d+>> InstanceOf
/// CHECK-DAG: Return [<<Value>>]
public static boolean interfaceTypeTestMainOrNull() {
return $inline$interfaceTypeTest(mainField);
}
/// CHECK-START: boolean Main.interfaceTypeTestUnrelated() register (after)
/// CHECK-DAG: <<Value:z\d+>> InstanceOf
/// CHECK-DAG: Return [<<Value>>]
public static boolean interfaceTypeTestUnrelated() {
// This method is the main difference between doing an instanceof on an interface
// or a class. We have to keep the instanceof in case a subclass of Unrelated
// implements the interface.
return $inline$interfaceTypeTest(unrelatedField);
}
/// CHECK-START: boolean Main.interfaceTypeTestFinalUnrelated() register (after)
/// CHECK-DAG: <<Const:i\d+>> IntConstant 0
/// CHECK-DAG: Return [<<Const>>]
public static boolean interfaceTypeTestFinalUnrelated() {
return $inline$interfaceTypeTest(finalUnrelatedField);
}
// Check that we remove the LoadClass instruction from the graph.
/// CHECK-START: boolean Main.knownTestWithLoadedClass() register (after)
/// CHECK-NOT: LoadClass
public static boolean knownTestWithLoadedClass() {
return new String() instanceof String;
}
// Check that we do not remove the LoadClass instruction from the graph.
/// CHECK-START: boolean Main.knownTestWithUnloadedClass() register (after)
/// CHECK: <<Const:i\d+>> IntConstant 0
/// CHECK: LoadClass
/// CHECK: Return [<<Const>>]
public static boolean knownTestWithUnloadedClass() {
return $inline$returnUnrelated() instanceof String;
}
public static Object $inline$returnUnrelated() {
return new Unrelated();
}
public static void expect(boolean expected, boolean actual) {
if (expected != actual) {
throw new Error("Unexpected result");
}
}
public static void main(String[] args) {
expect(false, classTypeTestNull());
expect(false, classTypeTestExactMain());
expect(true, classTypeTestExactSubMain());
subMain = null;
expect(false, classTypeTestSubMainOrNull());
subMain = new SubMain();
expect(true, classTypeTestSubMainOrNull());
mainField = null;
expect(false, classTypeTestMainOrNull());
mainField = new Main();
expect(false, classTypeTestMainOrNull());
mainField = new SubMain();
expect(true, classTypeTestMainOrNull());
unrelatedField = null;
expect(false, classTypeTestUnrelated());
unrelatedField = new Unrelated();
expect(false, classTypeTestUnrelated());
finalUnrelatedField = null;
expect(false, classTypeTestFinalUnrelated());
finalUnrelatedField = new FinalUnrelated();
expect(false, classTypeTestFinalUnrelated());
expect(false, interfaceTypeTestNull());
expect(false, interfaceTypeTestExactMain());
expect(true, interfaceTypeTestExactSubMain());
subMain = null;
expect(false, interfaceTypeTestSubMainOrNull());
subMain = new SubMain();
expect(true, interfaceTypeTestSubMainOrNull());
mainField = null;
expect(false, interfaceTypeTestMainOrNull());
mainField = new Main();
expect(false, interfaceTypeTestMainOrNull());
mainField = new SubMain();
expect(true, interfaceTypeTestMainOrNull());
unrelatedField = null;
expect(false, interfaceTypeTestUnrelated());
unrelatedField = new Unrelated();
expect(false, interfaceTypeTestUnrelated());
finalUnrelatedField = null;
expect(false, interfaceTypeTestFinalUnrelated());
finalUnrelatedField = new FinalUnrelated();
expect(false, interfaceTypeTestFinalUnrelated());
}
}
interface Itf {
}
class SubMain extends Main implements Itf {
}
class Unrelated {
}
final class FinalUnrelated {
}