/*
* Copyright (C) 2016 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 class ExampleObj {
int n1;
int n2;
public ExampleObj(int n1, int n2) {
this.n1 = n1;
this.n2 = n2;
}
}
static int static_variable = 0;
public ExampleObj my_obj;
public static int number1;
public static int number2;
public static volatile int number3;
/// CHECK-START-ARM64: int Main.arrayAccess() scheduler (before)
/// CHECK: <<Const1:i\d+>> IntConstant 1
/// CHECK: <<res0:i\d+>> Phi
/// CHECK: <<i0:i\d+>> Phi
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<Array>>,<<i0>>]
/// CHECK: <<res1:i\d+>> Add [<<res0>>,<<ArrayGet1>>]
/// CHECK: <<i1:i\d+>> Add [<<i0>>,<<Const1>>]
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<Array>>,<<i1>>]
/// CHECK: Add [<<res1>>,<<ArrayGet2>>]
/// CHECK-START-ARM64: int Main.arrayAccess() scheduler (after)
/// CHECK: <<Const1:i\d+>> IntConstant 1
/// CHECK: <<res0:i\d+>> Phi
/// CHECK: <<i0:i\d+>> Phi
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<Array>>,<<i0>>]
/// CHECK: <<i1:i\d+>> Add [<<i0>>,<<Const1>>]
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<Array>>,<<i1>>]
/// CHECK: <<res1:i\d+>> Add [<<res0>>,<<ArrayGet1>>]
/// CHECK: Add [<<res1>>,<<ArrayGet2>>]
public static int arrayAccess() {
int res = 0;
int [] array = new int[10];
for (int i = 0; i < 9; i++) {
res += array[i];
res += array[i + 1];
}
return res;
}
/// CHECK-START-ARM: void Main.arrayAccessVariable(int) scheduler (before)
/// CHECK: <<Param:i\d+>> ParameterValue
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 2
/// CHECK-DAG: <<Const3:i\d+>> IntConstant -1
/// CHECK: <<Add1:i\d+>> Add [<<Param>>,<<Const1>>]
/// CHECK: <<Add2:i\d+>> Add [<<Param>>,<<Const2>>]
/// CHECK: <<Add3:i\d+>> Add [<<Param>>,<<Const3>>]
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<Array>>,<<Add1>>]
/// CHECK: <<AddArray1:i\d+>> Add [<<ArrayGet1>>,<<Const1>>]
/// CHECK: <<ArraySet1:v\d+>> ArraySet [<<Array>>,<<Add1>>,<<AddArray1>>]
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<Array>>,<<Add2>>]
/// CHECK: <<AddArray2:i\d+>> Add [<<ArrayGet2>>,<<Const1>>]
/// CHECK: <<ArraySet2:v\d+>> ArraySet [<<Array>>,<<Add2>>,<<AddArray2>>]
/// CHECK: <<ArrayGet3:i\d+>> ArrayGet [<<Array>>,<<Add3>>]
/// CHECK: <<AddArray3:i\d+>> Add [<<ArrayGet3>>,<<Const1>>]
/// CHECK: <<ArraySet3:v\d+>> ArraySet [<<Array>>,<<Add3>>,<<AddArray3>>]
/// CHECK-START-ARM: void Main.arrayAccessVariable(int) scheduler (after)
/// CHECK: <<Param:i\d+>> ParameterValue
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 2
/// CHECK-DAG: <<Const3:i\d+>> IntConstant -1
/// CHECK: <<Add1:i\d+>> Add [<<Param>>,<<Const1>>]
/// CHECK: <<Add2:i\d+>> Add [<<Param>>,<<Const2>>]
/// CHECK: <<Add3:i\d+>> Add [<<Param>>,<<Const3>>]
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: ArrayGet [<<Array>>,{{i\d+}}]
/// CHECK: ArrayGet [<<Array>>,{{i\d+}}]
/// CHECK: ArrayGet [<<Array>>,{{i\d+}}]
/// CHECK: Add
/// CHECK: Add
/// CHECK: Add
/// CHECK: ArraySet
/// CHECK: ArraySet
/// CHECK: ArraySet
/// CHECK-START-ARM64: void Main.arrayAccessVariable(int) scheduler (before)
/// CHECK: <<Param:i\d+>> ParameterValue
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 2
/// CHECK-DAG: <<Const3:i\d+>> IntConstant -1
/// CHECK: <<Add1:i\d+>> Add [<<Param>>,<<Const1>>]
/// CHECK: <<Add2:i\d+>> Add [<<Param>>,<<Const2>>]
/// CHECK: <<Add3:i\d+>> Add [<<Param>>,<<Const3>>]
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<Array>>,<<Add1>>]
/// CHECK: <<AddArray1:i\d+>> Add [<<ArrayGet1>>,<<Const1>>]
/// CHECK: <<ArraySet1:v\d+>> ArraySet [<<Array>>,<<Add1>>,<<AddArray1>>]
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<Array>>,<<Add2>>]
/// CHECK: <<AddArray2:i\d+>> Add [<<ArrayGet2>>,<<Const1>>]
/// CHECK: <<ArraySet2:v\d+>> ArraySet [<<Array>>,<<Add2>>,<<AddArray2>>]
/// CHECK: <<ArrayGet3:i\d+>> ArrayGet [<<Array>>,<<Add3>>]
/// CHECK: <<AddArray3:i\d+>> Add [<<ArrayGet3>>,<<Const1>>]
/// CHECK: <<ArraySet3:v\d+>> ArraySet [<<Array>>,<<Add3>>,<<AddArray3>>]
/// CHECK-START-ARM64: void Main.arrayAccessVariable(int) scheduler (after)
/// CHECK: <<Param:i\d+>> ParameterValue
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 2
/// CHECK-DAG: <<Const3:i\d+>> IntConstant -1
/// CHECK: <<Add1:i\d+>> Add [<<Param>>,<<Const1>>]
/// CHECK: <<Add2:i\d+>> Add [<<Param>>,<<Const2>>]
/// CHECK: <<Add3:i\d+>> Add [<<Param>>,<<Const3>>]
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: ArrayGet [<<Array>>,{{i\d+}}]
/// CHECK: ArrayGet [<<Array>>,{{i\d+}}]
/// CHECK: ArrayGet [<<Array>>,{{i\d+}}]
/// CHECK: Add
/// CHECK: Add
/// CHECK: Add
/// CHECK: ArraySet
/// CHECK: ArraySet
/// CHECK: ArraySet
public static void arrayAccessVariable(int i) {
int [] array = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
for (int j = 0; j < 100; j++) {
array[i + 1]++;
array[i + 2]++;
array[i - 1]++;
}
}
/// CHECK-START-ARM: void Main.arrayAccessSub(int) scheduler (before)
/// CHECK: <<Param:i\d+>> ParameterValue
/// CHECK-DAG: <<Const1:i\d+>> IntConstant -1
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 9
/// CHECK-DAG: <<Const3:i\d+>> IntConstant 1
/// CHECK: <<Add1:i\d+>> Add [<<Param>>,<<Const1>>]
/// CHECK: <<Sub2:i\d+>> Sub [<<Const2>>,<<Param>>]
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<Array>>,<<Add1>>]
/// CHECK: <<AddArray1:i\d+>> Add [<<ArrayGet1>>,<<Const3>>]
/// CHECK: <<ArraySet1:v\d+>> ArraySet [<<Array>>,<<Add1>>,<<AddArray1>>]
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<Array>>,<<Sub2>>]
/// CHECK: <<AddArray2:i\d+>> Add [<<ArrayGet2>>,<<Const3>>]
/// CHECK: <<ArraySet2:v\d+>> ArraySet [<<Array>>,<<Sub2>>,<<AddArray2>>]
/// CHECK-START-ARM: void Main.arrayAccessSub(int) scheduler (after)
/// CHECK: <<Param:i\d+>> ParameterValue
/// CHECK-DAG: <<Const1:i\d+>> IntConstant -1
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 9
/// CHECK-DAG: <<Const3:i\d+>> IntConstant 1
/// CHECK: <<Add1:i\d+>> Add [<<Param>>,<<Const1>>]
/// CHECK: <<Sub2:i\d+>> Sub [<<Const2>>,<<Param>>]
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<Array>>,<<Add1>>]
/// CHECK: <<AddArray1:i\d+>> Add [<<ArrayGet1>>,<<Const3>>]
/// CHECK: <<ArraySet1:v\d+>> ArraySet [<<Array>>,<<Add1>>,<<AddArray1>>]
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<Array>>,<<Sub2>>]
/// CHECK: <<AddArray2:i\d+>> Add [<<ArrayGet2>>,<<Const3>>]
/// CHECK: <<ArraySet2:v\d+>> ArraySet [<<Array>>,<<Sub2>>,<<AddArray2>>]
/// CHECK-START-ARM64: void Main.arrayAccessSub(int) scheduler (before)
/// CHECK: <<Param:i\d+>> ParameterValue
/// CHECK-DAG: <<Const1:i\d+>> IntConstant -1
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 9
/// CHECK-DAG: <<Const3:i\d+>> IntConstant 1
/// CHECK: <<Add1:i\d+>> Add [<<Param>>,<<Const1>>]
/// CHECK: <<Sub2:i\d+>> Sub [<<Const2>>,<<Param>>]
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<Array>>,<<Add1>>]
/// CHECK: <<AddArray1:i\d+>> Add [<<ArrayGet1>>,<<Const3>>]
/// CHECK: <<ArraySet1:v\d+>> ArraySet [<<Array>>,<<Add1>>,<<AddArray1>>]
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<Array>>,<<Sub2>>]
/// CHECK: <<AddArray2:i\d+>> Add [<<ArrayGet2>>,<<Const3>>]
/// CHECK: <<ArraySet2:v\d+>> ArraySet [<<Array>>,<<Sub2>>,<<AddArray2>>]
/// CHECK-START-ARM64: void Main.arrayAccessSub(int) scheduler (after)
/// CHECK: <<Param:i\d+>> ParameterValue
/// CHECK-DAG: <<Const1:i\d+>> IntConstant -1
/// CHECK-DAG: <<Const2:i\d+>> IntConstant 9
/// CHECK-DAG: <<Const3:i\d+>> IntConstant 1
/// CHECK: <<Add1:i\d+>> Add [<<Param>>,<<Const1>>]
/// CHECK: <<Sub2:i\d+>> Sub [<<Const2>>,<<Param>>]
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<Array>>,<<Add1>>]
/// CHECK: <<AddArray1:i\d+>> Add [<<ArrayGet1>>,<<Const3>>]
/// CHECK: <<ArraySet1:v\d+>> ArraySet [<<Array>>,<<Add1>>,<<AddArray1>>]
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<Array>>,<<Sub2>>]
/// CHECK: <<AddArray2:i\d+>> Add [<<ArrayGet2>>,<<Const3>>]
/// CHECK: <<ArraySet2:v\d+>> ArraySet [<<Array>>,<<Sub2>>,<<AddArray2>>]
public static void arrayAccessSub(int i) {
int [] array = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
for (int j = 0; j < 100; j++) {
// These two accesses MAY ALIAS
array[i - 1]++;
array[9 - i]++;
}
}
/// CHECK-START-ARM: void Main.arrayAccessLoopVariable() scheduler (before)
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
/// CHECK: <<Phi:i\d+>> Phi
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet
/// CHECK: <<AddArray1:i\d+>> Add
/// CHECK: <<ArraySet1:v\d+>> ArraySet
/// CHECK: <<AddVar:i\d+>> Add
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet
/// CHECK: <<AddArray2:i\d+>> Add
/// CHECK: <<ArraySet2:v\d+>> ArraySet
/// CHECK-START-ARM: void Main.arrayAccessLoopVariable() scheduler (after)
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
/// CHECK: <<Phi:i\d+>> Phi
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<AddVar:i\d+>> Add
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet
/// CHECK: <<AddArray1:i\d+>> Add
/// CHECK: <<AddArray2:i\d+>> Add
/// CHECK: <<ArraySet1:v\d+>> ArraySet
/// CHECK: <<ArraySet2:v\d+>> ArraySet
/// CHECK-START-ARM64: void Main.arrayAccessLoopVariable() scheduler (before)
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
/// CHECK: <<Phi:i\d+>> Phi
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet
/// CHECK: <<AddArray1:i\d+>> Add
/// CHECK: <<ArraySet1:v\d+>> ArraySet
/// CHECK: <<AddVar:i\d+>> Add
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet
/// CHECK: <<AddArray2:i\d+>> Add
/// CHECK: <<ArraySet2:v\d+>> ArraySet
/// CHECK-START-ARM64: void Main.arrayAccessLoopVariable() scheduler (after)
/// CHECK-DAG: <<Const0:i\d+>> IntConstant 0
/// CHECK-DAG: <<Const1:i\d+>> IntConstant 1
/// CHECK: <<Phi:i\d+>> Phi
/// CHECK: <<Array:i\d+>> IntermediateAddress
/// CHECK: <<AddVar:i\d+>> Add
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet
/// CHECK: <<AddArray1:i\d+>> Add
/// CHECK: <<AddArray2:i\d+>> Add
/// CHECK: <<ArraySet1:v\d+>> ArraySet
/// CHECK: <<ArraySet2:v\d+>> ArraySet
public static void arrayAccessLoopVariable() {
int [] array = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
for (int j = 0; j < 9; j++) {
array[j]++;
array[j + 1]++;
}
}
// This case tests a bug found in LSA where LSA doesn't understand IntermediateAddress,
// and incorrectly reported no alias between ArraySet1 and ArrayGet2,
// thus ArrayGet2 is scheduled above ArraySet1 incorrectly.
/// CHECK-START-ARM64: void Main.CrossOverLoop(int[], int[]) scheduler (before)
/// CHECK: <<ParamA:l\d+>> ParameterValue loop:none
/// CHECK: <<ParamB:l\d+>> ParameterValue loop:none
/// CHECK: <<NullB:l\d+>> NullCheck [<<ParamB>>] loop:none
/// CHECK: <<NullA:l\d+>> NullCheck [<<ParamA>>] loop:none
/// CHECK: Phi loop:<<Loop:B\d+>> outer_loop:none
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<NullB>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
/// CHECK: <<Addr1:i\d+>> IntermediateAddress [<<NullA>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: <<ArraySet1:v\d+>> ArraySet [<<Addr1>>,{{i\d+}},{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<NullB>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
/// CHECK: <<ArraySet2:v\d+>> ArraySet [<<Addr1>>,{{i\d+}},{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
/// CHECK-START-ARM64: void Main.CrossOverLoop(int[], int[]) scheduler (after)
/// CHECK: <<ParamA:l\d+>> ParameterValue loop:none
/// CHECK: <<ParamB:l\d+>> ParameterValue loop:none
/// CHECK: <<NullB:l\d+>> NullCheck [<<ParamB>>] loop:none
/// CHECK: <<NullA:l\d+>> NullCheck [<<ParamA>>] loop:none
/// CHECK: Phi loop:<<Loop:B\d+>> outer_loop:none
/// CHECK: <<ArrayGet1:i\d+>> ArrayGet [<<NullB>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: <<Addr1:i\d+>> IntermediateAddress [<<NullA>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: Add [<<ArrayGet1>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: <<ArraySet1:v\d+>> ArraySet [<<Addr1>>,{{i\d+}},{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: <<ArrayGet2:i\d+>> ArrayGet [<<NullB>>,{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
/// CHECK: <<ArraySet2:v\d+>> ArraySet [<<Addr1>>,{{i\d+}},{{i\d+}}] loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
private static void CrossOverLoop(int a[], int b[]) {
b[20] = 99;
for (int i = 0; i < a.length; i++) {
a[i] = b[20] - 7;
i++;
a[i] = b[20] - 7;
}
}
// This test case is similar to above cross over loop,
// but has more complex chains of transforming the original references:
// ParameterValue --> BoundType --> NullCheck --> ArrayGet.
// ParameterValue --> BoundType --> NullCheck --> IntermediateAddress --> ArraySet.
// After using LSA to analyze the orginal references, the scheduler should be able
// to find out that 'a' and 'b' may alias, hence unable to schedule these ArraGet/Set.
/// CHECK-START-ARM64: void Main.CrossOverLoop2(java.lang.Object, java.lang.Object) scheduler (before)
/// CHECK: Phi loop:<<Loop:B\d+>> outer_loop:none
/// CHECK: ArrayGet loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
/// CHECK: ArraySet loop:<<Loop>> outer_loop:none
/// CHECK: ArrayGet loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
/// CHECK: ArraySet loop:<<Loop>> outer_loop:none
/// CHECK-START-ARM64: void Main.CrossOverLoop2(java.lang.Object, java.lang.Object) scheduler (after)
/// CHECK: Phi loop:<<Loop:B\d+>> outer_loop:none
/// CHECK: ArrayGet loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
/// CHECK: ArraySet loop:<<Loop>> outer_loop:none
/// CHECK: ArrayGet loop:<<Loop>> outer_loop:none
/// CHECK: Add loop:<<Loop>> outer_loop:none
/// CHECK: ArraySet loop:<<Loop>> outer_loop:none
private static void CrossOverLoop2(Object a, Object b) {
((int[])b)[20] = 99;
for (int i = 0; i < ((int[])a).length; i++) {
((int[])a)[i] = ((int[])b)[20] - 7;
i++;
((int[])a)[i] = ((int[])b)[20] - 7;
}
}
/// CHECK-START-ARM: void Main.accessFields() scheduler (before)
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: StaticFieldGet
/// CHECK: Add
/// CHECK: StaticFieldSet
/// CHECK: StaticFieldGet
/// CHECK: Add
/// CHECK: StaticFieldSet
/// CHECK-START-ARM: void Main.accessFields() scheduler (after)
/// CHECK-DAG: InstanceFieldGet
/// CHECK-DAG: InstanceFieldGet
/// CHECK-DAG: StaticFieldGet
/// CHECK-DAG: StaticFieldGet
/// CHECK: Add
/// CHECK: Add
/// CHECK: Add
/// CHECK: Add
/// CHECK-DAG: InstanceFieldSet
/// CHECK-DAG: InstanceFieldSet
/// CHECK-DAG: StaticFieldSet
/// CHECK-DAG: StaticFieldSet
/// CHECK-START-ARM64: void Main.accessFields() scheduler (before)
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: StaticFieldGet
/// CHECK: Add
/// CHECK: StaticFieldSet
/// CHECK: StaticFieldGet
/// CHECK: Add
/// CHECK: StaticFieldSet
/// CHECK-START-ARM64: void Main.accessFields() scheduler (after)
/// CHECK-DAG: InstanceFieldGet
/// CHECK-DAG: InstanceFieldGet
/// CHECK-DAG: StaticFieldGet
/// CHECK-DAG: StaticFieldGet
/// CHECK: Add
/// CHECK: Add
/// CHECK: Add
/// CHECK: Add
/// CHECK-DAG: InstanceFieldSet
/// CHECK-DAG: InstanceFieldSet
/// CHECK-DAG: StaticFieldSet
/// CHECK-DAG: StaticFieldSet
public void accessFields() {
my_obj = new ExampleObj(1, 2);
for (int i = 0; i < 10; i++) {
my_obj.n1++;
my_obj.n2++;
// Note: ClinitCheck(Main) is eliminated because Main initialization is trivial. b/62478025
number1++;
number2++;
}
}
/// CHECK-START-ARM: void Main.accessFieldsVolatile() scheduler (before)
/// CHECK-START-ARM64: void Main.accessFieldsVolatile() scheduler (before)
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: StaticFieldGet
/// CHECK: Add
/// CHECK: StaticFieldSet
/// CHECK: StaticFieldGet
/// CHECK: Add
/// CHECK: StaticFieldSet
/// CHECK-START-ARM: void Main.accessFieldsVolatile() scheduler (after)
/// CHECK-START-ARM64: void Main.accessFieldsVolatile() scheduler (after)
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: StaticFieldGet
/// CHECK: Add
/// CHECK: StaticFieldSet
/// CHECK: StaticFieldGet
/// CHECK: Add
/// CHECK: StaticFieldSet
public void accessFieldsVolatile() {
my_obj = new ExampleObj(1, 2);
for (int i = 0; i < 10; i++) {
my_obj.n1++;
my_obj.n2++;
number1++;
number3++;
}
}
/// CHECK-START-ARM: void Main.accessFieldsUnresolved() scheduler (before)
/// CHECK-START-ARM64: void Main.accessFieldsUnresolved() scheduler (before)
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: UnresolvedInstanceFieldGet
/// CHECK: Add
/// CHECK: UnresolvedInstanceFieldSet
/// CHECK: UnresolvedStaticFieldGet
/// CHECK: Add
/// CHECK: UnresolvedStaticFieldSet
/// CHECK-START-ARM: void Main.accessFieldsUnresolved() scheduler (after)
/// CHECK-START-ARM64: void Main.accessFieldsUnresolved() scheduler (after)
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: InstanceFieldGet
/// CHECK: Add
/// CHECK: InstanceFieldSet
/// CHECK: UnresolvedInstanceFieldGet
/// CHECK: Add
/// CHECK: UnresolvedInstanceFieldSet
/// CHECK: UnresolvedStaticFieldGet
/// CHECK: Add
/// CHECK: UnresolvedStaticFieldSet
public void accessFieldsUnresolved() {
my_obj = new ExampleObj(1, 2);
UnresolvedClass unresolved_obj = new UnresolvedClass();
for (int i = 0; i < 10; i++) {
my_obj.n1++;
my_obj.n2++;
unresolved_obj.instanceInt++;
UnresolvedClass.staticInt++;
}
}
/// CHECK-START-ARM64: int Main.intDiv(int) scheduler (before)
/// CHECK: Sub
/// CHECK: DivZeroCheck
/// CHECK: Div
/// CHECK: StaticFieldSet
/// CHECK-START-ARM64: int Main.intDiv(int) scheduler (after)
/// CHECK: Sub
/// CHECK-NOT: StaticFieldSet
/// CHECK: DivZeroCheck
/// CHECK-NOT: Sub
/// CHECK: Div
public static int intDiv(int arg) {
int res = 0;
int tmp = arg;
for (int i = 1; i < arg; i++) {
tmp -= i;
res = res / i; // div-zero check barrier.
static_variable++;
}
res += tmp;
return res;
}
private static void expectEquals(int expected, int result) {
if (expected != result) {
throw new Error("Expected: " + expected + ", found: " + result);
}
}
private static final int ARRAY_SIZE = 32;
// Check that VecReplicateScalar is not reordered.
/// CHECK-START-ARM64: void Main.testVecReplicateScalar() scheduler (before)
/// CHECK: Phi loop:<<Loop:B\d+>> outer_loop:none
/// CHECK: NewArray loop:<<Loop>> outer_loop:none
/// CHECK: VecReplicateScalar loop:<<Loop>> outer_loop:none
/// CHECK-START-ARM64: void Main.testVecReplicateScalar() scheduler (after)
/// CHECK: Phi loop:<<Loop:B\d+>> outer_loop:none
/// CHECK: NewArray loop:<<Loop>> outer_loop:none
/// CHECK: VecReplicateScalar loop:<<Loop>> outer_loop:none
private static void testVecReplicateScalar() {
for (int j = 0; j <= 8; j++) {
int[] a = new int[ARRAY_SIZE];
for (int i = 0; i < a.length; i++) {
a[i] += 1;
}
for (int i = 0; i < a.length; i++) {
expectEquals(1, a[i]);
}
}
}
// Check that VecSetScalars, VecReduce, VecExtractScalar are not reordered.
/// CHECK-START-ARM64: void Main.testVecSetScalars() scheduler (before)
/// CHECK: Phi loop:<<Loop:B\d+>> outer_loop:none
/// CHECK: NewArray loop:<<Loop>> outer_loop:none
/// CHECK: VecSetScalars loop:<<Loop>> outer_loop:none
//
/// CHECK: VecReduce loop:<<Loop>> outer_loop:none
/// CHECK: VecExtractScalar loop:<<Loop>> outer_loop:none
/// CHECK: InvokeStaticOrDirect loop:<<Loop>> outer_loop:none
/// CHECK: InvokeStaticOrDirect loop:<<Loop>> outer_loop:none
/// CHECK-START-ARM64: void Main.testVecSetScalars() scheduler (after)
/// CHECK: Phi loop:<<Loop:B\d+>> outer_loop:none
/// CHECK: NewArray loop:<<Loop>> outer_loop:none
/// CHECK: VecSetScalars loop:<<Loop>> outer_loop:none
//
/// CHECK: VecReduce loop:<<Loop>> outer_loop:none
/// CHECK: VecExtractScalar loop:<<Loop>> outer_loop:none
/// CHECK: InvokeStaticOrDirect loop:<<Loop>> outer_loop:none
/// CHECK: InvokeStaticOrDirect loop:<<Loop>> outer_loop:none
private static void testVecSetScalars() {
for (int j = 0; j <= 8; j++) {
int[] a = new int[ARRAY_SIZE];
int s = 5;
for (int i = 0; i < ARRAY_SIZE; i++) {
s+=a[i];
}
expectEquals(a[0], 0);
expectEquals(s, 5);
}
}
public static void main(String[] args) {
testVecSetScalars();
testVecReplicateScalar();
if ((arrayAccess() + intDiv(10)) != -35) {
System.out.println("FAIL");
}
}
}