blob: b04eff6409e71b63b9ba1974f9dbe39d7d785df3 [file] [log] [blame]
; RUN: opt -S -O3 < %s | FileCheck %s
define i64 @test() {
entry:
br label %loop
loop:
%i = phi i64 [ 0, %entry ], [ %inc, %loop ]
%inc = add i64 %i, 1
%cond = tail call i1 @check()
br i1 %cond, label %loop, label %exit
exit:
; CHECK-NOT: lcssa
ret i64 %i
}
declare i1 @check()