| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6 | |
| ; RUN: opt -passes=loop-fusion -S < %s 2>&1 | FileCheck %s | |
| ; The non-loop block of loop for.cond.cleanup13 is not the immediate successor | |
| ; of its exit block, then it should not be eligible for fusion. | |
| define void @non_immediate_exit() { | |
| ; CHECK-LABEL: define void @non_immediate_exit() { | |
| ; CHECK-NEXT: [[ENTRY:.*:]] | |
| ; CHECK-NEXT: br i1 false, label %[[IF_ELSE_1:.*]], label %[[FOR_COND_CLEANUP13_PREHEADER:.*]] | |
| ; CHECK: [[FOR_COND_CLEANUP13_PREHEADER]]: | |
| ; CHECK-NEXT: br label %[[FOR_COND_CLEANUP13:.*]] | |
| ; CHECK: [[FOR_COND_CLEANUP13]]: | |
| ; CHECK-NEXT: br i1 true, label %[[FOR_INC21:.*]], label %[[FOR_COND_CLEANUP13]] | |
| ; CHECK: [[FOR_INC21]]: | |
| ; CHECK-NEXT: br label %[[IF_THEN_1:.*]] | |
| ; CHECK: [[IF_THEN_1]]: | |
| ; CHECK-NEXT: br label %[[IF_ELSE_1]] | |
| ; CHECK: [[IF_ELSE_1]]: | |
| ; CHECK-NEXT: br i1 false, label %[[IF_ELSE_2:.*]], label %[[FOR_COND_CLEANUP13_1_PREHEADER:.*]] | |
| ; CHECK: [[FOR_COND_CLEANUP13_1_PREHEADER]]: | |
| ; CHECK-NEXT: br label %[[FOR_COND_CLEANUP13_1:.*]] | |
| ; CHECK: [[FOR_COND_CLEANUP13_1]]: | |
| ; CHECK-NEXT: br i1 true, label %[[IF_ELSE_2_LOOPEXIT:.*]], label %[[FOR_COND_CLEANUP13_1]] | |
| ; CHECK: [[IF_ELSE_2_LOOPEXIT]]: | |
| ; CHECK-NEXT: br label %[[IF_ELSE_2]] | |
| ; CHECK: [[IF_ELSE_2]]: | |
| ; CHECK-NEXT: ret void | |
| ; | |
| entry: | |
| br i1 false, label %if.else.1, label %for.cond.cleanup13 | |
| for.cond.cleanup13: ; preds = %for.cond.cleanup13, %entry | |
| br i1 true, label %for.inc21, label %for.cond.cleanup13 | |
| for.inc21: ; preds = %for.cond.cleanup13 | |
| br label %if.then.1 | |
| if.then.1: ; preds = %for.inc21 | |
| br label %if.else.1 | |
| if.else.1: ; preds = %if.then.1, %entry | |
| br i1 false, label %if.else.2, label %for.cond.cleanup13.1 | |
| for.cond.cleanup13.1: ; preds = %for.cond.cleanup13.1, %if.else.1 | |
| br i1 true, label %if.else.2, label %for.cond.cleanup13.1 | |
| if.else.2: ; preds = %for.cond.cleanup13.1, %if.else.1 | |
| ret void | |
| } |