| Dan Gohman | f2f6ce6 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -indvars -disable-output |
| Chris Lattner | da7d069 | 2003-12-10 20:39:53 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | ec9a35a | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 3 | define void @test() { |
| Chris Lattner | da7d069 | 2003-12-10 20:39:53 +0000 | [diff] [blame] | 4 | entry: |
| Tanya Lattner | ec9a35a | 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 |
| Chris Lattner | da7d069 | 2003-12-10 20:39:53 +0000 | [diff] [blame] | 7 | |
| Tanya Lattner | ec9a35a | 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] |
| Dan Gohman | 00cb5b7 | 2010-02-19 18:12:07 +0000 | [diff] [blame] | 13 | br i1 undef, label %no_exit, label %loopexit |
| Chris Lattner | da7d069 | 2003-12-10 20:39:53 +0000 | [diff] [blame] | 14 | |
| Tanya Lattner | ec9a35a | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 15 | loopexit: ; preds = %no_exit, %entry |
| 16 | ret void |
| Chris Lattner | da7d069 | 2003-12-10 20:39:53 +0000 | [diff] [blame] | 17 | } |
| Tanya Lattner | ec9a35a | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 18 | |