llvmbot wrote:
<!--LLVM PR SUMMARY COMMENT--> @llvm/pr-subscribers-llvm-ir Author: None (Lukacma) <details> <summary>Changes</summary> Reverts llvm/llvm-project#<!-- -->88114 --- Patch is 20.43 KiB, truncated to 20.00 KiB below, full version: https://github.com/llvm/llvm-project/pull/93195.diff 5 Files Affected: - (modified) clang/include/clang/Basic/arm_sme.td (-19) - (removed) clang/test/CodeGen/aarch64-sme2p1-intrinsics/acle_sme2p1_zero.c (-139) - (modified) llvm/include/llvm/IR/IntrinsicsAArch64.td (-6) - (modified) llvm/lib/Target/AArch64/SMEInstrFormats.td (+9-37) - (removed) llvm/test/CodeGen/AArch64/sme2p1-intrinsics-zero.ll (-190) ``````````diff diff --git a/clang/include/clang/Basic/arm_sme.td b/clang/include/clang/Basic/arm_sme.td index 564a58e4eb670..80e635e4a57ec 100644 --- a/clang/include/clang/Basic/arm_sme.td +++ b/clang/include/clang/Basic/arm_sme.td @@ -146,25 +146,6 @@ let TargetGuard = "sme" in { [IsOverloadNone, IsStreamingCompatible, IsOutZA]>; } -let TargetGuard = "sme2p1" in { - def SVZERO_ZA64_VG1x2 : SInst<"svzero_za64_vg1x2", "vm", "", MergeNone, "aarch64_sme_zero_za64_vg1x2", - [IsOverloadNone, IsStreaming, IsInOutZA]>; - def SVZERO_ZA64_VG1x4 : SInst<"svzero_za64_vg1x4", "vm", "", MergeNone, "aarch64_sme_zero_za64_vg1x4", - [IsOverloadNone, IsStreaming, IsInOutZA]>; - def SVZERO_ZA64_VG2x1 : SInst<"svzero_za64_vg2x1", "vm", "", MergeNone, "aarch64_sme_zero_za64_vg2x1", - [IsOverloadNone, IsStreaming, IsInOutZA]>; - def SVZERO_ZA64_VG2x2 : SInst<"svzero_za64_vg2x2", "vm", "", MergeNone, "aarch64_sme_zero_za64_vg2x2", - [IsOverloadNone, IsStreaming, IsInOutZA]>; - def SVZERO_ZA64_VG2x4 : SInst<"svzero_za64_vg2x4", "vm", "", MergeNone, "aarch64_sme_zero_za64_vg2x4", - [IsOverloadNone, IsStreaming, IsInOutZA]>; - def SVZERO_ZA64_VG4x1 : SInst<"svzero_za64_vg4x1", "vm", "", MergeNone, "aarch64_sme_zero_za64_vg4x1", - [IsOverloadNone, IsStreaming, IsInOutZA]>; - def SVZERO_ZA64_VG4x2 : SInst<"svzero_za64_vg4x2", "vm", "", MergeNone, "aarch64_sme_zero_za64_vg4x2", - [IsOverloadNone, IsStreaming, IsInOutZA]>; - def SVZERO_ZA64_VG4x4 : SInst<"svzero_za64_vg4x4", "vm", "", MergeNone, "aarch64_sme_zero_za64_vg4x4", - [IsOverloadNone, IsStreaming, IsInOutZA]>; -} - //////////////////////////////////////////////////////////////////////////////// // SME - Counting elements in a streaming vector diff --git a/clang/test/CodeGen/aarch64-sme2p1-intrinsics/acle_sme2p1_zero.c b/clang/test/CodeGen/aarch64-sme2p1-intrinsics/acle_sme2p1_zero.c deleted file mode 100644 index bdd7579855414..0000000000000 --- a/clang/test/CodeGen/aarch64-sme2p1-intrinsics/acle_sme2p1_zero.c +++ /dev/null @@ -1,139 +0,0 @@ -// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 4 -// REQUIRES: aarch64-registered-target - -// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sme2p1 -S -disable-O0-optnone -Werror -Wall -emit-llvm -o - %s | opt -S -p mem2reg,instcombine,tailcallelim | FileCheck %s -// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sme2p1 -S -disable-O0-optnone -Werror -Wall -emit-llvm -o - -x c++ %s | opt -S -p mem2reg,instcombine,tailcallelim | FileCheck %s -check-prefix=CPP-CHECK -// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sme2p1 -S -disable-O0-optnone -Werror -Wall -o /dev/null %s - -#include <arm_sme.h> - -#define SVE_ACLE_FUNC(A1,A2) A1##A2 - -// CHECK-LABEL: define dso_local void @test_svzero_za64_vg1x2( -// CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0:[0-9]+]] { -// CHECK-NEXT: entry: -// CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg1x2(i32 [[SLICE]]) -// CHECK-NEXT: ret void -// -// CPP-CHECK-LABEL: define dso_local void @_Z22test_svzero_za64_vg1x2j( -// CPP-CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0:[0-9]+]] { -// CPP-CHECK-NEXT: entry: -// CPP-CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg1x2(i32 [[SLICE]]) -// CPP-CHECK-NEXT: ret void -// -void test_svzero_za64_vg1x2(uint32_t slice) __arm_streaming __arm_inout("za") -{ - SVE_ACLE_FUNC(svzero_za64,_vg1x2)(slice); -} - -// CHECK-LABEL: define dso_local void @test_svzero_za64_vg1x4( -// CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CHECK-NEXT: entry: -// CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg1x4(i32 [[SLICE]]) -// CHECK-NEXT: ret void -// -// CPP-CHECK-LABEL: define dso_local void @_Z22test_svzero_za64_vg1x4j( -// CPP-CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CPP-CHECK-NEXT: entry: -// CPP-CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg1x4(i32 [[SLICE]]) -// CPP-CHECK-NEXT: ret void -// -void test_svzero_za64_vg1x4(uint32_t slice) __arm_streaming __arm_inout("za"){ - SVE_ACLE_FUNC(svzero_za64,_vg1x4)(slice); -} - -// CHECK-LABEL: define dso_local void @test_svzero_za64_vg2x1( -// CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CHECK-NEXT: entry: -// CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg2x1(i32 [[SLICE]]) -// CHECK-NEXT: ret void -// -// CPP-CHECK-LABEL: define dso_local void @_Z22test_svzero_za64_vg2x1j( -// CPP-CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CPP-CHECK-NEXT: entry: -// CPP-CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg2x1(i32 [[SLICE]]) -// CPP-CHECK-NEXT: ret void -// -void test_svzero_za64_vg2x1(uint32_t slice) __arm_streaming __arm_inout("za"){ - SVE_ACLE_FUNC(svzero_za64,_vg2x1)(slice); -} - -// CHECK-LABEL: define dso_local void @test_svzero_za64_vg2x2( -// CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CHECK-NEXT: entry: -// CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg2x2(i32 [[SLICE]]) -// CHECK-NEXT: ret void -// -// CPP-CHECK-LABEL: define dso_local void @_Z22test_svzero_za64_vg2x2j( -// CPP-CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CPP-CHECK-NEXT: entry: -// CPP-CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg2x2(i32 [[SLICE]]) -// CPP-CHECK-NEXT: ret void -// -void test_svzero_za64_vg2x2(uint32_t slice) __arm_streaming __arm_inout("za"){ - SVE_ACLE_FUNC(svzero_za64,_vg2x2)(slice); -} - -// CHECK-LABEL: define dso_local void @test_svzero_za64_vg2x4( -// CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CHECK-NEXT: entry: -// CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg2x4(i32 [[SLICE]]) -// CHECK-NEXT: ret void -// -// CPP-CHECK-LABEL: define dso_local void @_Z22test_svzero_za64_vg2x4j( -// CPP-CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CPP-CHECK-NEXT: entry: -// CPP-CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg2x4(i32 [[SLICE]]) -// CPP-CHECK-NEXT: ret void -// -void test_svzero_za64_vg2x4(uint32_t slice) __arm_streaming __arm_inout("za"){ - SVE_ACLE_FUNC(svzero_za64,_vg2x4)(slice); -} - -// CHECK-LABEL: define dso_local void @test_svzero_za64_vg4x1( -// CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CHECK-NEXT: entry: -// CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg4x1(i32 [[SLICE]]) -// CHECK-NEXT: ret void -// -// CPP-CHECK-LABEL: define dso_local void @_Z22test_svzero_za64_vg4x1j( -// CPP-CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CPP-CHECK-NEXT: entry: -// CPP-CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg4x1(i32 [[SLICE]]) -// CPP-CHECK-NEXT: ret void -// -void test_svzero_za64_vg4x1(uint32_t slice) __arm_streaming __arm_inout("za"){ - SVE_ACLE_FUNC(svzero_za64,_vg4x1)(slice); -} - -// CHECK-LABEL: define dso_local void @test_svzero_za64_vg4x2( -// CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CHECK-NEXT: entry: -// CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg4x2(i32 [[SLICE]]) -// CHECK-NEXT: ret void -// -// CPP-CHECK-LABEL: define dso_local void @_Z22test_svzero_za64_vg4x2j( -// CPP-CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CPP-CHECK-NEXT: entry: -// CPP-CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg4x2(i32 [[SLICE]]) -// CPP-CHECK-NEXT: ret void -// -void test_svzero_za64_vg4x2(uint32_t slice) __arm_streaming __arm_inout("za"){ - SVE_ACLE_FUNC(svzero_za64,_vg4x2)(slice); -} - -// CHECK-LABEL: define dso_local void @test_svzero_za64_vg4x4( -// CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CHECK-NEXT: entry: -// CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg4x4(i32 [[SLICE]]) -// CHECK-NEXT: ret void -// -// CPP-CHECK-LABEL: define dso_local void @_Z22test_svzero_za64_vg4x4j( -// CPP-CHECK-SAME: i32 noundef [[SLICE:%.*]]) #[[ATTR0]] { -// CPP-CHECK-NEXT: entry: -// CPP-CHECK-NEXT: tail call void @llvm.aarch64.sme.zero.za64.vg4x4(i32 [[SLICE]]) -// CPP-CHECK-NEXT: ret void -// -void test_svzero_za64_vg4x4(uint32_t slice) __arm_streaming __arm_inout("za"){ - SVE_ACLE_FUNC(svzero_za64,_vg4x4)(slice); -} diff --git a/llvm/include/llvm/IR/IntrinsicsAArch64.td b/llvm/include/llvm/IR/IntrinsicsAArch64.td index 3da9afc8df6dc..aad83823881f8 100644 --- a/llvm/include/llvm/IR/IntrinsicsAArch64.td +++ b/llvm/include/llvm/IR/IntrinsicsAArch64.td @@ -3361,12 +3361,6 @@ let TargetPrefix = "aarch64" in { def int_aarch64_sve_bfmlslt : SME2_BFMLS_Intrinsic; def int_aarch64_sve_bfmlslt_lane : SME2_BFMLS_Lane_Intrinsic; - // Multi-vector zeroing - - foreach vg = ["vg1x2", "vg1x4", "vg2x1", "vg2x2", "vg2x4", "vg4x1", "vg4x2", "vg4x4"] in { - def int_aarch64_sme_zero_za64_ # vg : DefaultAttrsIntrinsic<[], [llvm_i32_ty], [IntrNoMem, IntrHasSideEffects]>; - } - // Multi-vector signed saturating doubling multiply high def int_aarch64_sve_sqdmulh_single_vgx2 : SME2_VG2_Multi_Single_Intrinsic; diff --git a/llvm/lib/Target/AArch64/SMEInstrFormats.td b/llvm/lib/Target/AArch64/SMEInstrFormats.td index b21b1faf5c962..50ee37b0dfebc 100644 --- a/llvm/lib/Target/AArch64/SMEInstrFormats.td +++ b/llvm/lib/Target/AArch64/SMEInstrFormats.td @@ -104,13 +104,6 @@ class sme2_move_to_tile_pseudo<string name, Operand tile_imm, Operand imm_ty, Re let usesCustomInserter = 1; } -class sem2p1_zero_matrix_pseudo<string name, Operand index_ty, SMEMatrixTypeEnum za_flag> - : SMEPseudo2Instr<name, 0>, - Pseudo<(outs), (ins MatrixIndexGPR32Op8_11:$Rs, index_ty:$imm), []> { - let SMEMatrixType = za_flag; - let usesCustomInserter = 1; -} - //===----------------------------------------------------------------------===// // SME pattern match helpers. //===----------------------------------------------------------------------===// @@ -196,9 +189,6 @@ class SME2_Tile_VG4_Multi_Pat<string name, SDPatternOperator intrinsic, Operand : Pat<(intrinsic tile_imm:$tile, (i32 (tileslice MatrixIndexGPR32Op12_15:$base, index_ty:$offset)), vt:$Zn1, vt:$Zn2, vt:$Zn3, vt:$Zn4), (!cast<Instruction>(name # _PSEUDO) $tile, $base, $offset, (REG_SEQUENCE ZPR4Mul4, vt:$Zn1, zsub0, vt:$Zn2, zsub1, vt:$Zn3, zsub2, vt:$Zn4, zsub3))>; -class SME2_Zero_Matrix_Pat<string name, SDPatternOperator intrinsic, Operand offset_ty, ComplexPattern tileslice> - : Pat<(intrinsic (i32 (tileslice MatrixIndexGPR32Op8_11:$base, offset_ty:$offset))), - (!cast<Instruction>(name) $base, $offset)>; //===----------------------------------------------------------------------===// // SME pattern match helpers. //===----------------------------------------------------------------------===// @@ -4825,57 +4815,39 @@ class sme2p1_zero_matrix<bits<6> opc, Operand index_ty, string mnemonic, } multiclass sme2p1_zero_matrix<string mnemonic> { - def _VG2_Z : sme2p1_zero_matrix<{0b000,?,?,?}, sme_elm_idx0_7, mnemonic, "vgx2">, SMEPseudo2Instr<NAME # _VG2_Z , 1> { + def _VG2_Z : sme2p1_zero_matrix<{0b000,?,?,?}, sme_elm_idx0_7, mnemonic, "vgx2"> { bits<3> imm; let Inst{2-0} = imm; } - def _2Z : sme2p1_zero_matrix<{0b001,?,?,?}, uimm3s2range, mnemonic>, SMEPseudo2Instr<NAME # _2Z, 1> { + def _2Z : sme2p1_zero_matrix<{0b001,?,?,?}, uimm3s2range, mnemonic> { bits<3> imm; let Inst{2-0} = imm; } - def _VG2_2Z : sme2p1_zero_matrix<{0b0100,?,?}, uimm2s2range, mnemonic, "vgx2">, SMEPseudo2Instr<NAME # _VG2_2Z, 1> { + def _VG2_2Z : sme2p1_zero_matrix<{0b0100,?,?}, uimm2s2range, mnemonic, "vgx2"> { bits<2> imm; let Inst{1-0} = imm; } - def _VG4_2Z : sme2p1_zero_matrix<{0b0110,?,?}, uimm2s2range, mnemonic, "vgx4">, SMEPseudo2Instr<NAME # _VG4_2Z, 1> { + def _VG4_2Z : sme2p1_zero_matrix<{0b0110,?,?}, uimm2s2range, mnemonic, "vgx4"> { bits<2> imm; let Inst{1-0} = imm; } - def _VG4_Z : sme2p1_zero_matrix<{0b100,?,?,?}, sme_elm_idx0_7, mnemonic, "vgx4">, SMEPseudo2Instr<NAME # _VG4_Z, 1> { + def _VG4_Z : sme2p1_zero_matrix<{0b100,?,?,?}, sme_elm_idx0_7, mnemonic, "vgx4"> { bits<3> imm; let Inst{2-0} = imm; } - def _4Z : sme2p1_zero_matrix<{0b1010,?,?}, uimm2s4range, mnemonic>, SMEPseudo2Instr<NAME # _4Z, 1> { + def _4Z : sme2p1_zero_matrix<{0b1010,?,?}, uimm2s4range, mnemonic> { bits<2> imm; let Inst{1-0} = imm; } - def _VG2_4Z : sme2p1_zero_matrix<{0b11000,?}, uimm1s4range, mnemonic, "vgx2">, SMEPseudo2Instr<NAME # _VG2_4Z, 1> { + def _VG2_4Z :sme2p1_zero_matrix<{0b11000,?}, uimm1s4range, mnemonic, "vgx2"> { bits<1> imm; let Inst{0} = imm; } - def _VG4_4Z : sme2p1_zero_matrix<{0b11100,?}, uimm1s4range, mnemonic, "vgx4">, SMEPseudo2Instr<NAME # _VG4_4Z, 1> { + def _VG4_4Z :sme2p1_zero_matrix<{0b11100,?}, uimm1s4range, mnemonic, "vgx4"> { bits<1> imm; let Inst{0} = imm; } - - def NAME # _VG2_Z_PSEUDO : sem2p1_zero_matrix_pseudo<NAME # _VG2_Z, sme_elm_idx0_7, SMEMatrixArray>; - def NAME # _VG4_Z_PSEUDO : sem2p1_zero_matrix_pseudo<NAME # _VG4_Z, sme_elm_idx0_7, SMEMatrixArray>; - def NAME # _2Z_PSEUDO : sem2p1_zero_matrix_pseudo<NAME # _2Z, uimm2s2range, SMEMatrixArray>; - def NAME # _VG2_2Z_PSEUDO : sem2p1_zero_matrix_pseudo<NAME # _VG2_2Z, uimm1s2range, SMEMatrixArray>; - def NAME # _VG4_2Z_PSEUDO : sem2p1_zero_matrix_pseudo<NAME # _VG4_2Z, uimm1s2range, SMEMatrixArray>; - def NAME # _4Z_PSEUDO : sem2p1_zero_matrix_pseudo<NAME # _4Z, uimm1s4range, SMEMatrixArray>; - def NAME # _VG2_4Z_PSEUDO : sem2p1_zero_matrix_pseudo<NAME # _VG2_4Z, uimm0s4range, SMEMatrixArray>; - def NAME # _VG4_4Z_PSEUDO : sem2p1_zero_matrix_pseudo<NAME # _VG4_4Z, uimm0s4range, SMEMatrixArray>; - - def : SME2_Zero_Matrix_Pat<NAME # _VG2_Z_PSEUDO, int_aarch64_sme_zero_za64_vg1x2, sme_elm_idx0_7, tileslice16>; - def : SME2_Zero_Matrix_Pat<NAME # _VG4_Z_PSEUDO, int_aarch64_sme_zero_za64_vg1x4, sme_elm_idx0_7, tileslice16>; - def : SME2_Zero_Matrix_Pat<NAME # _2Z_PSEUDO, int_aarch64_sme_zero_za64_vg2x1, uimm2s2range, tileslicerange2s2>; - def : SME2_Zero_Matrix_Pat<NAME # _VG2_2Z_PSEUDO, int_aarch64_sme_zero_za64_vg2x2, uimm1s2range, tileslicerange1s2>; - def : SME2_Zero_Matrix_Pat<NAME # _VG4_2Z_PSEUDO, int_aarch64_sme_zero_za64_vg2x4, uimm1s2range, tileslicerange1s2>; - def : SME2_Zero_Matrix_Pat<NAME # _4Z_PSEUDO, int_aarch64_sme_zero_za64_vg4x1, uimm1s4range, tileslicerange1s4>; - def : SME2_Zero_Matrix_Pat<NAME # _VG2_4Z_PSEUDO, int_aarch64_sme_zero_za64_vg4x2, uimm0s4range, tileslicerange0s4>; - def : SME2_Zero_Matrix_Pat<NAME # _VG4_4Z_PSEUDO, int_aarch64_sme_zero_za64_vg4x4, uimm0s4range, tileslicerange0s4>; -} +} //===----------------------------------------------------------------------===// // SME2.1 lookup table expand two non-contiguous registers diff --git a/llvm/test/CodeGen/AArch64/sme2p1-intrinsics-zero.ll b/llvm/test/CodeGen/AArch64/sme2p1-intrinsics-zero.ll deleted file mode 100644 index ba77637580f4c..0000000000000 --- a/llvm/test/CodeGen/AArch64/sme2p1-intrinsics-zero.ll +++ /dev/null @@ -1,190 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4 -; RUN: llc -verify-machineinstrs < %s | FileCheck %s - -target triple = "aarch64-linux" - -define void @test_svzero_za64_vg1x2(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg1x2: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0, vgx2] -; CHECK-NEXT: ret -entry: - tail call void @llvm.aarch64.sme.zero.za64.vg1x2(i32 %slice) - ret void -} - -define void @test_svzero_za64_vg1x2_offset(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg1x2_offset: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 7, vgx2] -; CHECK-NEXT: ret -entry: - %slice.max = add i32 %slice, 7 - tail call void @llvm.aarch64.sme.zero.za64.vg1x2(i32 %slice.max) - ret void -} - -define void @test_svzero_za64_vg1x4(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg1x4: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0, vgx4] -; CHECK-NEXT: ret -entry: - tail call void @llvm.aarch64.sme.zero.za64.vg1x4(i32 %slice) - ret void -} - -define void @test_svzero_za64_vg1x4_offset(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg1x4_offset: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 1, vgx4] -; CHECK-NEXT: ret -entry: - %slice.min = add i32 %slice, 1 - tail call void @llvm.aarch64.sme.zero.za64.vg1x4(i32 %slice.min) - ret void -} - -define void @test_svzero_za64_vg2x1(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg2x1: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0:1] -; CHECK-NEXT: ret -entry: - tail call void @llvm.aarch64.sme.zero.za64.vg2x1(i32 %slice) - ret void -} - -define void @test_svzero_za64_vg2x1_offset(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg2x1_offset: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 6:7] -; CHECK-NEXT: ret -entry: - %slice.max = add i32 %slice, 6 - tail call void @llvm.aarch64.sme.zero.za64.vg2x1(i32 %slice.max) - ret void -} - -define void @test_svzero_za64_vg2x2(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg2x2: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0:1, vgx2] -; CHECK-NEXT: ret -entry: - tail call void @llvm.aarch64.sme.zero.za64.vg2x2(i32 %slice) - ret void -} - -define void @test_svzero_za64_vg2x2_offset(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg2x2_offset: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 2:3, vgx2] -; CHECK-NEXT: ret -entry: - %slice.max = add i32 %slice, 2 - tail call void @llvm.aarch64.sme.zero.za64.vg2x2(i32 %slice.max) - ret void -} - -define void @test_svzero_za64_vg2x4(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg2x4: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0:1, vgx4] -; CHECK-NEXT: ret -entry: - tail call void @llvm.aarch64.sme.zero.za64.vg2x4(i32 %slice) - ret void -} - -define void @test_svzero_za64_vg2x4_offset(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg2x4_offset: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: add w8, w0, #1 -; CHECK-NEXT: zero za.d[w8, 0:1, vgx4] -; CHECK-NEXT: ret -entry: - %slice.min = add i32 %slice, 1 - tail call void @llvm.aarch64.sme.zero.za64.vg2x4(i32 %slice.min) - ret void -} - -define void @test_svzero_za64_vg4x1(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg4x1: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0:3] -; CHECK-NEXT: ret -entry: - tail call void @llvm.aarch64.sme.zero.za64.vg4x1(i32 %slice) - ret void -} - -define void @test_svzero_za64_vg4x1_offset(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg4x1_offset: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 4:7] -; CHECK-NEXT: ret -entry: - %slice.max = add i32 %slice, 4 - tail call void @llvm.aarch64.sme.zero.za64.vg4x1(i32 %slice.max) - ret void -} - -define void @test_svzero_za64_vg4x2(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg4x2: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0:3, vgx2] -; CHECK-NEXT: ret -entry: - tail call void @llvm.aarch64.sme.zero.za64.vg4x2(i32 %slice) - ret void -} - -define void @test_svzero_za64_vg4x2_offset(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg4x2_offset: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0:3, vgx2] -; CHECK-NEXT: ret -entry: - %slice.max = add i32 %slice, 0 - tail call void @llvm.aarch64.sme.zero.za64.vg4x2(i32 %slice.max) - ret void -} - -define void @test_svzero_za64_vg4x4(i32 %slice) #0 { -; CHECK-LABEL: test_svzero_za64_vg4x4: -; CHECK: // %bb.0: // %entry -; CHECK-NEXT: mov w8, w0 -; CHECK-NEXT: zero za.d[w8, 0:3, vgx4] -; CHECK-NEXT: ret -entry: - tail call void @llvm.aarch64.sme.zero.za64.vg4x4(i32 %slice) - ret vo... [truncated] `````````` </details> https://github.com/llvm/llvm-project/pull/93195 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
