1; RUN: opt -S -O3 < %s | FileCheck %s
2
3define i64 @test() {
4entry:
5  br label %loop
6
7loop:
8  %i = phi i64 [ 0, %entry ], [ %inc, %loop ]
9  %inc = add i64 %i, 1
10  %cond = tail call i1 @check()
11  br i1 %cond, label %loop, label %exit
12
13exit:
14  ; CHECK-NOT: lcssa
15  ret i64 %i
16}
17
18declare i1 @check()
19