blob: f53e0a4b9a626576ba4e476b73da72b4387135ae [file] [log] [blame]
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -gvn -S -verify-loop-info %s | FileCheck %s
; Make sure we do not try to preserve loop-simplify form, if it would mean
; splitting blocks with indirectbr predecessors.
declare i1 @cond()
define i32 @foo(i8* %p1, i8* %p2, i32* %p3) {
; CHECK-LABEL: @foo(
; CHECK-NEXT: bb:
; CHECK-NEXT: br label [[LOOP_HEADER:%.*]]
; CHECK: loop.header:
; CHECK-NEXT: store i32 0, i32* [[P3:%.*]], align 4
; CHECK-NEXT: indirectbr i8* [[P1:%.*]], [label [[LOOP_LATCH1:%.*]], label %loop.latch2]
; CHECK: loop.latch1:
; CHECK-NEXT: [[C:%.*]] = call i1 @cond()
; CHECK-NEXT: br i1 [[C]], label [[LOOP_HEADER]], label [[LOOP_LATCH1_EXIT_CRIT_EDGE:%.*]]
; CHECK: loop.latch1.exit_crit_edge:
; CHECK-NEXT: [[X_PRE:%.*]] = load i32, i32* [[P3]], align 4
; CHECK-NEXT: br label [[EXIT:%.*]]
; CHECK: loop.latch2:
; CHECK-NEXT: indirectbr i8* [[P2:%.*]], [label [[LOOP_HEADER]], label %exit]
; CHECK: exit:
; CHECK-NEXT: [[X:%.*]] = phi i32 [ [[X_PRE]], [[LOOP_LATCH1_EXIT_CRIT_EDGE]] ], [ 0, [[LOOP_LATCH2:%.*]] ]
; CHECK-NEXT: ret i32 [[X]]
;
bb:
br label %loop.header
loop.header: ; preds = %loop.latch2, %loop.latch1, %bb
store i32 0, i32* %p3, align 4
indirectbr i8* %p1, [label %loop.latch1, label %loop.latch2]
loop.latch1: ; preds = %loop.header
%c = call i1 @cond()
br i1 %c, label %loop.header, label %exit
loop.latch2: ; preds = %loop.header
indirectbr i8* %p2, [label %loop.header, label %exit]
exit: ; preds = %loop.latch2, %loop.latch1
%x = load i32, i32* %p3, align 4
%y = add i32 %x, 0
ret i32 %y
}