; Note: Test option to disable use of non-volatile CR to avoid CR spilling in prologue.
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -ppc-disable-non-volatile-cr\
; RUN:     -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck --check-prefix=CHECK-DISABLE %s
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu\
; RUN:     -ppc-asm-full-reg-names -ppc-vsr-nums-as-vr < %s | FileCheck --check-prefix=CHECK-ENABLE %s

; Function Attrs: nounwind
define dso_local signext i32 @DisableNonVolatileCR(i32 signext %a, i32 signext %b) {
; CHECK-DISABLE-LABEL: DisableNonVolatileCR:
; CHECK-DISABLE:       # %bb.0: # %entry
; CHECK-DISABLE-NOT:    mfocrf [[REG1:r[0-9]+]]
; CHECK-DISABLE-NOT:    stw [[REG1]]
; CHECK-DISABLE:        stdu r1
; CHECK-DISABLE-DAG:    mfocrf [[REG2:r[0-9]+]]
; CHECK-DISABLE-DAG:    stw [[REG2]]
; CHECK-DISABLE:        # %bb.1: # %if.then
;
; CHECK-ENABLE-LABEL: DisableNonVolatileCR:
; CHECK-ENABLE:       # %bb.0: # %entry
; CHECK-ENABLE-DAG:    mfocrf [[REG1:r[0-9]+]]
; CHECK-ENABLE-DAG:    stw [[REG1]]
; CHECK-ENABLE:        stdu r1
; CHECK-ENABLE-NOT:    mfocrf [[REG2:r[0-9]+]]
; CHECK-ENABLE-NOT:    stw [[REG2]]
; CHECK-ENABLE:        # %bb.1: # %if.then

entry:
  %cmp = icmp slt i32 %a, %b
  br i1 %cmp, label %if.then, label %if.else

if.then:                                          ; preds = %entry
  tail call void bitcast (void (...)* @fa to void ()*)()
  br label %if.end

if.else:                                          ; preds = %entry
  tail call void bitcast (void (...)* @fb to void ()*)()
  br label %if.end

if.end:                                           ; preds = %if.else, %if.then
  %conv = zext i1 %cmp to i32
  %call = tail call signext i32 @callee(i32 signext %conv)
  ret i32 %call
}

declare void @fa(...)
declare void @fb(...)
declare signext i32 @callee(i32 signext)