1 # Copyright (C) 2015 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 LRegisterAllocator; 16 17 .super Ljava/lang/Object; 18 19 # Test that catch phis are allocated to a stack slot, and that equivalent catch 20 # phis are allocated to the same stack slot. 21 22 ## CHECK-START: int RegisterAllocator.testEquivalentCatchPhiSlot_Single(int, int, int) register (after) 23 ## CHECK-DAG: Phi reg:0 is_catch_phi:true locations:{{\[.*\]}}-><<SlotA1:\d+>>(sp) 24 ## CHECK-DAG: Phi reg:0 is_catch_phi:true locations:{{\[.*\]}}-><<SlotA2:\d+>>(sp) 25 ## CHECK-DAG: Phi reg:1 is_catch_phi:true locations:{{\[.*\]}}-><<SlotB:\d+>>(sp) 26 ## CHECK-EVAL: <<SlotA1>> == <<SlotA2>> 27 ## CHECK-EVAL: <<SlotB>> != <<SlotA1>> 28 29 .method public static testEquivalentCatchPhiSlot_Single(III)I 30 .registers 8 31 32 :try_start 33 const/high16 v0, 0x40000000 # float 2 34 move v1, p0 35 div-int/2addr p0, p1 36 37 const/high16 v0, 0x41000000 # float 8 38 move v1, p1 39 div-int/2addr p0, p2 40 goto :return 41 :try_end 42 .catchall {:try_start .. :try_end} :catch_all 43 44 :catch_all 45 # 2x CatchPhi for v0, 1x for v1 46 if-eqz v1, :use_as_float 47 48 :use_as_int 49 goto :return 50 51 :use_as_float 52 float-to-int v0, v0 53 54 :return 55 return v0 56 .end method 57 58 # Test that wide catch phis are allocated to two stack slots. 59 60 ## CHECK-START: long RegisterAllocator.testEquivalentCatchPhiSlot_Wide(int, int, int) register (after) 61 ## CHECK-DAG: Phi reg:0 is_catch_phi:true locations:{{\[.*\]}}->2x<<SlotB1:\d+>>(sp) 62 ## CHECK-DAG: Phi reg:0 is_catch_phi:true locations:{{\[.*\]}}->2x<<SlotB2:\d+>>(sp) 63 ## CHECK-DAG: Phi reg:2 is_catch_phi:true locations:{{\[.*\]}}-><<SlotA:\d+>>(sp) 64 ## CHECK-EVAL: <<SlotB1>> == <<SlotB2>> 65 ## CHECK-EVAL: abs(<<SlotA>> - <<SlotB1>>) >= 8 66 67 .method public static testEquivalentCatchPhiSlot_Wide(III)J 68 .registers 8 69 70 :try_start 71 const-wide/high16 v0, 0x4000000000000000L # double 2 72 move v2, p0 73 div-int/2addr p0, p1 74 75 const-wide/high16 v0, 0x4100000000000000L # double 8 76 move v2, p1 77 div-int/2addr p0, p2 78 goto :return 79 :try_end 80 .catchall {:try_start .. :try_end} :catch_all 81 82 :catch_all 83 # 2x CatchPhi for v0, 1x for v2 84 if-eqz v2, :use_as_double 85 86 :use_as_long 87 goto :return 88 89 :use_as_double 90 double-to-long v0, v0 91 92 :return 93 return-wide v0 94 .end method 95
