/*
|
* 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 {
|
|
static class Foo {
|
int field0;
|
int field1;
|
int field2;
|
int field3;
|
int field4;
|
};
|
|
/// CHECK-START: void Main.test1(boolean, int, int, int, int, int) register (after)
|
/// CHECK: name "B0"
|
/// CHECK-NOT: ParallelMove
|
/// CHECK: name "B1"
|
/// CHECK-NOT: end_block
|
/// CHECK: If
|
/// CHECK-NOT: ParallelMove
|
/// CHECK: name "B3"
|
/// CHECK-NOT: end_block
|
/// CHECK: InstanceFieldSet
|
// We could check here that there is a parallel move, but it's only valid
|
// for some architectures (for example x86), as other architectures may
|
// not do move at all.
|
/// CHECK: end_block
|
/// CHECK-NOT: ParallelMove
|
|
public static void test1(boolean z, int a, int b, int c, int d, int m) {
|
int e = live1;
|
int f = live2;
|
int g = live3;
|
int j = live0;
|
if (z) {
|
} else {
|
// Create enough live instructions to force spilling on x86.
|
int h = live4;
|
int i = live5;
|
foo.field2 = e + i + h;
|
foo.field3 = f + i + h;
|
foo.field4 = g + i + h;
|
foo.field0 = h;
|
foo.field1 = i + h;
|
}
|
live1 = e + f + g + j;
|
}
|
|
/// CHECK-START: void Main.test2(boolean, int, int, int, int, int) register (after)
|
/// CHECK: name "B0"
|
/// CHECK-NOT: ParallelMove
|
/// CHECK: name "B1"
|
/// CHECK-NOT: end_block
|
/// CHECK: If
|
/// CHECK-NOT: ParallelMove
|
/// CHECK: name "B3"
|
/// CHECK-NOT: end_block
|
/// CHECK: InstanceFieldSet
|
// We could check here that there is a parallel move, but it's only valid
|
// for some architectures (for example x86), as other architectures may
|
// not do move at all.
|
/// CHECK: end_block
|
/// CHECK-NOT: ParallelMove
|
|
public static void test2(boolean z, int a, int b, int c, int d, int m) {
|
int e = live1;
|
int f = live2;
|
int g = live3;
|
int j = live0;
|
if (z) {
|
if (y) {
|
int h = live4;
|
int i = live5;
|
foo.field2 = e + i + h;
|
foo.field3 = f + i + h;
|
foo.field4 = g + i + h;
|
foo.field0 = h;
|
foo.field1 = i + h;
|
}
|
}
|
live1 = e + f + g + j;
|
}
|
|
/// CHECK-START: void Main.test3(boolean, int, int, int, int, int) register (after)
|
/// CHECK: name "B0"
|
/// CHECK-NOT: ParallelMove
|
/// CHECK: name "B1"
|
public static void test3(boolean z, int a, int b, int c, int d, int m) {
|
// Same version as test2, but with branches reversed, to ensure
|
// whatever linear order is computed, we will get the same results.
|
int e = live1;
|
int f = live2;
|
int g = live3;
|
int j = live0;
|
if (z) {
|
live1 = e;
|
} else {
|
if (y) {
|
live1 = e;
|
} else {
|
int h = live4;
|
int i = live5;
|
foo.field2 = e + i + h;
|
foo.field3 = f + i + h;
|
foo.field4 = g + i + h;
|
foo.field0 = h;
|
foo.field1 = i + h;
|
}
|
}
|
live1 = e + f + g + j;
|
}
|
|
public static void main(String[] args) {
|
}
|
|
static boolean y;
|
static int live0;
|
static int live1;
|
static int live2;
|
static int live3;
|
static int live4;
|
static int live5;
|
static Foo foo;
|
}
|
