diff options
Diffstat (limited to 'test/CodeGen/PowerPC/branch-opt.ll')
| -rw-r--r-- | test/CodeGen/PowerPC/branch-opt.ll | 83 |
1 files changed, 0 insertions, 83 deletions
diff --git a/test/CodeGen/PowerPC/branch-opt.ll b/test/CodeGen/PowerPC/branch-opt.ll deleted file mode 100644 index e714972b17ea..000000000000 --- a/test/CodeGen/PowerPC/branch-opt.ll +++ /dev/null @@ -1,83 +0,0 @@ -; RUN: llc -verify-machineinstrs < %s -march=ppc32 | FileCheck %s - -target datalayout = "E-p:32:32" -target triple = "powerpc-apple-darwin8.7.0" - -;CHECK-LABEL: foo: -; There are 4 inner loops (%bb, %bb12, %bb25, %bb38) that all exit to %cond_next48 -; The last (whichever it is) should have a fallthrough exit, and the other three -; need an unconditional branch. No other block should have an unconditional -; branch to cond_next48 -; One of the blocks ends up with a loop exit block that gets a tail-duplicated copy -; of %cond_next48, so there should only be two unconditional branches. - -;CHECK: b LBB0_13 -;CHECK: b LBB0_13 -;CHECK-NOT: b LBB0_13 -;CHECK: LBB0_13: ; %cond_next48 - -define void @foo(i32 %W, i32 %X, i32 %Y, i32 %Z) { -entry: - %tmp1 = and i32 %W, 1 ; <i32> [#uses=1] - %tmp1.upgrd.1 = icmp eq i32 %tmp1, 0 ; <i1> [#uses=1] - br i1 %tmp1.upgrd.1, label %cond_false, label %bb5 -bb: ; preds = %bb5, %bb - %indvar77 = phi i32 [ %indvar.next78, %bb ], [ 0, %bb5 ] ; <i32> [#uses=1] - %tmp2 = tail call i32 (...) @bar( ) ; <i32> [#uses=0] - %indvar.next78 = add i32 %indvar77, 1 ; <i32> [#uses=2] - %exitcond79 = icmp eq i32 %indvar.next78, %X ; <i1> [#uses=1] - br i1 %exitcond79, label %cond_next48, label %bb -bb5: ; preds = %entry - %tmp = icmp eq i32 %X, 0 ; <i1> [#uses=1] - br i1 %tmp, label %cond_next48, label %bb -cond_false: ; preds = %entry - %tmp10 = and i32 %W, 2 ; <i32> [#uses=1] - %tmp10.upgrd.2 = icmp eq i32 %tmp10, 0 ; <i1> [#uses=1] - br i1 %tmp10.upgrd.2, label %cond_false20, label %bb16 -bb12: ; preds = %bb16, %bb12 - %indvar72 = phi i32 [ %indvar.next73, %bb12 ], [ 0, %bb16 ] ; <i32> [#uses=1] - %tmp13 = tail call i32 (...) @bar( ) ; <i32> [#uses=0] - %indvar.next73 = add i32 %indvar72, 1 ; <i32> [#uses=2] - %exitcond74 = icmp eq i32 %indvar.next73, %Y ; <i1> [#uses=1] - br i1 %exitcond74, label %cond_next48, label %bb12 -bb16: ; preds = %cond_false - %tmp18 = icmp eq i32 %Y, 0 ; <i1> [#uses=1] - br i1 %tmp18, label %cond_next48, label %bb12 -cond_false20: ; preds = %cond_false - %tmp23 = and i32 %W, 4 ; <i32> [#uses=1] - %tmp23.upgrd.3 = icmp eq i32 %tmp23, 0 ; <i1> [#uses=1] - br i1 %tmp23.upgrd.3, label %cond_false33, label %bb29 -bb25: ; preds = %bb29, %bb25 - %indvar67 = phi i32 [ %indvar.next68, %bb25 ], [ 0, %bb29 ] ; <i32> [#uses=1] - %tmp26 = tail call i32 (...) @bar( ) ; <i32> [#uses=0] - %indvar.next68 = add i32 %indvar67, 1 ; <i32> [#uses=2] - %exitcond69 = icmp eq i32 %indvar.next68, %Z ; <i1> [#uses=1] - br i1 %exitcond69, label %cond_next48, label %bb25 -bb29: ; preds = %cond_false20 - %tmp31 = icmp eq i32 %Z, 0 ; <i1> [#uses=1] - br i1 %tmp31, label %cond_next48, label %bb25 -cond_false33: ; preds = %cond_false20 - %tmp36 = and i32 %W, 8 ; <i32> [#uses=1] - %tmp36.upgrd.4 = icmp eq i32 %tmp36, 0 ; <i1> [#uses=1] - br i1 %tmp36.upgrd.4, label %cond_next48, label %bb42 -bb38: ; preds = %bb42 - %tmp39 = tail call i32 (...) @bar( ) ; <i32> [#uses=0] - %indvar.next = add i32 %indvar, 1 ; <i32> [#uses=1] - br label %bb42 -bb42: ; preds = %bb38, %cond_false33 - %indvar = phi i32 [ %indvar.next, %bb38 ], [ 0, %cond_false33 ] ; <i32> [#uses=4] - %W_addr.0 = sub i32 %W, %indvar ; <i32> [#uses=1] - %exitcond = icmp eq i32 %indvar, %W ; <i1> [#uses=1] - br i1 %exitcond, label %cond_next48, label %bb38 -cond_next48: ; preds = %bb42, %cond_false33, %bb29, %bb25, %bb16, %bb12, %bb5, %bb - %W_addr.1 = phi i32 [ %W, %bb5 ], [ %W, %bb16 ], [ %W, %bb29 ], [ %W, %cond_false33 ], [ %W_addr.0, %bb42 ], [ %W, %bb25 ], [ %W, %bb12 ], [ %W, %bb ] ; <i32> [#uses=1] - %tmp50 = icmp eq i32 %W_addr.1, 0 ; <i1> [#uses=1] - br i1 %tmp50, label %UnifiedReturnBlock, label %cond_true51 -cond_true51: ; preds = %cond_next48 - %tmp52 = tail call i32 (...) @bar( ) ; <i32> [#uses=0] - ret void -UnifiedReturnBlock: ; preds = %cond_next48 - ret void -} - -declare i32 @bar(...) |
