diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2015-09-02 19:17:25 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2015-09-02 19:17:25 +0000 |
| commit | fff7c6dc7319e7e735a3135b4254e874faef4077 (patch) | |
| tree | 77d4bb431336b579988ce16d94452b7fed612890 /llvm/test/CodeGen/X86/or-branch.ll | |
| parent | a9346c2e652e62d4de5e38e3402defd729d0286f (diff) | |
| download | bcm5719-llvm-fff7c6dc7319e7e735a3135b4254e874faef4077.tar.gz bcm5719-llvm-fff7c6dc7319e7e735a3135b4254e874faef4077.zip | |
use "unpredictable" metadata in SelectionDAG when splitting compares
This patch uses the metadata defined in D12341 to avoid creating an unpredictable branch.
Differential Revision: http://reviews.llvm.org/D12343
llvm-svn: 246691
Diffstat (limited to 'llvm/test/CodeGen/X86/or-branch.ll')
| -rw-r--r-- | llvm/test/CodeGen/X86/or-branch.ll | 30 |
1 files changed, 28 insertions, 2 deletions
diff --git a/llvm/test/CodeGen/X86/or-branch.ll b/llvm/test/CodeGen/X86/or-branch.ll index 9db948adb46..4899a0fc7e8 100644 --- a/llvm/test/CodeGen/X86/or-branch.ll +++ b/llvm/test/CodeGen/X86/or-branch.ll @@ -1,5 +1,5 @@ -; RUN: llc < %s -mtriple=i386-unknown-unknown -jump-is-expensive=0 | FileCheck %s --check-prefix=JUMP2 -; RUN: llc < %s -mtriple=i386-unknown-unknown -jump-is-expensive=1 | FileCheck %s --check-prefix=JUMP1 +; RUN: llc < %s -mtriple=i386-unknown-unknown -jump-is-expensive=0 | FileCheck %s --check-prefix=JUMP2 --check-prefix=CHECK +; RUN: llc < %s -mtriple=i386-unknown-unknown -jump-is-expensive=1 | FileCheck %s --check-prefix=JUMP1 --check-prefix=CHECK define void @foo(i32 %X, i32 %Y, i32 %Z) nounwind { ; JUMP2-LABEL: foo: @@ -25,4 +25,30 @@ UnifiedReturnBlock: ret void } +; If the branch is unpredictable, don't add another branch +; regardless of whether they are expensive or not. + +define void @unpredictable(i32 %X, i32 %Y, i32 %Z) nounwind { +; CHECK-LABEL: unpredictable: +; CHECK-DAG: sete +; CHECK-DAG: setl +; CHECK: orb +; CHECK: jne +entry: + %tmp1 = icmp eq i32 %X, 0 + %tmp3 = icmp slt i32 %Y, 5 + %tmp4 = or i1 %tmp3, %tmp1 + br i1 %tmp4, label %cond_true, label %UnifiedReturnBlock, !unpredictable !0 + +cond_true: + %tmp5 = tail call i32 (...) @bar( ) + ret void + +UnifiedReturnBlock: + ret void +} + declare i32 @bar(...) + +!0 = !{} + |
