| Dan Gohman | 1b4c2777 | 2009-09-08 16:50:01 +0000 | [diff] [blame] | 1 | ; RUN: opt %s -indvars -disable-output |
| 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 void @test() { |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | entry: |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 5 | %inc.2 = add i32 1, 1 ; <i32> [#uses=1] |
| 6 | br i1 false, label %no_exit, label %loopexit |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 8 | no_exit: ; preds = %no_exit, %entry |
| 9 | %j.0.pn = phi i32 [ %inc.3, %no_exit ], [ %inc.2, %entry ] ; <i32> [#uses=1] |
| 10 | %k.0.pn = phi i32 [ %inc.4, %no_exit ], [ 1, %entry ] ; <i32> [#uses=1] |
| 11 | %inc.3 = add i32 %j.0.pn, 1 ; <i32> [#uses=1] |
| 12 | %inc.4 = add i32 %k.0.pn, 1 ; <i32> [#uses=1] |
| 13 | br i1 false, label %no_exit, label %loopexit |
| 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 | loopexit: ; preds = %no_exit, %entry |
| 16 | ret void |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 17 | } |
| Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 18 | |