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