1; RUN: llc < %s -mtriple=i386-unknown-unknown -jump-is-expensive=0 | FileCheck %s --check-prefix=JUMP2 --check-prefix=CHECK
2; RUN: llc < %s -mtriple=i386-unknown-unknown -jump-is-expensive=1 | FileCheck %s --check-prefix=JUMP1 --check-prefix=CHECK
3
4define void @foo(i32 %X, i32 %Y, i32 %Z) nounwind {
5; JUMP2-LABEL: foo:
6; JUMP2-DAG:     jl
7; JUMP2-DAG:     je
8;
9; JUMP1-LABEL: foo:
10; JUMP1-DAG:     sete
11; JUMP1-DAG:     setl
12; JUMP1:         orb
13; JUMP1:         jne
14entry:
15  %tmp1 = icmp eq i32 %X, 0
16  %tmp3 = icmp slt i32 %Y, 5
17  %tmp4 = or i1 %tmp3, %tmp1
18  br i1 %tmp4, label %cond_true, label %UnifiedReturnBlock
19
20cond_true:
21  %tmp5 = tail call i32 (...) @bar( )
22  ret void
23
24UnifiedReturnBlock:
25  ret void
26}
27
28; If the branch is unpredictable, don't add another branch
29; regardless of whether they are expensive or not.
30
31define void @unpredictable(i32 %X, i32 %Y, i32 %Z) nounwind {
32; CHECK-LABEL: unpredictable:
33; CHECK-DAG:     sete
34; CHECK-DAG:     setl
35; CHECK:         orb
36; CHECK:         jne
37entry:
38  %tmp1 = icmp eq i32 %X, 0
39  %tmp3 = icmp slt i32 %Y, 5
40  %tmp4 = or i1 %tmp3, %tmp1
41  br i1 %tmp4, label %cond_true, label %UnifiedReturnBlock, !unpredictable !0
42
43cond_true:
44  %tmp5 = tail call i32 (...) @bar( )
45  ret void
46
47UnifiedReturnBlock:
48  ret void
49}
50
51declare i32 @bar(...)
52
53!0 = !{}
54
55