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