| Manuel Jacob | a485984 | 2016-06-02 22:14:26 +0000 | [diff] [blame] | 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() | ||||