| ; 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} |