| Dan Gohman | 1880092 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -indvars -S | grep indvar | 
| Chris Lattner | cfa3eee | 2003-09-12 16:42:16 +0000 | [diff] [blame] | 2 |  | 
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 3 | define i32 @test() { | 
|  | 4 | ; <label>:0 | 
|  | 5 | br i1 true, label %LoopHead, label %LoopHead | 
| Chris Lattner | cfa3eee | 2003-09-12 16:42:16 +0000 | [diff] [blame] | 6 |  | 
| Tanya Lattner | 5640bd1 | 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 | a9c205c | 2010-02-25 06:57:05 +0000 | [diff] [blame] | 10 | br i1 true, label %LoopHead, label %Out | 
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 11 |  | 
|  | 12 | Out:            ; preds = %LoopHead | 
|  | 13 | ret i32 %B | 
| Chris Lattner | cfa3eee | 2003-09-12 16:42:16 +0000 | [diff] [blame] | 14 | } | 
| Tanya Lattner | 5640bd1 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 15 |  |