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 LIrreducibleLoop; 16 .super Ljava/lang/Object; 17 18 # Test case in which `inner_back_edge` is not dominated by `inner_header` and 19 # causes `outer_back_edge` to not be dominated by `outer_header`. HGraphBuilder 20 # not do a fix-point iteration and would miss the path to `outer_back_edge` 21 # through `inner_back_edge` and incorrectly label the outer loop non-irreducible. 22 23 ## CHECK-START: int IrreducibleLoop.dominance(int) builder (after) 24 ## CHECK: Add irreducible:true 25 26 .method public static dominance(I)I 27 .registers 2 28 29 if-eqz p0, :outer_header 30 goto :inner_back_edge 31 32 :outer_header 33 if-eqz p0, :inner_header 34 35 :outer_branch_exit 36 if-eqz p0, :outer_merge 37 return p0 38 39 :inner_header 40 goto :outer_merge 41 42 :inner_back_edge 43 goto :inner_header 44 45 :outer_merge 46 if-eqz p0, :inner_back_edge 47 48 :outer_back_edge 49 add-int/2addr p0, p0 50 goto :outer_header 51 52 .end method 53
