[llvm] 7e3fe88 - [LLVM] Regenerate CHECK lines for CodeGen/AArch64/sve-ptest-removal-*.mir
Paul Walker via llvm-commits
llvm-commits at lists.llvm.org
Wed Mar 19 06:36:24 PDT 2025
Author: Paul Walker
Date: 2025-03-19T13:33:53Z
New Revision: 7e3fe884ac5ffd2a32e8682459146494086ecc0a
URL: https://github.com/llvm/llvm-project/commit/7e3fe884ac5ffd2a32e8682459146494086ecc0a
DIFF: https://github.com/llvm/llvm-project/commit/7e3fe884ac5ffd2a32e8682459146494086ecc0a.diff
LOG: [LLVM] Regenerate CHECK lines for CodeGen/AArch64/sve-ptest-removal-*.mir
Added:
Modified:
llvm/test/CodeGen/AArch64/sve-ptest-removal-cmpeq.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-rdffr.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilege.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilegt.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehi.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehs.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilele.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelo.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilels.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelt.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilerw.mir
llvm/test/CodeGen/AArch64/sve-ptest-removal-whilewr.mir
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-cmpeq.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-cmpeq.mir
index 5169113697dc6..bd1ff4c2c9726 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-cmpeq.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-cmpeq.mir
@@ -1,4 +1,4 @@
-# NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -23,13 +23,17 @@ body: |
bb.0:
liveins: $p0, $z0, $z1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: cmpeq_nxv16i8
- ; CHECK: %3:ppr = CMPEQ_PPzZZ_B %0, %1, %2, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $p0, $z0, $z1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZZ_B:%[0-9]+]]:ppr = CMPEQ_PPzZZ_B [[COPY2]], [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%2:zpr = COPY $z1
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
@@ -65,7 +69,17 @@ body: |
liveins: $p0, $z0, $z1
; CHECK-LABEL: name: cmpeq_nxv8i16
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0, $z1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZZ_H:%[0-9]+]]:ppr = CMPEQ_PPzZZ_H [[COPY2]], [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[COPY2]], [[CMPEQ_PPzZZ_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%2:zpr = COPY $z1
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
@@ -101,7 +115,17 @@ body: |
liveins: $p0, $z0, $z1
; CHECK-LABEL: name: cmpeq_nxv4i32
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0, $z1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZZ_S:%[0-9]+]]:ppr = CMPEQ_PPzZZ_S [[COPY2]], [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[COPY2]], [[CMPEQ_PPzZZ_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%2:zpr = COPY $z1
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
@@ -137,7 +161,17 @@ body: |
liveins: $p0, $z0, $z1
; CHECK-LABEL: name: cmpeq_nxv2i64
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0, $z1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZZ_D:%[0-9]+]]:ppr = CMPEQ_PPzZZ_D [[COPY2]], [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[COPY2]], [[CMPEQ_PPzZZ_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%2:zpr = COPY $z1
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
@@ -170,7 +204,17 @@ body: |
liveins: $p0, $z0
; CHECK-LABEL: name: cmpeq_imm_nxv16i8
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZI_B:%[0-9]+]]:ppr = CMPEQ_PPzZI_B [[COPY1]], [[COPY]], 0, implicit-def dead $nzcv
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[CMPEQ_PPzZI_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
%2:ppr = CMPEQ_PPzZI_B %0, %1, 0, implicit-def dead $nzcv
@@ -204,7 +248,16 @@ body: |
liveins: $p0, $z0
; CHECK-LABEL: name: cmpeq_imm_nxv8i16
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZI_H:%[0-9]+]]:ppr = CMPEQ_PPzZI_H [[COPY1]], [[COPY]], 0, implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[COPY1]], [[CMPEQ_PPzZI_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
%2:ppr = CMPEQ_PPzZI_H %0, %1, 0, implicit-def dead $nzcv
@@ -237,7 +290,16 @@ body: |
liveins: $p0, $z0
; CHECK-LABEL: name: cmpeq_imm_nxv4i32
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZI_S:%[0-9]+]]:ppr = CMPEQ_PPzZI_S [[COPY1]], [[COPY]], 0, implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[COPY1]], [[CMPEQ_PPzZI_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
%2:ppr = CMPEQ_PPzZI_S %0, %1, 0, implicit-def dead $nzcv
@@ -270,7 +332,16 @@ body: |
liveins: $p0, $z0
; CHECK-LABEL: name: cmpeq_imm_nxv2i64
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZI_D:%[0-9]+]]:ppr = CMPEQ_PPzZI_D [[COPY1]], [[COPY]], 0, implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[COPY1]], [[CMPEQ_PPzZI_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
%2:ppr = CMPEQ_PPzZI_D %0, %1, 0, implicit-def dead $nzcv
@@ -303,7 +374,16 @@ body: |
liveins: $p0, $z0, $z1
; CHECK-LABEL: name: cmpeq_wide_nxv16i8
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $p0, $z0, $z1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_WIDE_PPzZZ_B:%[0-9]+]]:ppr = CMPEQ_WIDE_PPzZZ_B [[COPY2]], [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%2:zpr = COPY $z1
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
@@ -339,7 +419,17 @@ body: |
liveins: $p0, $z0, $z1
; CHECK-LABEL: name: cmpeq_wide_nxv8i16
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0, $z1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_WIDE_PPzZZ_H:%[0-9]+]]:ppr = CMPEQ_WIDE_PPzZZ_H [[COPY2]], [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[COPY2]], [[CMPEQ_WIDE_PPzZZ_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%2:zpr = COPY $z1
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
@@ -375,7 +465,17 @@ body: |
liveins: $p0, $z0, $z1
; CHECK-LABEL: name: cmpeq_wide_nxv4i32
- ; CHECK: PTEST
+ ; CHECK: liveins: $p0, $z0, $z1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_WIDE_PPzZZ_S:%[0-9]+]]:ppr = CMPEQ_WIDE_PPzZZ_S [[COPY2]], [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[COPY2]], [[CMPEQ_WIDE_PPzZZ_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%2:zpr = COPY $z1
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
@@ -408,11 +508,17 @@ body: |
liveins: $p0, $z0
; CHECK-LABEL: name: cmpeq_imm_nxv16i8_ptest_not_all_active
- ; CHECK: %2:ppr = CMPEQ_PPzZI_B %0, %1, 0, implicit-def dead $nzcv
- ; CHECK-NEXT: %3:ppr = PTRUE_B 0, implicit $vg
- ; CHECK-NEXT: PTEST_PP killed %3, killed %2, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $p0, $z0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZI_B:%[0-9]+]]:ppr = CMPEQ_PPzZI_B [[COPY1]], [[COPY]], 0, implicit-def dead $nzcv
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 0, implicit $vg
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[CMPEQ_PPzZI_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
%2:ppr = CMPEQ_PPzZI_B %0, %1, 0, implicit-def dead $nzcv
@@ -445,11 +551,17 @@ body: |
liveins: $p0, $z0
; CHECK-LABEL: name: cmpeq_imm_nxv16i8_ptest_of_halfs
- ; CHECK: %2:ppr = CMPEQ_PPzZI_B %0, %1, 0, implicit-def dead $nzcv
- ; CHECK-NEXT: %3:ppr = PTRUE_H 31, implicit $vg
- ; CHECK-NEXT: PTEST_PP killed %3, killed %2, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $p0, $z0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZI_B:%[0-9]+]]:ppr = CMPEQ_PPzZI_B [[COPY1]], [[COPY]], 0, implicit-def dead $nzcv
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[CMPEQ_PPzZI_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
%2:ppr = CMPEQ_PPzZI_B %0, %1, 0, implicit-def dead $nzcv
@@ -483,11 +595,17 @@ body: |
liveins: $p0, $p1, $z0
; CHECK-LABEL: name: cmpeq_imm_nxv16i8_ptest_with_unique_pg
- ; CHECK: %2:ppr = CMPEQ_PPzZI_B %0, %1, 0, implicit-def dead $nzcv
- ; CHECK-NEXT: %3:ppr = COPY $p1
- ; CHECK-NEXT: PTEST_PP killed %3, killed %2, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $p0, $p1, $z0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZI_B:%[0-9]+]]:ppr = CMPEQ_PPzZI_B [[COPY1]], [[COPY]], 0, implicit-def dead $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr = COPY $p1
+ ; CHECK-NEXT: PTEST_PP killed [[COPY2]], killed [[CMPEQ_PPzZI_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
%2:ppr = CMPEQ_PPzZI_B %0, %1, 0, implicit-def dead $nzcv
@@ -521,7 +639,17 @@ body: |
liveins: $p0, $z0, $z1
; CHECK-LABEL: name: cmpeq_nxv16i8_ptest_with_matching_operands
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $p0, $z0, $z1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:zpr = COPY $z1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:zpr = COPY $z0
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[CMPEQ_PPzZZ_B:%[0-9]+]]:ppr = CMPEQ_PPzZZ_B [[COPY2]], [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[CMPEQ_PPzZZ_B]], killed [[CMPEQ_PPzZZ_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY3]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%2:zpr = COPY $z1
%1:zpr = COPY $z0
%0:ppr_3b = COPY $p0
@@ -533,5 +661,3 @@ body: |
RET_ReallyLR implicit $w0
...
-## NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
-# CHECK: {{.*}}
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-rdffr.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-rdffr.mir
index 86383ea533180..d5ba764fb6748 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-rdffr.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-rdffr.mir
@@ -1,89 +1,109 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test that RDFFR followed by PTEST is replaced with RDFFRS.
---
-# CHECK-LABEL: name:{{\s*}} substitute_rdffr_pp_with_rdffrs_pp
name: substitute_rdffr_pp_with_rdffrs_pp
tracksRegLiveness: true
body: |
bb.0:
liveins: $ffr, $p0
+ ; CHECK-LABEL: name: substitute_rdffr_pp_with_rdffrs_pp
+ ; CHECK: liveins: $ffr, $p0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[RDFFRS_PPz:%[0-9]+]]:ppr_3b = RDFFRS_PPz [[COPY]], implicit $ffr, implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr killed [[COPY1]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%0:ppr_3b = COPY $p0
- ; CHECK: RDFFRS_PPz
- ; CHECK-NOT: PTEST
%1:ppr_3b = RDFFR_PPz %0:ppr_3b, implicit $ffr
PTEST_PP killed %0:ppr_3b, killed %1:ppr_3b, implicit-def $nzcv
-
- ; Consume nzcv
%2:gpr32 = COPY $wzr
%3:gpr32 = CSINCWr killed %2, $wzr, 0, implicit $nzcv
$w0 = COPY %3
RET_ReallyLR implicit $w0
...
---
-# CHECK-LABEL: name:{{\s*}} fail_to_substitute_rdffr_pp_with_rdffrs_pp_
diff ering_mask
name: fail_to_substitute_rdffr_pp_with_rdffrs_pp_
diff ering_mask
tracksRegLiveness: true
body: |
bb.0:
liveins: $ffr, $p0, $p1
+ ; CHECK-LABEL: name: fail_to_substitute_rdffr_pp_with_rdffrs_pp_
diff ering_mask
+ ; CHECK: liveins: $ffr, $p0, $p1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:ppr_3b = COPY $p1
+ ; CHECK-NEXT: [[RDFFR_PPz:%[0-9]+]]:ppr_3b = RDFFR_PPz [[COPY]], implicit $ffr
+ ; CHECK-NEXT: PTEST_PP killed [[COPY1]], killed [[RDFFR_PPz]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr killed [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%0:ppr_3b = COPY $p0
%1:ppr_3b = COPY $p1
- ; CHECK: RDFFR_PPz
- ; CHECK: PTEST
%2:ppr_3b = RDFFR_PPz %0:ppr_3b, implicit $ffr
PTEST_PP killed %1:ppr_3b, killed %2:ppr_3b, implicit-def $nzcv
-
- ; Consume nzcv
%3:gpr32 = COPY $wzr
%4:gpr32 = CSINCWr killed %3, $wzr, 0, implicit $nzcv
$w0 = COPY %4
RET_ReallyLR implicit $w0
...
---
-# CHECK-LABEL: name:{{\s*}} fail_to_substitute_rdffr_pp_with_rdffrs_pp_nzcv_clobbered
name: fail_to_substitute_rdffr_pp_with_rdffrs_pp_nzcv_clobbered
tracksRegLiveness: true
body: |
bb.0:
liveins: $ffr, $p0, $x0
+ ; CHECK-LABEL: name: fail_to_substitute_rdffr_pp_with_rdffrs_pp_nzcv_clobbered
+ ; CHECK: liveins: $ffr, $p0, $x0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: [[RDFFR_PPz:%[0-9]+]]:ppr_3b = RDFFR_PPz [[COPY]], implicit $ffr
+ ; CHECK-NEXT: $x0 = ADDSXrr $x0, $x0, implicit-def $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[COPY]], killed [[RDFFR_PPz]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr killed [[COPY1]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%0:ppr_3b = COPY $p0
- ; CHECK: RDFFR_PPz
- ; CHECK-NEXT: ADDSXrr
- ; CHECK-NEXT: PTEST_PP
%1:ppr_3b = RDFFR_PPz %0:ppr_3b, implicit $ffr
- ; Clobber nzcv
$x0 = ADDSXrr $x0, $x0, implicit-def $nzcv
PTEST_PP killed %0:ppr_3b, killed %1:ppr_3b, implicit-def $nzcv
-
- ; Consume nzcv
%2:gpr32 = COPY $wzr
%3:gpr32 = CSINCWr killed %2, $wzr, 0, implicit $nzcv
$w0 = COPY %3
RET_ReallyLR implicit $w0
...
---
-# CHECK-LABEL: name:{{\s*}} fail_to_substitute_rdffr_pp_with_rdffrs_pp_nzcv_flags_used_between
name: fail_to_substitute_rdffr_pp_with_rdffrs_pp_nzcv_flags_used_between
tracksRegLiveness: true
body: |
bb.0:
liveins: $ffr, $p0, $x0
+ ; CHECK-LABEL: name: fail_to_substitute_rdffr_pp_with_rdffrs_pp_nzcv_flags_used_between
+ ; CHECK: liveins: $ffr, $p0, $x0
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:ppr_3b = COPY $p0
+ ; CHECK-NEXT: $wzr = SUBSWri $w0, 0, 0, implicit-def $nzcv
+ ; CHECK-NEXT: [[RDFFR_PPz:%[0-9]+]]:ppr_3b = RDFFR_PPz [[COPY]], implicit $ffr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr $wzr, $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[COPY]], killed [[RDFFR_PPz]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr1:%[0-9]+]]:gpr32 = CSINCWr killed [[COPY1]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = ORRWrs [[CSINCWr1]], [[CSINCWr]], 1
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%0:ppr_3b = COPY $p0
$wzr = SUBSWri $w0, 0, 0, implicit-def $nzcv
- ; CHECK: RDFFR_PPz
- ; CHECK-NEXT: CSINCWr
- ; CHECK-NEXT: PTEST_PP
%1:ppr_3b = RDFFR_PPz %0:ppr_3b, implicit $ffr
- ; Consume nzcv
%2:gpr32 = CSINCWr $wzr, $wzr, 0, implicit $nzcv
PTEST_PP killed %0:ppr_3b, killed %1:ppr_3b, implicit-def $nzcv
-
- ; Consume nzcv
%3:gpr32 = COPY $wzr
%4:gpr32 = CSINCWr killed %3, $wzr, 0, implicit $nzcv
$w0 = ORRWrs %4, %2, 1
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilege.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilege.mir
index c1d9dfff73447..69a2c88d7dbad 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilege.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilege.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve2 -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilege_b8_s32
- ; CHECK: %3:ppr = WHILEGE_PWW_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PWW_B:%[0-9]+]]:ppr = WHILEGE_PWW_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -60,7 +65,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilege_b8_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PXX_B:%[0-9]+]]:ppr = WHILEGE_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg, implicit $vg
@@ -95,7 +109,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilege_b16_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PWW_H:%[0-9]+]]:ppr = WHILEGE_PWW_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -130,7 +153,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilege_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PXX_H:%[0-9]+]]:ppr = WHILEGE_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -165,7 +197,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilege_b32_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PWW_S:%[0-9]+]]:ppr = WHILEGE_PWW_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -200,7 +241,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilege_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PXX_S:%[0-9]+]]:ppr = WHILEGE_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -235,7 +285,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilege_b64_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PWW_D:%[0-9]+]]:ppr = WHILEGE_PWW_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -270,7 +329,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilege_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PXX_D:%[0-9]+]]:ppr = WHILEGE_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -282,6 +350,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilege_b8_s64_keep_ptest_not_all_active
alignment: 2
@@ -302,15 +374,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilege_b8_s64_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILEGE_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 0, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PXX_B:%[0-9]+]]:ppr = WHILEGE_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILEGE_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 0, implicit $vg
@@ -322,6 +397,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilege_b8_s64_keep_ptest_of_halfs
alignment: 2
@@ -342,15 +421,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilege_b8_s64_keep_ptest_of_halfs
- ; CHECK: %3:ppr = WHILEGE_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PXX_B:%[0-9]+]]:ppr = WHILEGE_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILEGE_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -362,6 +444,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilege_b8_s64_keep_ptest_of_words
alignment: 2
@@ -382,15 +468,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilege_b8_s64_keep_ptest_of_words
- ; CHECK: %3:ppr = WHILEGE_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PXX_B:%[0-9]+]]:ppr = WHILEGE_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILEGE_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -402,6 +491,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilege_b8_s64_keep_ptest_of_doublewords
alignment: 2
@@ -422,15 +515,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilege_b8_s64_keep_ptest_of_doublewords
- ; CHECK: %3:ppr = WHILEGE_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGE_PXX_B:%[0-9]+]]:ppr = WHILEGE_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILEGE_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilegt.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilegt.mir
index c6df21f85db77..58db85aba80ad 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilegt.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilegt.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve2 -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilegt_b8_s32
- ; CHECK: %3:ppr = WHILEGT_PWW_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PWW_B:%[0-9]+]]:ppr = WHILEGT_PWW_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -60,7 +65,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilegt_b8_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PXX_B:%[0-9]+]]:ppr = WHILEGT_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg, implicit $vg
@@ -95,7 +109,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilegt_b16_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PWW_H:%[0-9]+]]:ppr = WHILEGT_PWW_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg, implicit $vg
@@ -130,7 +153,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilegt_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PXX_H:%[0-9]+]]:ppr = WHILEGT_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg, implicit $vg
@@ -165,7 +197,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilegt_b32_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PWW_S:%[0-9]+]]:ppr = WHILEGT_PWW_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg, implicit $vg
@@ -200,7 +241,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilegt_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PXX_S:%[0-9]+]]:ppr = WHILEGT_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg, implicit $vg
@@ -235,7 +285,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilegt_b64_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PWW_D:%[0-9]+]]:ppr = WHILEGT_PWW_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg, implicit $vg
@@ -270,7 +329,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilegt_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PXX_D:%[0-9]+]]:ppr = WHILEGT_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg, implicit $vg
@@ -282,6 +350,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGT, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilegt_b16_s64_keep_ptest_not_all_active
alignment: 2
@@ -302,15 +374,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGT, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilegt_b16_s64_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILEGT_PXX_H %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 1, implicit $vg, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PXX_H:%[0-9]+]]:ppr = WHILEGT_PXX_H [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILEGT_PXX_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 1, implicit $vg, implicit $vg
@@ -322,6 +397,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGT, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilegt_b16_s64_keep_ptest_of_bytes
alignment: 2
@@ -342,15 +421,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGT, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilegt_b16_s64_keep_ptest_of_bytes
- ; CHECK: %3:ppr = WHILEGT_PXX_H %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PXX_H:%[0-9]+]]:ppr = WHILEGT_PXX_H [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILEGT_PXX_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -362,6 +444,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGT, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilegt_b16_s64_keep_ptest_of_words
alignment: 2
@@ -382,15 +468,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGT, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilegt_b16_s64_keep_ptest_of_words
- ; CHECK: %3:ppr = WHILEGT_PXX_H %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PXX_H:%[0-9]+]]:ppr = WHILEGT_PXX_H [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILEGT_PXX_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -402,6 +491,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGT, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilegt_b16_s64_keep_ptest_of_doublewords
alignment: 2
@@ -422,15 +515,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGT, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilegt_b16_s64_keep_ptest_of_doublewords
- ; CHECK: %3:ppr = WHILEGT_PXX_H %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEGT_PXX_H:%[0-9]+]]:ppr = WHILEGT_PXX_H [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILEGT_PXX_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -462,7 +558,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilegt_b8_s32_ptest_with_matching_operands
- ; CHECK: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[WHILEGT_PWW_B:%[0-9]+]]:ppr = WHILEGT_PWW_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP [[WHILEGT_PWW_B]], killed [[WHILEGT_PWW_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = WHILEGT_PWW_B %0, %1, implicit-def dead $nzcv
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehi.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehi.mir
index 7d8aed3c325a0..03d9768258ebc 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehi.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehi.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve2 -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilehi_b8_s32
- ; CHECK: %3:ppr = WHILEHI_PWW_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PWW_B:%[0-9]+]]:ppr = WHILEHI_PWW_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -60,7 +65,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilehi_b8_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PXX_B:%[0-9]+]]:ppr = WHILEHI_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -95,7 +109,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilehi_b16_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PWW_H:%[0-9]+]]:ppr = WHILEHI_PWW_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -130,7 +153,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilehi_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PXX_H:%[0-9]+]]:ppr = WHILEHI_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -165,7 +197,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilehi_b32_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PWW_S:%[0-9]+]]:ppr = WHILEHI_PWW_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -200,7 +241,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilehi_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PXX_S:%[0-9]+]]:ppr = WHILEHI_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -235,7 +285,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilehi_b64_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PWW_D:%[0-9]+]]:ppr = WHILEHI_PWW_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -270,7 +329,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilehi_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PXX_D:%[0-9]+]]:ppr = WHILEHI_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -282,6 +350,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEHI, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilehi_b32_s64_keep_ptest_not_all_active
alignment: 2
@@ -302,15 +374,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEHI, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilehi_b32_s64_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILEHI_PXX_S %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 29, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PXX_S:%[0-9]+]]:ppr = WHILEHI_PXX_S [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILEHI_PXX_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 29, implicit $vg
@@ -322,6 +397,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEHI, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilehi_b32_s64_keep_ptest_of_bytes
alignment: 2
@@ -342,15 +421,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEHI, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilehi_b32_s64_keep_ptest_of_bytes
- ; CHECK: %3:ppr = WHILEHI_PXX_S %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PXX_S:%[0-9]+]]:ppr = WHILEHI_PXX_S [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILEHI_PXX_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -362,6 +444,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEHI, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilehi_b32_s64_keep_ptest_of_halfs
alignment: 2
@@ -382,15 +468,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEHI, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilehi_b32_s64_keep_ptest_of_halfs
- ; CHECK: %3:ppr = WHILEHI_PXX_S %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PXX_S:%[0-9]+]]:ppr = WHILEHI_PXX_S [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILEHI_PXX_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -402,6 +491,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEHI, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilehi_b32_s64_keep_ptest_of_doublewords
alignment: 2
@@ -422,15 +515,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEHI, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilehi_b32_s64_keep_ptest_of_doublewords
- ; CHECK: %3:ppr = WHILEHI_PXX_S %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHI_PXX_S:%[0-9]+]]:ppr = WHILEHI_PXX_S [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILEHI_PXX_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehs.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehs.mir
index f4dbfbc3db1ca..68ecd79c8325b 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehs.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilehs.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve2 -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilehs_b8_s32
- ; CHECK: %3:ppr = WHILEHS_PWW_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PWW_B:%[0-9]+]]:ppr = WHILEHS_PWW_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -60,7 +65,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilehs_b8_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PXX_B:%[0-9]+]]:ppr = WHILEHS_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -95,7 +109,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilehs_b16_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PWW_H:%[0-9]+]]:ppr = WHILEHS_PWW_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -130,7 +153,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilehs_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PXX_H:%[0-9]+]]:ppr = WHILEHS_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -165,7 +197,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilehs_b32_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PWW_S:%[0-9]+]]:ppr = WHILEHS_PWW_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -200,7 +241,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilehs_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PXX_S:%[0-9]+]]:ppr = WHILEHS_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -235,7 +285,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilehs_b64_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PWW_D:%[0-9]+]]:ppr = WHILEHS_PWW_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -270,7 +329,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilehs_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PXX_D:%[0-9]+]]:ppr = WHILEHS_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -282,6 +350,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEHS, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilehs_b64_s64_keep_ptest_not_all_active
alignment: 2
@@ -302,15 +374,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEHS, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilehs_b64_s64_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILEHS_PXX_D %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 30, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PXX_D:%[0-9]+]]:ppr = WHILEHS_PXX_D [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILEHS_PXX_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 30, implicit $vg
@@ -322,6 +397,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEHS, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilehs_b64_s64_keep_ptest_of_bytes
alignment: 2
@@ -342,15 +421,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEHS, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilehs_b64_s64_keep_ptest_of_bytes
- ; CHECK: %3:ppr = WHILEHS_PXX_D %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PXX_D:%[0-9]+]]:ppr = WHILEHS_PXX_D [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILEHS_PXX_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -362,6 +444,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEHS, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilehs_b64_s64_keep_ptest_of_halfs
alignment: 2
@@ -382,15 +468,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEHS, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilehs_b64_s64_keep_ptest_of_halfs
- ; CHECK: %3:ppr = WHILEHS_PXX_D %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PXX_D:%[0-9]+]]:ppr = WHILEHS_PXX_D [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILEHS_PXX_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -402,6 +491,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEHS, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilehs_b64_s64_keep_ptest_of_words
alignment: 2
@@ -422,15 +515,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEHS, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilehs_b64_s64_keep_ptest_of_words
- ; CHECK: %3:ppr = WHILEHS_PXX_D %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEHS_PXX_D:%[0-9]+]]:ppr = WHILEHS_PXX_D [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILEHS_PXX_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilele.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilele.mir
index dc2265490cb55..16dcb2cebec7e 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilele.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilele.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilele_b8_s32
- ; CHECK: %3:ppr = WHILELE_PWW_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PWW_B:%[0-9]+]]:ppr = WHILELE_PWW_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -60,7 +65,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilele_b8_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PXX_B:%[0-9]+]]:ppr = WHILELE_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -95,7 +109,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilele_b16_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PWW_H:%[0-9]+]]:ppr = WHILELE_PWW_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -130,7 +153,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilele_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PXX_H:%[0-9]+]]:ppr = WHILELE_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -165,7 +197,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilele_b32_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PWW_S:%[0-9]+]]:ppr = WHILELE_PWW_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -200,7 +241,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilele_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PXX_S:%[0-9]+]]:ppr = WHILELE_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -235,7 +285,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilele_b64_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PWW_D:%[0-9]+]]:ppr = WHILELE_PWW_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -270,7 +329,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilele_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PXX_D:%[0-9]+]]:ppr = WHILELE_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -282,6 +350,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilele_b8_s32_keep_ptest_not_all_active
alignment: 2
@@ -302,15 +374,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilele_b8_s32_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILELE_PWW_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 7, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PWW_B:%[0-9]+]]:ppr = WHILELE_PWW_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILELE_PWW_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 7, implicit $vg
@@ -322,6 +397,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilele_b8_s32_keep_ptest_of_halfs
alignment: 2
@@ -342,15 +421,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilele_b8_s32_keep_ptest_of_halfs
- ; CHECK: %3:ppr = WHILELE_PWW_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PWW_B:%[0-9]+]]:ppr = WHILELE_PWW_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILELE_PWW_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -362,6 +444,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilele_b8_s32_keep_ptest_of_words
alignment: 2
@@ -382,15 +468,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilele_b8_s32_keep_ptest_of_words
- ; CHECK: %3:ppr = WHILELE_PWW_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PWW_B:%[0-9]+]]:ppr = WHILELE_PWW_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILELE_PWW_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -402,6 +491,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilele_b8_s32_keep_ptest_of_doublewords
alignment: 2
@@ -422,15 +515,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilele_b8_s32_keep_ptest_of_doublewords
- ; CHECK: %3:ppr = WHILELE_PWW_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELE_PWW_B:%[0-9]+]]:ppr = WHILELE_PWW_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILELE_PWW_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelo.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelo.mir
index 4d66e3e57da8b..06030a786545a 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelo.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelo.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilelo_b8_s32
- ; CHECK: %3:ppr = WHILELO_PWW_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PWW_B:%[0-9]+]]:ppr = WHILELO_PWW_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -60,7 +65,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilelo_b8_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PXX_B:%[0-9]+]]:ppr = WHILELO_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -95,7 +109,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilelo_b16_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PWW_H:%[0-9]+]]:ppr = WHILELO_PWW_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -130,7 +153,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilelo_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PXX_H:%[0-9]+]]:ppr = WHILELO_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -165,7 +197,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilelo_b32_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PWW_S:%[0-9]+]]:ppr = WHILELO_PWW_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -200,7 +241,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilelo_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PXX_S:%[0-9]+]]:ppr = WHILELO_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -235,7 +285,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilelo_b64_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PWW_D:%[0-9]+]]:ppr = WHILELO_PWW_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -270,7 +329,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilelo_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PXX_D:%[0-9]+]]:ppr = WHILELO_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -282,6 +350,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELO, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilelo_b16_s32_keep_ptest_not_all_active
alignment: 2
@@ -302,15 +374,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELO, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilelo_b16_s32_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILELO_PWW_H %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 6, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PWW_H:%[0-9]+]]:ppr = WHILELO_PWW_H [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILELO_PWW_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 6, implicit $vg
@@ -322,6 +397,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELO, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilelo_b16_s32_keep_ptest_of_bytes
alignment: 2
@@ -342,15 +421,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELO, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilelo_b16_s32_keep_ptest_of_bytes
- ; CHECK: %3:ppr = WHILELO_PWW_H %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PWW_H:%[0-9]+]]:ppr = WHILELO_PWW_H [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILELO_PWW_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -362,6 +444,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELO, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilelo_b16_s32_keep_ptest_of_words
alignment: 2
@@ -382,15 +468,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELO, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilelo_b16_s32_keep_ptest_of_words
- ; CHECK: %3:ppr = WHILELO_PWW_H %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PWW_H:%[0-9]+]]:ppr = WHILELO_PWW_H [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILELO_PWW_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -402,6 +491,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELO, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilelo_b16_s32_keep_ptest_of_doublewords
alignment: 2
@@ -422,15 +515,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELO, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilelo_b16_s32_keep_ptest_of_doublewords
- ; CHECK: %3:ppr = WHILELO_PWW_H %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELO_PWW_H:%[0-9]+]]:ppr = WHILELO_PWW_H [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILELO_PWW_H]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilels.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilels.mir
index ea02f8c70ef86..9b378a83e917e 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilels.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilels.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilels_b8_s32
- ; CHECK: %3:ppr = WHILELS_PWW_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PWW_B:%[0-9]+]]:ppr = WHILELS_PWW_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -60,7 +65,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilels_b8_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PXX_B:%[0-9]+]]:ppr = WHILELS_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -95,7 +109,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilels_b16_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PWW_H:%[0-9]+]]:ppr = WHILELS_PWW_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -130,7 +153,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilels_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PXX_H:%[0-9]+]]:ppr = WHILELS_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -165,7 +197,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilels_b32_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PWW_S:%[0-9]+]]:ppr = WHILELS_PWW_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -200,7 +241,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilels_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PXX_S:%[0-9]+]]:ppr = WHILELS_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -235,7 +285,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilels_b64_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PWW_D:%[0-9]+]]:ppr = WHILELS_PWW_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -270,7 +329,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilels_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PXX_D:%[0-9]+]]:ppr = WHILELS_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -282,6 +350,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELS, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilels_b32_s32_keep_ptest_not_all_active
alignment: 2
@@ -302,15 +374,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELS, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilels_b32_s32_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILELS_PWW_S %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 5, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PWW_S:%[0-9]+]]:ppr = WHILELS_PWW_S [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILELS_PWW_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 5, implicit $vg
@@ -322,6 +397,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELS, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilels_b32_s32_keep_ptest_of_bytes
alignment: 2
@@ -342,15 +421,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELS, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilels_b32_s32_keep_ptest_of_bytes
- ; CHECK: %3:ppr = WHILELS_PWW_S %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PWW_S:%[0-9]+]]:ppr = WHILELS_PWW_S [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILELS_PWW_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -362,6 +444,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELS, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilels_b32_s32_keep_ptest_of_halfs
alignment: 2
@@ -382,15 +468,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELS, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilels_b32_s32_keep_ptest_of_halfs
- ; CHECK: %3:ppr = WHILELS_PWW_S %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PWW_S:%[0-9]+]]:ppr = WHILELS_PWW_S [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILELS_PWW_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -402,6 +491,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELS, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilels_b32_s32_keep_ptest_of_doublewords
alignment: 2
@@ -422,15 +515,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELS, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilels_b32_s32_keep_ptest_of_doublewords
- ; CHECK: %3:ppr = WHILELS_PWW_S %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELS_PWW_S:%[0-9]+]]:ppr = WHILELS_PWW_S [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILELS_PWW_S]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelt.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelt.mir
index d08781f203e32..ef88a8dd848b0 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelt.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilelt.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilelt_b8_s32
- ; CHECK: %3:ppr = WHILELT_PWW_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PWW_B:%[0-9]+]]:ppr = WHILELT_PWW_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -60,7 +65,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilelt_b8_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PXX_B:%[0-9]+]]:ppr = WHILELT_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -95,7 +109,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilelt_b16_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PWW_H:%[0-9]+]]:ppr = WHILELT_PWW_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -130,7 +153,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilelt_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PXX_H:%[0-9]+]]:ppr = WHILELT_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -165,7 +197,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilelt_b32_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PWW_S:%[0-9]+]]:ppr = WHILELT_PWW_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -200,7 +241,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilelt_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PXX_S:%[0-9]+]]:ppr = WHILELT_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -235,7 +285,16 @@ body: |
liveins: $w0, $w1
; CHECK-LABEL: name: whilelt_b64_s32
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PWW_D:%[0-9]+]]:ppr = WHILELT_PWW_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -270,7 +329,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilelt_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PXX_D:%[0-9]+]]:ppr = WHILELT_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -282,6 +350,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELT, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilelt_b64_s32_keep_ptest_not_all_active
alignment: 2
@@ -302,15 +374,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELT, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilelt_b64_s32_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILELT_PWW_D %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 4, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PWW_D:%[0-9]+]]:ppr = WHILELT_PWW_D [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILELT_PWW_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_D 4, implicit $vg
@@ -322,6 +397,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELT, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilelt_b64_s32_keep_ptest_of_bytes
alignment: 2
@@ -342,15 +421,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELT, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilelt_b64_s32_keep_ptest_of_bytes
- ; CHECK: %3:ppr = WHILELT_PWW_D %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PWW_D:%[0-9]+]]:ppr = WHILELT_PWW_D [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILELT_PWW_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -362,6 +444,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELT, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilelt_b64_s32_keep_ptest_of_halfs
alignment: 2
@@ -382,15 +468,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELT, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilelt_b64_s32_keep_ptest_of_halfs
- ; CHECK: %3:ppr = WHILELT_PWW_D %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PWW_D:%[0-9]+]]:ppr = WHILELT_PWW_D [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILELT_PWW_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -402,6 +491,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILELT, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilelt_b64_s32_keep_ptest_of_words
alignment: 2
@@ -422,15 +515,18 @@ body: |
bb.0.entry:
liveins: $w0, $w1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILELT, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilelt_b64_s32_keep_ptest_of_words
- ; CHECK: %3:ppr = WHILELT_PWW_D %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $w0, $w1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr32 = COPY $w1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY $w0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILELT_PWW_D:%[0-9]+]]:ppr = WHILELT_PWW_D [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILELT_PWW_D]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr32 = COPY $w1
%0:gpr32 = COPY $w0
%2:ppr = PTRUE_S 31, implicit $vg
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilerw.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilerw.mir
index d800009b9537f..a421777920550 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilerw.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilerw.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve2 -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilerw_b8_s64
- ; CHECK: %3:ppr = WHILERW_PXX_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILERW_PXX_B:%[0-9]+]]:ppr = WHILERW_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -62,7 +67,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilerw_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILERW_PXX_H:%[0-9]+]]:ppr = WHILERW_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -97,7 +111,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilerw_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILERW_PXX_S:%[0-9]+]]:ppr = WHILERW_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -132,7 +155,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilerw_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILERW_PXX_D:%[0-9]+]]:ppr = WHILERW_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -144,6 +176,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilerw_b8_s64_keep_ptest_not_all_active
alignment: 2
@@ -164,15 +200,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilerw_b8_s64_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILERW_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 0, implicit $vg
+ ; CHECK-NEXT: [[WHILERW_PXX_B:%[0-9]+]]:ppr = WHILERW_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILERW_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 0, implicit $vg
@@ -184,6 +223,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilerw_b8_s64_keep_ptest_of_halfs
alignment: 2
@@ -204,15 +247,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilerw_b8_s64_keep_ptest_of_halfs
- ; CHECK: %3:ppr = WHILERW_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILERW_PXX_B:%[0-9]+]]:ppr = WHILERW_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILERW_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -224,6 +270,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilerw_b8_s64_keep_ptest_of_words
alignment: 2
@@ -244,15 +294,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilerw_b8_s64_keep_ptest_of_words
- ; CHECK: %3:ppr = WHILERW_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILERW_PXX_B:%[0-9]+]]:ppr = WHILERW_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILERW_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -264,6 +317,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilerw_b8_s64_keep_ptest_of_doublewords
alignment: 2
@@ -284,15 +341,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilerw_b8_s64_keep_ptest_of_doublewords
- ; CHECK: %3:ppr = WHILERW_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILERW_PXX_B:%[0-9]+]]:ppr = WHILERW_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILERW_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
diff --git a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilewr.mir b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilewr.mir
index 9f8b7c3197ecf..8008f7204cfdb 100644
--- a/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilewr.mir
+++ b/llvm/test/CodeGen/AArch64/sve-ptest-removal-whilewr.mir
@@ -1,3 +1,4 @@
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple=aarch64--linux-gnu -mattr=+sve2 -run-pass=peephole-opt -verify-machineinstrs %s -o - | FileCheck %s
# Test instruction sequences where PTEST is redundant and thus gets removed.
@@ -21,13 +22,17 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; Here we check the expected sequence with subsequent tests
- ; just asserting there is no PTEST instruction.
- ;
; CHECK-LABEL: name: whilewr_b8_s64
- ; CHECK: %3:ppr = WHILEWR_PXX_B %0, %1, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEWR_PXX_B:%[0-9]+]]:ppr = WHILEWR_PXX_B [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 31, implicit $vg
@@ -62,7 +67,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilewr_b16_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEWR_PXX_H:%[0-9]+]]:ppr = WHILEWR_PXX_H [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -97,7 +111,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilewr_b32_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEWR_PXX_S:%[0-9]+]]:ppr = WHILEWR_PXX_S [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -132,7 +155,16 @@ body: |
liveins: $x0, $x1
; CHECK-LABEL: name: whilewr_b64_s64
- ; CHECK-NOT: PTEST
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEWR_PXX_D:%[0-9]+]]:ppr = WHILEWR_PXX_D [[COPY1]], [[COPY]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
@@ -144,6 +176,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilewr_b8_s64_keep_ptest_not_all_active
alignment: 2
@@ -164,15 +200,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilewr_b8_s64_keep_ptest_not_all_active
- ; CHECK: %3:ppr = WHILEWR_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_B:%[0-9]+]]:ppr = PTRUE_B 0, implicit $vg
+ ; CHECK-NEXT: [[WHILEWR_PXX_B:%[0-9]+]]:ppr = WHILEWR_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_B]], killed [[WHILEWR_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_B 0, implicit $vg
@@ -184,6 +223,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilewr_b8_s64_keep_ptest_of_halfs
alignment: 2
@@ -204,15 +247,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilewr_b8_s64_keep_ptest_of_halfs
- ; CHECK: %3:ppr = WHILEWR_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_H:%[0-9]+]]:ppr = PTRUE_H 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEWR_PXX_B:%[0-9]+]]:ppr = WHILEWR_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_H]], killed [[WHILEWR_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_H 31, implicit $vg
@@ -224,6 +270,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilewr_b8_s64_keep_ptest_of_words
alignment: 2
@@ -244,15 +294,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilewr_b8_s64_keep_ptest_of_words
- ; CHECK: %3:ppr = WHILEWR_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_S:%[0-9]+]]:ppr = PTRUE_S 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEWR_PXX_B:%[0-9]+]]:ppr = WHILEWR_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_S]], killed [[WHILEWR_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_S 31, implicit $vg
@@ -264,6 +317,10 @@ body: |
RET_ReallyLR implicit $w0
...
+
+# PTEST is not redundant when it's Pg operand is not an all active predicate
+# of element size matching the WHILEGE, which is the implicitly predicate
+# used by WHILE when calculating the condition codes.
---
name: whilewr_b8_s64_keep_ptest_of_doublewords
alignment: 2
@@ -284,15 +341,18 @@ body: |
bb.0.entry:
liveins: $x0, $x1
- ; PTEST is not redundant when it's Pg operand is not an all active predicate
- ; of element size matching the WHILEGE, which is the implicitly predicate
- ; used by WHILE when calculating the condition codes.
- ;
; CHECK-LABEL: name: whilewr_b8_s64_keep_ptest_of_doublewords
- ; CHECK: %3:ppr = WHILEWR_PXX_B %0, %1, implicit-def dead $nzcv
- ; CHECK-NEXT: PTEST_PP killed %2, killed %3, implicit-def $nzcv
- ; CHECK-NEXT: %4:gpr32 = COPY $wzr
- ; CHECK-NEXT: %5:gpr32 = CSINCWr %4, $wzr, 0, implicit $nzcv
+ ; CHECK: liveins: $x0, $x1
+ ; CHECK-NEXT: {{ $}}
+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:gpr64 = COPY $x1
+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr64 = COPY $x0
+ ; CHECK-NEXT: [[PTRUE_D:%[0-9]+]]:ppr = PTRUE_D 31, implicit $vg
+ ; CHECK-NEXT: [[WHILEWR_PXX_B:%[0-9]+]]:ppr = WHILEWR_PXX_B [[COPY1]], [[COPY]], implicit-def dead $nzcv
+ ; CHECK-NEXT: PTEST_PP killed [[PTRUE_D]], killed [[WHILEWR_PXX_B]], implicit-def $nzcv
+ ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32 = COPY $wzr
+ ; CHECK-NEXT: [[CSINCWr:%[0-9]+]]:gpr32 = CSINCWr [[COPY2]], $wzr, 0, implicit $nzcv
+ ; CHECK-NEXT: $w0 = COPY [[CSINCWr]]
+ ; CHECK-NEXT: RET_ReallyLR implicit $w0
%1:gpr64 = COPY $x1
%0:gpr64 = COPY $x0
%2:ppr = PTRUE_D 31, implicit $vg
More information about the llvm-commits
mailing list