[llvm] [AArch64] Reject non-scalable types in named Z-register constraints (PR #217551)
Kieran B via llvm-commits
llvm-commits at lists.llvm.org
Fri Aug 21 01:46:37 PDT 2026
https://github.com/kieroxide updated https://github.com/llvm/llvm-project/pull/217551
>From e10567aa5fdd3d9c7f73b0b653f4ca08d9f1d15e Mon Sep 17 00:00:00 2001
From: Kieran Bailey <kieran.bailey at arm.com>
Date: Thu, 20 Aug 2026 08:18:19 +0000
Subject: [PATCH 1/3] [AArch64] Reject non-scalable types in named Z-register
constraints
LLVM currently handles typed named Z-register constraints inconsistently.
Depending on the operand type and whether SVE is available, compilation may
succeed, crash, or trigger an assertion.
Reject typed Z-register operands when SVE or streaming SVE is unavailable, and
reject non-scalable operand types. Preserve the existing behavior for untyped
Z-register clobbers.
---
.../Target/AArch64/AArch64ISelLowering.cpp | 25 ++-
.../inline-asm-named-z-reg-constraints.ll | 145 ++++++++++++++++++
2 files changed, 163 insertions(+), 7 deletions(-)
create mode 100644 llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
diff --git a/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp b/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
index 89a9249d11412..81643d958fdca 100644
--- a/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
+++ b/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
@@ -14357,13 +14357,24 @@ AArch64TargetLowering::getRegForInlineAsmConstraint(
}
} else {
if (const auto P = parseSVERegAsConstraint(Constraint)) {
- // SME functions that are not in streaming mode, should
- // still observe clobbers of Z-registers by clobbering
- // the lower 128bits of those registers.
- if (AArch64::ZPRRegClass.hasSubClassEq(P->second) &&
- !Subtarget->isSVEorStreamingSVEAvailable())
- return std::make_pair(TRI->getSubReg(P->first, AArch64::zsub),
- &AArch64::FPR128RegClass);
+ if (!AArch64::ZPRRegClass.hasSubClassEq(P->second))
+ return *P;
+
+ // A named Z-register constraint with MVT::Other represents an untyped
+ // clobber.
+ if (VT == MVT::Other) {
+ // SME functions that are not in streaming mode, should
+ // still observe clobbers of Z-registers by clobbering
+ // the lower 128bits of those registers.
+ if (!Subtarget->isSVEorStreamingSVEAvailable())
+ return std::make_pair(TRI->getSubReg(P->first, AArch64::zsub),
+ &AArch64::FPR128RegClass);
+ return *P;
+ }
+
+ if (!VT.isScalableVector() || !Subtarget->isSVEorStreamingSVEAvailable())
+ return std::make_pair(0U, nullptr);
+
return *P;
}
if (const auto PC = parsePredicateConstraint(Constraint))
diff --git a/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll b/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
new file mode 100644
index 0000000000000..63e7c960f0fbc
--- /dev/null
+++ b/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
@@ -0,0 +1,145 @@
+; RUN: split-file %s %t
+; RUN: not llc -mtriple=aarch64-linux-gnu %t/negative.ll -o - 2>&1 | FileCheck %s
+; RUN: not llc -mtriple=aarch64-linux-gnu -mattr=+sve %t/negative.ll -o - 2>&1 | FileCheck %s
+; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve %t/positive.ll -o - | FileCheck %s --check-prefix=POSITIVE
+
+; CHECK-COUNT-7: error: could not allocate input reg for constraint '{z0}'
+; CHECK-COUNT-14: error: could not allocate output register for constraint '{z0}'
+
+; Test representative non-scalable types for each selected bit size.
+
+;--- negative.ll
+
+define void @input_8bit(<1 x i8> %value) {
+ call void asm sideeffect "", "{z0}"(<1 x i8> %value)
+ ret void
+}
+
+define void @input_16bit(<2 x i8> %value) {
+ call void asm sideeffect "", "{z0}"(<2 x i8> %value)
+ ret void
+}
+
+define void @input_32bit(<4 x i8> %value) {
+ call void asm sideeffect "", "{z0}"(<4 x i8> %value)
+ ret void
+}
+
+define void @input_64bit(<8 x i8> %value) {
+ call void asm sideeffect "", "{z0}"(<8 x i8> %value)
+ ret void
+}
+
+define void @input_128bit(<16 x i8> %value) {
+ call void asm sideeffect "", "{z0}"(<16 x i8> %value)
+ ret void
+}
+
+define void @input_256bit(<32 x i8> %value) {
+ call void asm sideeffect "", "{z0}"(<32 x i8> %value)
+ ret void
+}
+
+define void @input_scalar_i32(i32 %value) {
+ call void asm sideeffect "", "{z0}"(i32 %value)
+ ret void
+}
+
+define <1 x i8> @output_8bit() {
+ %value = call <1 x i8> asm sideeffect "", "={z0}"()
+ ret <1 x i8> %value
+}
+
+define <2 x i8> @output_16bit() {
+ %value = call <2 x i8> asm sideeffect "", "={z0}"()
+ ret <2 x i8> %value
+}
+
+define <4 x i8> @output_32bit() {
+ %value = call <4 x i8> asm sideeffect "", "={z0}"()
+ ret <4 x i8> %value
+}
+
+define <8 x i8> @output_64bit() {
+ %value = call <8 x i8> asm sideeffect "", "={z0}"()
+ ret <8 x i8> %value
+}
+
+define <16 x i8> @output_128bit() {
+ %value = call <16 x i8> asm sideeffect "", "={z0}"()
+ ret <16 x i8> %value
+}
+
+define <32 x i8> @output_256bit() {
+ %value = call <32 x i8> asm sideeffect "", "={z0}"()
+ ret <32 x i8> %value
+}
+
+define i32 @output_scalar_i32() {
+ %value = call i32 asm sideeffect "", "={z0}"()
+ ret i32 %value
+}
+
+define <1 x i8> @inout_8bit(<1 x i8> %value) {
+ %result = call <1 x i8> asm sideeffect "", "={z0},0"(<1 x i8> %value)
+ ret <1 x i8> %result
+}
+
+define <2 x i8> @inout_16bit(<2 x i8> %value) {
+ %result = call <2 x i8> asm sideeffect "", "={z0},0"(<2 x i8> %value)
+ ret <2 x i8> %result
+}
+
+define <4 x i8> @inout_32bit(<4 x i8> %value) {
+ %result = call <4 x i8> asm sideeffect "", "={z0},0"(<4 x i8> %value)
+ ret <4 x i8> %result
+}
+
+define <8 x i8> @inout_64bit(<8 x i8> %value) {
+ %result = call <8 x i8> asm sideeffect "", "={z0},0"(<8 x i8> %value)
+ ret <8 x i8> %result
+}
+
+define <16 x i8> @inout_128bit(<16 x i8> %value) {
+ %result = call <16 x i8> asm sideeffect "", "={z0},0"(<16 x i8> %value)
+ ret <16 x i8> %result
+}
+
+define <32 x i8> @inout_256bit(<32 x i8> %value) {
+ %result = call <32 x i8> asm sideeffect "", "={z0},0"(<32 x i8> %value)
+ ret <32 x i8> %result
+}
+
+define i32 @inout_scalar_i32(i32 %value) {
+ %result = call i32 asm sideeffect "", "={z0},0"(i32 %value)
+ ret i32 %result
+}
+
+;--- positive.ll
+
+define void @input_scalable(<vscale x 2 x i64> %value) {
+; POSITIVE-LABEL: input_scalable:
+; POSITIVE: //APP
+; POSITIVE-NEXT: mov z0.d, z0.d
+; POSITIVE-NEXT: //NO_APP
+ call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 2 x i64> %value)
+ ret void
+}
+
+define <vscale x 2 x i64> @output_scalable() {
+; POSITIVE-LABEL: output_scalable:
+; POSITIVE: //APP
+; POSITIVE-NEXT: mov z0.d, #0
+; POSITIVE-NEXT: //NO_APP
+ %value = call <vscale x 2 x i64> asm sideeffect "dup $0.d, #0", "={z0}"()
+ ret <vscale x 2 x i64> %value
+}
+
+define <vscale x 2 x i64> @inout_scalable(<vscale x 2 x i64> %value) {
+; POSITIVE-LABEL: inout_scalable:
+; POSITIVE: //APP
+; POSITIVE-NEXT: mov z0.d, z0.d
+; POSITIVE-NEXT: //NO_APP
+ %result = call <vscale x 2 x i64> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 2 x i64> %value)
+ ret <vscale x 2 x i64> %result
+}
>From d1e17ddb4d352d989af61cb94d61915dda14ebec Mon Sep 17 00:00:00 2001
From: Kieran Bailey <kieran.bailey at arm.com>
Date: Thu, 20 Aug 2026 15:02:27 +0000
Subject: [PATCH 2/3] Review commit - Changed is scalable check to
isTypeLegalForClass - Changed flow of program to return error only if all
positive returns fail
---
.../Target/AArch64/AArch64ISelLowering.cpp | 11 +++---
.../inline-asm-named-z-reg-constraints.ll | 34 +++++++++++--------
2 files changed, 26 insertions(+), 19 deletions(-)
diff --git a/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp b/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
index 81643d958fdca..7bac6639010bb 100644
--- a/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
+++ b/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
@@ -14360,8 +14360,8 @@ AArch64TargetLowering::getRegForInlineAsmConstraint(
if (!AArch64::ZPRRegClass.hasSubClassEq(P->second))
return *P;
- // A named Z-register constraint with MVT::Other represents an untyped
- // clobber.
+ // A named Z-register constraint with MVT::Other
+ // represents an untyped clobber.
if (VT == MVT::Other) {
// SME functions that are not in streaming mode, should
// still observe clobbers of Z-registers by clobbering
@@ -14372,10 +14372,11 @@ AArch64TargetLowering::getRegForInlineAsmConstraint(
return *P;
}
- if (!VT.isScalableVector() || !Subtarget->isSVEorStreamingSVEAvailable())
- return std::make_pair(0U, nullptr);
+ if (Subtarget->isSVEorStreamingSVEAvailable() &&
+ TRI->isTypeLegalForClass(AArch64::ZPRRegClass, getRegisterType(VT)))
+ return *P;
- return *P;
+ return std::make_pair(0U, nullptr);
}
if (const auto PC = parsePredicateConstraint(Constraint))
if (const auto *RegClass = getPredicateRegisterClass(*PC, VT))
diff --git a/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll b/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
index 63e7c960f0fbc..ea8a72272948b 100644
--- a/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
+++ b/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
@@ -1,7 +1,7 @@
; RUN: split-file %s %t
; RUN: not llc -mtriple=aarch64-linux-gnu %t/negative.ll -o - 2>&1 | FileCheck %s
; RUN: not llc -mtriple=aarch64-linux-gnu -mattr=+sve %t/negative.ll -o - 2>&1 | FileCheck %s
-; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve %t/positive.ll -o - | FileCheck %s --check-prefix=POSITIVE
+; RUN: llc -mtriple=aarch64-linux-gnu -mattr=+sve %t/positive.ll -o - | FileCheck %s --check-prefix=POS
; CHECK-COUNT-7: error: could not allocate input reg for constraint '{z0}'
; CHECK-COUNT-14: error: could not allocate output register for constraint '{z0}'
@@ -118,28 +118,34 @@ define i32 @inout_scalar_i32(i32 %value) {
;--- positive.ll
define void @input_scalable(<vscale x 2 x i64> %value) {
-; POSITIVE-LABEL: input_scalable:
-; POSITIVE: //APP
-; POSITIVE-NEXT: mov z0.d, z0.d
-; POSITIVE-NEXT: //NO_APP
+; POS-LABEL: input_scalable:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 2 x i64> %value)
ret void
}
define <vscale x 2 x i64> @output_scalable() {
-; POSITIVE-LABEL: output_scalable:
-; POSITIVE: //APP
-; POSITIVE-NEXT: mov z0.d, #0
-; POSITIVE-NEXT: //NO_APP
+; POS-LABEL: output_scalable:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, #0 // =0x0
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
%value = call <vscale x 2 x i64> asm sideeffect "dup $0.d, #0", "={z0}"()
ret <vscale x 2 x i64> %value
}
define <vscale x 2 x i64> @inout_scalable(<vscale x 2 x i64> %value) {
-; POSITIVE-LABEL: inout_scalable:
-; POSITIVE: //APP
-; POSITIVE-NEXT: mov z0.d, z0.d
-; POSITIVE-NEXT: //NO_APP
+; POS-LABEL: inout_scalable:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
%result = call <vscale x 2 x i64> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 2 x i64> %value)
ret <vscale x 2 x i64> %result
-}
+}
\ No newline at end of file
>From 27c3b769ad5bd2856522587acef1dedee54881d2 Mon Sep 17 00:00:00 2001
From: Kieran Bailey <kieran.bailey at arm.com>
Date: Fri, 21 Aug 2026 08:39:29 +0000
Subject: [PATCH 3/3] Changed to use explicit switch statement for C's SVE
types Add test coverage for these types
---
.../Target/AArch64/AArch64ISelLowering.cpp | 19 +-
.../inline-asm-named-z-reg-constraints.ll | 243 +++++++++++++++++-
2 files changed, 253 insertions(+), 9 deletions(-)
diff --git a/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp b/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
index 7bac6639010bb..9b1748876203b 100644
--- a/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
+++ b/llvm/lib/Target/AArch64/AArch64ISelLowering.cpp
@@ -14372,9 +14372,22 @@ AArch64TargetLowering::getRegForInlineAsmConstraint(
return *P;
}
- if (Subtarget->isSVEorStreamingSVEAvailable() &&
- TRI->isTypeLegalForClass(AArch64::ZPRRegClass, getRegisterType(VT)))
- return *P;
+ if (Subtarget->isSVEorStreamingSVEAvailable()) {
+ // Accept the full-width SVE vector types representable in C
+ switch (VT.SimpleTy) {
+ case MVT::nxv16i8:
+ case MVT::nxv8i16:
+ case MVT::nxv4i32:
+ case MVT::nxv2i64:
+ case MVT::nxv8f16:
+ case MVT::nxv4f32:
+ case MVT::nxv2f64:
+ case MVT::nxv8bf16:
+ return *P;
+ default:
+ break;
+ }
+ }
return std::make_pair(0U, nullptr);
}
diff --git a/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll b/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
index ea8a72272948b..887233c4f899a 100644
--- a/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
+++ b/llvm/test/CodeGen/AArch64/inline-asm-named-z-reg-constraints.ll
@@ -117,8 +117,41 @@ define i32 @inout_scalar_i32(i32 %value) {
;--- positive.ll
-define void @input_scalable(<vscale x 2 x i64> %value) {
-; POS-LABEL: input_scalable:
+define void @input_nxv16i8(<vscale x 16 x i8> %value) {
+; POS-LABEL: input_nxv16i8:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 16 x i8> %value)
+ ret void
+}
+
+define void @input_nxv8i16(<vscale x 8 x i16> %value) {
+; POS-LABEL: input_nxv8i16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 8 x i16> %value)
+ ret void
+}
+
+define void @input_nxv4i32(<vscale x 4 x i32> %value) {
+; POS-LABEL: input_nxv4i32:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 4 x i32> %value)
+ ret void
+}
+
+define void @input_nxv2i64(<vscale x 2 x i64> %value) {
+; POS-LABEL: input_nxv2i64:
; POS: // %bb.0:
; POS-NEXT: //APP
; POS-NEXT: mov z0.d, z0.d
@@ -128,8 +161,85 @@ define void @input_scalable(<vscale x 2 x i64> %value) {
ret void
}
-define <vscale x 2 x i64> @output_scalable() {
-; POS-LABEL: output_scalable:
+define void @input_nxv8f16(<vscale x 8 x half> %value) {
+; POS-LABEL: input_nxv8f16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 8 x half> %value)
+ ret void
+}
+
+define void @input_nxv4f32(<vscale x 4 x float> %value) {
+; POS-LABEL: input_nxv4f32:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 4 x float> %value)
+ ret void
+}
+
+define void @input_nxv2f64(<vscale x 2 x double> %value) {
+; POS-LABEL: input_nxv2f64:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 2 x double> %value)
+ ret void
+}
+
+define void @input_nxv8bf16(<vscale x 8 x bfloat> %value) {
+; POS-LABEL: input_nxv8bf16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ call void asm sideeffect "mov $0.d, $0.d", "{z0}"(<vscale x 8 x bfloat> %value)
+ ret void
+}
+
+define <vscale x 16 x i8> @output_nxv16i8() {
+; POS-LABEL: output_nxv16i8:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.b, #0 // =0x0
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %value = call <vscale x 16 x i8> asm sideeffect "dup $0.b, #0", "={z0}"()
+ ret <vscale x 16 x i8> %value
+}
+
+define <vscale x 8 x i16> @output_nxv8i16() {
+; POS-LABEL: output_nxv8i16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.h, #0 // =0x0
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %value = call <vscale x 8 x i16> asm sideeffect "dup $0.h, #0", "={z0}"()
+ ret <vscale x 8 x i16> %value
+}
+
+define <vscale x 4 x i32> @output_nxv4i32() {
+; POS-LABEL: output_nxv4i32:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.s, #0 // =0x0
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %value = call <vscale x 4 x i32> asm sideeffect "dup $0.s, #0", "={z0}"()
+ ret <vscale x 4 x i32> %value
+}
+
+define <vscale x 2 x i64> @output_nxv2i64() {
+; POS-LABEL: output_nxv2i64:
; POS: // %bb.0:
; POS-NEXT: //APP
; POS-NEXT: mov z0.d, #0 // =0x0
@@ -139,8 +249,85 @@ define <vscale x 2 x i64> @output_scalable() {
ret <vscale x 2 x i64> %value
}
-define <vscale x 2 x i64> @inout_scalable(<vscale x 2 x i64> %value) {
-; POS-LABEL: inout_scalable:
+define <vscale x 8 x half> @output_nxv8f16() {
+; POS-LABEL: output_nxv8f16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.h, #0 // =0x0
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %value = call <vscale x 8 x half> asm sideeffect "dup $0.h, #0", "={z0}"()
+ ret <vscale x 8 x half> %value
+}
+
+define <vscale x 4 x float> @output_nxv4f32() {
+; POS-LABEL: output_nxv4f32:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.s, #0 // =0x0
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %value = call <vscale x 4 x float> asm sideeffect "dup $0.s, #0", "={z0}"()
+ ret <vscale x 4 x float> %value
+}
+
+define <vscale x 2 x double> @output_nxv2f64() {
+; POS-LABEL: output_nxv2f64:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, #0 // =0x0
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %value = call <vscale x 2 x double> asm sideeffect "dup $0.d, #0", "={z0}"()
+ ret <vscale x 2 x double> %value
+}
+
+define <vscale x 8 x bfloat> @output_nxv8bf16() {
+; POS-LABEL: output_nxv8bf16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.h, #0 // =0x0
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %value = call <vscale x 8 x bfloat> asm sideeffect "dup $0.h, #0", "={z0}"()
+ ret <vscale x 8 x bfloat> %value
+}
+
+define <vscale x 16 x i8> @inout_nxv16i8(<vscale x 16 x i8> %value) {
+; POS-LABEL: inout_nxv16i8:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %result = call <vscale x 16 x i8> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 16 x i8> %value)
+ ret <vscale x 16 x i8> %result
+}
+
+define <vscale x 8 x i16> @inout_nxv8i16(<vscale x 8 x i16> %value) {
+; POS-LABEL: inout_nxv8i16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %result = call <vscale x 8 x i16> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 8 x i16> %value)
+ ret <vscale x 8 x i16> %result
+}
+
+define <vscale x 4 x i32> @inout_nxv4i32(<vscale x 4 x i32> %value) {
+; POS-LABEL: inout_nxv4i32:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %result = call <vscale x 4 x i32> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 4 x i32> %value)
+ ret <vscale x 4 x i32> %result
+}
+
+define <vscale x 2 x i64> @inout_nxv2i64(<vscale x 2 x i64> %value) {
+; POS-LABEL: inout_nxv2i64:
; POS: // %bb.0:
; POS-NEXT: //APP
; POS-NEXT: mov z0.d, z0.d
@@ -148,4 +335,48 @@ define <vscale x 2 x i64> @inout_scalable(<vscale x 2 x i64> %value) {
; POS-NEXT: ret
%result = call <vscale x 2 x i64> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 2 x i64> %value)
ret <vscale x 2 x i64> %result
+}
+
+define <vscale x 8 x half> @inout_nxv8f16(<vscale x 8 x half> %value) {
+; POS-LABEL: inout_nxv8f16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %result = call <vscale x 8 x half> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 8 x half> %value)
+ ret <vscale x 8 x half> %result
+}
+
+define <vscale x 4 x float> @inout_nxv4f32(<vscale x 4 x float> %value) {
+; POS-LABEL: inout_nxv4f32:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %result = call <vscale x 4 x float> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 4 x float> %value)
+ ret <vscale x 4 x float> %result
+}
+
+define <vscale x 2 x double> @inout_nxv2f64(<vscale x 2 x double> %value) {
+; POS-LABEL: inout_nxv2f64:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %result = call <vscale x 2 x double> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 2 x double> %value)
+ ret <vscale x 2 x double> %result
+}
+
+define <vscale x 8 x bfloat> @inout_nxv8bf16(<vscale x 8 x bfloat> %value) {
+; POS-LABEL: inout_nxv8bf16:
+; POS: // %bb.0:
+; POS-NEXT: //APP
+; POS-NEXT: mov z0.d, z0.d
+; POS-NEXT: //NO_APP
+; POS-NEXT: ret
+ %result = call <vscale x 8 x bfloat> asm sideeffect "mov $0.d, $0.d", "={z0},0"(<vscale x 8 x bfloat> %value)
+ ret <vscale x 8 x bfloat> %result
}
\ No newline at end of file
More information about the llvm-commits
mailing list