Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +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 @main() { |
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 | br label %no_exit.1.outer |
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 | no_exit.1.outer: ; preds = %endif.0, %entry |
| 8 | %l_14237116.1.0.ph = phi i8 [ -46, %entry ], [ 0, %endif.0 ] ; <i8> [#uses=1] |
| 9 | %i.0.0.0.ph = phi i32 [ 0, %entry ], [ %inc.1, %endif.0 ] ; <i32> [#uses=1] |
| 10 | br label %no_exit.1 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 11 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 12 | no_exit.1: ; preds = %_Z13func_47880058cc.exit, %no_exit.1.outer |
| 13 | br i1 false, label %_Z13func_47880058cc.exit, label %then.i |
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 | then.i: ; preds = %no_exit.1 |
| 16 | br label %_Z13func_47880058cc.exit |
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 | _Z13func_47880058cc.exit: ; preds = %then.i, %no_exit.1 |
| 19 | br i1 false, label %then.0, label %no_exit.1 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 20 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 21 | then.0: ; preds = %_Z13func_47880058cc.exit |
| 22 | %tmp.6 = bitcast i8 %l_14237116.1.0.ph to i8 ; <i8> [#uses=1] |
| 23 | br i1 false, label %endif.0, label %then.1 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 24 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 25 | then.1: ; preds = %then.0 |
| 26 | br label %endif.0 |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 27 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 28 | endif.0: ; preds = %then.1, %then.0 |
| 29 | %inc.1 = add i32 %i.0.0.0.ph, 1 ; <i32> [#uses=2] |
| 30 | %tmp.2 = icmp sgt i32 %inc.1, 99 ; <i1> [#uses=1] |
| 31 | br i1 %tmp.2, label %loopexit.0, label %no_exit.1.outer |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 32 | |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 33 | loopexit.0: ; preds = %endif.0 |
| 34 | %tmp.28 = zext i8 %tmp.6 to i32 ; <i32> [#uses=0] |
| 35 | ret void |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 36 | } |
Tanya Lattner | 4c4d0b8 | 2008-03-01 09:15:35 +0000 | [diff] [blame] | 37 | |