Index: clang/include/clang/Basic/TargetBuiltins.h
===================================================================
--- clang/include/clang/Basic/TargetBuiltins.h
+++ clang/include/clang/Basic/TargetBuiltins.h
@@ -248,6 +248,8 @@
     bool isReverseUSDOT() const { return Flags & ReverseUSDOT; }
     bool isUndef() const { return Flags & IsUndef; }
     bool isTupleCreate() const { return Flags & IsTupleCreate; }
+    bool isTupleGet() const { return Flags & IsTupleGet; }
+    bool isTupleSet() const { return Flags & IsTupleSet; }
 
     uint64_t getBits() const { return Flags; }
     bool isFlagSet(uint64_t Flag) const { return Flags & Flag; }
Index: clang/include/clang/Basic/arm_sve.td
===================================================================
--- clang/include/clang/Basic/arm_sve.td
+++ clang/include/clang/Basic/arm_sve.td
@@ -201,6 +201,8 @@
 def ReverseUSDOT              : FlagType<0x40000000>; // Unsigned/signed operands must be swapped.
 def IsUndef                   : FlagType<0x80000000>; // Codegen `undef` of given type.
 def IsTupleCreate             : FlagType<0x100000000>;
+def IsTupleGet                : FlagType<0x200000000>;
+def IsTupleSet                : FlagType<0x400000000>;
 
 // These must be kept in sync with the flags in include/clang/Basic/TargetBuiltins.h
 class ImmCheckType<int val> {
@@ -219,6 +221,9 @@
 def ImmCheckComplexRot90_270    : ImmCheckType<10>; // [90,270]
 def ImmCheckComplexRotAll90     : ImmCheckType<11>; // [0, 90, 180,270]
 def ImmCheck0_13                : ImmCheckType<12>; // 0..13
+def ImmCheck0_1                 : ImmCheckType<13>; // 0..1
+def ImmCheck0_2                 : ImmCheckType<14>; // 0..2
+def ImmCheck0_3                 : ImmCheckType<15>; // 0..3
 
 class ImmCheck<int arg, ImmCheckType kind, int eltSizeArg = -1> {
   int Arg = arg;
@@ -1299,6 +1304,17 @@
 def SVCREATE_3 : SInst<"svcreate3[_{d}]", "3ddd",  "csilUcUsUiUlhfd", MergeNone, "aarch64_sve_tuple_create3", [IsTupleCreate]>;
 def SVCREATE_4 : SInst<"svcreate4[_{d}]", "4dddd", "csilUcUsUiUlhfd", MergeNone, "aarch64_sve_tuple_create4", [IsTupleCreate]>;
 
+
+////////////////////////////////////////////////////////////////////////////////
+// Vector insertion and extraction
+def SVGET_2 : SInst<"svget2[_{d}]", "d2i", "csilUcUsUiUlhfd", MergeNone, "aarch64_sve_tuple_get", [IsTupleGet], [ImmCheck<1, ImmCheck0_1>]>;
+def SVGET_3 : SInst<"svget3[_{d}]", "d3i", "csilUcUsUiUlhfd", MergeNone, "aarch64_sve_tuple_get", [IsTupleGet], [ImmCheck<1, ImmCheck0_2>]>;
+def SVGET_4 : SInst<"svget4[_{d}]", "d4i", "csilUcUsUiUlhfd", MergeNone, "aarch64_sve_tuple_get", [IsTupleGet], [ImmCheck<1, ImmCheck0_3>]>;
+
+def SVSET_2 : SInst<"svset2[_{d}]", "22id", "csilUcUsUiUlhfd", MergeNone, "aarch64_sve_tuple_set", [IsTupleSet], [ImmCheck<1, ImmCheck0_1>]>;
+def SVSET_3 : SInst<"svset3[_{d}]", "33id", "csilUcUsUiUlhfd", MergeNone, "aarch64_sve_tuple_set", [IsTupleSet], [ImmCheck<1, ImmCheck0_2>]>;
+def SVSET_4 : SInst<"svset4[_{d}]", "44id", "csilUcUsUiUlhfd", MergeNone, "aarch64_sve_tuple_set", [IsTupleSet], [ImmCheck<1, ImmCheck0_3>]>;
+
 ////////////////////////////////////////////////////////////////////////////////
 // SVE2 WhileGE/GT
 let ArchGuard = "defined(__ARM_FEATURE_SVE2)" in {
Index: clang/lib/CodeGen/CGBuiltin.cpp
===================================================================
--- clang/lib/CodeGen/CGBuiltin.cpp
+++ clang/lib/CodeGen/CGBuiltin.cpp
@@ -8056,10 +8056,10 @@
   if (TypeFlags.isOverloadWhileRW())
     return {getSVEPredType(TypeFlags), Ops[0]->getType()};
 
-  if (TypeFlags.isOverloadCvt())
+  if (TypeFlags.isOverloadCvt() || TypeFlags.isTupleSet())
     return {Ops[0]->getType(), Ops.back()->getType()};
 
-  if (TypeFlags.isTupleCreate())
+  if (TypeFlags.isTupleCreate() || TypeFlags.isTupleGet())
     return {ResultType, Ops[0]->getType()};
 
   assert(TypeFlags.isOverloadDefault() && "Unexpected value for overloads");
Index: clang/lib/Sema/SemaChecking.cpp
===================================================================
--- clang/lib/Sema/SemaChecking.cpp
+++ clang/lib/Sema/SemaChecking.cpp
@@ -2116,6 +2116,18 @@
               diag::err_rotation_argument_to_cmla))
         HasError = true;
       break;
+    case SVETypeFlags::ImmCheck0_1:
+      if (SemaBuiltinConstantArgRange(TheCall, ArgNum, 0, 1))
+        HasError = true;
+      break;
+    case SVETypeFlags::ImmCheck0_2:
+      if (SemaBuiltinConstantArgRange(TheCall, ArgNum, 0, 2))
+        HasError = true;
+      break;
+    case SVETypeFlags::ImmCheck0_3:
+      if (SemaBuiltinConstantArgRange(TheCall, ArgNum, 0, 3))
+        HasError = true;
+      break;
     }
   }
 
Index: clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_get2.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_get2.c
@@ -0,0 +1,99 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8_t test_svget2_s8(svint8x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_s8
+  // CHECK: %[[EXT:.*]] = call <vscale x 16 x i8> @llvm.aarch64.sve.tuple.get.nxv16i8.nxv32i8(<vscale x 32 x i8> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 16 x i8> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_s8,,)(tuple, 0);
+}
+
+svint16_t test_svget2_s16(svint16x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_s16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.tuple.get.nxv8i16.nxv16i16(<vscale x 16 x i16> %tuple, i32 1)
+  // CHECK-NEXT: ret <vscale x 8 x i16> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_s16,,)(tuple, 1);
+}
+
+svint32_t test_svget2_s32(svint32x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_s32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.tuple.get.nxv4i32.nxv8i32(<vscale x 8 x i32> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 4 x i32> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_s32,,)(tuple, 0);
+}
+
+svint64_t test_svget2_s64(svint64x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_s64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.tuple.get.nxv2i64.nxv4i64(<vscale x 4 x i64> %tuple, i32 1)
+  // CHECK-NEXT: ret <vscale x 2 x i64> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_s64,,)(tuple, 1);
+}
+
+svuint8_t test_svget2_u8(svuint8x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_u8
+  // CHECK: %[[EXT:.*]] = call <vscale x 16 x i8> @llvm.aarch64.sve.tuple.get.nxv16i8.nxv32i8(<vscale x 32 x i8> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 16 x i8> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_u8,,)(tuple, 0);
+}
+
+svuint16_t test_svget2_u16(svuint16x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_u16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.tuple.get.nxv8i16.nxv16i16(<vscale x 16 x i16> %tuple, i32 1)
+  // CHECK-NEXT: ret <vscale x 8 x i16> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_u16,,)(tuple, 1);
+}
+
+svuint32_t test_svget2_u32(svuint32x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_u32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.tuple.get.nxv4i32.nxv8i32(<vscale x 8 x i32> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 4 x i32> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_u32,,)(tuple, 0);
+}
+
+svuint64_t test_svget2_u64(svuint64x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_u64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.tuple.get.nxv2i64.nxv4i64(<vscale x 4 x i64> %tuple, i32 1)
+  // CHECK-NEXT: ret <vscale x 2 x i64> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_u64,,)(tuple, 1);
+}
+
+svfloat16_t test_svget2_f16(svfloat16x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_f16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x half> @llvm.aarch64.sve.tuple.get.nxv8f16.nxv16f16(<vscale x 16 x half> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 8 x half> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_f16,,)(tuple, 0);
+}
+
+svfloat32_t test_svget2_f32(svfloat32x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_f32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x float> @llvm.aarch64.sve.tuple.get.nxv4f32.nxv8f32(<vscale x 8 x float> %tuple, i32 1)
+  // CHECK-NEXT: ret <vscale x 4 x float> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_f32,,)(tuple, 1);
+}
+
+svfloat64_t test_svget2_f64(svfloat64x2_t tuple)
+{
+  // CHECK-LABEL: test_svget2_f64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x double> @llvm.aarch64.sve.tuple.get.nxv2f64.nxv4f64(<vscale x 4 x double> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 2 x double> %[[EXT]]
+  return SVE_ACLE_FUNC(svget2,_f64,,)(tuple, 0);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_get3.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_get3.c
@@ -0,0 +1,99 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8_t test_svget3_s8(svint8x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_s8
+  // CHECK: %[[EXT:.*]] = call <vscale x 16 x i8> @llvm.aarch64.sve.tuple.get.nxv16i8.nxv48i8(<vscale x 48 x i8> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 16 x i8> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_s8,,)(tuple, 0);
+}
+
+svint16_t test_svget3_s16(svint16x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_s16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.tuple.get.nxv8i16.nxv24i16(<vscale x 24 x i16> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 8 x i16> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_s16,,)(tuple, 2);
+}
+
+svint32_t test_svget3_s32(svint32x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_s32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.tuple.get.nxv4i32.nxv12i32(<vscale x 12 x i32> %tuple, i32 1)
+  // CHECK-NEXT: ret <vscale x 4 x i32> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_s32,,)(tuple, 1);
+}
+
+svint64_t test_svget3_s64(svint64x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_s64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.tuple.get.nxv2i64.nxv6i64(<vscale x 6 x i64> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 2 x i64> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_s64,,)(tuple, 0);
+}
+
+svuint8_t test_svget3_u8(svuint8x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_u8
+  // CHECK: %[[EXT:.*]] = call <vscale x 16 x i8> @llvm.aarch64.sve.tuple.get.nxv16i8.nxv48i8(<vscale x 48 x i8> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 16 x i8> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_u8,,)(tuple, 2);
+}
+
+svuint16_t test_svget3_u16(svuint16x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_u16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.tuple.get.nxv8i16.nxv24i16(<vscale x 24 x i16> %tuple, i32 1)
+  // CHECK-NEXT: ret <vscale x 8 x i16> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_u16,,)(tuple, 1);
+}
+
+svuint32_t test_svget3_u32(svuint32x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_u32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.tuple.get.nxv4i32.nxv12i32(<vscale x 12 x i32> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 4 x i32> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_u32,,)(tuple, 0);
+}
+
+svuint64_t test_svget3_u64(svuint64x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_u64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.tuple.get.nxv2i64.nxv6i64(<vscale x 6 x i64> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 2 x i64> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_u64,,)(tuple, 2);
+}
+
+svfloat16_t test_svget3_f16(svfloat16x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_f16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x half> @llvm.aarch64.sve.tuple.get.nxv8f16.nxv24f16(<vscale x 24 x half> %tuple, i32 1)
+  // CHECK-NEXT: ret <vscale x 8 x half> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_f16,,)(tuple, 1);
+}
+
+svfloat32_t test_svget3_f32(svfloat32x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_f32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x float> @llvm.aarch64.sve.tuple.get.nxv4f32.nxv12f32(<vscale x 12 x float> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 4 x float> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_f32,,)(tuple, 0);
+}
+
+svfloat64_t test_svget3_f64(svfloat64x3_t tuple)
+{
+  // CHECK-LABEL: test_svget3_f64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x double> @llvm.aarch64.sve.tuple.get.nxv2f64.nxv6f64(<vscale x 6 x double> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 2 x double> %[[EXT]]
+  return SVE_ACLE_FUNC(svget3,_f64,,)(tuple, 2);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_get4.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_get4.c
@@ -0,0 +1,101 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+// NOTE: For these tests clang converts the struct parameter into
+// several parameters, one for each member of the original struct.
+svint8_t test_svget4_s8(svint8x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_s8
+  // CHECK: %[[EXT:.*]] = call <vscale x 16 x i8> @llvm.aarch64.sve.tuple.get.nxv16i8.nxv64i8(<vscale x 64 x i8> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 16 x i8> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_s8,,)(tuple, 0);
+}
+
+svint16_t test_svget4_s16(svint16x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_s16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.tuple.get.nxv8i16.nxv32i16(<vscale x 32 x i16> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 8 x i16> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_s16,,)(tuple, 2);
+}
+
+svint32_t test_svget4_s32(svint32x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_s32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.tuple.get.nxv4i32.nxv16i32(<vscale x 16 x i32> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 4 x i32> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_s32,,)(tuple, 2);
+}
+
+svint64_t test_svget4_s64(svint64x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_s64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.tuple.get.nxv2i64.nxv8i64(<vscale x 8 x i64> %tuple, i32 3)
+  // CHECK-NEXT: ret <vscale x 2 x i64> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_s64,,)(tuple, 3);
+}
+
+svuint8_t test_svget4_u8(svuint8x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_u8
+  // CHECK: %[[EXT:.*]] = call <vscale x 16 x i8> @llvm.aarch64.sve.tuple.get.nxv16i8.nxv64i8(<vscale x 64 x i8> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 16 x i8> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_u8,,)(tuple, 2);
+}
+
+svuint16_t test_svget4_u16(svuint16x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_u16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x i16> @llvm.aarch64.sve.tuple.get.nxv8i16.nxv32i16(<vscale x 32 x i16> %tuple, i32 3)
+  // CHECK-NEXT: ret <vscale x 8 x i16> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_u16,,)(tuple, 3);
+}
+
+svuint32_t test_svget4_u32(svuint32x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_u32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x i32> @llvm.aarch64.sve.tuple.get.nxv4i32.nxv16i32(<vscale x 16 x i32> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 4 x i32> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_u32,,)(tuple, 0);
+}
+
+svuint64_t test_svget4_u64(svuint64x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_u64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x i64> @llvm.aarch64.sve.tuple.get.nxv2i64.nxv8i64(<vscale x 8 x i64> %tuple, i32 3)
+  // CHECK-NEXT: ret <vscale x 2 x i64> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_u64,,)(tuple, 3);
+}
+
+svfloat16_t test_svget4_f16(svfloat16x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_f16
+  // CHECK: %[[EXT:.*]] = call <vscale x 8 x half> @llvm.aarch64.sve.tuple.get.nxv8f16.nxv32f16(<vscale x 32 x half> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 8 x half> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_f16,,)(tuple, 2);
+}
+
+svfloat32_t test_svget4_f32(svfloat32x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_f32
+  // CHECK: %[[EXT:.*]] = call <vscale x 4 x float> @llvm.aarch64.sve.tuple.get.nxv4f32.nxv16f32(<vscale x 16 x float> %tuple, i32 0)
+  // CHECK-NEXT: ret <vscale x 4 x float> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_f32,,)(tuple, 0);
+}
+
+svfloat64_t test_svget4_f64(svfloat64x4_t tuple)
+{
+  // CHECK-LABEL: test_svget4_f64
+  // CHECK: %[[EXT:.*]] = call <vscale x 2 x double> @llvm.aarch64.sve.tuple.get.nxv2f64.nxv8f64(<vscale x 8 x double> %tuple, i32 2)
+  // CHECK-NEXT: ret <vscale x 2 x double> %[[EXT]]
+  return SVE_ACLE_FUNC(svget4,_f64,,)(tuple, 2);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_set2.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_set2.c
@@ -0,0 +1,99 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8x2_t test_svset2_s8(svint8x2_t tuple, svint8_t x)
+{
+  // CHECK-LABEL: test_svset2_s8
+  // CHECK: %[[INSERT:.*]] = call <vscale x 32 x i8> @llvm.aarch64.sve.tuple.set.nxv32i8.nxv16i8(<vscale x 32 x i8> %tuple, i32 1, <vscale x 16 x i8> %x)
+  // CHECK-NEXT: ret <vscale x 32 x i8> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_s8,,)(tuple, 1, x);
+}
+
+svint16x2_t test_svset2_s16(svint16x2_t tuple, svint16_t x)
+{
+  // CHECK-LABEL: test_svset2_s16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 16 x i16> @llvm.aarch64.sve.tuple.set.nxv16i16.nxv8i16(<vscale x 16 x i16> %tuple, i32 0, <vscale x 8 x i16> %x)
+  // CHECK-NEXT: ret <vscale x 16 x i16> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_s16,,)(tuple, 0, x);
+}
+
+svint32x2_t test_svset2_s32(svint32x2_t tuple, svint32_t x)
+{
+  // CHECK-LABEL: test_svset2_s32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 8 x i32> @llvm.aarch64.sve.tuple.set.nxv8i32.nxv4i32(<vscale x 8 x i32> %tuple, i32 1, <vscale x 4 x i32> %x)
+  // CHECK-NEXT: ret <vscale x 8 x i32> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_s32,,)(tuple, 1, x);
+}
+
+svint64x2_t test_svset2_s64(svint64x2_t tuple, svint64_t x)
+{
+  // CHECK-LABEL: test_svset2_s64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 4 x i64> @llvm.aarch64.sve.tuple.set.nxv4i64.nxv2i64(<vscale x 4 x i64> %tuple, i32 0, <vscale x 2 x i64> %x)
+  // CHECK-NEXT: ret <vscale x 4 x i64> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_s64,,)(tuple, 0, x);
+}
+
+svuint8x2_t test_svset2_u8(svuint8x2_t tuple, svuint8_t x)
+{
+  // CHECK-LABEL: test_svset2_u8
+  // CHECK: %[[INSERT:.*]] = call <vscale x 32 x i8> @llvm.aarch64.sve.tuple.set.nxv32i8.nxv16i8(<vscale x 32 x i8> %tuple, i32 1, <vscale x 16 x i8> %x)
+  // CHECK-NEXT: ret <vscale x 32 x i8> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_u8,,)(tuple, 1, x);
+}
+
+svuint16x2_t test_svset2_u16(svuint16x2_t tuple, svuint16_t x)
+{
+  // CHECK-LABEL: test_svset2_u16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 16 x i16> @llvm.aarch64.sve.tuple.set.nxv16i16.nxv8i16(<vscale x 16 x i16> %tuple, i32 0, <vscale x 8 x i16> %x)
+  // CHECK-NEXT: ret <vscale x 16 x i16> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_u16,,)(tuple, 0, x);
+}
+
+svuint32x2_t test_svset2_u32(svuint32x2_t tuple, svuint32_t x)
+{
+  // CHECK-LABEL: test_svset2_u32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 8 x i32> @llvm.aarch64.sve.tuple.set.nxv8i32.nxv4i32(<vscale x 8 x i32> %tuple, i32 1, <vscale x 4 x i32> %x)
+  // CHECK-NEXT: ret <vscale x 8 x i32> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_u32,,)(tuple, 1, x);
+}
+
+svuint64x2_t test_svset2_u64(svuint64x2_t tuple, svuint64_t x)
+{
+  // CHECK-LABEL: test_svset2_u64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 4 x i64> @llvm.aarch64.sve.tuple.set.nxv4i64.nxv2i64(<vscale x 4 x i64> %tuple, i32 0, <vscale x 2 x i64> %x)
+  // CHECK-NEXT: ret <vscale x 4 x i64> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_u64,,)(tuple, 0, x);
+}
+
+svfloat16x2_t test_svset2_f16(svfloat16x2_t tuple, svfloat16_t x)
+{
+  // CHECK-LABEL: test_svset2_f16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 16 x half> @llvm.aarch64.sve.tuple.set.nxv16f16.nxv8f16(<vscale x 16 x half> %tuple, i32 1, <vscale x 8 x half> %x)
+  // CHECK-NEXT: ret <vscale x 16 x half> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_f16,,)(tuple, 1, x);
+}
+
+svfloat32x2_t test_svset2_f32(svfloat32x2_t tuple, svfloat32_t x)
+{
+  // CHECK-LABEL: test_svset2_f32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 8 x float> @llvm.aarch64.sve.tuple.set.nxv8f32.nxv4f32(<vscale x 8 x float> %tuple, i32 0, <vscale x 4 x float> %x)
+  // CHECK-NEXT: ret <vscale x 8 x float> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_f32,,)(tuple, 0, x);
+}
+
+svfloat64x2_t test_svset2_f64(svfloat64x2_t tuple, svfloat64_t x)
+{
+  // CHECK-LABEL: test_svset2_f64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 4 x double> @llvm.aarch64.sve.tuple.set.nxv4f64.nxv2f64(<vscale x 4 x double> %tuple, i32 1, <vscale x 2 x double> %x)
+  // CHECK-NEXT: ret <vscale x 4 x double> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset2,_f64,,)(tuple, 1, x);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_set3.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_set3.c
@@ -0,0 +1,102 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+
+// NOTE: For these tests clang converts the struct parameter into
+// several parameters, one for each member of the original struct.
+svint8x3_t test_svset3_s8(svint8x3_t tuple, svint8_t x)
+{
+  // CHECK-LABEL: test_svset3_s8
+  // CHECK: %[[INSERT:.*]] = call <vscale x 48 x i8> @llvm.aarch64.sve.tuple.set.nxv48i8.nxv16i8(<vscale x 48 x i8> %tuple, i32 1, <vscale x 16 x i8> %x)
+  // CHECK-NEXT: ret <vscale x 48 x i8> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_s8,,)(tuple, 1, x);
+}
+
+svint16x3_t test_svset3_s16(svint16x3_t tuple, svint16_t x)
+{
+  // CHECK-LABEL: test_svset3_s16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 24 x i16> @llvm.aarch64.sve.tuple.set.nxv24i16.nxv8i16(<vscale x 24 x i16> %tuple, i32 2, <vscale x 8 x i16> %x)
+  // CHECK-NEXT: ret <vscale x 24 x i16> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_s16,,)(tuple, 2, x);
+}
+
+svint32x3_t test_svset3_s32(svint32x3_t tuple, svint32_t x)
+{
+  // CHECK-LABEL: test_svset3_s32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 12 x i32> @llvm.aarch64.sve.tuple.set.nxv12i32.nxv4i32(<vscale x 12 x i32> %tuple, i32 0, <vscale x 4 x i32> %x)
+  // CHECK-NEXT: ret <vscale x 12 x i32> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_s32,,)(tuple, 0, x);
+}
+
+svint64x3_t test_svset3_s64(svint64x3_t tuple, svint64_t x)
+{
+  // CHECK-LABEL: test_svset3_s64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 6 x i64> @llvm.aarch64.sve.tuple.set.nxv6i64.nxv2i64(<vscale x 6 x i64> %tuple, i32 1, <vscale x 2 x i64> %x)
+  // CHECK-NEXT: ret <vscale x 6 x i64> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_s64,,)(tuple, 1, x);
+}
+
+svuint8x3_t test_svset3_u8(svuint8x3_t tuple, svuint8_t x)
+{
+  // CHECK-LABEL: test_svset3_u8
+  // CHECK: %[[INSERT:.*]] = call <vscale x 48 x i8> @llvm.aarch64.sve.tuple.set.nxv48i8.nxv16i8(<vscale x 48 x i8> %tuple, i32 2, <vscale x 16 x i8> %x)
+  // CHECK-NEXT: ret <vscale x 48 x i8> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_u8,,)(tuple, 2, x);
+}
+
+svuint16x3_t test_svset3_u16(svuint16x3_t tuple, svuint16_t x)
+{
+  // CHECK-LABEL: test_svset3_u16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 24 x i16> @llvm.aarch64.sve.tuple.set.nxv24i16.nxv8i16(<vscale x 24 x i16> %tuple, i32 0, <vscale x 8 x i16> %x)
+  // CHECK-NEXT: ret <vscale x 24 x i16> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_u16,,)(tuple, 0, x);
+}
+
+svuint32x3_t test_svset3_u32(svuint32x3_t tuple, svuint32_t x)
+{
+  // CHECK-LABEL: test_svset3_u32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 12 x i32> @llvm.aarch64.sve.tuple.set.nxv12i32.nxv4i32(<vscale x 12 x i32> %tuple, i32 1, <vscale x 4 x i32> %x)
+  // CHECK-NEXT: ret <vscale x 12 x i32> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_u32,,)(tuple, 1, x);
+}
+
+svuint64x3_t test_svset3_u64(svuint64x3_t tuple, svuint64_t x)
+{
+  // CHECK-LABEL: test_svset3_u64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 6 x i64> @llvm.aarch64.sve.tuple.set.nxv6i64.nxv2i64(<vscale x 6 x i64> %tuple, i32 2, <vscale x 2 x i64> %x)
+  // CHECK-NEXT: ret <vscale x 6 x i64> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_u64,,)(tuple, 2, x);
+}
+
+svfloat16x3_t test_svset3_f16(svfloat16x3_t tuple, svfloat16_t x)
+{
+  // CHECK-LABEL: test_svset3_f16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 24 x half> @llvm.aarch64.sve.tuple.set.nxv24f16.nxv8f16(<vscale x 24 x half> %tuple, i32 0, <vscale x 8 x half> %x)
+  // CHECK-NEXT: ret <vscale x 24 x half> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_f16,,)(tuple, 0, x);
+}
+
+svfloat32x3_t test_svset3_f32(svfloat32x3_t tuple, svfloat32_t x)
+{
+  // CHECK-LABEL: test_svset3_f32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 12 x float> @llvm.aarch64.sve.tuple.set.nxv12f32.nxv4f32(<vscale x 12 x float> %tuple, i32 1, <vscale x 4 x float> %x)
+  // CHECK-NEXT: ret <vscale x 12 x float> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_f32,,)(tuple, 1, x);
+}
+
+svfloat64x3_t test_svset3_f64(svfloat64x3_t tuple, svfloat64_t x)
+{
+  // CHECK-LABEL: test_svset3_f64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 6 x double> @llvm.aarch64.sve.tuple.set.nxv6f64.nxv2f64(<vscale x 6 x double> %tuple, i32 2, <vscale x 2 x double> %x)
+  // CHECK-NEXT: ret <vscale x 6 x double> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset3,_f64,,)(tuple, 2, x);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_set4.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/acle_sve_set4.c
@@ -0,0 +1,100 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -S -O1 -Werror -Wall -emit-llvm -o - %s | FileCheck %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+
+svint8x4_t test_svset4_s8(svint8x4_t tuple, svint8_t x)
+{
+  // CHECK-LABEL: test_svset4_s8
+  // CHECK: %[[INSERT:.*]] = call <vscale x 64 x i8> @llvm.aarch64.sve.tuple.set.nxv64i8.nxv16i8(<vscale x 64 x i8> %tuple, i32 1, <vscale x 16 x i8> %x)
+  // CHECK-NEXT: ret <vscale x 64 x i8> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_s8,,)(tuple, 1, x);
+}
+
+svint16x4_t test_svset4_s16(svint16x4_t tuple, svint16_t x)
+{
+  // CHECK-LABEL: test_svset4_s16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 32 x i16> @llvm.aarch64.sve.tuple.set.nxv32i16.nxv8i16(<vscale x 32 x i16> %tuple, i32 3, <vscale x 8 x i16> %x)
+  // CHECK-NEXT: ret <vscale x 32 x i16> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_s16,,)(tuple, 3, x);
+}
+
+svint32x4_t test_svset4_s32(svint32x4_t tuple, svint32_t x)
+{
+  // CHECK-LABEL: test_svset4_s32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 16 x i32> @llvm.aarch64.sve.tuple.set.nxv16i32.nxv4i32(<vscale x 16 x i32> %tuple, i32 1, <vscale x 4 x i32> %x)
+  // CHECK-NEXT: ret <vscale x 16 x i32> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_s32,,)(tuple, 1, x);
+}
+
+svint64x4_t test_svset4_s64(svint64x4_t tuple, svint64_t x)
+{
+  // CHECK-LABEL: test_svset4_s64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 8 x i64> @llvm.aarch64.sve.tuple.set.nxv8i64.nxv2i64(<vscale x 8 x i64> %tuple, i32 1, <vscale x 2 x i64> %x)
+  // CHECK-NEXT: ret <vscale x 8 x i64> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_s64,,)(tuple, 1, x);
+}
+
+svuint8x4_t test_svset4_u8(svuint8x4_t tuple, svuint8_t x)
+{
+  // CHECK-LABEL: test_svset4_u8
+  // CHECK: %[[INSERT:.*]] = call <vscale x 64 x i8> @llvm.aarch64.sve.tuple.set.nxv64i8.nxv16i8(<vscale x 64 x i8> %tuple, i32 3, <vscale x 16 x i8> %x)
+  // CHECK-NEXT: ret <vscale x 64 x i8> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_u8,,)(tuple, 3, x);
+}
+
+svuint16x4_t test_svset4_u16(svuint16x4_t tuple, svuint16_t x)
+{
+  // CHECK-LABEL: test_svset4_u16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 32 x i16> @llvm.aarch64.sve.tuple.set.nxv32i16.nxv8i16(<vscale x 32 x i16> %tuple, i32 1, <vscale x 8 x i16> %x)
+  // CHECK-NEXT: ret <vscale x 32 x i16> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_u16,,)(tuple, 1, x);
+}
+
+svuint32x4_t test_svset4_u32(svuint32x4_t tuple, svuint32_t x)
+{
+  // CHECK-LABEL: test_svset4_u32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 16 x i32> @llvm.aarch64.sve.tuple.set.nxv16i32.nxv4i32(<vscale x 16 x i32> %tuple, i32 1, <vscale x 4 x i32> %x)
+  // CHECK-NEXT: ret <vscale x 16 x i32> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_u32,,)(tuple, 1, x);
+}
+
+svuint64x4_t test_svset4_u64(svuint64x4_t tuple, svuint64_t x)
+{
+  // CHECK-LABEL: test_svset4_u64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 8 x i64> @llvm.aarch64.sve.tuple.set.nxv8i64.nxv2i64(<vscale x 8 x i64> %tuple, i32 3, <vscale x 2 x i64> %x)
+  // CHECK-NEXT: ret <vscale x 8 x i64> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_u64,,)(tuple, 3, x);
+}
+
+svfloat16x4_t test_svset4_f16(svfloat16x4_t tuple, svfloat16_t x)
+{
+  // CHECK-LABEL: test_svset4_f16
+  // CHECK: %[[INSERT:.*]] = call <vscale x 32 x half> @llvm.aarch64.sve.tuple.set.nxv32f16.nxv8f16(<vscale x 32 x half> %tuple, i32 1, <vscale x 8 x half> %x)
+  // CHECK-NEXT: ret <vscale x 32 x half> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_f16,,)(tuple, 1, x);
+}
+
+svfloat32x4_t test_svset4_f32(svfloat32x4_t tuple, svfloat32_t x)
+{
+  // CHECK-LABEL: test_svset4_f32
+  // CHECK: %[[INSERT:.*]] = call <vscale x 16 x float> @llvm.aarch64.sve.tuple.set.nxv16f32.nxv4f32(<vscale x 16 x float> %tuple, i32 1, <vscale x 4 x float> %x)
+  // CHECK-NEXT: ret <vscale x 16 x float> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_f32,,)(tuple, 1, x);
+}
+
+svfloat64x4_t test_svset4_f64(svfloat64x4_t tuple, svfloat64_t x)
+{
+  // CHECK-LABEL: test_svset4_f64
+  // CHECK: %[[INSERT:.*]] = call <vscale x 8 x double> @llvm.aarch64.sve.tuple.set.nxv8f64.nxv2f64(<vscale x 8 x double> %tuple, i32 3, <vscale x 2 x double> %x)
+  // CHECK-NEXT: ret <vscale x 8 x double> %[[INSERT]]
+  return SVE_ACLE_FUNC(svset4,_f64,,)(tuple, 3, x);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_get2.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_get2.c
@@ -0,0 +1,143 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8_t test_svget2_s8(svint8x2_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_s8,,)(tuple, -1);
+}
+
+svint16_t test_svget2_s16(svint16x2_t tuple)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_s16,,)(tuple, 2);
+}
+
+svint32_t test_svget2_s32(svint32x2_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_s32,,)(tuple, -1);
+}
+
+svint64_t test_svget2_s64(svint64x2_t tuple)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_s64,,)(tuple, 2);
+}
+
+svuint8_t test_svget2_u8(svuint8x2_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_u8,,)(tuple, -1);
+}
+
+svuint16_t test_svget2_u16(svuint16x2_t tuple)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_u16,,)(tuple, 2);
+}
+
+svuint32_t test_svget2_u32(svuint32x2_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_u32,,)(tuple, -1);
+}
+
+svuint64_t test_svget2_u64(svuint64x2_t tuple)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_u64,,)(tuple, 2);
+}
+
+svfloat16_t test_svget2_f16(svfloat16x2_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_f16,,)(tuple, -1);
+}
+
+svfloat32_t test_svget2_f32(svfloat32x2_t tuple)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_f32,,)(tuple, 2);
+}
+
+svfloat64_t test_svget2_f64(svfloat64x2_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svget2,_f64,,)(tuple, -1);
+}
+
+svint8_t test_svget2_s8_var(svint8x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_s8,,)(tuple, imm_index);
+}
+
+svint16_t test_svget2_s16_var(svint16x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_s16,,)(tuple, imm_index);
+}
+
+svint32_t test_svget2_s32_var(svint32x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_s32,,)(tuple, imm_index);
+}
+
+svint64_t test_svget2_s64_var(svint64x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_s64,,)(tuple, imm_index);
+}
+
+svuint8_t test_svget2_u8_var(svuint8x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_u8,,)(tuple, imm_index);
+}
+
+svuint16_t test_svget2_u16_var(svuint16x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_u16,,)(tuple, imm_index);
+}
+
+svuint32_t test_svget2_u32_var(svuint32x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_u32,,)(tuple, imm_index);
+}
+
+svuint64_t test_svget2_u64_var(svuint64x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_u64,,)(tuple, imm_index);
+}
+
+svfloat16_t test_svget2_f16_var(svfloat16x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_f16,,)(tuple, imm_index);
+}
+
+svfloat32_t test_svget2_f32_var(svfloat32x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_f32,,)(tuple, imm_index);
+}
+
+svfloat64_t test_svget2_f64_var(svfloat64x2_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget2,_f64,,)(tuple, imm_index);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_get3.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_get3.c
@@ -0,0 +1,143 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8_t test_svget3_s8(svint8x3_t tuple)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_s8,,)(tuple, 3);
+}
+
+svint16_t test_svget3_s16(svint16x3_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_s16,,)(tuple, -1);
+}
+
+svint32_t test_svget3_s32(svint32x3_t tuple)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_s32,,)(tuple, 3);
+}
+
+svint64_t test_svget3_s64(svint64x3_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_s64,,)(tuple, -1);
+}
+
+svuint8_t test_svget3_u8(svuint8x3_t tuple)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_u8,,)(tuple, 3);
+}
+
+svuint16_t test_svget3_u16(svuint16x3_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_u16,,)(tuple, -1);
+}
+
+svuint32_t test_svget3_u32(svuint32x3_t tuple)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_u32,,)(tuple, 3);
+}
+
+svuint64_t test_svget3_u64(svuint64x3_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_u64,,)(tuple, -1);
+}
+
+svfloat16_t test_svget3_f16(svfloat16x3_t tuple)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_f16,,)(tuple, 3);
+}
+
+svfloat32_t test_svget3_f32(svfloat32x3_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_f32,,)(tuple, -1);
+}
+
+svfloat64_t test_svget3_f64(svfloat64x3_t tuple)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svget3,_f64,,)(tuple, 3);
+}
+
+svint8_t test_svget3_s8_var(svint8x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_s8,,)(tuple, imm_index);
+}
+
+svint16_t test_svget3_s16_var(svint16x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_s16,,)(tuple, imm_index);
+}
+
+svint32_t test_svget3_s32_var(svint32x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_s32,,)(tuple, imm_index);
+}
+
+svint64_t test_svget3_s64_var(svint64x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_s64,,)(tuple, imm_index);
+}
+
+svuint8_t test_svget3_u8_var(svuint8x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_u8,,)(tuple, imm_index);
+}
+
+svuint16_t test_svget3_u16_var(svuint16x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_u16,,)(tuple, imm_index);
+}
+
+svuint32_t test_svget3_u32_var(svuint32x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_u32,,)(tuple, imm_index);
+}
+
+svuint64_t test_svget3_u64_var(svuint64x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_u64,,)(tuple, imm_index);
+}
+
+svfloat16_t test_svget3_f16_var(svfloat16x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_f16,,)(tuple, imm_index);
+}
+
+svfloat32_t test_svget3_f32_var(svfloat32x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_f32,,)(tuple, imm_index);
+}
+
+svfloat64_t test_svget3_f64_var(svfloat64x3_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget3,_f64,,)(tuple, imm_index);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_get4.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_get4.c
@@ -0,0 +1,143 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8_t test_svget4_s8(svint8x4_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_s8,,)(tuple, -1);
+}
+
+svint16_t test_svget4_s16(svint16x4_t tuple)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_s16,,)(tuple, 4);
+}
+
+svint32_t test_svget4_s32(svint32x4_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_s32,,)(tuple, -1);
+}
+
+svint64_t test_svget4_s64(svint64x4_t tuple)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_s64,,)(tuple, 4);
+}
+
+svuint8_t test_svget4_u8(svuint8x4_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_u8,,)(tuple, -1);
+}
+
+svuint16_t test_svget4_u16(svuint16x4_t tuple)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_u16,,)(tuple, 4);
+}
+
+svuint32_t test_svget4_u32(svuint32x4_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_u32,,)(tuple, -1);
+}
+
+svuint64_t test_svget4_u64(svuint64x4_t tuple)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_u64,,)(tuple, 4);
+}
+
+svfloat16_t test_svget4_f16(svfloat16x4_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_f16,,)(tuple, -1);
+}
+
+svfloat32_t test_svget4_f32(svfloat32x4_t tuple)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_f32,,)(tuple, 4);
+}
+
+svfloat64_t test_svget4_f64(svfloat64x4_t tuple)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svget4,_f64,,)(tuple, -1);
+}
+
+svint8_t test_svget4_s8_var(svint8x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_s8,,)(tuple, imm_index);
+}
+
+svint16_t test_svget4_s16_var(svint16x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_s16,,)(tuple, imm_index);
+}
+
+svint32_t test_svget4_s32_var(svint32x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_s32,,)(tuple, imm_index);
+}
+
+svint64_t test_svget4_s64_var(svint64x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_s64,,)(tuple, imm_index);
+}
+
+svuint8_t test_svget4_u8_var(svuint8x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_u8,,)(tuple, imm_index);
+}
+
+svuint16_t test_svget4_u16_var(svuint16x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_u16,,)(tuple, imm_index);
+}
+
+svuint32_t test_svget4_u32_var(svuint32x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_u32,,)(tuple, imm_index);
+}
+
+svuint64_t test_svget4_u64_var(svuint64x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_u64,,)(tuple, imm_index);
+}
+
+svfloat16_t test_svget4_f16_var(svfloat16x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_f16,,)(tuple, imm_index);
+}
+
+svfloat32_t test_svget4_f32_var(svfloat32x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_f32,,)(tuple, imm_index);
+}
+
+svfloat64_t test_svget4_f64_var(svfloat64x4_t tuple, uint64_t imm_index)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svget4,_f64,,)(tuple, imm_index);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_set2.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_set2.c
@@ -0,0 +1,143 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8x2_t test_svset2_s8(svint8x2_t tuple, svint8_t x)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_s8,,)(tuple, 2, x);
+}
+
+svint16x2_t test_svset2_s16(svint16x2_t tuple, svint16_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_s16,,)(tuple, -1, x);
+}
+
+svint32x2_t test_svset2_s32(svint32x2_t tuple, svint32_t x)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_s32,,)(tuple, 2, x);
+}
+
+svint64x2_t test_svset2_s64(svint64x2_t tuple, svint64_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_s64,,)(tuple, -1, x);
+}
+
+svuint8x2_t test_svset2_u8(svuint8x2_t tuple, svuint8_t x)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_u8,,)(tuple, 2, x);
+}
+
+svuint16x2_t test_svset2_u16(svuint16x2_t tuple, svuint16_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_u16,,)(tuple, -1, x);
+}
+
+svuint32x2_t test_svset2_u32(svuint32x2_t tuple, svuint32_t x)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_u32,,)(tuple, 2, x);
+}
+
+svuint64x2_t test_svset2_u64(svuint64x2_t tuple, svuint64_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_u64,,)(tuple, -1, x);
+}
+
+svfloat16x2_t test_svset2_f16(svfloat16x2_t tuple, svfloat16_t x)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_f16,,)(tuple, 2, x);
+}
+
+svfloat32x2_t test_svset2_f32(svfloat32x2_t tuple, svfloat32_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_f32,,)(tuple, -1, x);
+}
+
+svfloat64x2_t test_svset2_f64(svfloat64x2_t tuple, svfloat64_t x)
+{
+  // expected-error@+1 {{argument value 2 is outside the valid range [0, 1]}}
+  return SVE_ACLE_FUNC(svset2,_f64,,)(tuple, 2, x);
+}
+
+svint8x2_t test_svset2_s8_var(svint8x2_t tuple, uint64_t imm_index, svint8_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_s8,,)(tuple, imm_index, x);
+}
+
+svint16x2_t test_svset2_s16_var(svint16x2_t tuple, uint64_t imm_index, svint16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_s16,,)(tuple, imm_index, x);
+}
+
+svint32x2_t test_svset2_s32_var(svint32x2_t tuple, uint64_t imm_index, svint32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_s32,,)(tuple, imm_index, x);
+}
+
+svint64x2_t test_svset2_s64_var(svint64x2_t tuple, uint64_t imm_index, svint64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_s64,,)(tuple, imm_index, x);
+}
+
+svuint8x2_t test_svset2_u8_var(svuint8x2_t tuple, uint64_t imm_index, svuint8_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_u8,,)(tuple, imm_index, x);
+}
+
+svuint16x2_t test_svset2_u16_var(svuint16x2_t tuple, uint64_t imm_index, svuint16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_u16,,)(tuple, imm_index, x);
+}
+
+svuint32x2_t test_svset2_u32_var(svuint32x2_t tuple, uint64_t imm_index, svuint32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_u32,,)(tuple, imm_index, x);
+}
+
+svuint64x2_t test_svset2_u64_var(svuint64x2_t tuple, uint64_t imm_index, svuint64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_u64,,)(tuple, imm_index, x);
+}
+
+svfloat16x2_t test_svset2_f16_var(svfloat16x2_t tuple, uint64_t imm_index, svfloat16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_f16,,)(tuple, imm_index, x);
+}
+
+svfloat32x2_t test_svset2_f32_var(svfloat32x2_t tuple, uint64_t imm_index, svfloat32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_f32,,)(tuple, imm_index, x);
+}
+
+svfloat64x2_t test_svset2_f64_var(svfloat64x2_t tuple, uint64_t imm_index, svfloat64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset2,_f64,,)(tuple, imm_index, x);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_set3.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_set3.c
@@ -0,0 +1,143 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8x3_t test_svset3_s8(svint8x3_t tuple, svint8_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_s8,,)(tuple, -1, x);
+}
+
+svint16x3_t test_svset3_s16(svint16x3_t tuple, svint16_t x)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_s16,,)(tuple, 3, x);
+}
+
+svint32x3_t test_svset3_s32(svint32x3_t tuple, svint32_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_s32,,)(tuple, -1, x);
+}
+
+svint64x3_t test_svset3_s64(svint64x3_t tuple, svint64_t x)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_s64,,)(tuple, 3, x);
+}
+
+svuint8x3_t test_svset3_u8(svuint8x3_t tuple, svuint8_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_u8,,)(tuple, -1, x);
+}
+
+svuint16x3_t test_svset3_u16(svuint16x3_t tuple, svuint16_t x)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_u16,,)(tuple, 3, x);
+}
+
+svuint32x3_t test_svset3_u32(svuint32x3_t tuple, svuint32_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_u32,,)(tuple, -1, x);
+}
+
+svuint64x3_t test_svset3_u64(svuint64x3_t tuple, svuint64_t x)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_u64,,)(tuple, 3, x);
+}
+
+svfloat16x3_t test_svset3_f16(svfloat16x3_t tuple, svfloat16_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_f16,,)(tuple, -1, x);
+}
+
+svfloat32x3_t test_svset3_f32(svfloat32x3_t tuple, svfloat32_t x)
+{
+  // expected-error@+1 {{argument value 3 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_f32,,)(tuple, 3, x);
+}
+
+svfloat64x3_t test_svset3_f64(svfloat64x3_t tuple, svfloat64_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 2]}}
+  return SVE_ACLE_FUNC(svset3,_f64,,)(tuple, -1, x);
+}
+
+svint8x3_t test_svset3_s8_var(svint8x3_t tuple, uint64_t imm_index, svint8_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_s8,,)(tuple, imm_index, x);
+}
+
+svint16x3_t test_svset3_s16_var(svint16x3_t tuple, uint64_t imm_index, svint16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_s16,,)(tuple, imm_index, x);
+}
+
+svint32x3_t test_svset3_s32_var(svint32x3_t tuple, uint64_t imm_index, svint32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_s32,,)(tuple, imm_index, x);
+}
+
+svint64x3_t test_svset3_s64_var(svint64x3_t tuple, uint64_t imm_index, svint64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_s64,,)(tuple, imm_index, x);
+}
+
+svuint8x3_t test_svset3_u8_var(svuint8x3_t tuple, uint64_t imm_index, svuint8_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_u8,,)(tuple, imm_index, x);
+}
+
+svuint16x3_t test_svset3_u16_var(svuint16x3_t tuple, uint64_t imm_index, svuint16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_u16,,)(tuple, imm_index, x);
+}
+
+svuint32x3_t test_svset3_u32_var(svuint32x3_t tuple, uint64_t imm_index, svuint32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_u32,,)(tuple, imm_index, x);
+}
+
+svuint64x3_t test_svset3_u64_var(svuint64x3_t tuple, uint64_t imm_index, svuint64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_u64,,)(tuple, imm_index, x);
+}
+
+svfloat16x3_t test_svset3_f16_var(svfloat16x3_t tuple, uint64_t imm_index, svfloat16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_f16,,)(tuple, imm_index, x);
+}
+
+svfloat32x3_t test_svset3_f32_var(svfloat32x3_t tuple, uint64_t imm_index, svfloat32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_f32,,)(tuple, imm_index, x);
+}
+
+svfloat64x3_t test_svset3_f64_var(svfloat64x3_t tuple, uint64_t imm_index, svfloat64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset3,_f64,,)(tuple, imm_index, x);
+}
Index: clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_set4.c
===================================================================
--- /dev/null
+++ clang/test/CodeGen/aarch64-sve-intrinsics/negative/acle_sve_set4.c
@@ -0,0 +1,143 @@
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+// RUN: %clang_cc1 -D__ARM_FEATURE_SVE -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=note %s
+
+#include <arm_sve.h>
+
+#ifdef SVE_OVERLOADED_FORMS
+// A simple used,unused... macro, long enough to represent any SVE builtin.
+#define SVE_ACLE_FUNC(A1,A2_UNUSED,A3,A4_UNUSED) A1##A3
+#else
+#define SVE_ACLE_FUNC(A1,A2,A3,A4) A1##A2##A3##A4
+#endif
+
+svint8x4_t test_svset4_s8(svint8x4_t tuple, svint8_t x)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_s8,,)(tuple, 4, x);
+}
+
+svint16x4_t test_svset4_s16(svint16x4_t tuple, svint16_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_s16,,)(tuple, -1, x);
+}
+
+svint32x4_t test_svset4_s32(svint32x4_t tuple, svint32_t x)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_s32,,)(tuple, 4, x);
+}
+
+svint64x4_t test_svset4_s64(svint64x4_t tuple, svint64_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_s64,,)(tuple, -1, x);
+}
+
+svuint8x4_t test_svset4_u8(svuint8x4_t tuple, svuint8_t x)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_u8,,)(tuple, 4, x);
+}
+
+svuint16x4_t test_svset4_u16(svuint16x4_t tuple, svuint16_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_u16,,)(tuple, -1, x);
+}
+
+svuint32x4_t test_svset4_u32(svuint32x4_t tuple, svuint32_t x)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_u32,,)(tuple, 4, x);
+}
+
+svuint64x4_t test_svset4_u64(svuint64x4_t tuple, svuint64_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_u64,,)(tuple, -1, x);
+}
+
+svfloat16x4_t test_svset4_f16(svfloat16x4_t tuple, svfloat16_t x)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_f16,,)(tuple, 4, x);
+}
+
+svfloat32x4_t test_svset4_f32(svfloat32x4_t tuple, svfloat32_t x)
+{
+  // expected-error@+1 {{argument value 18446744073709551615 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_f32,,)(tuple, -1, x);
+}
+
+svfloat64x4_t test_svset4_f64(svfloat64x4_t tuple, svfloat64_t x)
+{
+  // expected-error@+1 {{argument value 4 is outside the valid range [0, 3]}}
+  return SVE_ACLE_FUNC(svset4,_f64,,)(tuple, 4, x);
+}
+
+svint8x4_t test_svset4_s8_var(svint8x4_t tuple, uint64_t imm_index, svint8_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_s8,,)(tuple, imm_index, x);
+}
+
+svint16x4_t test_svset4_s16_var(svint16x4_t tuple, uint64_t imm_index, svint16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_s16,,)(tuple, imm_index, x);
+}
+
+svint32x4_t test_svset4_s32_var(svint32x4_t tuple, uint64_t imm_index, svint32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_s32,,)(tuple, imm_index, x);
+}
+
+svint64x4_t test_svset4_s64_var(svint64x4_t tuple, uint64_t imm_index, svint64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_s64,,)(tuple, imm_index, x);
+}
+
+svuint8x4_t test_svset4_u8_var(svuint8x4_t tuple, uint64_t imm_index, svuint8_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_u8,,)(tuple, imm_index, x);
+}
+
+svuint16x4_t test_svset4_u16_var(svuint16x4_t tuple, uint64_t imm_index, svuint16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_u16,,)(tuple, imm_index, x);
+}
+
+svuint32x4_t test_svset4_u32_var(svuint32x4_t tuple, uint64_t imm_index, svuint32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_u32,,)(tuple, imm_index, x);
+}
+
+svuint64x4_t test_svset4_u64_var(svuint64x4_t tuple, uint64_t imm_index, svuint64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_u64,,)(tuple, imm_index, x);
+}
+
+svfloat16x4_t test_svset4_f16_var(svfloat16x4_t tuple, uint64_t imm_index, svfloat16_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_f16,,)(tuple, imm_index, x);
+}
+
+svfloat32x4_t test_svset4_f32_var(svfloat32x4_t tuple, uint64_t imm_index, svfloat32_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_f32,,)(tuple, imm_index, x);
+}
+
+svfloat64x4_t test_svset4_f64_var(svfloat64x4_t tuple, uint64_t imm_index, svfloat64_t x)
+{
+  // expected-error-re@+1 {{argument to '{{.*}}' must be a constant integer}}
+  return SVE_ACLE_FUNC(svset4,_f64,,)(tuple, imm_index, x);
+}