llvm.org GIT mirror llvm / release_50 test / CodeGen / X86 / or-branch.ll
release_50

Tree @release_50 (Download .tar.gz)

or-branch.ll @release_50raw · history · blame

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; 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

define void @foo(i32 %X, i32 %Y, i32 %Z) nounwind {
; JUMP2-LABEL: foo:
; JUMP2:       # BB#0: # %entry
; JUMP2-NEXT:    cmpl $5, {{[0-9]+}}(%esp)
; JUMP2-NEXT:    jl .LBB0_3
; JUMP2-NEXT:  # BB#1: # %entry
; JUMP2-NEXT:    movl {{[0-9]+}}(%esp), %eax
; JUMP2-NEXT:    testl %eax, %eax
; JUMP2-NEXT:    je .LBB0_3
; JUMP2-NEXT:  # BB#2: # %UnifiedReturnBlock
; JUMP2-NEXT:    retl
; JUMP2-NEXT:  .LBB0_3: # %cond_true
; JUMP2-NEXT:    jmp bar # TAILCALL
;
; JUMP1-LABEL: foo:
; JUMP1:       # BB#0: # %entry
; JUMP1-NEXT:    cmpl $0, {{[0-9]+}}(%esp)
; JUMP1-NEXT:    sete %al
; JUMP1-NEXT:    cmpl $5, {{[0-9]+}}(%esp)
; JUMP1-NEXT:    setl %cl
; JUMP1-NEXT:    orb %al, %cl
; JUMP1-NEXT:    cmpb $1, %cl
; JUMP1-NEXT:    jne .LBB0_1
; JUMP1-NEXT:  # BB#2: # %cond_true
; JUMP1-NEXT:    jmp bar # TAILCALL
; JUMP1-NEXT:  .LBB0_1: # %UnifiedReturnBlock
; JUMP1-NEXT:    retl
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

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 {
; JUMP2-LABEL: unpredictable:
; JUMP2:       # BB#0: # %entry
; JUMP2-NEXT:    cmpl $0, {{[0-9]+}}(%esp)
; JUMP2-NEXT:    sete %al
; JUMP2-NEXT:    cmpl $5, {{[0-9]+}}(%esp)
; JUMP2-NEXT:    setl %cl
; JUMP2-NEXT:    orb %al, %cl
; JUMP2-NEXT:    cmpb $1, %cl
; JUMP2-NEXT:    jne .LBB1_1
; JUMP2-NEXT:  # BB#2: # %cond_true
; JUMP2-NEXT:    jmp bar # TAILCALL
; JUMP2-NEXT:  .LBB1_1: # %UnifiedReturnBlock
; JUMP2-NEXT:    retl
;
; JUMP1-LABEL: unpredictable:
; JUMP1:       # BB#0: # %entry
; JUMP1-NEXT:    cmpl $0, {{[0-9]+}}(%esp)
; JUMP1-NEXT:    sete %al
; JUMP1-NEXT:    cmpl $5, {{[0-9]+}}(%esp)
; JUMP1-NEXT:    setl %cl
; JUMP1-NEXT:    orb %al, %cl
; JUMP1-NEXT:    cmpb $1, %cl
; JUMP1-NEXT:    jne .LBB1_1
; JUMP1-NEXT:  # BB#2: # %cond_true
; JUMP1-NEXT:    jmp bar # TAILCALL
; JUMP1-NEXT:  .LBB1_1: # %UnifiedReturnBlock
; JUMP1-NEXT:    retl
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 = !{}