; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \
; RUN:   -mcpu=pwr8 -ppc-asm-full-reg-names < %s | FileCheck %s

define dso_local signext i32 @func(i32 zeroext %x, i32 zeroext %y) local_unnamed_addr {
; CHECK-LABEL: func
; CHECK: or. {{r[0-9]+}}, r4, r3
; CHECK-NOT: cmplwi
; CHECK: blr
entry:
  %or = or i32 %y, %x
  %tobool = icmp eq i32 %or, 0
  br i1 %tobool, label %if.else, label %if.then

if.then:                                          ; preds = %entry
  %call = tail call signext i32 bitcast (i32 (...)* @f1 to i32 ()*)()
  br label %return

if.else:                                          ; preds = %entry
  %call1 = tail call signext i32 bitcast (i32 (...)* @f2 to i32 ()*)()
  br label %return

return:                                           ; preds = %if.else, %if.then
  %retval.0 = phi i32 [ %call, %if.then ], [ %call1, %if.else ]
  ret i32 %retval.0
}

declare signext i32 @f1(...) local_unnamed_addr

declare signext i32 @f2(...) local_unnamed_addr