; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=powerpc-ibm-aix-xcoff -ppc-asm-full-reg-names < %s | FileCheck --check-prefix=AIX32 %s
; RUN: llc -mtriple=powerpc64-ibm-aix-xcoff -ppc-asm-full-reg-names < %s | FileCheck --check-prefixes=AIX64 %s
; RUN: llc -mtriple=powerpc64le-unknown-linux-gnu -ppc-asm-full-reg-names < %s | FileCheck --check-prefixes=LNX64 %s

define noundef range(i32 0, -2147483647) i32 @_Z10bitfloor32j(i32 noundef %x) local_unnamed_addr {
; AIX32-LABEL: _Z10bitfloor32j:
; AIX32:       # %bb.0: # %entry
; AIX32-NEXT:    cntlzw r3, r3
; AIX32-NEXT:    lis r4, -32768
; AIX32-NEXT:    srw r3, r4, r3
; AIX32-NEXT:    blr
;
; AIX64-LABEL: _Z10bitfloor32j:
; AIX64:       # %bb.0: # %entry
; AIX64-NEXT:    cntlzw r3, r3
; AIX64-NEXT:    lis r4, -32768
; AIX64-NEXT:    srw r3, r4, r3
; AIX64-NEXT:    blr
;
; LNX64-LABEL: _Z10bitfloor32j:
; LNX64:       # %bb.0: # %entry
; LNX64-NEXT:    cntlzw r3, r3
; LNX64-NEXT:    lis r4, -32768
; LNX64-NEXT:    srw r3, r4, r3
; LNX64-NEXT:    blr
entry:
  %cmp.i = icmp eq i32 %x, 0
  %0 = tail call range(i32 0, 33) i32 @llvm.ctlz.i32(i32 %x, i1 true)
  %shl.i = lshr exact i32 -2147483648, %0
  %cond.i = select i1 %cmp.i, i32 0, i32 %shl.i
  ret i32 %cond.i
}

declare i32 @llvm.ctlz.i32(i32, i1 immarg)

define noundef range(i64 0, -9223372036854775807) i64 @_Z10bitfloor64y(i64 noundef %x) local_unnamed_addr {
; AIX32-LABEL: _Z10bitfloor64y:
; AIX32:       # %bb.0: # %entry
; AIX32-NEXT:    cntlzw r6, r4
; AIX32-NEXT:    cntlzw r5, r3
; AIX32-NEXT:    lis r7, -32768
; AIX32-NEXT:    cmplwi r3, 0
; AIX32-NEXT:    addi r6, r6, 32
; AIX32-NEXT:    iseleq r5, r6, r5
; AIX32-NEXT:    or. r3, r4, r3
; AIX32-NEXT:    addi r6, r5, -32
; AIX32-NEXT:    subfic r8, r5, 32
; AIX32-NEXT:    srw r5, r7, r5
; AIX32-NEXT:    srw r6, r7, r6
; AIX32-NEXT:    slw r8, r7, r8
; AIX32-NEXT:    or r3, r8, r6
; AIX32-NEXT:    iseleq r4, 0, r3
; AIX32-NEXT:    iseleq r3, 0, r5
; AIX32-NEXT:    blr
;
; AIX64-LABEL: _Z10bitfloor64y:
; AIX64:       # %bb.0: # %entry
; AIX64-NEXT:    li r4, 1
; AIX64-NEXT:    cntlzd r3, r3
; AIX64-NEXT:    rldic r4, r4, 63, 0
; AIX64-NEXT:    srd r3, r4, r3
; AIX64-NEXT:    blr
;
; LNX64-LABEL: _Z10bitfloor64y:
; LNX64:       # %bb.0: # %entry
; LNX64-NEXT:    li r4, 1
; LNX64-NEXT:    cntlzd r3, r3
; LNX64-NEXT:    rldic r4, r4, 63, 0
; LNX64-NEXT:    srd r3, r4, r3
; LNX64-NEXT:    blr
entry:
  %cmp.i = icmp eq i64 %x, 0
  %0 = tail call range(i64 0, 65) i64 @llvm.ctlz.i64(i64 %x, i1 true)
  %shl.i = lshr exact i64 -9223372036854775808, %0
  %cond.i = select i1 %cmp.i, i64 0, i64 %shl.i
  ret i64 %cond.i
}

declare i64 @llvm.ctlz.i64(i64, i1 immarg)