diff options
Diffstat (limited to 'llvm/test/CodeGen/PowerPC')
| -rw-r--r-- | llvm/test/CodeGen/PowerPC/branch-opt.ll | 16 | ||||
| -rw-r--r-- | llvm/test/CodeGen/PowerPC/sjlj.ll | 18 | ||||
| -rw-r--r-- | llvm/test/CodeGen/PowerPC/tail-dup-branch-to-fallthrough.ll | 65 | ||||
| -rw-r--r-- | llvm/test/CodeGen/PowerPC/tail-dup-layout.ll | 100 |
4 files changed, 11 insertions, 188 deletions
diff --git a/llvm/test/CodeGen/PowerPC/branch-opt.ll b/llvm/test/CodeGen/PowerPC/branch-opt.ll index e714972b17e..b3c0dba8b85 100644 --- a/llvm/test/CodeGen/PowerPC/branch-opt.ll +++ b/llvm/test/CodeGen/PowerPC/branch-opt.ll @@ -1,21 +1,9 @@ -; RUN: llc -verify-machineinstrs < %s -march=ppc32 | FileCheck %s +; RUN: llc -verify-machineinstrs < %s -march=ppc32 | \ +; RUN: grep "b LBB.*" | count 4 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] diff --git a/llvm/test/CodeGen/PowerPC/sjlj.ll b/llvm/test/CodeGen/PowerPC/sjlj.ll index f86f5345f87..7fe31384675 100644 --- a/llvm/test/CodeGen/PowerPC/sjlj.ll +++ b/llvm/test/CodeGen/PowerPC/sjlj.ll @@ -74,24 +74,24 @@ return: ; preds = %if.end, %if.then ; CHECK-DAG: std [[REGA]], [[OFF:[0-9]+]](31) # 8-byte Folded Spill ; CHECK-DAG: std 1, 16([[REGA]]) ; CHECK-DAG: std 2, 24([[REGA]]) -; CHECK: bcl 20, 31, .LBB1_3 +; CHECK: bcl 20, 31, .LBB1_5 ; CHECK: li 3, 1 -; CHECK: #EH_SjLj_Setup .LBB1_3 +; CHECK: #EH_SjLj_Setup .LBB1_5 ; CHECK: b .LBB1_1 -; CHECK: .LBB1_3: -; CHECK: mflr [[REGL:[0-9]+]] -; CHECK: ld [[REG2:[0-9]+]], [[OFF]](31) # 8-byte Folded Reload -; CHECK: std [[REGL]], 8([[REG2]]) -; CHECK: li 3, 0 - -; CHECK: .LBB1_5: +; CHECK: .LBB1_4: ; CHECK: lfd ; CHECK: lxvd2x ; CHECK: ld ; CHECK: blr +; CHECK: .LBB1_5: +; CHECK: mflr [[REGL:[0-9]+]] +; CHECK: ld [[REG2:[0-9]+]], [[OFF]](31) # 8-byte Folded Reload +; CHECK: std [[REGL]], 8([[REG2]]) +; CHECK: li 3, 0 + ; CHECK-NOAV: @main ; CHECK-NOAV-NOT: stxvd2x ; CHECK-NOAV: bcl diff --git a/llvm/test/CodeGen/PowerPC/tail-dup-branch-to-fallthrough.ll b/llvm/test/CodeGen/PowerPC/tail-dup-branch-to-fallthrough.ll deleted file mode 100644 index 5d03af801fc..00000000000 --- a/llvm/test/CodeGen/PowerPC/tail-dup-branch-to-fallthrough.ll +++ /dev/null @@ -1,65 +0,0 @@ -; RUN: llc -O2 %s -o - | FileCheck %s -target datalayout = "E-m:e-i64:64-n32:64" -target triple = "powerpc64-unknown-linux-gnu" - -; Function Attrs: nounwind -declare void @llvm.lifetime.end(i64, i8* nocapture) #0 - -declare void @f1() -declare void @f2() -declare void @f3() -declare void @f4() - -; Function Attrs: nounwind -; CHECK-LABEL: tail_dup_fallthrough_with_branch -; CHECK: # %entry -; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} -; CHECK: # %entry -; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} -; CHECK: # %sw.0 -; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} -; CHECK: # %sw.1 -; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} -; CHECK: # %sw.default -; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} -; CHECK: # %if.then -; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} -; CHECK: # %if.else -; CHECK-NOT: # %{{[-_a-zA-Z0-9]+}} -; CHECK: .Lfunc_end0 -define fastcc void @tail_dup_fallthrough_with_branch(i32 %a, i1 %b) unnamed_addr #0 { -entry: - switch i32 %a, label %sw.default [ - i32 0, label %sw.0 - i32 1, label %sw.1 - ] - -sw.0: ; preds = %entry - call void @f1() #0 - br label %dup1 - -sw.1: ; preds = %entry - call void @f2() #0 - br label %dup1 - -sw.default: ; preds = %entry - br i1 %b, label %if.then, label %if.else - -if.then: ; preds = %sw.default - call void @f3() #0 - br label %dup2 - -if.else: ; preds = %sw.default - call void @f4() #0 - br label %dup2 - -dup1: ; preds = %sw.0, %sw.1 - call void @llvm.lifetime.end(i64 8, i8* nonnull undef) #0 - unreachable - -dup2: ; preds = %if.then, %if.else - call void @llvm.lifetime.end(i64 8, i8* nonnull undef) #0 - unreachable -} - -attributes #0 = { nounwind } diff --git a/llvm/test/CodeGen/PowerPC/tail-dup-layout.ll b/llvm/test/CodeGen/PowerPC/tail-dup-layout.ll deleted file mode 100644 index 6790aa8e944..00000000000 --- a/llvm/test/CodeGen/PowerPC/tail-dup-layout.ll +++ /dev/null @@ -1,100 +0,0 @@ -; RUN: llc -outline-optional-branches -O2 < %s | FileCheck %s -target datalayout = "e-m:e-i64:64-n32:64" -target triple = "powerpc64le-grtev4-linux-gnu" - -; Intended layout: -; The outlining flag produces the layout -; test1 -; test2 -; test3 -; test4 -; exit -; optional1 -; optional2 -; optional3 -; optional4 -; Tail duplication puts test n+1 at the end of optional n -; so optional1 includes a copy of test2 at the end, and branches -; to test3 (at the top) or falls through to optional 2. -; The CHECK statements check for the whole string of tests and exit block, -; and then check that the correct test has been duplicated into the end of -; the optional blocks and that the optional blocks are in the correct order. -;CHECK-LABEL: f: -; test1 may have been merged with entry -;CHECK: mr [[TAGREG:[0-9]+]], 3 -;CHECK: andi. {{[0-9]+}}, [[TAGREG]], 1 -;CHECK-NEXT: bc 12, 1, [[OPT1LABEL:[._0-9A-Za-z]+]] -;CHECK-NEXT: [[TEST2LABEL:[._0-9A-Za-z]+]]: # %test2 -;CHECK-NEXT: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 30, 30 -;CHECK-NEXT: bne 0, [[OPT2LABEL:[._0-9A-Za-z]+]] -;CHECK-NEXT: [[TEST3LABEL:[._0-9A-Za-z]+]]: # %test3 -;CHECK-NEXT: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 29, 29 -;CHECK-NEXT: bne 0, .[[OPT3LABEL:[._0-9A-Za-z]+]] -;CHECK-NEXT: [[TEST4LABEL:[._0-9A-Za-z]+]]: # %test4 -;CHECK-NEXT: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 28, 28 -;CHECK-NEXT: bne 0, .[[OPT4LABEL:[._0-9A-Za-z]+]] -;CHECK-NEXT: [[EXITLABEL:[._0-9A-Za-z]+]]: # %exit -;CHECK: blr -;CHECK-NEXT: [[OPT1LABEL]] -;CHECK: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 30, 30 -;CHECK-NEXT: beq 0, [[TEST3LABEL]] -;CHECK-NEXT: [[OPT2LABEL]] -;CHECK: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 29, 29 -;CHECK-NEXT: beq 0, [[TEST4LABEL]] -;CHECK-NEXT: [[OPT3LABEL]] -;CHECK: rlwinm. {{[0-9]+}}, [[TAGREG]], 0, 28, 28 -;CHECK-NEXT: beq 0, [[EXITLABEL]] -;CHECK-NEXT: [[OPT4LABEL]] -;CHECK: b [[EXITLABEL]] - -define void @f(i32 %tag) { -entry: - br label %test1 -test1: - %tagbit1 = and i32 %tag, 1 - %tagbit1eq0 = icmp eq i32 %tagbit1, 0 - br i1 %tagbit1eq0, label %test2, label %optional1 -optional1: - call void @a() - call void @a() - call void @a() - call void @a() - br label %test2 -test2: - %tagbit2 = and i32 %tag, 2 - %tagbit2eq0 = icmp eq i32 %tagbit2, 0 - br i1 %tagbit2eq0, label %test3, label %optional2 -optional2: - call void @b() - call void @b() - call void @b() - call void @b() - br label %test3 -test3: - %tagbit3 = and i32 %tag, 4 - %tagbit3eq0 = icmp eq i32 %tagbit3, 0 - br i1 %tagbit3eq0, label %test4, label %optional3 -optional3: - call void @c() - call void @c() - call void @c() - call void @c() - br label %test4 -test4: - %tagbit4 = and i32 %tag, 8 - %tagbit4eq0 = icmp eq i32 %tagbit4, 0 - br i1 %tagbit4eq0, label %exit, label %optional4 -optional4: - call void @d() - call void @d() - call void @d() - call void @d() - br label %exit -exit: - ret void -} - -declare void @a() -declare void @b() -declare void @c() -declare void @d() |
