test/530-checker-lse/smali/Main.smali - LeafOS-Project/android_art - Gitiles

 # Copyright (C) 2018 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 public LMain2;
 .super Ljava/lang/Object;
 .source "Main.java"

 # direct methods

 ## CHECK-START: int Main2.test4(TestClass, boolean) load_store_elimination (before)
 ## CHECK: InstanceFieldSet
 ## CHECK: InstanceFieldGet
 ## CHECK: Return
 ## CHECK: InstanceFieldSet

 ## CHECK-START: int Main2.test4(TestClass, boolean) load_store_elimination (after)
 ## CHECK: InstanceFieldSet
 ## CHECK-NOT: NullCheck
 ## CHECK-NOT: InstanceFieldGet
 ## CHECK: Return
 ## CHECK: InstanceFieldSet

 # Set and merge the same value in two branches.

 # Original java source:
 #
 #     static int test4(TestClass obj, boolean b) {
 #       if (b) {
 #         obj.i = 1;
 #       } else {
 #         obj.i = 1;
 #       }
 #       return obj.i;
 #     }

 .method public static test4(LTestClass;Z)I
     .registers 3
     .param p0, "obj"    # LTestClass;
     .param p1, "b"    # Z

     .prologue
     const/4 v0, 0x1

     .line 185
     if-eqz p1, :cond_8

     .line 186
     iput v0, p0, LTestClass;->i:I

     .line 190
     :goto_5
     iget v0, p0, LTestClass;->i:I

     return v0

     .line 188
     :cond_8
     iput v0, p0, LTestClass;->i:I

     goto :goto_5
 .end method

 ## CHECK-START: int Main2.test5(TestClass, boolean) load_store_elimination (before)
 ## CHECK: InstanceFieldSet
 ## CHECK: InstanceFieldGet
 ## CHECK: Return
 ## CHECK: InstanceFieldSet

 ## CHECK-START: int Main2.test5(TestClass, boolean) load_store_elimination (after)
 ## CHECK: InstanceFieldSet
 ## CHECK: InstanceFieldGet
 ## CHECK: Return
 ## CHECK: InstanceFieldSet

 # Set and merge different values in two branches.
 # Original java source:
 #
 #     static int test5(TestClass obj, boolean b) {
 #       if (b) {
 #         obj.i = 1;
 #       } else {
 #         obj.i = 2;
 #       }
 #       return obj.i;
 #     }

 .method public static test5(LTestClass;Z)I
     .registers 3
     .param p0, "obj"    # LTestClass;
     .param p1, "b"    # Z

     .prologue
     .line 207
     if-eqz p1, :cond_8

     .line 208
     const/4 v0, 0x1

     iput v0, p0, LTestClass;->i:I

     .line 212
     :goto_5
     iget v0, p0, LTestClass;->i:I

     return v0

     .line 210
     :cond_8
     const/4 v0, 0x2

     iput v0, p0, LTestClass;->i:I

     goto :goto_5
 .end method

 ## CHECK-START: int Main2.test10(TestClass) load_store_elimination (before)
 ## CHECK: StaticFieldGet
 ## CHECK: InstanceFieldGet
 ## CHECK: StaticFieldSet
 ## CHECK: InstanceFieldGet

 ## CHECK-START: int Main2.test10(TestClass) load_store_elimination (after)
 ## CHECK: StaticFieldGet
 ## CHECK: InstanceFieldGet
 ## CHECK: StaticFieldSet
 ## CHECK-NOT: NullCheck
 ## CHECK-NOT: InstanceFieldGet

 # Original java source:
 #
 #  // Static fields shouldn't alias with instance fields.
 #  static int test10(TestClass obj) {
 #    TestClass.si += obj.i;
 #    return obj.i;
 #  }

 .method public static test10(LTestClass;)I
     .registers 3
     .param p0, "obj"    # LTestClass;
     sget                v0, LTestClass;->si:I
     iget                v1, p0, LTestClass;->i:I
     add-int/2addr       v0, v1
     sput                v0, LTestClass;->si:I
     iget                p0, p0, LTestClass;->i:I
     return              p0
 .end method

 ## CHECK-START: int Main2.test23(boolean) load_store_elimination (before)
 ## CHECK: NewInstance
 ## CHECK: InstanceFieldSet
 ## CHECK: InstanceFieldGet
 ## CHECK: InstanceFieldSet
 ## CHECK: InstanceFieldGet
 ## CHECK: Return
 ## CHECK: InstanceFieldGet
 ## CHECK: InstanceFieldSet

 ## CHECK-START: int Main2.test23(boolean) load_store_elimination (after)
 ## CHECK: NewInstance
 ## CHECK-NOT: InstanceFieldSet
 ## CHECK-NOT: InstanceFieldGet
 ## CHECK: InstanceFieldSet
 ## CHECK: InstanceFieldGet
 ## CHECK: Return
 ## CHECK-NOT: InstanceFieldGet
 ## CHECK: InstanceFieldSet

 # Test store elimination on merging.

 # Original java source:
 #
 #     static int test23(boolean b) {
 #       TestClass obj = new TestClass();
 #       obj.i = 3;      // This store can be eliminated since the value flows into each branch.
 #       if (b) {
 #         obj.i += 1;   // This store cannot be eliminated due to the merge later.
 #       } else {
 #         obj.i += 2;   // This store cannot be eliminated due to the merge later.
 #       }
 #       return obj.i;
 #     }

 .method public static test23(Z)I
     .registers 3
     .param p0, "b"    # Z

     .prologue
     .line 582
     new-instance v0, LTestClass;

     invoke-direct {v0}, LTestClass;-><init>()V

     .line 583
     .local v0, "obj":LTestClass;
     const/4 v1, 0x3

     iput v1, v0, LTestClass;->i:I

     .line 584
     if-eqz p0, :cond_13

     .line 585
     iget v1, v0, LTestClass;->i:I

     add-int/lit8 v1, v1, 0x1

     iput v1, v0, LTestClass;->i:I

     .line 589
     :goto_10
     iget v1, v0, LTestClass;->i:I

     return v1

     .line 587
     :cond_13
     iget v1, v0, LTestClass;->i:I

     add-int/lit8 v1, v1, 0x2

     iput v1, v0, LTestClass;->i:I

     goto :goto_10
 .end method

 ## CHECK-START: float Main2.test24() load_store_elimination (before)
 ## CHECK-DAG:     <<True:i\d+>>     IntConstant 1
 ## CHECK-DAG:     <<Float8:f\d+>>   FloatConstant 8
 ## CHECK-DAG:     <<Float42:f\d+>>  FloatConstant 42
 ## CHECK-DAG:     <<Obj:l\d+>>      NewInstance
 ## CHECK-DAG:                       InstanceFieldSet [<<Obj>>,<<True>>]
 ## CHECK-DAG:                       InstanceFieldSet [<<Obj>>,<<Float8>>]
 ## CHECK-DAG:     <<GetTest:z\d+>>  InstanceFieldGet [<<Obj>>]
 ## CHECK-DAG:     <<GetField:f\d+>> InstanceFieldGet [<<Obj>>]
 ## CHECK-DAG:     <<Select:f\d+>>   Select [<<Float42>>,<<GetField>>,<<GetTest>>]
 ## CHECK-DAG:                       Return [<<Select>>]

 ## CHECK-START: float Main2.test24() load_store_elimination (after)
 ## CHECK-DAG:     <<True:i\d+>>     IntConstant 1
 ## CHECK-DAG:     <<Float8:f\d+>>   FloatConstant 8
 ## CHECK-DAG:     <<Float42:f\d+>>  FloatConstant 42
 ## CHECK-DAG:     <<Select:f\d+>>   Select [<<Float42>>,<<Float8>>,<<True>>]
 ## CHECK-DAG:                       Return [<<Select>>]

 # Original java source:
 #
 #     static float test24() {
 #       float a = 42.0f;
 #       TestClass3 obj = new TestClass3();
 #       if (obj.test1) {
 #         a = obj.floatField;
 #       }
 #       return a;
 #     }

 .method public static test24()F
     .registers 3

     .prologue
     .line 612
     const/high16 v0, 0x42280000    # 42.0f

     .line 613
     .local v0, "a":F
     new-instance v1, LTestClass3;

     invoke-direct {v1}, LTestClass3;-><init>()V

     .line 614
     .local v1, "obj":LTestClass3;
     iget-boolean v2, v1, LTestClass3;->test1:Z

     if-eqz v2, :cond_d

     .line 615
     iget v0, v1, LTestClass3;->floatField:F

     .line 617
     :cond_d
     return v0
 .end method
	# Copyright (C) 2018 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 public LMain2;
	.super Ljava/lang/Object;
	.source "Main.java"

	# direct methods

	## CHECK-START: int Main2.test4(TestClass, boolean) load_store_elimination (before)
	## CHECK: InstanceFieldSet
	## CHECK: InstanceFieldGet
	## CHECK: Return
	## CHECK: InstanceFieldSet

	## CHECK-START: int Main2.test4(TestClass, boolean) load_store_elimination (after)
	## CHECK: InstanceFieldSet
	## CHECK-NOT: NullCheck
	## CHECK-NOT: InstanceFieldGet
	## CHECK: Return
	## CHECK: InstanceFieldSet

	# Set and merge the same value in two branches.

	# Original java source:
	#
	# static int test4(TestClass obj, boolean b) {
	# if (b) {
	# obj.i = 1;
	# } else {
	# obj.i = 1;
	# }
	# return obj.i;
	# }

	.method public static test4(LTestClass;Z)I
	.registers 3
	.param p0, "obj" # LTestClass;
	.param p1, "b" # Z

	.prologue
	const/4 v0, 0x1

	.line 185
	if-eqz p1, :cond_8

	.line 186
	iput v0, p0, LTestClass;->i:I

	.line 190
	:goto_5
	iget v0, p0, LTestClass;->i:I

	return v0

	.line 188
	:cond_8
	iput v0, p0, LTestClass;->i:I

	goto :goto_5
	.end method

	## CHECK-START: int Main2.test5(TestClass, boolean) load_store_elimination (before)
	## CHECK: InstanceFieldSet
	## CHECK: InstanceFieldGet
	## CHECK: Return
	## CHECK: InstanceFieldSet

	## CHECK-START: int Main2.test5(TestClass, boolean) load_store_elimination (after)
	## CHECK: InstanceFieldSet
	## CHECK: InstanceFieldGet
	## CHECK: Return
	## CHECK: InstanceFieldSet

	# Set and merge different values in two branches.
	# Original java source:
	#
	# static int test5(TestClass obj, boolean b) {
	# if (b) {
	# obj.i = 1;
	# } else {
	# obj.i = 2;
	# }
	# return obj.i;
	# }

	.method public static test5(LTestClass;Z)I
	.registers 3
	.param p0, "obj" # LTestClass;
	.param p1, "b" # Z

	.prologue
	.line 207
	if-eqz p1, :cond_8

	.line 208
	const/4 v0, 0x1

	iput v0, p0, LTestClass;->i:I

	.line 212
	:goto_5
	iget v0, p0, LTestClass;->i:I

	return v0

	.line 210
	:cond_8
	const/4 v0, 0x2

	iput v0, p0, LTestClass;->i:I

	goto :goto_5
	.end method

	## CHECK-START: int Main2.test10(TestClass) load_store_elimination (before)
	## CHECK: StaticFieldGet
	## CHECK: InstanceFieldGet
	## CHECK: StaticFieldSet
	## CHECK: InstanceFieldGet

	## CHECK-START: int Main2.test10(TestClass) load_store_elimination (after)
	## CHECK: StaticFieldGet
	## CHECK: InstanceFieldGet
	## CHECK: StaticFieldSet
	## CHECK-NOT: NullCheck
	## CHECK-NOT: InstanceFieldGet

	# Original java source:
	#
	# // Static fields shouldn't alias with instance fields.
	# static int test10(TestClass obj) {
	# TestClass.si += obj.i;
	# return obj.i;
	# }

	.method public static test10(LTestClass;)I
	.registers 3
	.param p0, "obj" # LTestClass;
	sget v0, LTestClass;->si:I
	iget v1, p0, LTestClass;->i:I
	add-int/2addr v0, v1
	sput v0, LTestClass;->si:I
	iget p0, p0, LTestClass;->i:I
	return p0
	.end method

	## CHECK-START: int Main2.test23(boolean) load_store_elimination (before)
	## CHECK: NewInstance
	## CHECK: InstanceFieldSet
	## CHECK: InstanceFieldGet
	## CHECK: InstanceFieldSet
	## CHECK: InstanceFieldGet
	## CHECK: Return
	## CHECK: InstanceFieldGet
	## CHECK: InstanceFieldSet

	## CHECK-START: int Main2.test23(boolean) load_store_elimination (after)
	## CHECK: NewInstance
	## CHECK-NOT: InstanceFieldSet
	## CHECK-NOT: InstanceFieldGet
	## CHECK: InstanceFieldSet
	## CHECK: InstanceFieldGet
	## CHECK: Return
	## CHECK-NOT: InstanceFieldGet
	## CHECK: InstanceFieldSet

	# Test store elimination on merging.

	# Original java source:
	#
	# static int test23(boolean b) {
	# TestClass obj = new TestClass();
	# obj.i = 3; // This store can be eliminated since the value flows into each branch.
	# if (b) {
	# obj.i += 1; // This store cannot be eliminated due to the merge later.
	# } else {
	# obj.i += 2; // This store cannot be eliminated due to the merge later.
	# }
	# return obj.i;
	# }

	.method public static test23(Z)I
	.registers 3
	.param p0, "b" # Z

	.prologue
	.line 582
	new-instance v0, LTestClass;

	invoke-direct {v0}, LTestClass;-><init>()V

	.line 583
	.local v0, "obj":LTestClass;
	const/4 v1, 0x3

	iput v1, v0, LTestClass;->i:I

	.line 584
	if-eqz p0, :cond_13

	.line 585
	iget v1, v0, LTestClass;->i:I

	add-int/lit8 v1, v1, 0x1

	iput v1, v0, LTestClass;->i:I

	.line 589
	:goto_10
	iget v1, v0, LTestClass;->i:I

	return v1

	.line 587
	:cond_13
	iget v1, v0, LTestClass;->i:I

	add-int/lit8 v1, v1, 0x2

	iput v1, v0, LTestClass;->i:I

	goto :goto_10
	.end method

	## CHECK-START: float Main2.test24() load_store_elimination (before)
	## CHECK-DAG: <<True:i\d+>> IntConstant 1
	## CHECK-DAG: <<Float8:f\d+>> FloatConstant 8
	## CHECK-DAG: <<Float42:f\d+>> FloatConstant 42
	## CHECK-DAG: <<Obj:l\d+>> NewInstance
	## CHECK-DAG: InstanceFieldSet [<<Obj>>,<<True>>]
	## CHECK-DAG: InstanceFieldSet [<<Obj>>,<<Float8>>]
	## CHECK-DAG: <<GetTest:z\d+>> InstanceFieldGet [<<Obj>>]
	## CHECK-DAG: <<GetField:f\d+>> InstanceFieldGet [<<Obj>>]
	## CHECK-DAG: <<Select:f\d+>> Select [<<Float42>>,<<GetField>>,<<GetTest>>]
	## CHECK-DAG: Return [<<Select>>]

	## CHECK-START: float Main2.test24() load_store_elimination (after)
	## CHECK-DAG: <<True:i\d+>> IntConstant 1
	## CHECK-DAG: <<Float8:f\d+>> FloatConstant 8
	## CHECK-DAG: <<Float42:f\d+>> FloatConstant 42
	## CHECK-DAG: <<Select:f\d+>> Select [<<Float42>>,<<Float8>>,<<True>>]
	## CHECK-DAG: Return [<<Select>>]

	# Original java source:
	#
	# static float test24() {
	# float a = 42.0f;
	# TestClass3 obj = new TestClass3();
	# if (obj.test1) {
	# a = obj.floatField;
	# }
	# return a;
	# }

	.method public static test24()F
	.registers 3

	.prologue
	.line 612
	const/high16 v0, 0x42280000 # 42.0f

	.line 613
	.local v0, "a":F
	new-instance v1, LTestClass3;

	invoke-direct {v1}, LTestClass3;-><init>()V

	.line 614
	.local v1, "obj":LTestClass3;
	iget-boolean v2, v1, LTestClass3;->test1:Z

	if-eqz v2, :cond_d

	.line 615
	iget v0, v1, LTestClass3;->floatField:F

	.line 617
	:cond_d
	return v0
	.end method