diff options
author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2014-01-12 19:24:08 +0000 |
---|---|---|
committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2014-01-12 19:24:08 +0000 |
commit | 2d81106fa01e77996a29704a3d3c31856ddbab70 (patch) | |
tree | 5ce4480855c2ce40c953f3858ce89005f6e90337 /test | |
parent | 02a054cd61fa88bf194f153c0d84ce4a0cc70c13 (diff) | |
download | llvm-2d81106fa01e77996a29704a3d3c31856ddbab70.tar.gz llvm-2d81106fa01e77996a29704a3d3c31856ddbab70.tar.bz2 llvm-2d81106fa01e77996a29704a3d3c31856ddbab70.tar.xz |
Handle bundled terminators in isBlockOnlyReachableByFallthrough.
Targets like SPARC and MIPS have delay slots and normally bundle the
delay slot instruction with the corresponding terminator.
Teach isBlockOnlyReachableByFallthrough to find any MBB operands on
bundled terminators so SPARC doesn't need to specialize this function.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@199061 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/CodeGen/SPARC/missinglabel.ll | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/CodeGen/SPARC/missinglabel.ll b/test/CodeGen/SPARC/missinglabel.ll new file mode 100644 index 0000000000..bcf384b7ad --- /dev/null +++ b/test/CodeGen/SPARC/missinglabel.ll @@ -0,0 +1,23 @@ +; RUN: llc < %s -verify-machineinstrs | FileCheck %s +target datalayout = "E-m:e-i64:64-n32:64-S128" +target triple = "sparc64-unknown-linux-gnu" + +define void @f() align 2 { +entry: +; CHECK: %xcc, .LBB0_1 + %cmp = icmp eq i64 undef, 0 + br i1 %cmp, label %targetblock, label %cond.false + +cond.false: + unreachable + +; CHECK: .LBB0_1: ! %targetblock +targetblock: + br i1 undef, label %cond.false.i83, label %exit.i85 + +cond.false.i83: + unreachable + +exit.i85: + unreachable +} |