llvm-project

1
; RUN: opt -S -O3 < %s | FileCheck %s
2

3
define i64 @test() {
4
entry:
5
  br label %loop
6

7
loop:
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

13
exit:
14
  ; CHECK-NOT: lcssa
15
  ret i64 %i
16
}
17

18
declare i1 @check()
19