diff options
Diffstat (limited to 'test/Transforms/LCSSA/2006-10-31-UnreachableBlock-2.ll')
| -rw-r--r-- | test/Transforms/LCSSA/2006-10-31-UnreachableBlock-2.ll | 125 |
1 files changed, 30 insertions, 95 deletions
diff --git a/test/Transforms/LCSSA/2006-10-31-UnreachableBlock-2.ll b/test/Transforms/LCSSA/2006-10-31-UnreachableBlock-2.ll index ac40ad5fd6..b85e6c3602 100644 --- a/test/Transforms/LCSSA/2006-10-31-UnreachableBlock-2.ll +++ b/test/Transforms/LCSSA/2006-10-31-UnreachableBlock-2.ll @@ -1,210 +1,145 @@ -; RUN: llvm-upgrade < %s | llvm-as | opt -lcssa -disable-output +; RUN: llvm-as < %s | opt -lcssa -disable-output ; PR977 +; END. +declare i32 @opost_block() -declare int %opost_block() - -void %write_chan() { +define void @write_chan() { entry: - br bool false, label %shortcirc_next.0, label %shortcirc_done.0 - + br i1 false, label %shortcirc_next.0, label %shortcirc_done.0 shortcirc_next.0: ; preds = %entry br label %shortcirc_done.0 - shortcirc_done.0: ; preds = %shortcirc_next.0, %entry - br bool false, label %shortcirc_next.1, label %shortcirc_done.1 - + br i1 false, label %shortcirc_next.1, label %shortcirc_done.1 shortcirc_next.1: ; preds = %shortcirc_done.0 br label %shortcirc_done.1 - shortcirc_done.1: ; preds = %shortcirc_next.1, %shortcirc_done.0 - br bool false, label %then.0, label %endif.0 - + br i1 false, label %then.0, label %endif.0 then.0: ; preds = %shortcirc_done.1 - br bool false, label %then.1, label %endif.1 - + br i1 false, label %then.1, label %endif.1 then.1: ; preds = %then.0 br label %return - after_ret.0: ; No predecessors! br label %endif.1 - endif.1: ; preds = %after_ret.0, %then.0 br label %endif.0 - endif.0: ; preds = %endif.1, %shortcirc_done.1 br label %loopentry.0 - loopentry.0: ; preds = %endif.12, %endif.0 - br bool false, label %then.2, label %endif.2 - + br i1 false, label %then.2, label %endif.2 then.2: ; preds = %loopentry.0 br label %loopexit.0 - dead_block_after_break.0: ; No predecessors! br label %endif.2 - endif.2: ; preds = %dead_block_after_break.0, %loopentry.0 - br bool false, label %shortcirc_done.2, label %shortcirc_next.2 - + br i1 false, label %shortcirc_done.2, label %shortcirc_next.2 shortcirc_next.2: ; preds = %endif.2 - br bool false, label %shortcirc_next.3, label %shortcirc_done.3 - + br i1 false, label %shortcirc_next.3, label %shortcirc_done.3 shortcirc_next.3: ; preds = %shortcirc_next.2 br label %shortcirc_done.3 - shortcirc_done.3: ; preds = %shortcirc_next.3, %shortcirc_next.2 br label %shortcirc_done.2 - shortcirc_done.2: ; preds = %shortcirc_done.3, %endif.2 - br bool false, label %then.3, label %endif.3 - + br i1 false, label %then.3, label %endif.3 then.3: ; preds = %shortcirc_done.2 br label %loopexit.0 - dead_block_after_break.1: ; No predecessors! br label %endif.3 - endif.3: ; preds = %dead_block_after_break.1, %shortcirc_done.2 - br bool false, label %shortcirc_next.4, label %shortcirc_done.4 - + br i1 false, label %shortcirc_next.4, label %shortcirc_done.4 shortcirc_next.4: ; preds = %endif.3 br label %shortcirc_done.4 - shortcirc_done.4: ; preds = %shortcirc_next.4, %endif.3 - br bool false, label %then.4, label %else - + br i1 false, label %then.4, label %else then.4: ; preds = %shortcirc_done.4 br label %loopentry.1 - loopentry.1: ; preds = %endif.8, %then.4 - br bool false, label %no_exit, label %loopexit.1 - + br i1 false, label %no_exit, label %loopexit.1 no_exit: ; preds = %loopentry.1 - %tmp.94 = call int %opost_block( ) ; <int> [#uses=1] - br bool false, label %then.5, label %endif.5 - + %tmp.94 = call i32 @opost_block( ) ; <i32> [#uses=1] + br i1 false, label %then.5, label %endif.5 then.5: ; preds = %no_exit - br bool false, label %then.6, label %endif.6 - + br i1 false, label %then.6, label %endif.6 then.6: ; preds = %then.5 br label %loopexit.1 - dead_block_after_break.2: ; No predecessors! br label %endif.6 - endif.6: ; preds = %dead_block_after_break.2, %then.5 br label %break_out - dead_block_after_goto.0: ; No predecessors! br label %endif.5 - endif.5: ; preds = %dead_block_after_goto.0, %no_exit - br bool false, label %then.7, label %endif.7 - + br i1 false, label %then.7, label %endif.7 then.7: ; preds = %endif.5 br label %loopexit.1 - dead_block_after_break.3: ; No predecessors! br label %endif.7 - endif.7: ; preds = %dead_block_after_break.3, %endif.5 - switch uint 1, label %switchexit [ - uint 4, label %label.2 - uint 2, label %label.1 - uint 1, label %label.0 + switch i32 1, label %switchexit [ + i32 4, label %label.2 + i32 2, label %label.1 + i32 1, label %label.0 ] - label.0: ; preds = %endif.7 br label %switchexit - dead_block_after_break.4: ; No predecessors! br label %label.1 - label.1: ; preds = %dead_block_after_break.4, %endif.7 br label %switchexit - dead_block_after_break.5: ; No predecessors! br label %label.2 - label.2: ; preds = %dead_block_after_break.5, %endif.7 br label %switchexit - dead_block_after_break.6: ; No predecessors! br label %switchexit - switchexit: ; preds = %dead_block_after_break.6, %label.2, %label.1, %label.0, %endif.7 - br bool false, label %then.8, label %endif.8 - + br i1 false, label %then.8, label %endif.8 then.8: ; preds = %switchexit br label %loopexit.1 - dead_block_after_break.7: ; No predecessors! br label %endif.8 - endif.8: ; preds = %dead_block_after_break.7, %switchexit br label %loopentry.1 - loopexit.1: ; preds = %then.8, %then.7, %then.6, %loopentry.1 - br bool false, label %then.9, label %endif.9 - + br i1 false, label %then.9, label %endif.9 then.9: ; preds = %loopexit.1 br label %endif.9 - endif.9: ; preds = %then.9, %loopexit.1 br label %endif.4 - else: ; preds = %shortcirc_done.4 - br bool false, label %then.10, label %endif.10 - + br i1 false, label %then.10, label %endif.10 then.10: ; preds = %else br label %break_out - dead_block_after_goto.1: ; No predecessors! br label %endif.10 - endif.10: ; preds = %dead_block_after_goto.1, %else br label %endif.4 - endif.4: ; preds = %endif.10, %endif.9 - br bool false, label %then.11, label %endif.11 - + br i1 false, label %then.11, label %endif.11 then.11: ; preds = %endif.4 br label %loopexit.0 - dead_block_after_break.8: ; No predecessors! br label %endif.11 - endif.11: ; preds = %dead_block_after_break.8, %endif.4 - br bool false, label %then.12, label %endif.12 - + br i1 false, label %then.12, label %endif.12 then.12: ; preds = %endif.11 br label %loopexit.0 - dead_block_after_break.9: ; No predecessors! br label %endif.12 - endif.12: ; preds = %dead_block_after_break.9, %endif.11 br label %loopentry.0 - loopexit.0: ; preds = %then.12, %then.11, %then.3, %then.2 br label %break_out - break_out: ; preds = %loopexit.0, %then.10, %endif.6 - %retval.3 = phi int [ 0, %loopexit.0 ], [ %tmp.94, %endif.6 ], [ 0, %then.10 ] ; <int> [#uses=0] - br bool false, label %cond_true, label %cond_false - + %retval.3 = phi i32 [ 0, %loopexit.0 ], [ %tmp.94, %endif.6 ], [ 0, %then.10 ] ; <i32> [#uses=0] + br i1 false, label %cond_true, label %cond_false cond_true: ; preds = %break_out br label %cond_continue - cond_false: ; preds = %break_out br label %cond_continue - cond_continue: ; preds = %cond_false, %cond_true br label %return - after_ret.1: ; No predecessors! br label %return - return: ; preds = %after_ret.1, %cond_continue, %then.1 ret void } |