| # Copyright (C) 2015 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 LTestCase; |
| |
| .super Ljava/lang/Object; |
| |
| .method public static $inline$True()Z |
| .registers 1 |
| const/4 v0, 1 |
| return v0 |
| .end method |
| |
| |
| # CHECK-START: int TestCase.testSingleExit(int, boolean) dead_code_elimination_final (before) |
| # CHECK-DAG: [[ArgX:i\d+]] ParameterValue |
| # CHECK-DAG: [[ArgY:z\d+]] ParameterValue |
| # CHECK-DAG: [[Cst1:i\d+]] IntConstant 1 |
| # CHECK-DAG: [[Cst5:i\d+]] IntConstant 5 |
| # CHECK-DAG: [[Cst7:i\d+]] IntConstant 7 |
| # CHECK-DAG: [[PhiX:i\d+]] Phi [ [[ArgX]] [[Add5:i\d+]] [[Add7:i\d+]] ] loop_header:[[HeaderY:B\d+]] |
| # CHECK-DAG: If [ [[ArgY]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[Cst1]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add5]] Add [ [[PhiX]] [[Cst5]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add7]] Add [ [[PhiX]] [[Cst7]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: Return [ [[PhiX]] ] loop_header:null |
| |
| # CHECK-START: int TestCase.testSingleExit(int, boolean) dead_code_elimination_final (after) |
| # CHECK-DAG: [[ArgX:i\d+]] ParameterValue |
| # CHECK-DAG: [[ArgY:z\d+]] ParameterValue |
| # CHECK-DAG: [[Cst7:i\d+]] IntConstant 7 |
| # CHECK-DAG: [[PhiX:i\d+]] Phi [ [[ArgX]] [[AddX:i\d+]] ] loop_header:[[HeaderY:B\d+]] |
| # CHECK-DAG: If [ [[ArgY]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[AddX]] Add [ [[PhiX]] [[Cst7]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: Return [ [[PhiX]] ] loop_header:null |
| |
| .method public static testSingleExit(IZ)I |
| .registers 3 |
| |
| # p0 = int X |
| # p1 = boolean Y |
| # v0 = true |
| |
| invoke-static {}, LTestCase;->$inline$True()Z |
| move-result v0 |
| |
| :loop_start |
| if-eqz p1, :loop_body # cannot be determined statically |
| if-nez v0, :loop_end # will always exit |
| |
| # Dead block |
| add-int/lit8 p0, p0, 5 |
| goto :loop_start |
| |
| # Live block |
| :loop_body |
| add-int/lit8 p0, p0, 7 |
| goto :loop_start |
| |
| :loop_end |
| return p0 |
| .end method |
| |
| |
| # CHECK-START: int TestCase.testMultipleExits(int, boolean, boolean) dead_code_elimination_final (before) |
| # CHECK-DAG: [[ArgX:i\d+]] ParameterValue |
| # CHECK-DAG: [[ArgY:z\d+]] ParameterValue |
| # CHECK-DAG: [[ArgZ:z\d+]] ParameterValue |
| # CHECK-DAG: [[Cst1:i\d+]] IntConstant 1 |
| # CHECK-DAG: [[Cst5:i\d+]] IntConstant 5 |
| # CHECK-DAG: [[Cst7:i\d+]] IntConstant 7 |
| # CHECK-DAG: [[PhiX:i\d+]] Phi [ [[ArgX]] [[Add5:i\d+]] [[Add7:i\d+]] ] loop_header:[[HeaderY:B\d+]] |
| # CHECK-DAG: If [ [[ArgY]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[ArgZ]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[Cst1]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add5]] Add [ [[PhiX]] [[Cst5]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add7]] Add [ [[PhiX]] [[Cst7]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: Return [ [[PhiX]] ] loop_header:null |
| |
| # CHECK-START: int TestCase.testMultipleExits(int, boolean, boolean) dead_code_elimination_final (after) |
| # CHECK-DAG: [[ArgX:i\d+]] ParameterValue |
| # CHECK-DAG: [[ArgY:z\d+]] ParameterValue |
| # CHECK-DAG: [[ArgZ:z\d+]] ParameterValue |
| # CHECK-DAG: [[Cst7:i\d+]] IntConstant 7 |
| # CHECK-DAG: [[PhiX:i\d+]] Phi [ [[ArgX]] [[Add7:i\d+]] ] loop_header:[[HeaderY:B\d+]] |
| # CHECK-DAG: If [ [[ArgY]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add7]] Add [ [[PhiX]] [[Cst7]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[ArgZ]] ] loop_header:null |
| # CHECK-DAG: Return [ [[PhiX]] ] loop_header:null |
| |
| .method public static testMultipleExits(IZZ)I |
| .registers 4 |
| |
| # p0 = int X |
| # p1 = boolean Y |
| # p2 = boolean Z |
| # v0 = true |
| |
| invoke-static {}, LTestCase;->$inline$True()Z |
| move-result v0 |
| |
| :loop_start |
| if-eqz p1, :loop_body # cannot be determined statically |
| if-nez p2, :loop_end # may exit |
| if-nez v0, :loop_end # will always exit |
| |
| # Dead block |
| add-int/lit8 p0, p0, 5 |
| goto :loop_start |
| |
| # Live block |
| :loop_body |
| add-int/lit8 p0, p0, 7 |
| goto :loop_start |
| |
| :loop_end |
| return p0 |
| .end method |
| |
| |
| # CHECK-START: int TestCase.testExitPredecessors(int, boolean, boolean) dead_code_elimination_final (before) |
| # CHECK-DAG: [[ArgX:i\d+]] ParameterValue |
| # CHECK-DAG: [[ArgY:z\d+]] ParameterValue |
| # CHECK-DAG: [[ArgZ:z\d+]] ParameterValue |
| # CHECK-DAG: [[Cst1:i\d+]] IntConstant 1 |
| # CHECK-DAG: [[Cst5:i\d+]] IntConstant 5 |
| # CHECK-DAG: [[Cst7:i\d+]] IntConstant 7 |
| # CHECK-DAG: [[Cst9:i\d+]] IntConstant 9 |
| # CHECK-DAG: [[PhiX1:i\d+]] Phi [ [[ArgX]] [[Add5:i\d+]] [[Add7:i\d+]] ] loop_header:[[HeaderY:B\d+]] |
| # CHECK-DAG: If [ [[ArgY]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[ArgZ]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Mul9:i\d+]] Mul [ [[PhiX1]] [[Cst9]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[PhiX2:i\d+]] Phi [ [[Mul9]] [[PhiX1]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[Cst1]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add5]] Add [ [[PhiX2]] [[Cst5]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add7]] Add [ [[PhiX1]] [[Cst7]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: Return [ [[PhiX2]] ] loop_header:null |
| |
| # CHECK-START: int TestCase.testExitPredecessors(int, boolean, boolean) dead_code_elimination_final (after) |
| # CHECK-DAG: [[ArgX:i\d+]] ParameterValue |
| # CHECK-DAG: [[ArgY:z\d+]] ParameterValue |
| # CHECK-DAG: [[ArgZ:z\d+]] ParameterValue |
| # CHECK-DAG: [[Cst7:i\d+]] IntConstant 7 |
| # CHECK-DAG: [[Cst9:i\d+]] IntConstant 9 |
| # CHECK-DAG: [[PhiX1:i\d+]] Phi [ [[ArgX]] [[Add7:i\d+]] ] loop_header:[[HeaderY:B\d+]] |
| # CHECK-DAG: If [ [[ArgY]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add7]] Add [ [[PhiX1]] [[Cst7]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[ArgZ]] ] loop_header:null |
| # CHECK-DAG: [[Mul9:i\d+]] Mul [ [[PhiX1]] [[Cst9]] ] loop_header:null |
| # CHECK-DAG: [[PhiX2:i\d+]] Phi [ [[Mul9]] [[PhiX1]] ] loop_header:null |
| # CHECK-DAG: Return [ [[PhiX2]] ] loop_header:null |
| |
| .method public static testExitPredecessors(IZZ)I |
| .registers 4 |
| |
| # p0 = int X |
| # p1 = boolean Y |
| # p2 = boolean Z |
| # v0 = true |
| |
| invoke-static {}, LTestCase;->$inline$True()Z |
| move-result v0 |
| |
| :loop_start |
| if-eqz p1, :loop_body # cannot be determined statically |
| |
| # Additional logic which will end up outside the loop |
| if-eqz p2, :skip_if |
| mul-int/lit8 p0, p0, 9 |
| :skip_if |
| |
| if-nez v0, :loop_end # will always take the branch |
| |
| # Dead block |
| add-int/lit8 p0, p0, 5 |
| goto :loop_start |
| |
| # Live block |
| :loop_body |
| add-int/lit8 p0, p0, 7 |
| goto :loop_start |
| |
| :loop_end |
| return p0 |
| .end method |
| |
| |
| # CHECK-START: int TestCase.testInnerLoop(int, boolean, boolean) dead_code_elimination_final (before) |
| # CHECK-DAG: [[ArgX:i\d+]] ParameterValue |
| # CHECK-DAG: [[ArgY:z\d+]] ParameterValue |
| # CHECK-DAG: [[ArgZ:z\d+]] ParameterValue |
| # CHECK-DAG: [[Cst0:i\d+]] IntConstant 0 |
| # CHECK-DAG: [[Cst1:i\d+]] IntConstant 1 |
| # CHECK-DAG: [[Cst5:i\d+]] IntConstant 5 |
| # CHECK-DAG: [[Cst7:i\d+]] IntConstant 7 |
| # |
| # CHECK-DAG: [[PhiX:i\d+]] Phi [ [[ArgX]] [[Add5:i\d+]] [[Add7:i\d+]] ] loop_header:[[HeaderY:B\d+]] |
| # CHECK-DAG: [[PhiZ1:i\d+]] Phi [ [[ArgZ]] [[XorZ:i\d+]] [[PhiZ1]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[ArgY]] ] loop_header:[[HeaderY]] |
| # |
| # ### Inner loop ### |
| # CHECK-DAG: [[PhiZ2:i\d+]] Phi [ [[PhiZ1]] [[XorZ]] ] loop_header:[[HeaderZ:B\d+]] |
| # CHECK-DAG: [[XorZ]] Xor [ [[PhiZ2]] [[Cst1]] ] loop_header:[[HeaderZ]] |
| # CHECK-DAG: [[CondZ:z\d+]] Equal [ [[XorZ]] [[Cst0]] ] loop_header:[[HeaderZ]] |
| # CHECK-DAG: If [ [[CondZ]] ] loop_header:[[HeaderZ]] |
| # |
| # CHECK-DAG: [[Add5]] Add [ [[PhiX]] [[Cst5]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add7]] Add [ [[PhiX]] [[Cst7]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: Return [ [[PhiX]] ] loop_header:null |
| |
| # CHECK-START: int TestCase.testInnerLoop(int, boolean, boolean) dead_code_elimination_final (after) |
| # CHECK-DAG: [[ArgX:i\d+]] ParameterValue |
| # CHECK-DAG: [[ArgY:z\d+]] ParameterValue |
| # CHECK-DAG: [[ArgZ:z\d+]] ParameterValue |
| # CHECK-DAG: [[Cst0:i\d+]] IntConstant 0 |
| # CHECK-DAG: [[Cst1:i\d+]] IntConstant 1 |
| # CHECK-DAG: [[Cst7:i\d+]] IntConstant 7 |
| # |
| # CHECK-DAG: [[PhiX:i\d+]] Phi [ [[ArgX]] [[Add7:i\d+]] ] loop_header:[[HeaderY:B\d+]] |
| # CHECK-DAG: [[PhiZ1:i\d+]] Phi [ [[ArgZ]] [[PhiZ1]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: If [ [[ArgY]] ] loop_header:[[HeaderY]] |
| # CHECK-DAG: [[Add7]] Add [ [[PhiX]] [[Cst7]] ] loop_header:[[HeaderY]] |
| # |
| # ### Inner loop ### |
| # CHECK-DAG: [[PhiZ2:i\d+]] Phi [ [[PhiZ1]] [[XorZ:i\d+]] ] loop_header:[[HeaderZ:B\d+]] |
| # CHECK-DAG: [[XorZ]] Xor [ [[PhiZ2]] [[Cst1]] ] loop_header:[[HeaderZ]] |
| # CHECK-DAG: [[CondZ:z\d+]] Equal [ [[XorZ]] [[Cst0]] ] loop_header:[[HeaderZ]] |
| # CHECK-DAG: If [ [[CondZ]] ] loop_header:[[HeaderZ]] |
| # |
| # CHECK-DAG: Return [ [[PhiX]] ] loop_header:null |
| |
| .method public static testInnerLoop(IZZ)I |
| .registers 4 |
| |
| # p0 = int X |
| # p1 = boolean Y |
| # p2 = boolean Z |
| # v0 = true |
| |
| invoke-static {}, LTestCase;->$inline$True()Z |
| move-result v0 |
| |
| :loop_start |
| if-eqz p1, :loop_body # cannot be determined statically |
| |
| # Inner loop which will end up outside its parent |
| :inner_loop_start |
| xor-int/lit8 p2, p2, 1 |
| if-eqz p2, :inner_loop_start |
| |
| if-nez v0, :loop_end # will always take the branch |
| |
| # Dead block |
| add-int/lit8 p0, p0, 5 |
| goto :loop_start |
| |
| # Live block |
| :loop_body |
| add-int/lit8 p0, p0, 7 |
| goto :loop_start |
| |
| :loop_end |
| return p0 |
| .end method |