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
