| 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 | @G = global i64 0 ; <i64*> [#uses=1] |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 5 | define void @test(i64 %V) { |
| 6 | ; <label>:0 |
| 7 | br label %Loop |
| 8 | |
| 9 | Loop: ; preds = %Loop, %0 |
| 10 | %X = phi i64 [ 1, %0 ], [ %X.next, %Loop ] ; <i64> [#uses=2] |
| 11 | %X.next = sub i64 %X, %V ; <i64> [#uses=1] |
| 12 | store i64 %X, i64* @G |
| 13 | br label %Loop |
| 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 | |