| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | llc |
| 2 | |
| 3 | void %foo() { |
| 4 | br label %cond_true813.i |
| 5 | |
| 6 | cond_true813.i: ; preds = %0 |
| 7 | br bool false, label %cond_true818.i, label %cond_next1146.i |
| 8 | |
| 9 | cond_true818.i: ; preds = %cond_true813.i |
| 10 | br bool false, label %recog_memoized.exit52, label %cond_next1146.i |
| 11 | |
| 12 | recog_memoized.exit52: ; preds = %cond_true818.i |
| 13 | switch int 0, label %bb886.i.preheader [ |
| 14 | int 0, label %bb907.i |
| 15 | int 44, label %bb866.i |
| 16 | int 103, label %bb874.i |
| 17 | int 114, label %bb874.i |
| 18 | ] |
| 19 | |
| 20 | bb857.i: ; preds = %bb886.i, %bb866.i |
| 21 | %tmp862.i494.24 = phi sbyte* [ null, %bb866.i ], [ %tmp862.i494.26, %bb886.i ] ; <sbyte*> [#uses=4] |
| 22 | switch int 0, label %bb886.i.preheader [ |
| 23 | int 0, label %bb907.i |
| 24 | int 44, label %bb866.i |
| 25 | int 103, label %bb874.i |
| 26 | int 114, label %bb874.i |
| 27 | ] |
| 28 | |
| 29 | bb866.i.loopexit: ; preds = %bb874.i |
| 30 | br label %bb866.i |
| 31 | |
| 32 | bb866.i.loopexit31: ; preds = %cond_true903.i |
| 33 | br label %bb866.i |
| 34 | |
| 35 | bb866.i: ; preds = %bb866.i.loopexit31, %bb866.i.loopexit, %bb857.i, %recog_memoized.exit52 |
| 36 | br bool false, label %bb907.i, label %bb857.i |
| 37 | |
| 38 | bb874.i.preheader.loopexit: ; preds = %cond_true903.i, %cond_true903.i |
| 39 | ret void |
| 40 | |
| 41 | bb874.i: ; preds = %bb857.i, %bb857.i, %recog_memoized.exit52, %recog_memoized.exit52 |
| 42 | %tmp862.i494.25 = phi sbyte* [ %tmp862.i494.24, %bb857.i ], [ %tmp862.i494.24, %bb857.i ], [ undef, %recog_memoized.exit52 ], [ undef, %recog_memoized.exit52 ] ; <sbyte*> [#uses=1] |
| 43 | switch int 0, label %bb886.i.preheader.loopexit [ |
| 44 | int 0, label %bb907.i |
| 45 | int 44, label %bb866.i.loopexit |
| 46 | int 103, label %bb874.i.backedge |
| 47 | int 114, label %bb874.i.backedge |
| 48 | ] |
| 49 | |
| 50 | bb874.i.backedge: ; preds = %bb874.i, %bb874.i |
| 51 | ret void |
| 52 | |
| 53 | bb886.i.preheader.loopexit: ; preds = %bb874.i |
| 54 | ret void |
| 55 | |
| 56 | bb886.i.preheader: ; preds = %bb857.i, %recog_memoized.exit52 |
| 57 | %tmp862.i494.26 = phi sbyte* [ undef, %recog_memoized.exit52 ], [ %tmp862.i494.24, %bb857.i ] ; <sbyte*> [#uses=1] |
| 58 | br label %bb886.i |
| 59 | |
| 60 | bb886.i: ; preds = %cond_true903.i, %bb886.i.preheader |
| 61 | br bool false, label %bb857.i, label %cond_true903.i |
| 62 | |
| 63 | cond_true903.i: ; preds = %bb886.i |
| 64 | switch int 0, label %bb886.i [ |
| 65 | int 0, label %bb907.i |
| 66 | int 44, label %bb866.i.loopexit31 |
| 67 | int 103, label %bb874.i.preheader.loopexit |
| 68 | int 114, label %bb874.i.preheader.loopexit |
| 69 | ] |
| 70 | |
| 71 | bb907.i: ; preds = %cond_true903.i, %bb874.i, %bb866.i, %bb857.i, %recog_memoized.exit52 |
| 72 | %tmp862.i494.0 = phi sbyte* [ %tmp862.i494.24, %bb857.i ], [ null, %bb866.i ], [ undef, %recog_memoized.exit52 ], [ %tmp862.i494.25, %bb874.i ], [ null, %cond_true903.i ] ; <sbyte*> [#uses=1] |
| 73 | br bool false, label %cond_next1146.i, label %cond_true910.i |
| 74 | |
| 75 | cond_true910.i: ; preds = %bb907.i |
| 76 | ret void |
| 77 | |
| 78 | cond_next1146.i: ; preds = %bb907.i, %cond_true818.i, %cond_true813.i |
| 79 | %tmp862.i494.1 = phi sbyte* [ %tmp862.i494.0, %bb907.i ], [ undef, %cond_true818.i ], [ undef, %cond_true813.i ] ; <sbyte*> [#uses=0] |
| 80 | ret void |
| 81 | |
| 82 | bb2060.i: ; No predecessors! |
| 83 | br bool false, label %cond_true2064.i, label %bb2067.i |
| 84 | |
| 85 | cond_true2064.i: ; preds = %bb2060.i |
| 86 | unreachable |
| 87 | |
| 88 | bb2067.i: ; preds = %bb2060.i |
| 89 | ret void |
| 90 | |
| 91 | cond_next3473: ; No predecessors! |
| 92 | ret void |
| 93 | |
| 94 | cond_next3521: ; No predecessors! |
| 95 | ret void |
| 96 | } |