David Brazdil | 77a48ae | 2015-09-15 12:34:04 +0000 | [diff] [blame] | 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 |