; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mcpu=pwr8 -ppc-asm-full-reg-names -mtriple=powerpc64-ibm-aix --code-model=small < %s | \
; RUN:   FileCheck %s --check-prefixes=COMMON,CHECK-AIX64
; RUN: llc -mcpu=pwr8 -ppc-asm-full-reg-names -mtriple=powerpc64le-unknown-linux-gnu < %s | \
; RUN:   FileCheck %s --check-prefixes=COMMON,CHECK-LINUX
; RUN: llc -mcpu=pwr8 -ppc-asm-full-reg-names -mtriple=powerpc-ibm-aix < %s | \
; RUN:   FileCheck %s --check-prefixes=COMMON,CHECK-AIX32

define i1 @test1() {
; CHECK-AIX64-LABEL: test1:
; CHECK-AIX64:       # %bb.0: # %bb
; CHECK-AIX64-NEXT:    ld r3, 0(0)
; CHECK-AIX64-NEXT:    ld r4, 8(0)
; CHECK-AIX64-NEXT:    or r3, r4, r3
; CHECK-AIX64-NEXT:    cntlzd r3, r3
; CHECK-AIX64-NEXT:    rldicl r3, r3, 58, 63
; CHECK-AIX64-NEXT:    blr
;
; CHECK-LINUX-LABEL: test1:
; CHECK-LINUX:       # %bb.0: # %bb
; CHECK-LINUX-NEXT:    ld r3, 8(0)
; CHECK-LINUX-NEXT:    ld r4, 0(0)
; CHECK-LINUX-NEXT:    or r3, r4, r3
; CHECK-LINUX-NEXT:    cntlzd r3, r3
; CHECK-LINUX-NEXT:    rldicl r3, r3, 58, 63
; CHECK-LINUX-NEXT:    blr
;
; CHECK-AIX32-LABEL: test1:
; CHECK-AIX32:       # %bb.0: # %bb
; CHECK-AIX32-NEXT:    li r3, 0
; CHECK-AIX32-NEXT:    xxlxor vs35, vs35, vs35
; CHECK-AIX32-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX32-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX32-NEXT:    mfocrf r3, 2
; CHECK-AIX32-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX32-NEXT:    blr
bb:
  %load = load i128, ptr null, align 16
  %icmp = icmp eq i128 %load, 0
  ret i1 %icmp
}

define i1 @test2() {
; CHECK-AIX64-LABEL: test2:
; CHECK-AIX64:       # %bb.0: # %bb
; CHECK-AIX64-NEXT:    ld r4, 8(0)
; CHECK-AIX64-NEXT:    ld r3, 0(0)
; CHECK-AIX64-NEXT:    xori r4, r4, 10
; CHECK-AIX64-NEXT:    or r3, r4, r3
; CHECK-AIX64-NEXT:    cntlzd r3, r3
; CHECK-AIX64-NEXT:    rldicl r3, r3, 58, 63
; CHECK-AIX64-NEXT:    blr
;
; CHECK-LINUX-LABEL: test2:
; CHECK-LINUX:       # %bb.0: # %bb
; CHECK-LINUX-NEXT:    ld r4, 0(0)
; CHECK-LINUX-NEXT:    ld r3, 8(0)
; CHECK-LINUX-NEXT:    xori r4, r4, 10
; CHECK-LINUX-NEXT:    or r3, r4, r3
; CHECK-LINUX-NEXT:    cntlzd r3, r3
; CHECK-LINUX-NEXT:    rldicl r3, r3, 58, 63
; CHECK-LINUX-NEXT:    blr
;
; CHECK-AIX32-LABEL: test2:
; CHECK-AIX32:       # %bb.0: # %bb
; CHECK-AIX32-NEXT:    li r3, 0
; CHECK-AIX32-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX32-NEXT:    lwz r3, L..C0(r2) # %const.0
; CHECK-AIX32-NEXT:    lxvw4x vs35, 0, r3
; CHECK-AIX32-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX32-NEXT:    mfocrf r3, 2
; CHECK-AIX32-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX32-NEXT:    blr
bb:
  %load = load i128, ptr null, align 16
  %icmp = icmp eq i128 %load, 10
  ret i1 %icmp
}

define i1 @test3() {
; CHECK-AIX64-LABEL: test3:
; CHECK-AIX64:       # %bb.0: # %bb
; CHECK-AIX64-NEXT:    ld r4, 8(0)
; CHECK-AIX64-NEXT:    ld r3, 0(0)
; CHECK-AIX64-NEXT:    xori r4, r4, 65535
; CHECK-AIX64-NEXT:    or r3, r4, r3
; CHECK-AIX64-NEXT:    cntlzd r3, r3
; CHECK-AIX64-NEXT:    rldicl r3, r3, 58, 63
; CHECK-AIX64-NEXT:    blr
;
; CHECK-LINUX-LABEL: test3:
; CHECK-LINUX:       # %bb.0: # %bb
; CHECK-LINUX-NEXT:    ld r4, 0(0)
; CHECK-LINUX-NEXT:    ld r3, 8(0)
; CHECK-LINUX-NEXT:    xori r4, r4, 65535
; CHECK-LINUX-NEXT:    or r3, r4, r3
; CHECK-LINUX-NEXT:    cntlzd r3, r3
; CHECK-LINUX-NEXT:    rldicl r3, r3, 58, 63
; CHECK-LINUX-NEXT:    blr
;
; CHECK-AIX32-LABEL: test3:
; CHECK-AIX32:       # %bb.0: # %bb
; CHECK-AIX32-NEXT:    li r3, 0
; CHECK-AIX32-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX32-NEXT:    lwz r3, L..C1(r2) # %const.0
; CHECK-AIX32-NEXT:    lxvw4x vs35, 0, r3
; CHECK-AIX32-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX32-NEXT:    mfocrf r3, 2
; CHECK-AIX32-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX32-NEXT:    blr
bb:
  %load = load i128, ptr null, align 16
  %icmp = icmp eq i128 %load, 65535
  ret i1 %icmp
}

define i1 @test4() {
; CHECK-AIX64-LABEL: test4:
; CHECK-AIX64:       # %bb.0: # %bb
; CHECK-AIX64-NEXT:    li r3, 0
; CHECK-AIX64-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX64-NEXT:    ld r3, L..C0(r2) # %const.0
; CHECK-AIX64-NEXT:    lxvd2x vs35, 0, r3
; CHECK-AIX64-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX64-NEXT:    mfocrf r3, 2
; CHECK-AIX64-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX64-NEXT:    blr
;
; CHECK-LINUX-LABEL: test4:
; CHECK-LINUX:       # %bb.0: # %bb
; CHECK-LINUX-NEXT:    li r3, 0
; CHECK-LINUX-NEXT:    lxvd2x vs34, 0, r3
; CHECK-LINUX-NEXT:    addis r3, r2, .LCPI3_0@toc@ha
; CHECK-LINUX-NEXT:    addi r3, r3, .LCPI3_0@toc@l
; CHECK-LINUX-NEXT:    lxvd2x vs35, 0, r3
; CHECK-LINUX-NEXT:    vcmpequb. v2, v2, v3
; CHECK-LINUX-NEXT:    mfocrf r3, 2
; CHECK-LINUX-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-LINUX-NEXT:    blr
;
; CHECK-AIX32-LABEL: test4:
; CHECK-AIX32:       # %bb.0: # %bb
; CHECK-AIX32-NEXT:    li r3, 0
; CHECK-AIX32-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX32-NEXT:    lwz r3, L..C2(r2) # %const.0
; CHECK-AIX32-NEXT:    lxvw4x vs35, 0, r3
; CHECK-AIX32-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX32-NEXT:    mfocrf r3, 2
; CHECK-AIX32-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX32-NEXT:    blr
bb:
  %load = load i128, ptr null, align 16
  %icmp = icmp eq i128 %load, 65536
  ret i1 %icmp
}

; Test using the !range metadata
define i1 @test5() {
; CHECK-AIX64-LABEL: test5:
; CHECK-AIX64:       # %bb.0: # %bb
; CHECK-AIX64-NEXT:    ld r3, 0(0)
; CHECK-AIX64-NEXT:    ld r4, 8(0)
; CHECK-AIX64-NEXT:    or r3, r4, r3
; CHECK-AIX64-NEXT:    cntlzd r3, r3
; CHECK-AIX64-NEXT:    rldicl r3, r3, 58, 63
; CHECK-AIX64-NEXT:    blr
;
; CHECK-LINUX-LABEL: test5:
; CHECK-LINUX:       # %bb.0: # %bb
; CHECK-LINUX-NEXT:    ld r3, 8(0)
; CHECK-LINUX-NEXT:    ld r4, 0(0)
; CHECK-LINUX-NEXT:    or r3, r4, r3
; CHECK-LINUX-NEXT:    cntlzd r3, r3
; CHECK-LINUX-NEXT:    rldicl r3, r3, 58, 63
; CHECK-LINUX-NEXT:    blr
;
; CHECK-AIX32-LABEL: test5:
; CHECK-AIX32:       # %bb.0: # %bb
; CHECK-AIX32-NEXT:    li r3, 0
; CHECK-AIX32-NEXT:    xxlxor vs35, vs35, vs35
; CHECK-AIX32-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX32-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX32-NEXT:    mfocrf r3, 2
; CHECK-AIX32-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX32-NEXT:    blr
bb:
  %load = load i128, ptr null, align 16, !range !0
  %icmp = icmp eq i128 %load, 0
  ret i1 %icmp
}

define i1 @test6() {
; CHECK-AIX64-LABEL: test6:
; CHECK-AIX64:       # %bb.0: # %bb
; CHECK-AIX64-NEXT:    ld r4, 8(0)
; CHECK-AIX64-NEXT:    ld r3, 0(0)
; CHECK-AIX64-NEXT:    xori r4, r4, 65535
; CHECK-AIX64-NEXT:    or r3, r4, r3
; CHECK-AIX64-NEXT:    cntlzd r3, r3
; CHECK-AIX64-NEXT:    rldicl r3, r3, 58, 63
; CHECK-AIX64-NEXT:    blr
;
; CHECK-LINUX-LABEL: test6:
; CHECK-LINUX:       # %bb.0: # %bb
; CHECK-LINUX-NEXT:    ld r4, 0(0)
; CHECK-LINUX-NEXT:    ld r3, 8(0)
; CHECK-LINUX-NEXT:    xori r4, r4, 65535
; CHECK-LINUX-NEXT:    or r3, r4, r3
; CHECK-LINUX-NEXT:    cntlzd r3, r3
; CHECK-LINUX-NEXT:    rldicl r3, r3, 58, 63
; CHECK-LINUX-NEXT:    blr
;
; CHECK-AIX32-LABEL: test6:
; CHECK-AIX32:       # %bb.0: # %bb
; CHECK-AIX32-NEXT:    li r3, 0
; CHECK-AIX32-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX32-NEXT:    lwz r3, L..C3(r2) # %const.0
; CHECK-AIX32-NEXT:    lxvw4x vs35, 0, r3
; CHECK-AIX32-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX32-NEXT:    mfocrf r3, 2
; CHECK-AIX32-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX32-NEXT:    blr
bb:
  %load = load i128, ptr null, align 16, !range !1
  %icmp = icmp eq i128 %load, 65535
  ret i1 %icmp
}

define i1 @test7() {
; COMMON-LABEL: test7:
; COMMON:       # %bb.0: # %bb
; COMMON-NEXT:    li r3, 0
; COMMON-NEXT:    blr
bb:
  %load = load i128, ptr null, align 16, !range !1
  %icmp = icmp eq i128 %load, 65536
  ret i1 %icmp
}

define i1 @test8() {
; CHECK-AIX64-LABEL: test8:
; CHECK-AIX64:       # %bb.0: # %bb
; CHECK-AIX64-NEXT:    li r3, 0
; CHECK-AIX64-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX64-NEXT:    ld r3, L..C1(r2) # %const.0
; CHECK-AIX64-NEXT:    lxvd2x vs35, 0, r3
; CHECK-AIX64-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX64-NEXT:    mfocrf r3, 2
; CHECK-AIX64-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX64-NEXT:    blr
;
; CHECK-LINUX-LABEL: test8:
; CHECK-LINUX:       # %bb.0: # %bb
; CHECK-LINUX-NEXT:    li r3, 0
; CHECK-LINUX-NEXT:    lxvd2x vs34, 0, r3
; CHECK-LINUX-NEXT:    addis r3, r2, .LCPI7_0@toc@ha
; CHECK-LINUX-NEXT:    addi r3, r3, .LCPI7_0@toc@l
; CHECK-LINUX-NEXT:    lxvd2x vs35, 0, r3
; CHECK-LINUX-NEXT:    vcmpequb. v2, v2, v3
; CHECK-LINUX-NEXT:    mfocrf r3, 2
; CHECK-LINUX-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-LINUX-NEXT:    blr
;
; CHECK-AIX32-LABEL: test8:
; CHECK-AIX32:       # %bb.0: # %bb
; CHECK-AIX32-NEXT:    li r3, 0
; CHECK-AIX32-NEXT:    lxvw4x vs34, 0, r3
; CHECK-AIX32-NEXT:    lwz r3, L..C4(r2) # %const.0
; CHECK-AIX32-NEXT:    lxvw4x vs35, 0, r3
; CHECK-AIX32-NEXT:    vcmpequb. v2, v2, v3
; CHECK-AIX32-NEXT:    mfocrf r3, 2
; CHECK-AIX32-NEXT:    rlwinm r3, r3, 25, 31, 31
; CHECK-AIX32-NEXT:    blr
bb:
  %load = load i128, ptr null, align 16, !range !2
  %icmp = icmp eq i128 %load, 65536
  ret i1 %icmp
}

!0 = !{i128 0, i128 2}
!1 = !{i128 0, i128 65536}
!2 = !{i128 0, i128 65537}