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+>> NullConstant 46## CHECK-DAG: <<String:l\d+>> NewInstance 47## CHECK-DAG: <<Cond:z\d+>> NotEqual [<<String>>,<<Null>>] 48## CHECK-DAG: If [<<Cond>>] 49 50.method public static compareNewInstance()V 51 .registers 3 52 53 new-instance v0, Ljava/lang/String; 54 if-nez v0, :return 55 56 # Will throw NullPointerException if this branch is taken. 57 const v1, 0x0 58 const-string v2, "UTF8" 59 invoke-direct {v0, v1, v2}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 60 return-void 61 62 :return 63 return-void 64 65.end method 66 67# Test deoptimization between String's allocation and initialization. When not 68# compiling --debuggable, the NewInstance will be optimized out. 69 70## CHECK-START: int TestCase.deoptimizeNewInstance(int[], byte[]) register (after) 71## CHECK: <<Null:l\d+>> NullConstant 72## CHECK: Deoptimize env:[[<<Null>>,{{.*]]}} 73## CHECK: InvokeStaticOrDirect method_name:java.lang.String.<init> 74 75## CHECK-START-DEBUGGABLE: int TestCase.deoptimizeNewInstance(int[], byte[]) register (after) 76## CHECK: <<String:l\d+>> NewInstance 77## CHECK: Deoptimize env:[[<<String>>,{{.*]]}} 78## CHECK: InvokeStaticOrDirect method_name:java.lang.String.<init> 79 80.method public static deoptimizeNewInstance([I[B)I 81 .registers 6 82 83 const v2, 0x0 84 const v1, 0x1 85 86 new-instance v0, Ljava/lang/String; 87 88 # Deoptimize here if the array is too short. 89 aget v1, p0, v1 90 add-int/2addr v2, v1 91 92 # Check that we're being executed by the interpreter. 93 invoke-static {}, LMain;->assertIsInterpreted()V 94 95 # String allocation should succeed. 96 const-string v3, "UTF8" 97 invoke-direct {v0, p1, v3}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 98 99 # This ArrayGet will throw ArrayIndexOutOfBoundsException. 100 const v1, 0x4 101 aget v1, p0, v1 102 add-int/2addr v2, v1 103 104 return v2 105 106.end method 107 108# Test that a redundant NewInstance is removed if not used and not compiling 109# --debuggable. 110 111## CHECK-START: java.lang.String TestCase.removeNewInstance(byte[]) register (after) 112## CHECK-NOT: NewInstance 113## CHECK-NOT: LoadClass 114 115## CHECK-START-DEBUGGABLE: java.lang.String TestCase.removeNewInstance(byte[]) register (after) 116## CHECK: NewInstance 117 118.method public static removeNewInstance([B)Ljava/lang/String; 119 .registers 5 120 121 new-instance v0, Ljava/lang/String; 122 const-string v1, "UTF8" 123 invoke-direct {v0, p0, v1}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 124 return-object v0 125 126.end method 127 128# Test that the compiler does not assume that the first argument of String.<init> 129# is a NewInstance by inserting an irreducible loop between them (b/26676472). 130 131# We verify the type of the input instruction (Phi) in debuggable mode, because 132# it is eliminated by later stages of SsaBuilder otherwise. 133 134## CHECK-START-DEBUGGABLE: java.lang.String TestCase.thisNotNewInstance1(byte[], boolean) register (after) 135## CHECK-DAG: InvokeStaticOrDirect env:[[<<Phi:l\d+>>,{{.*]]}} 136## CHECK-DAG: <<Phi>> Phi 137 138.method public static thisNotNewInstance1([BZ)Ljava/lang/String; 139 .registers 5 140 141 new-instance v0, Ljava/lang/String; 142 143 # Irreducible loop 144 if-eqz p1, :loop_entry 145 :loop_header 146 const v1, 0x1 147 xor-int p1, p1, v1 148 :loop_entry 149 if-eqz p1, :string_init 150 goto :loop_header 151 152 :string_init 153 const-string v1, "UTF8" 154 invoke-direct {v0, p0, v1}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 155 return-object v0 156 157.end method 158 159## CHECK-START-DEBUGGABLE: java.lang.String TestCase.thisNotNewInstance2(byte[], boolean) register (after) 160## CHECK-DAG: InvokeStaticOrDirect env:[[<<Phi:l\d+>>,{{.*]]}} 161## CHECK-DAG: <<Phi>> Phi 162 163.method public static thisNotNewInstance2([BZ)Ljava/lang/String; 164 .registers 5 165 166 new-instance v0, Ljava/lang/String; 167 168 # Irreducible loop 169 if-eqz p1, :loop_entry 170 :loop_header 171 if-eqz p1, :string_init 172 :loop_entry 173 const v1, 0x1 174 xor-int p1, p1, v1 175 goto :loop_header 176 177 :string_init 178 const-string v1, "UTF8" 179 invoke-direct {v0, p0, v1}, Ljava/lang/String;-><init>([BLjava/lang/String;)V 180 return-object v0 181 182.end method 183