AMDGPU: Add pass to detect used kernel features
[oota-llvm.git] / test / CodeGen / X86 / or-branch.ll
index bccba1f62d9380a603818e019a11d897064719fa..4899a0fc7e88490bcb3186016e8ad992a402032f 100644 (file)
@@ -1,19 +1,54 @@
-; RUN: llvm-as < %s | llc -march=x86 | not grep set
+; 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) {
+define void @foo(i32 %X, i32 %Y, i32 %Z) nounwind {
+; JUMP2-LABEL: foo:
+; JUMP2-DAG:     jl
+; JUMP2-DAG:     je
+;
+; JUMP1-LABEL: foo:
+; JUMP1-DAG:     sete
+; JUMP1-DAG:     setl
+; JUMP1:         orb
+; JUMP1:         jne
 entry:
-       %tmp = tail call i32 (...)* @bar( )             ; <i32> [#uses=0]
-       %tmp.upgrd.1 = icmp eq i32 %X, 0                ; <i1> [#uses=1]
-       %tmp3 = icmp slt i32 %Y, 5              ; <i1> [#uses=1]
-       %tmp4 = or i1 %tmp3, %tmp.upgrd.1               ; <i1> [#uses=1]
-       br i1 %tmp4, label %cond_true, label %UnifiedReturnBlock
-
-cond_true:             ; preds = %entry
-       %tmp5 = tail call i32 (...)* @bar( )            ; <i32> [#uses=0]
-       ret void
-
-UnifiedReturnBlock:            ; preds = %entry
-       ret void
+  %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
+
+cond_true:
+  %tmp5 = tail call i32 (...) @bar( )
+  ret void
+
+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 = !{}
+