5ab966aacb
Loop fusion assumes the non-loop block of a guarded adjacent loop is the immediate successor of its exit block. This patch ensures this condition is hold and fixes the crash #166356.
51 lines
2.2 KiB
LLVM
51 lines
2.2 KiB
LLVM
; 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
|
|
}
|