/*
|
* 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.
|
*/
|
|
class Main {
|
public static void main(String[] args) {
|
foo();
|
}
|
|
public static void foo() {
|
int a = myField1; // esi
|
int b = myField2; // edi
|
$noinline$bar(); // makes allocation of a and b to be callee-save registers
|
int c = myField3; // ecx
|
int e = myField4; // ebx
|
int f = myField5; // edx
|
long d = a == 42 ? myLongField1 : 42L; // Will call AllocateBlockedReg -> edx/ebx
|
|
// At this point, the register allocator used to be in a bogus state, where the low
|
// part of the interval was in the active set, but not the high part.
|
|
long i = myLongField1; // Will call TrySplitNonPairOrUnalignedPairIntervalAt -> Failing DCHECK
|
|
// Use esi and edi first to not have d allocated to them.
|
myField2 = a;
|
myField3 = b;
|
|
// The following sequence of instructions are making the AllocateBlockedReg call
|
// for allocating the d variable misbehave: allocation of the low interval would split
|
// both low and high interval at the fixed use; therefore the allocation of the high interval
|
// would not see the register use, and think the interval can just be spilled and not be
|
// put in the active set, even though it is holding a register.
|
myField1 = (int)d; // stack use
|
myLongField3 = (long) myField2; // edx fixed use
|
myLongField2 = d; // register use
|
|
// Ensure the HInstruction mapping to i, c, e, and f have a live range.
|
myLongField1 = i;
|
myField4 = c;
|
myField5 = e;
|
myField6 = f;
|
}
|
|
public static long $noinline$bar() {
|
if (doThrow) throw new Error();
|
return 42;
|
}
|
|
public static boolean doThrow = false;
|
|
public static int myField1 = 0;
|
public static int myField2 = 0;
|
public static int myField3 = 0;
|
public static int myField4 = 0;
|
public static int myField5 = 0;
|
public static int myField6 = 0;
|
public static long myLongField1 = 0L;
|
public static long myLongField2 = 0L;
|
public static long myLongField3 = 0L;
|
}
|
