llvm/test/CodeGen/SPARC/predictable-select.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc -O3 < %s -relocation-model=pic -mtriple=sparc -mcpu=v9 | FileCheck --check-prefix=SPARC %s
; RUN: llc -O3 < %s -relocation-model=pic -mtriple=sparcv9 | FileCheck --check-prefix=SPARC64 %s
; RUN: llc -O3 < %s -relocation-model=pic -mtriple=sparc -mcpu=v9 -mattr=+no-predictor | FileCheck --check-prefix=SPARC-NO-PREDICTOR %s
; RUN: llc -O3 < %s -relocation-model=pic -mtriple=sparcv9 -mattr=+no-predictor | FileCheck --check-prefix=SPARC64-NO-PREDICTOR %s

;; Normally, highly predictable selects should be turned into branches.
;; On the other hand, early Niagara processors should prefer conditional moves
;; over branches even when it's predictable.

define i32 @cdiv(i32 %cond, i32 %num) #0 {
; SPARC-LABEL: cdiv:
; SPARC:       ! %bb.0: ! %entry
; SPARC-NEXT:    cmp %o0, 0
; SPARC-NEXT:    be %icc, .LBB0_2
; SPARC-NEXT:    mov %o1, %o0
; SPARC-NEXT:  ! %bb.1: ! %select.end
; SPARC-NEXT:    retl
; SPARC-NEXT:    nop
; SPARC-NEXT:  .LBB0_2: ! %select.true.sink
; SPARC-NEXT:    sethi 1398101, %o1
; SPARC-NEXT:    or %o1, 342, %o1
; SPARC-NEXT:    smul %o0, %o1, %o0
; SPARC-NEXT:    rd %y, %o0
; SPARC-NEXT:    srl %o0, 31, %o1
; SPARC-NEXT:    retl
; SPARC-NEXT:    add %o0, %o1, %o0
;
; SPARC64-LABEL: cdiv:
; SPARC64:       ! %bb.0: ! %entry
; SPARC64-NEXT:    cmp %o0, 0
; SPARC64-NEXT:    be %icc, .LBB0_2
; SPARC64-NEXT:    mov %o1, %o0
; SPARC64-NEXT:  ! %bb.1: ! %select.end
; SPARC64-NEXT:    retl
; SPARC64-NEXT:    nop
; SPARC64-NEXT:  .LBB0_2: ! %select.true.sink
; SPARC64-NEXT:    sra %o0, 0, %o0
; SPARC64-NEXT:    sethi 1398101, %o1
; SPARC64-NEXT:    or %o1, 342, %o1
; SPARC64-NEXT:    mulx %o0, %o1, %o0
; SPARC64-NEXT:    srlx %o0, 63, %o1
; SPARC64-NEXT:    srlx %o0, 32, %o0
; SPARC64-NEXT:    retl
; SPARC64-NEXT:    add %o0, %o1, %o0
;
; SPARC-NO-PREDICTOR-LABEL: cdiv:
; SPARC-NO-PREDICTOR:       ! %bb.0: ! %entry
; SPARC-NO-PREDICTOR-NEXT:    sethi 1398101, %o2
; SPARC-NO-PREDICTOR-NEXT:    or %o2, 342, %o2
; SPARC-NO-PREDICTOR-NEXT:    smul %o1, %o2, %o2
; SPARC-NO-PREDICTOR-NEXT:    rd %y, %o2
; SPARC-NO-PREDICTOR-NEXT:    srl %o2, 31, %o3
; SPARC-NO-PREDICTOR-NEXT:    add %o2, %o3, %o2
; SPARC-NO-PREDICTOR-NEXT:    cmp %o0, 0
; SPARC-NO-PREDICTOR-NEXT:    move %icc, %o2, %o1
; SPARC-NO-PREDICTOR-NEXT:    retl
; SPARC-NO-PREDICTOR-NEXT:    mov %o1, %o0
;
; SPARC64-NO-PREDICTOR-LABEL: cdiv:
; SPARC64-NO-PREDICTOR:       ! %bb.0: ! %entry
; SPARC64-NO-PREDICTOR-NEXT:    sra %o1, 0, %o2
; SPARC64-NO-PREDICTOR-NEXT:    sethi 1398101, %o3
; SPARC64-NO-PREDICTOR-NEXT:    or %o3, 342, %o3
; SPARC64-NO-PREDICTOR-NEXT:    mulx %o2, %o3, %o2
; SPARC64-NO-PREDICTOR-NEXT:    srlx %o2, 63, %o3
; SPARC64-NO-PREDICTOR-NEXT:    srlx %o2, 32, %o2
; SPARC64-NO-PREDICTOR-NEXT:    add %o2, %o3, %o2
; SPARC64-NO-PREDICTOR-NEXT:    cmp %o0, 0
; SPARC64-NO-PREDICTOR-NEXT:    move %icc, %o2, %o1
; SPARC64-NO-PREDICTOR-NEXT:    retl
; SPARC64-NO-PREDICTOR-NEXT:    mov %o1, %o0
entry:
  %div = sdiv i32 %num, 3
  %cmp = icmp eq i32 %cond, 0
  %ret = select i1 %cmp, i32 %div, i32 %num
  ret i32 %ret
}

attributes #0 = { nounwind }