/*
|
* Copyright (C) 2017 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 void main(String[] args) throws Exception {
|
System.loadLibrary(args[0]);
|
|
$noinline$intUpdate(new Main());
|
ensureJitCompiled(Main.class, "$noinline$intUpdate");
|
$noinline$intUpdate(new SubMain());
|
if (myIntStatic != 5000) {
|
throw new Error("Expected 5000, got " + myIntStatic);
|
}
|
|
$noinline$objectUpdate(new Main());
|
ensureJitCompiled(Main.class, "$noinline$objectUpdate");
|
$noinline$objectUpdate(new SubMain());
|
|
$noinline$loopIncrement(new Main());
|
ensureJitCompiled(Main.class, "$noinline$loopIncrement");
|
$noinline$loopIncrement(new SubMain());
|
|
$noinline$objectReturned(new Main());
|
ensureJitCompiled(Main.class, "$noinline$objectReturned");
|
Object o = $noinline$objectReturned(new SubMain());
|
// We used to get 0xebadde09 in 'o' here and therefore crash
|
// both interpreter and compiled code.
|
if (o instanceof Cloneable) {
|
System.out.println("Unexpected object type " + o.getClass());
|
}
|
}
|
|
public boolean doCheck() {
|
return false;
|
}
|
|
public static void $noinline$intUpdate(Main m) {
|
int a = 0;
|
// We used to kill 'a' when the inline cache of 'doCheck' only
|
// contains 'Main' (which makes the only branch using 'a' dead).
|
// So the deoptimization at the inline cache was incorrectly assuming
|
// 'a' was dead.
|
for (int i = 0; i < 5000; i++) {
|
if (m.doCheck()) {
|
a++;
|
// We make this branch the only true user of the 'a' phi. All other uses
|
// of 'a' are phi updates.
|
myIntStatic = a;
|
} else if (myIntStatic == 42) {
|
a = 1;
|
}
|
}
|
}
|
|
public static void $noinline$objectUpdate(Main m) {
|
Object o = new Object();
|
// We used to kill 'o' when the inline cache of 'doCheck' only
|
// contains 'Main' (which makes the only branch using 'o' dead).
|
// So the deoptimization at the inline cache was incorrectly assuming
|
// 'o' was dead.
|
// This lead to a NPE on the 'toString' call just after deoptimizing.
|
for (int i = 0; i < 5000; i++) {
|
if (m.doCheck()) {
|
// We make this branch the only true user of the 'o' phi. All other uses
|
// of 'o' are phi updates.
|
o.toString();
|
} else if (myIntStatic == 42) {
|
o = m;
|
}
|
}
|
}
|
|
public static void $noinline$loopIncrement(Main m) {
|
int k = 0;
|
// We used to kill 'k' and replace it with 5000 when the inline cache
|
// of 'doCheck' only contains 'Main'.
|
// So the deoptimization at the inline cache was incorrectly assuming
|
// 'k' was 5000.
|
for (int i = 0; i < 5000; i++, k++) {
|
if (m.doCheck()) {
|
// We make this branch the only true user of the 'k' phi. All other uses
|
// of 'k' are phi updates.
|
myIntStatic = k;
|
}
|
}
|
if (k != 5000) {
|
throw new Error("Expected 5000, got " + k);
|
}
|
}
|
|
public static Object $noinline$objectReturned(Main m) {
|
Object o = new Object();
|
// We used to kill 'o' when the inline cache of 'doCheck' only
|
// contains 'Main' (which makes the only branch using 'o' dead).
|
// So the deoptimization at the inline cache was incorrectly assuming
|
// 'o' was dead.
|
// We also need to make 'o' escape through a return instruction, as mterp
|
// executes the same code for return and return-object, and the 0xebadde09
|
// sentinel for dead value is only pushed to non-object dex registers.
|
Object myReturnValue = null;
|
for (int i = 0; i < 5000; i++) {
|
if (m.doCheck()) {
|
// We make this branch the only true user of the 'o' phi. All other uses
|
// of 'o' are phi updates.
|
myReturnValue = o;
|
} else if (myIntStatic == 42) {
|
o = m;
|
}
|
}
|
return myReturnValue;
|
}
|
|
public static int myIntStatic = 0;
|
|
public static native void ensureJitCompiled(Class<?> itf, String name);
|
}
|
|
class SubMain extends Main {
|
public boolean doCheck() {
|
return true;
|
}
|
}
|
