1 # Copyright (C) 2016 The Android Open Source Project 2 # 3 # Licensed under the Apache License, Version 2.0 (the "License"); 4 # you may not use this file except in compliance with the License. 5 # You may obtain a copy of the License at 6 # 7 # http://www.apache.org/licenses/LICENSE-2.0 8 # 9 # Unless required by applicable law or agreed to in writing, software 10 # distributed under the License is distributed on an "AS IS" BASIS, 11 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 # See the License for the specific language governing permissions and 13 # limitations under the License. 14 15 .class public LTestCase; 16 .super Ljava/lang/Object; 17 18 # Test that all vregs holding the new-instance are updated after the 19 # StringFactory call. 20 21 ## CHECK-START: java.lang.String TestCase.vregAliasing(byte[]) register (after) 22 ## CHECK-DAG: Return [<<String:l\d+>>] 23 ## CHECK-DAG: <<String>> InvokeStaticOrDirect method_name:java.lang.String.<init> 24 25 .method public static vregAliasing([B)Ljava/lang/String; 26 .registers 5 27 28 # Create new instance of String and store it to v0, v1, v2. 29 new-instance v0, Ljava/lang/String; 30 move-object v1, v0 31 move-object v2, v0 32 33 # Call String.<init> on v1. 34 const-string v3, "UTF8" 35 invoke-direct {v1, p0, v3}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 36 37 # Return the object from v2. 38 return-object v2 39 40 .end method 41 42 # Test usage of String new-instance before it is initialized. 43 44 ## CHECK-START: void TestCase.compareNewInstance() register (after) 45 ## CHECK-DAG: <<Null:l\d+>> InvokeStaticOrDirect method_name:Main.$noinline$HiddenNull 46 ## CHECK-DAG: <<String:l\d+>> NewInstance 47 ## CHECK-DAG: <<Cond:z\d+>> NotEqual [<<Null>>,<<String>>] 48 ## CHECK-DAG: If [<<Cond>>] 49 50 .method public static compareNewInstance()V 51 .registers 3 52 53 invoke-static {}, LMain;->$noinline$HiddenNull()Ljava/lang/Object; 54 move-result-object v1 55 56 new-instance v0, Ljava/lang/String; 57 if-ne v0, v1, :return 58 59 # Will throw NullPointerException if this branch is taken. 60 const v1, 0x0 61 const-string v2, "UTF8" 62 invoke-direct {v0, v1, v2}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 63 return-void 64 65 :return 66 return-void 67 68 .end method 69 70 # Test deoptimization between String's allocation and initialization. When not 71 # compiling --debuggable, the NewInstance will be optimized out. 72 73 ## CHECK-START: int TestCase.deoptimizeNewInstance(int[], byte[]) register (after) 74 ## CHECK: <<Null:l\d+>> NullConstant 75 ## CHECK: Deoptimize env:[[<<Null>>,{{.*]]}} 76 ## CHECK: InvokeStaticOrDirect method_name:java.lang.String.<init> 77 78 ## CHECK-START-DEBUGGABLE: int TestCase.deoptimizeNewInstance(int[], byte[]) register (after) 79 ## CHECK: <<String:l\d+>> NewInstance 80 ## CHECK: Deoptimize env:[[<<String>>,{{.*]]}} 81 ## CHECK: InvokeStaticOrDirect method_name:java.lang.String.<init> 82 83 .method public static deoptimizeNewInstance([I[B)I 84 .registers 6 85 86 const v2, 0x0 87 const v1, 0x1 88 89 new-instance v0, Ljava/lang/String; 90 91 # Deoptimize here if the array is too short. 92 aget v1, p0, v1 93 add-int/2addr v2, v1 94 95 # Check that we're being executed by the interpreter. 96 invoke-static {}, LMain;->assertIsInterpreted()V 97 98 # String allocation should succeed. 99 const-string v3, "UTF8" 100 invoke-direct {v0, p1, v3}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 101 102 # This ArrayGet will throw ArrayIndexOutOfBoundsException. 103 const v1, 0x4 104 aget v1, p0, v1 105 add-int/2addr v2, v1 106 107 return v2 108 109 .end method 110 111 # Test that a redundant NewInstance is removed if not used and not compiling 112 # --debuggable. 113 114 ## CHECK-START: java.lang.String TestCase.removeNewInstance(byte[]) register (after) 115 ## CHECK-NOT: NewInstance 116 ## CHECK-NOT: LoadClass 117 118 ## CHECK-START-DEBUGGABLE: java.lang.String TestCase.removeNewInstance(byte[]) register (after) 119 ## CHECK: NewInstance 120 121 .method public static removeNewInstance([B)Ljava/lang/String; 122 .registers 5 123 124 new-instance v0, Ljava/lang/String; 125 const-string v1, "UTF8" 126 invoke-direct {v0, p0, v1}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 127 return-object v0 128 129 .end method 130 131 # Test that the compiler does not assume that the first argument of String.<init> 132 # is a NewInstance by inserting an irreducible loop between them (b/26676472). 133 134 # We verify the type of the input instruction (Phi) in debuggable mode, because 135 # it is eliminated by later stages of SsaBuilder otherwise. 136 137 ## CHECK-START-DEBUGGABLE: java.lang.String TestCase.thisNotNewInstance1(byte[], boolean) register (after) 138 ## CHECK-DAG: InvokeStaticOrDirect env:[[<<Phi:l\d+>>,{{.*]]}} 139 ## CHECK-DAG: <<Phi>> Phi 140 141 .method public static thisNotNewInstance1([BZ)Ljava/lang/String; 142 .registers 5 143 144 new-instance v0, Ljava/lang/String; 145 146 # Irreducible loop 147 if-eqz p1, :loop_entry 148 :loop_header 149 const v1, 0x1 150 xor-int p1, p1, v1 151 :loop_entry 152 if-eqz p1, :string_init 153 goto :loop_header 154 155 :string_init 156 const-string v1, "UTF8" 157 invoke-direct {v0, p0, v1}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 158 return-object v0 159 160 .end method 161 162 ## CHECK-START-DEBUGGABLE: java.lang.String TestCase.thisNotNewInstance2(byte[], boolean) register (after) 163 ## CHECK-DAG: InvokeStaticOrDirect env:[[<<Phi:l\d+>>,{{.*]]}} 164 ## CHECK-DAG: <<Phi>> Phi 165 166 .method public static thisNotNewInstance2([BZ)Ljava/lang/String; 167 .registers 5 168 169 new-instance v0, Ljava/lang/String; 170 171 # Irreducible loop 172 if-eqz p1, :loop_entry 173 :loop_header 174 if-eqz p1, :string_init 175 :loop_entry 176 const v1, 0x1 177 xor-int p1, p1, v1 178 goto :loop_header 179 180 :string_init 181 const-string v1, "UTF8" 182 invoke-direct {v0, p0, v1}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 183 return-object v0 184 185 .end method 186
