diff options
author | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-07-31 12:11:07 +0000 |
---|---|---|
committer | Richard Sandiford <rsandifo@linux.vnet.ibm.com> | 2013-07-31 12:11:07 +0000 |
commit | 0416e3c599c22dc656a1115ac983116ad0b2d9da (patch) | |
tree | dbded2a2a972efe55a731cc2163fc66c8a78cb0b /test/CodeGen/SystemZ | |
parent | 093043ce11edcf516fd6de468bafc0d9f9ac0ea0 (diff) | |
download | llvm-0416e3c599c22dc656a1115ac983116ad0b2d9da.tar.gz llvm-0416e3c599c22dc656a1115ac983116ad0b2d9da.tar.bz2 llvm-0416e3c599c22dc656a1115ac983116ad0b2d9da.tar.xz |
[SystemZ] Move compare-and-branch generation even later
r187116 moved compare-and-branch generation from the instruction-selection
pass to the peephole optimizer (via optimizeCompare). It turns out that even
this is a bit too early. Fused compare-and-branch instructions don't
interact well with predication, where a CC result is needed. They also
make it harder to reuse the CC side-effects of earlier instructions
(not yet implemented, but the subject of a later patch).
Another problem was that the AnalyzeBranch family of routines weren't
handling compares and branches, so we weren't able to reverse the fused
form in cases where we would reverse a separate branch. This could have
been fixed by extending AnalyzeBranch, but given the other problems,
I've instead moved the fusing to the long-branch pass, which is also
responsible for the opposite transformation: splitting out-of-range
compares and branches into separate compares and long branches.
I've added a test for the AnalyzeBranch problem. A test for the
predication problem is included in the next patch, which fixes a bug
in the choice of CC mask.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187494 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/SystemZ')
-rw-r--r-- | test/CodeGen/SystemZ/branch-08.ll | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/test/CodeGen/SystemZ/branch-08.ll b/test/CodeGen/SystemZ/branch-08.ll new file mode 100644 index 0000000000..ee3f5b5f53 --- /dev/null +++ b/test/CodeGen/SystemZ/branch-08.ll @@ -0,0 +1,45 @@ +; Test SystemZInstrInfo::AnalyzeBranch and SystemZInstrInfo::InsertBranch. +; +; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s + +declare void @foo() noreturn + +; Check a case where a separate branch is needed and where the original +; order should be reversed. +define i32 @f1(i32 %a, i32 %b) { +; CHECK-LABEL: f1: +; CHECK: clr %r2, %r3 +; CHECK: jnhe .L[[LABEL:.*]] +; CHECK: br %r14 +; CHECK: .L[[LABEL]]: +; CHECK: brasl %r14, foo@PLT +entry: + %cmp = icmp ult i32 %a, %b + br i1 %cmp, label %callit, label %return + +callit: + call void @foo() + unreachable + +return: + ret i32 1 +} + +; Same again with a fused compare and branch. +define i32 @f2(i32 %a) { +; CHECK-LABEL: f2: +; CHECK: cijnlh %r2, 0, .L[[LABEL:.*]] +; CHECK: br %r14 +; CHECK: .L[[LABEL]]: +; CHECK: brasl %r14, foo@PLT +entry: + %cmp = icmp eq i32 %a, 0 + br i1 %cmp, label %callit, label %return + +callit: + call void @foo() + unreachable + +return: + ret i32 1 +} |