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