| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -indvars -S | grep indvar |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 3 | define i32 @test() { |
| 4 | ; <label>:0 |
| 5 | br i1 true, label %LoopHead, label %LoopHead |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 7 | LoopHead: ; preds = %LoopHead, %0, %0 |
| 8 | %A = phi i32 [ 7, %0 ], [ 7, %0 ], [ %B, %LoopHead ] ; <i32> [#uses=1] |
| 9 | %B = add i32 %A, 1 ; <i32> [#uses=2] |
| Dan Gohman | a78918b | 2010-02-19 18:12:07 +0000 | [diff] [blame] | 10 | br i1 undef, label %LoopHead, label %Out |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 11 | |
| 12 | Out: ; preds = %LoopHead |
| 13 | ret i32 %B |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 14 | } |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 15 | |