[llvm] [PowerPC] fold i128 equality/inequality compares of two loads into a vectorized compare using vcmpequb.p when Altivec is available (PR #158657)
zhijian lin via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 5 13:08:03 PST 2025
================
@@ -35,18 +35,13 @@ define signext i32 @zeroEqualityTest02(ptr %x, ptr %y) {
define signext i32 @zeroEqualityTest01(ptr %x, ptr %y) {
; CHECK-LABEL: zeroEqualityTest01:
; CHECK: # %bb.0:
-; CHECK-NEXT: ld 5, 0(3)
-; CHECK-NEXT: ld 6, 0(4)
-; CHECK-NEXT: cmpld 5, 6
-; CHECK-NEXT: bne 0, .LBB1_2
-; CHECK-NEXT: # %bb.1: # %loadbb1
-; CHECK-NEXT: ld 5, 8(3)
-; CHECK-NEXT: ld 4, 8(4)
-; CHECK-NEXT: li 3, 0
-; CHECK-NEXT: cmpld 5, 4
-; CHECK-NEXT: beqlr 0
-; CHECK-NEXT: .LBB1_2: # %res_block
-; CHECK-NEXT: li 3, 1
+; CHECK-NEXT: lxvd2x 34, 0, 4
+; CHECK-NEXT: lxvd2x 35, 0, 3
+; CHECK-NEXT: vcmpequb. 2, 3, 2
+; CHECK-NEXT: mfocrf 3, 2
+; CHECK-NEXT: rlwinm 3, 3, 25, 31, 31
+; CHECK-NEXT: cntlzw 3, 3
+; CHECK-NEXT: srwi 3, 3, 5
----------------
diggerlin wrote:
I consider again, I do not think we can transfer
```
rlwinm r3, r3, 25, 31, 31
cntlzw r3, r3
srwi r3, r3, 5
```
into
```
rlwinm r3, r3, 25, 31, 31
xori r3, (value).
```
since
```
cntlzw r3, r3
srwi r3, r3, 5
```
check whether only the bit 31 of r3 is 1 . I do not think we have a single xori instruction or other single instruction to achieve it.
https://github.com/llvm/llvm-project/pull/158657
More information about the llvm-commits
mailing list