/*
|
* 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 {
|
}
|
