[Sema][SVE2] Move/simplify Sema testing for SVE2 ACLE builtins

[RosieSumpter]

Summary

Currently for SVE2 ACLE builtins, single tests are used to verify both
clang code generation (when the feature is available) and semantic
error/warning messages (when the feature is unavailable). This
patch moves the semantic testing for the values of immediate
arguments into dedicated Sema tests.

[paulwalker-arm]

clang/test/Sema/aarch64-acle-sve2-aes.c

1 ↗

(On Diff #422213)

Relying on the implicit declaration... warning is potentially problematic and what triggered this work in the first place. Can you make the new Sema tests c++ ones instead. Doing this means we can catch errors like error: use of undeclared identifier 'svaesd_u8' instead of a c99 warning.

5–9 ↗

(On Diff #422213)

The original versions of these tests used the SVE_ACLE_FUNC macro so that the overloaded builtin names are also protected. Can you do likewise for the new tests?

[RosieSumpter]

clang/test/Sema/aarch64-acle-sve2-aes.c

1 ↗

(On Diff #422213)

Will do.

5–9 ↗

(On Diff #422213)

Will do.

[RosieSumpter]

This patch is now for moving/simpifying sematic testing for immediate arguments of the builtins. At the moment this is just for the SVE2 intrinsics so that the structure of the new tests can be checked, the tests for the SVE intrinsics will be added to this patch later.

Semantic testing for the feature flag (i.e. 'use of undeclared identifier...' error messages) will be in a separate patch.

[RosieSumpter]

Added REQUIRES: aarch64-registered-target line to each new test file.

[sdesmalen]

Thanks for this @RosieSumpter. If you remove the 'WIP' and s/SVE/SVE2/ from the title and description, I'm happy to accept. The negative tests for the SVE(1) intrinsics can be added as a separate patch.

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_lane.cpp

152–153

nit: there is also a svcdot_lane,_s32

[paulwalker-arm]

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_n.cpp

26

I've not seen this before, presumably it's short hand instead of needing to repeat multiple identical expected-error check lines? If so, is it worth using this throughout the test files and essentially only require one expected-error per function or does this only work here because the EXPAND... macro emits its three function calls on the same line?

[RosieSumpter]

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_n.cpp

26

Yes it lets you specify how many times you expect the diagnostic to appear, but as you said it only works when the diagnostics are emitted on the same line so I'm not sure there's a way to reduce the number of expected-error lines any more than this

[RosieSumpter]

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_lane.cpp

152–153

It's already on line 86!

[paulwalker-arm]

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_n.cpp

26

OK, thanks for checking. To be honest I'm not sure why we need the EXPAND_XZM_FUNC macro given SVE_ACLE_FUNC worked fine before. To my eye it kind of ruins the flow, but hey-ho I'll not worry about it.

Assuming I've not screwed up I think you're missing tests for SVE_ACLE_FUNC(svrshrnb,_n_s16,,) and SVE_ACLE_FUNC(svrshrnt,_n_s16,,).

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_rotation.cpp

18–41

I know we cannot test every number but 180 seems like a reasonable mistake for people to make given the other complex number instructions so perhaps alternate between 0 and 180 to give a little more coverage without increasing the number of lines.

[RosieSumpter]

• Removed EXPAND... macro
• Added missing tests
• Alternate between 0 and 180 argument for test_90_270()

[RosieSumpter]

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_n.cpp

26

I've removed the macro - agree that it ruins the flow

[RosieSumpter]

Commit: f7068c82a2560d97bf9826db1e917f931e887017

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_cadd.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svcadd_s8(svint8_t op1, svint8_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_s8,,)(op1, op2, 0);
-}
-
-svint8_t test_svcadd_s8_1(svint8_t op1, svint8_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_s8,,)(op1, op2, 272);
-}
-
-svint8_t test_svcadd_s8_2(svint8_t op1, svint8_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_s8,,)(op1, op2, 91);
-}
-
-svint8_t test_svcadd_s8_3(svint8_t op1, svint8_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_s8,,)(op1, op2, 180);
-}
-
-svint8_t test_svcadd_s8_4(svint8_t op1, svint8_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_s8,,)(op1, op2, 271);
-}
-
-svint16_t test_svcadd_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_s16,,)(op1, op2, 0);
-}
-
-svint32_t test_svcadd_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_s32,,)(op1, op2, 0);
-}
-
-svint64_t test_svcadd_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_s64,,)(op1, op2, 0);
-}
-
-svuint8_t test_svcadd_u8(svuint8_t op1, svuint8_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_u8,,)(op1, op2, 0);
-}
-
-svuint16_t test_svcadd_u16(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_u16,,)(op1, op2, 0);
-}
-
-svuint32_t test_svcadd_u32(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_u32,,)(op1, op2, 0);
-}
-
-svuint64_t test_svcadd_u64(svuint64_t op1, svuint64_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svcadd,_u64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_cdot.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=warning %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify -verify-ignore-unexpected=warning %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svcdot_s32(svint32_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcdot,_s32,,)(op1, op2, op3, 19);
-}
-
-svint64_t test_svcdot_s64(svint64_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcdot,_s64,,)(op1, op2, op3, 19);
-}
-
-svint32_t test_svcdot_lane_s32(svint32_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svcdot_lane,_s32,,)(op1, op2, op3, -1, 0);
-}
-
-svint32_t test_svcdot_lane_s32_1(svint32_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcdot_lane,_s32,,)(op1, op2, op3, 0, 19);
-}
-
-svint64_t test_svcdot_lane_s64(svint64_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svcdot_lane,_s64,,)(op1, op2, op3, -1, 0);
-}
-
-svint64_t test_svcdot_lane_s64_1(svint64_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcdot_lane,_s64,,)(op1, op2, op3, 0, 19);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_cmla.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svcmla_s8(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_s8,,)(op1, op2, op3, 19);
-}
-
-svint8_t test_svcmla_s8_1(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_s8,,)(op1, op2, op3, 1);
-}
-
-svint8_t test_svcmla_s8_2(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_s8,,)(op1, op2, op3, 18);
-}
-
-svint8_t test_svcmla_s8_3(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_s8,,)(op1, op2, op3, 91);
-}
-
-svint8_t test_svcmla_s8_4(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_s8,,)(op1, op2, op3, 181);
-}
-
-svint16_t test_svcmla_s16(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_s16,,)(op1, op2, op3, 19);
-}
-
-svint32_t test_svcmla_s32(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_s32,,)(op1, op2, op3, 19);
-}
-
-svint64_t test_svcmla_s64(svint64_t op1, svint64_t op2, svint64_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_s64,,)(op1, op2, op3, 19);
-}
-
-svuint8_t test_svcmla_u8(svuint8_t op1, svuint8_t op2, svuint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_u8,,)(op1, op2, op3, 19);
-}
-
-svuint16_t test_svcmla_u16(svuint16_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_u16,,)(op1, op2, op3, 19);
-}
-
-svuint32_t test_svcmla_u32(svuint32_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_u32,,)(op1, op2, op3, 19);
-}
-
-svuint64_t test_svcmla_u64(svuint64_t op1, svuint64_t op2, svuint64_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla,_u64,,)(op1, op2, op3, 19);
-}
-
-svint16_t test_svcmla_lane_s16(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, -1, 0);
-}
-
-svint16_t test_svcmla_lane_s16_1(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, 4, 0);
-}
-
-svint16_t test_svcmla_lane_s16_2(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, -1, 90);
-}
-
-svint16_t test_svcmla_lane_s16_3(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, -1, 180);
-}
-
-svint16_t test_svcmla_lane_s16_4(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, -1, 270);
-}
-
-svint16_t test_svcmla_lane_s16_5(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, 0, 19);
-}
-
-svint16_t test_svcmla_lane_s16_6(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, 1, 19);
-}
-
-svint16_t test_svcmla_lane_s16_7(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, 2, 19);
-}
-
-svint16_t test_svcmla_lane_s16_8(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, 3, 19);
-}
-
-svint16_t test_svcmla_lane_s16_9(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+2 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s16,,)(op1, op2, op3, 4, 19);
-}
-
-svint32_t test_svcmla_lane_s32(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s32,,)(op1, op2, op3, -1, 0);
-}
-
-svint32_t test_svcmla_lane_s32_1(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s32,,)(op1, op2, op3, 2, 0);
-}
-
-svint32_t test_svcmla_lane_s32_2(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla_lane,_s32,,)(op1, op2, op3, 1, 19);
-}
-
-svuint16_t test_svcmla_lane_u16(svuint16_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_u16,,)(op1, op2, op3, -1, 0);
-}
-
-svuint16_t test_svcmla_lane_u16_1(svuint16_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla_lane,_u16,,)(op1, op2, op3, 0, 19);
-}
-
-svuint32_t test_svcmla_lane_u32(svuint32_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svcmla_lane,_u32,,)(op1, op2, op3, -1, 0);
-}
-
-svuint32_t test_svcmla_lane_u32_1(svuint32_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svcmla_lane,_u32,,)(op1, op2, op3, 0, 19);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mla.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svmla_lane_s16(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmla_lane,_s16,,)(op1, op2, op3, 8);
-}
-
-svint32_t test_svmla_lane_s32(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmla_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svmla_lane_s64(svint64_t op1, svint64_t op2, svint64_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svmla_lane,_s64,,)(op1, op2, op3, 2);
-}
-
-svuint16_t test_svmla_lane_u16(svuint16_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmla_lane,_u16,,)(op1, op2, op3, -1);
-}
-
-svuint32_t test_svmla_lane_u32(svuint32_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmla_lane,_u32,,)(op1, op2, op3, 4);
-}
-
-svuint64_t test_svmla_lane_u64(svuint64_t op1, svuint64_t op2, svuint64_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svmla_lane,_u64,,)(op1, op2, op3, -1);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mlalb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svmlalb_lane_s32(svint32_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlalb_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svmlalb_lane_s64(svint64_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmlalb_lane,_s64,,)(op1, op2, op3, -1);
-}
-
-svuint32_t test_svmlalb_lane_u32(svuint32_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlalb_lane,_u32,,)(op1, op2, op3, 8);
-}
-
-svuint64_t test_svmlalb_lane_u64(svuint64_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmlalb_lane,_u64,,)(op1, op2, op3, 4);
-}
-
-svfloat32_t test_svmlalb_lane_f32(svfloat32_t op1, svfloat16_t op2, svfloat16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlalb_lane,_f32,,)(op1, op2, op3, -1);
-}
-
-svfloat32_t test_svmlalb_lane_f32_1(svfloat32_t op1, svfloat16_t op2, svfloat16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlalb_lane,_f32,,)(op1, op2, op3, 8);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mlalt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svmlalt_lane_s32(svint32_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlalt_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svmlalt_lane_s64(svint64_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmlalt_lane,_s64,,)(op1, op2, op3, -1);
-}
-
-svuint32_t test_svmlalt_lane_u32(svuint32_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlalt_lane,_u32,,)(op1, op2, op3, 8);
-}
-
-svuint64_t test_svmlalt_lane_u64(svuint64_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmlalt_lane,_u64,,)(op1, op2, op3, 4);
-}
-
-svfloat32_t test_svmlalt_lane_f32(svfloat32_t op1, svfloat16_t op2, svfloat16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlalt_lane,_f32,,)(op1, op2, op3, -1);
-}
-
-svfloat32_t test_svmlalt_lane_f32_1(svfloat32_t op1, svfloat16_t op2, svfloat16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlalt_lane,_f32,,)(op1, op2, op3, 8);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mls.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svmls_lane_s16(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmls_lane,_s16,,)(op1, op2, op3, -1);
-}
-
-svint32_t test_svmls_lane_s32(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmls_lane,_s32,,)(op1, op2, op3, 4);
-}
-
-svint64_t test_svmls_lane_s64(svint64_t op1, svint64_t op2, svint64_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svmls_lane,_s64,,)(op1, op2, op3, -1);
-}
-
-svuint16_t test_svmls_lane_u16(svuint16_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmls_lane,_u16,,)(op1, op2, op3, 8);
-}
-
-svuint32_t test_svmls_lane_u32(svuint32_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmls_lane,_u32,,)(op1, op2, op3, -1);
-}
-
-svuint64_t test_svmls_lane_u64(svuint64_t op1, svuint64_t op2, svuint64_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svmls_lane,_u64,,)(op1, op2, op3, 2);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mlslb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svmlslb_lane_s32(svint32_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlslb_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svmlslb_lane_s64(svint64_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmlslb_lane,_s64,,)(op1, op2, op3, -1);
-}
-
-svuint32_t test_svmlslb_lane_u32(svuint32_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlslb_lane,_u32,,)(op1, op2, op3, 8);
-}
-
-svuint64_t test_svmlslb_lane_u64(svuint64_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmlslb_lane,_u64,,)(op1, op2, op3, 4);
-}
-
-svfloat32_t test_svmlslb_lane_f32(svfloat32_t op1, svfloat16_t op2, svfloat16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlslb_lane,_f32,,)(op1, op2, op3, -1);
-}
-
-svfloat32_t test_svmlslb_lane_f32_1(svfloat32_t op1, svfloat16_t op2, svfloat16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlslb_lane,_f32,,)(op1, op2, op3, 8);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mlslt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svmlslt_lane_s32(svint32_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlslt_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svmlslt_lane_s64(svint64_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmlslt_lane,_s64,,)(op1, op2, op3, -1);
-}
-
-svuint32_t test_svmlslt_lane_u32(svuint32_t op1, svuint16_t op2, svuint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlslt_lane,_u32,,)(op1, op2, op3, 8);
-}
-
-svuint64_t test_svmlslt_lane_u64(svuint64_t op1, svuint32_t op2, svuint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmlslt_lane,_u64,,)(op1, op2, op3, 4);
-}
-
-svfloat32_t test_svmlslt_lane_f32(svfloat32_t op1, svfloat16_t op2, svfloat16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlslt_lane,_f32,,)(op1, op2, op3, -1);
-}
-
-svfloat32_t test_svmlslt_lane_f32_1(svfloat32_t op1, svfloat16_t op2, svfloat16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmlslt_lane,_f32,,)(op1, op2, op3, 8);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mul.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svmul_lane_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmul_lane,_s16,,)(op1, op2, 8);
-}
-
-svint32_t test_svmul_lane_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmul_lane,_s32,,)(op1, op2, -1);
-}
-
-svint64_t test_svmul_lane_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svmul_lane,_s64,,)(op1, op2, 2);
-}
-
-svuint16_t test_svmul_lane_u16(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmul_lane,_u16,,)(op1, op2, -1);
-}
-
-svuint32_t test_svmul_lane_u32(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmul_lane,_u32,,)(op1, op2, 4);
-}
-
-svuint64_t test_svmul_lane_u64(svuint64_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svmul_lane,_u64,,)(op1, op2, -1);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mullb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svmullb_lane_s32(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmullb_lane,_s32,,)(op1, op2, -1);
-}
-
-svint64_t test_svmullb_lane_s64(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmullb_lane,_s64,,)(op1, op2, 4);
-}
-
-svuint32_t test_svmullb_lane_u32(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmullb_lane,_u32,,)(op1, op2, 8);
-}
-
-svuint64_t test_svmullb_lane_u64(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmullb_lane,_u64,,)(op1, op2, -1);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_mullt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svmullt_lane_s32(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmullt_lane,_s32,,)(op1, op2, 8);
-}
-
-svint64_t test_svmullt_lane_s64(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmullt_lane,_s64,,)(op1, op2, -1);
-}
-
-svuint32_t test_svmullt_lane_u32(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svmullt_lane,_u32,,)(op1, op2, -1);
-}
-
-svuint64_t test_svmullt_lane_u64(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svmullt_lane,_u64,,)(op1, op2, 4);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qcadd.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svqcadd_s8(svint8_t op1, svint8_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svqcadd,_s8,,)(op1, op2, 0);
-}
-
-svint16_t test_svqcadd_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svqcadd,_s16,,)(op1, op2, 91);
-}
-
-svint32_t test_svqcadd_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svqcadd,_s32,,)(op1, op2, 269);
-}
-
-svint64_t test_svqcadd_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error@+1 {{argument should be the value 90 or 270}}
-  return SVE_ACLE_FUNC(svqcadd,_s64,,)(op1, op2, 30);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qdmlalb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svqdmlalb_lane_s32(svint32_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqdmlalb_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svqdmlalb_lane_s64(svint64_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqdmlalb_lane,_s64,,)(op1, op2, op3, 4);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qdmlalt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svqdmlalt_lane_s32(svint32_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqdmlalt_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svqdmlalt_lane_s64(svint64_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqdmlalt_lane,_s64,,)(op1, op2, op3, 4);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qdmlslb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svqdmlslb_lane_s32(svint32_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqdmlslb_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svqdmlslb_lane_s64(svint64_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqdmlslb_lane,_s64,,)(op1, op2, op3, 4);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qdmlslt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svqdmlslt_lane_s32(svint32_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqdmlslt_lane,_s32,,)(op1, op2, op3, -1);
-}
-
-svint64_t test_svqdmlslt_lane_s64(svint64_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqdmlslt_lane,_s64,,)(op1, op2, op3, 4);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qdmulh.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svqdmulh_lane_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqdmulh_lane,_s16,,)(op1, op2, -1);
-}
-
-svint32_t test_svqdmulh_lane_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqdmulh_lane,_s32,,)(op1, op2, 4);
-}
-
-svint64_t test_svqdmulh_lane_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svqdmulh_lane,_s64,,)(op1, op2, 2);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qdmullb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svqdmullb_lane_s32(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqdmullb_lane,_s32,,)(op1, op2, -1);
-}
-
-svint64_t test_svqdmullb_lane_s64(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqdmullb_lane,_s64,,)(op1, op2, 4);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qdmullt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint32_t test_svqdmullt_lane_s32(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqdmullt_lane,_s32,,)(op1, op2, -1);
-}
-
-svint64_t test_svqdmullt_lane_s64(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqdmullt_lane,_s64,,)(op1, op2, -1);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qrdcmlah.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svqrdcmlah_s8(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah,_s8,,)(op1, op2, op3, 19);
-}
-
-svint8_t test_svqrdcmlah_s8_1(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah,_s8,,)(op1, op2, op3, 1);
-}
-
-svint8_t test_svqrdcmlah_s8_2(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah,_s8,,)(op1, op2, op3, 18);
-}
-
-svint8_t test_svqrdcmlah_s8_3(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah,_s8,,)(op1, op2, op3, 91);
-}
-
-svint8_t test_svqrdcmlah_s8_4(svint8_t op1, svint8_t op2, svint8_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah,_s8,,)(op1, op2, op3, 181);
-}
-
-svint16_t test_svqrdcmlah_s16(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah,_s16,,)(op1, op2, op3, 19);
-}
-
-svint32_t test_svqrdcmlah_s32(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah,_s32,,)(op1, op2, op3, 19);
-}
-
-svint64_t test_svqrdcmlah_s64(svint64_t op1, svint64_t op2, svint64_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah,_s64,,)(op1, op2, op3, 19);
-}
-
-svint16_t test_svqrdcmlah_lane_s16(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(op1, op2, op3, -1, 0);
-}
-
-svint16_t test_svqrdcmlah_lane_s16_1(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(op1, op2, op3, 4, 0);
-}
-
-svint16_t test_svqrdcmlah_lane_s16_2(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(op1, op2, op3, -1, 90);
-}
-
-svint16_t test_svqrdcmlah_lane_s16_3(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(op1, op2, op3, -1, 180);
-}
-
-svint16_t test_svqrdcmlah_lane_s16_4(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(op1, op2, op3, -1, 270);
-}
-
-svint16_t test_svqrdcmlah_lane_s16_5(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(op1, op2, op3, 0, 19);
-}
-
-svint16_t test_svqrdcmlah_lane_s16_6(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(op1, op2, op3, 1, 19);
-}
-
-svint32_t test_svqrdcmlah_lane_s32(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s32,,)(op1, op2, op3, 2, 0);
-}
-
-svint32_t test_svqrdcmlah_lane_s32_1(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
-  return SVE_ACLE_FUNC(svqrdcmlah_lane,_s32,,)(op1, op2, op3, 0, 19);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qrdmlah.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svqrdmlah_lane_s16(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqrdmlah_lane,_s16,,)(op1, op2, op3, -1);
-}
-
-svint32_t test_svqrdmlah_lane_s32(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqrdmlah_lane,_s32,,)(op1, op2, op3, 4);
-}
-
-svint64_t test_svqrdmlah_lane_s64(svint64_t op1, svint64_t op2, svint64_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svqrdmlah_lane,_s64,,)(op1, op2, op3, 2);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qrdmlsh.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svqrdmlsh_lane_s16(svint16_t op1, svint16_t op2, svint16_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqrdmlsh_lane,_s16,,)(op1, op2, op3, -1);
-}
-
-svint32_t test_svqrdmlsh_lane_s32(svint32_t op1, svint32_t op2, svint32_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqrdmlsh_lane,_s32,,)(op1, op2, op3, 4);
-}
-
-svint64_t test_svqrdmlsh_lane_s64(svint64_t op1, svint64_t op2, svint64_t op3)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svqrdmlsh_lane,_s64,,)(op1, op2, op3, 2);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qrdmulh.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svqrdmulh_lane_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqrdmulh_lane,_s16,,)(op1, op2, -1);
-}
-
-svint32_t test_svqrdmulh_lane_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
-  return SVE_ACLE_FUNC(svqrdmulh_lane,_s32,,)(op1, op2, 4);
-}
-
-svint64_t test_svqrdmulh_lane_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
-  return SVE_ACLE_FUNC(svqrdmulh_lane,_s64,,)(op1, op2, 2);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qrshrnb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svqrshrnb_n_s16(svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqrshrnb,_n_s16,,)(op1, 0);
-}
-
-svint16_t test_svqrshrnb_n_s32(svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqrshrnb,_n_s32,,)(op1, 0);
-}
-
-svint32_t test_svqrshrnb_n_s64(svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqrshrnb,_n_s64,,)(op1, 0);
-}
-
-svuint8_t test_svqrshrnb_n_u16(svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqrshrnb,_n_u16,,)(op1, 0);
-}
-
-svuint16_t test_svqrshrnb_n_u32(svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqrshrnb,_n_u32,,)(op1, 0);
-}
-
-svuint32_t test_svqrshrnb_n_u64(svuint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqrshrnb,_n_u64,,)(op1, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qrshrnt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svqrshrnt_n_s16(svint8_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqrshrnt,_n_s16,,)(op1, op2, 0);
-}
-
-svint16_t test_svqrshrnt_n_s32(svint16_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqrshrnt,_n_s32,,)(op1, op2, 0);
-}
-
-svint32_t test_svqrshrnt_n_s64(svint32_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqrshrnt,_n_s64,,)(op1, op2, 0);
-}
-
-svuint8_t test_svqrshrnt_n_u16(svuint8_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqrshrnt,_n_u16,,)(op1, op2, 0);
-}
-
-svuint16_t test_svqrshrnt_n_u32(svuint16_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqrshrnt,_n_u32,,)(op1, op2, 0);
-}
-
-svuint32_t test_svqrshrnt_n_u64(svuint32_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqrshrnt,_n_u64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qrshrunb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svuint8_t test_svqrshrunb_n_s16(svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqrshrunb,_n_s16,,)(op1, 0);
-}
-
-svuint16_t test_svqrshrunb_n_s32(svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqrshrunb,_n_s32,,)(op1, 0);
-}
-
-svuint32_t test_svqrshrunb_n_s64(svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqrshrunb,_n_s64,,)(op1, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qrshrunt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svuint8_t test_svqrshrunt_n_s16(svuint8_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqrshrunt,_n_s16,,)(op1, op2, 0);
-}
-
-svuint16_t test_svqrshrunt_n_s32(svuint16_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqrshrunt,_n_s32,,)(op1, op2, 0);
-}
-
-svuint32_t test_svqrshrunt_n_s64(svuint32_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqrshrunt,_n_s64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qshlu.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svuint8_t test_svqshlu_n_s8_z(svbool_t pg, svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s8,_z,)(pg, op1, -1);
-}
-
-svuint16_t test_svqshlu_n_s16_z(svbool_t pg, svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s16,_z,)(pg, op1, -1);
-}
-
-svuint32_t test_svqshlu_n_s32_z(svbool_t pg, svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s32,_z,)(pg, op1, -1);
-}
-
-svuint64_t test_svqshlu_n_s64_z(svbool_t pg, svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s64,_z,)(pg, op1, -1);
-}
-
-svuint8_t test_svqshlu_n_s8_m(svbool_t pg, svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s8,_m,)(pg, op1, -1);
-}
-
-svuint16_t test_svqshlu_n_s16_m(svbool_t pg, svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s16,_m,)(pg, op1, -1);
-}
-
-svuint32_t test_svqshlu_n_s32_m(svbool_t pg, svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s32,_m,)(pg, op1, -1);
-}
-
-svuint64_t test_svqshlu_n_s64_m(svbool_t pg, svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s64,_m,)(pg, op1, -1);
-}
-
-svuint8_t test_svqshlu_n_s8_x(svbool_t pg, svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s8,_x,)(pg, op1, -1);
-}
-
-svuint16_t test_svqshlu_n_s16_x(svbool_t pg, svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s16,_x,)(pg, op1, -1);
-}
-
-svuint32_t test_svqshlu_n_s32_x(svbool_t pg, svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s32,_x,)(pg, op1, -1);
-}
-
-svuint64_t test_svqshlu_n_s64_x(svbool_t pg, svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
-  return SVE_ACLE_FUNC(svqshlu,_n_s64,_x,)(pg, op1, -1);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qshrnb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svqshrnb_n_s16(svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqshrnb,_n_s16,,)(op1, 0);
-}
-
-svint16_t test_svqshrnb_n_s32(svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqshrnb,_n_s32,,)(op1, 0);
-}
-
-svint32_t test_svqshrnb_n_s64(svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqshrnb,_n_s64,,)(op1, 0);
-}
-
-svuint8_t test_svqshrnb_n_u16(svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqshrnb,_n_u16,,)(op1, 0);
-}
-
-svuint16_t test_svqshrnb_n_u32(svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqshrnb,_n_u32,,)(op1, 0);
-}
-
-svuint32_t test_svqshrnb_n_u64(svuint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqshrnb,_n_u64,,)(op1, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qshrnt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svqshrnt_n_s16(svint8_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqshrnt,_n_s16,,)(op1, op2, 0);
-}
-
-svint16_t test_svqshrnt_n_s32(svint16_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqshrnt,_n_s32,,)(op1, op2, 0);
-}
-
-svint32_t test_svqshrnt_n_s64(svint32_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqshrnt,_n_s64,,)(op1, op2, 0);
-}
-
-svuint8_t test_svqshrnt_n_u16(svuint8_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqshrnt,_n_u16,,)(op1, op2, 0);
-}
-
-svuint16_t test_svqshrnt_n_u32(svuint16_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqshrnt,_n_u32,,)(op1, op2, 0);
-}
-
-svuint32_t test_svqshrnt_n_u64(svuint32_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqshrnt,_n_u64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qshrunb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svuint8_t test_svqshrunb_n_s16(svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqshrunb,_n_s16,,)(op1, 0);
-}
-
-svuint16_t test_svqshrunb_n_s32(svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqshrunb,_n_s32,,)(op1, 0);
-}
-
-svuint32_t test_svqshrunb_n_s64(svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqshrunb,_n_s64,,)(op1, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_qshrunt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svuint8_t test_svqshrunt_n_s16(svuint8_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svqshrunt,_n_s16,,)(op1, op2, 0);
-}
-
-svuint16_t test_svqshrunt_n_s32(svuint16_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svqshrunt,_n_s32,,)(op1, op2, 0);
-}
-
-svuint32_t test_svqshrunt_n_s64(svuint32_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svqshrunt,_n_s64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_rshr.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svrshr_n_s8_z(svbool_t pg, svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s8,_z,)(pg, op1, 0);
-}
-
-svint8_t test_svrshr_n_s8_z_1(svbool_t pg, svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s8,_z,)(pg, op1, 9);
-}
-
-svint16_t test_svrshr_n_s16_z(svbool_t pg, svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s16,_z,)(pg, op1, 0);
-}
-
-svint16_t test_svrshr_n_s16_z_1(svbool_t pg, svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s16,_z,)(pg, op1, 17);
-}
-
-svint32_t test_svrshr_n_s32_z(svbool_t pg, svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s32,_z,)(pg, op1, 0);
-}
-
-svint32_t test_svrshr_n_s32_z_1(svbool_t pg, svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s32,_z,)(pg, op1, 33);
-}
-
-svint64_t test_svrshr_n_s64_z(svbool_t pg, svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s64,_z,)(pg, op1, 0);
-}
-
-svint64_t test_svrshr_n_s64_z_1(svbool_t pg, svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s64,_z,)(pg, op1, 65);
-}
-
-svuint8_t test_svrshr_n_u8_z(svbool_t pg, svuint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u8,_z,)(pg, op1, 0);
-}
-
-svuint16_t test_svrshr_n_u16_z(svbool_t pg, svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u16,_z,)(pg, op1, 0);
-}
-
-svuint32_t test_svrshr_n_u32_z(svbool_t pg, svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u32,_z,)(pg, op1, 0);
-}
-
-svuint64_t test_svrshr_n_u64_z(svbool_t pg, svuint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u64,_z,)(pg, op1, 0);
-}
-
-svint8_t test_svrshr_n_s8_m(svbool_t pg, svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s8,_m,)(pg, op1, 0);
-}
-
-svint16_t test_svrshr_n_s16_m(svbool_t pg, svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s16,_m,)(pg, op1, 0);
-}
-
-svint32_t test_svrshr_n_s32_m(svbool_t pg, svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s32,_m,)(pg, op1, 0);
-}
-
-svint64_t test_svrshr_n_s64_m(svbool_t pg, svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s64,_m,)(pg, op1, 0);
-}
-
-svuint8_t test_svrshr_n_u8_m(svbool_t pg, svuint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u8,_m,)(pg, op1, 0);
-}
-
-svuint16_t test_svrshr_n_u16_m(svbool_t pg, svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u16,_m,)(pg, op1, 0);
-}
-
-svuint32_t test_svrshr_n_u32_m(svbool_t pg, svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u32,_m,)(pg, op1, 0);
-}
-
-svuint64_t test_svrshr_n_u64_m(svbool_t pg, svuint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u64,_m,)(pg, op1, 0);
-}
-
-svint8_t test_svrshr_n_s8_x(svbool_t pg, svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s8,_x,)(pg, op1, 0);
-}
-
-svint16_t test_svrshr_n_s16_x(svbool_t pg, svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s16,_x,)(pg, op1, 0);
-}
-
-svint32_t test_svrshr_n_s32_x(svbool_t pg, svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s32,_x,)(pg, op1, 0);
-}
-
-svint64_t test_svrshr_n_s64_x(svbool_t pg, svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrshr,_n_s64,_x,)(pg, op1, 0);
-}
-
-svuint8_t test_svrshr_n_u8_x(svbool_t pg, svuint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u8,_x,)(pg, op1, 0);
-}
-
-svuint16_t test_svrshr_n_u16_x(svbool_t pg, svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u16,_x,)(pg, op1, 0);
-}
-
-svuint32_t test_svrshr_n_u32_x(svbool_t pg, svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u32,_x,)(pg, op1, 0);
-}
-
-svuint64_t test_svrshr_n_u64_x(svbool_t pg, svuint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrshr,_n_u64,_x,)(pg, op1, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_rshrnb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svrshrnb_n_s16(svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshrnb,_n_s16,,)(op1, 0);
-}
-
-svint16_t test_svrshrnb_n_s32(svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshrnb,_n_s32,,)(op1, 0);
-}
-
-svint32_t test_svrshrnb_n_s64(svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshrnb,_n_s64,,)(op1, 0);
-}
-
-svuint8_t test_svrshrnb_n_u16(svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshrnb,_n_u16,,)(op1, 0);
-}
-
-svuint16_t test_svrshrnb_n_u32(svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshrnb,_n_u32,,)(op1, 0);
-}
-
-svuint32_t test_svrshrnb_n_u64(svuint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshrnb,_n_u64,,)(op1, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_rshrnt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svrshrnt_n_s16(svint8_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshrnt,_n_s16,,)(op1, op2, 0);
-}
-
-svint16_t test_svrshrnt_n_s32(svint16_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshrnt,_n_s32,,)(op1, op2, 0);
-}
-
-svint32_t test_svrshrnt_n_s64(svint32_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshrnt,_n_s64,,)(op1, op2, 0);
-}
-
-svuint8_t test_svrshrnt_n_u16(svuint8_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrshrnt,_n_u16,,)(op1, op2, 0);
-}
-
-svuint16_t test_svrshrnt_n_u32(svuint16_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrshrnt,_n_u32,,)(op1, op2, 0);
-}
-
-svuint32_t test_svrshrnt_n_u64(svuint32_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrshrnt,_n_u64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_rsra.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svrsra_n_s8(svint8_t op1, svint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrsra,_n_s8,,)(op1, op2, 0);
-}
-
-svint16_t test_svrsra_n_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrsra,_n_s16,,)(op1, op2, 0);
-}
-
-svint32_t test_svrsra_n_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrsra,_n_s32,,)(op1, op2, 0);
-}
-
-svint64_t test_svrsra_n_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrsra,_n_s64,,)(op1, op2, 0);
-}
-
-svuint8_t test_svrsra_n_u8(svuint8_t op1, svuint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svrsra,_n_u8,,)(op1, op2, 0);
-}
-
-svuint16_t test_svrsra_n_u16(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svrsra,_n_u16,,)(op1, op2, 0);
-}
-
-svuint32_t test_svrsra_n_u32(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svrsra,_n_u32,,)(op1, op2, 0);
-}
-
-svuint64_t test_svrsra_n_u64(svuint64_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svrsra,_n_u64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_shllb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svshllb_n_s16(svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svshllb,_n_s16,,)(op1, -1);
-}
-
-svint32_t test_svshllb_n_s32(svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svshllb,_n_s32,,)(op1, -1);
-}
-
-svint64_t test_svshllb_n_s64(svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svshllb,_n_s64,,)(op1, -1);
-}
-
-svuint16_t test_svshllb_n_u16(svuint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svshllb,_n_u16,,)(op1, -1);
-}
-
-svuint32_t test_svshllb_n_u32(svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svshllb,_n_u32,,)(op1, -1);
-}
-
-svuint64_t test_svshllb_n_u64(svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svshllb,_n_u64,,)(op1, -1);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_shllt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint16_t test_svshllt_n_s16(svint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svshllt,_n_s16,,)(op1, -1);
-}
-
-svint32_t test_svshllt_n_s32(svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svshllt,_n_s32,,)(op1, -1);
-}
-
-svint64_t test_svshllt_n_s64(svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svshllt,_n_s64,,)(op1, -1);
-}
-
-svuint16_t test_svshllt_n_u16(svuint8_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svshllt,_n_u16,,)(op1, -1);
-}
-
-svuint32_t test_svshllt_n_u32(svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svshllt,_n_u32,,)(op1, -1);
-}
-
-svuint64_t test_svshllt_n_u64(svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svshllt,_n_u64,,)(op1, -1);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_shrnb.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svshrnb_n_s16(svint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svshrnb,_n_s16,,)(op1, 0);
-}
-
-svint16_t test_svshrnb_n_s32(svint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svshrnb,_n_s32,,)(op1, 0);
-}
-
-svint32_t test_svshrnb_n_s64(svint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svshrnb,_n_s64,,)(op1, 0);
-}
-
-svuint8_t test_svshrnb_n_u16(svuint16_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svshrnb,_n_u16,,)(op1, 0);
-}
-
-svuint16_t test_svshrnb_n_u32(svuint32_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svshrnb,_n_u32,,)(op1, 0);
-}
-
-svuint32_t test_svshrnb_n_u64(svuint64_t op1)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svshrnb,_n_u64,,)(op1, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_shrnt.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svshrnt_n_s16(svint8_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svshrnt,_n_s16,,)(op1, op2, 0);
-}
-
-svint16_t test_svshrnt_n_s32(svint16_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svshrnt,_n_s32,,)(op1, op2, 0);
-}
-
-svint32_t test_svshrnt_n_s64(svint32_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svshrnt,_n_s64,,)(op1, op2, 0);
-}
-
-svuint8_t test_svshrnt_n_u16(svuint8_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svshrnt,_n_u16,,)(op1, op2, 0);
-}
-
-svuint16_t test_svshrnt_n_u32(svuint16_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svshrnt,_n_u32,,)(op1, op2, 0);
-}
-
-svuint32_t test_svshrnt_n_u64(svuint32_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svshrnt,_n_u64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_sli.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svsli_n_s8(svint8_t op1, svint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svsli,_n_s8,,)(op1, op2, -1);
-}
-
-svint16_t test_svsli_n_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svsli,_n_s16,,)(op1, op2, -1);
-}
-
-svint32_t test_svsli_n_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svsli,_n_s32,,)(op1, op2, -1);
-}
-
-svint64_t test_svsli_n_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
-  return SVE_ACLE_FUNC(svsli,_n_s64,,)(op1, op2, -1);
-}
-
-svuint8_t test_svsli_n_u8(svuint8_t op1, svuint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
-  return SVE_ACLE_FUNC(svsli,_n_u8,,)(op1, op2, -1);
-}
-
-svuint16_t test_svsli_n_u16(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
-  return SVE_ACLE_FUNC(svsli,_n_u16,,)(op1, op2, -1);
-}
-
-svuint32_t test_svsli_n_u32(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
-  return SVE_ACLE_FUNC(svsli,_n_u32,,)(op1, op2, -1);
-}
-
-svuint64_t test_svsli_n_u64(svuint64_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
-  return SVE_ACLE_FUNC(svsli,_n_u64,,)(op1, op2, -1);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_sra.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svsra_n_s8(svint8_t op1, svint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svsra,_n_s8,,)(op1, op2, 0);
-}
-
-svint16_t test_svsra_n_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svsra,_n_s16,,)(op1, op2, 0);
-}
-
-svint32_t test_svsra_n_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svsra,_n_s32,,)(op1, op2, 0);
-}
-
-svint64_t test_svsra_n_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svsra,_n_s64,,)(op1, op2, 0);
-}
-
-svuint8_t test_svsra_n_u8(svuint8_t op1, svuint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svsra,_n_u8,,)(op1, op2, 0);
-}
-
-svuint16_t test_svsra_n_u16(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svsra,_n_u16,,)(op1, op2, 0);
-}
-
-svuint32_t test_svsra_n_u32(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svsra,_n_u32,,)(op1, op2, 0);
-}
-
-svuint64_t test_svsra_n_u64(svuint64_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svsra,_n_u64,,)(op1, op2, 0);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_sri.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svsri_n_s8(svint8_t op1, svint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svsri,_n_s8,,)(op1, op2, 0);
-}
-
-svint16_t test_svsri_n_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svsri,_n_s16,,)(op1, op2, 0);
-}
-
-svint32_t test_svsri_n_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svsri,_n_s32,,)(op1, op2, 0);
-}
-
-svint64_t test_svsri_n_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svsri,_n_s64,,)(op1, op2, 0);
-}
-
-svuint8_t test_svsri_n_u8(svuint8_t op1, svuint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svsri,_n_u8,,)(op1, op2, 0);
-}
-
-svuint16_t test_svsri_n_u16(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svsri,_n_u16,,)(op1, op2, 0);
-}
-
-svuint32_t test_svsri_n_u32(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svsri,_n_u32,,)(op1, op2, 0);
-}
-
-svuint64_t test_svsri_n_u64(svuint64_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svsri,_n_u64,,)(op1, op2, 0);
-}
-
-svint8_t test_svsri_n_s8_1(svint8_t op1, svint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svsri,_n_s8,,)(op1, op2, 9);
-}
-
-svint16_t test_svsri_n_s16_1(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svsri,_n_s16,,)(op1, op2, 17);
-}
-
-svint32_t test_svsri_n_s32_1(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svsri,_n_s32,,)(op1, op2, 33);
-}
-
-svint64_t test_svsri_n_s64_1(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svsri,_n_s64,,)(op1, op2, 65);
-}
-
-svuint8_t test_svsri_n_u8_1(svuint8_t op1, svuint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svsri,_n_u8,,)(op1, op2, 9);
-}
-
-svuint16_t test_svsri_n_u16_1(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svsri,_n_u16,,)(op1, op2, 17);
-}
-
-svuint32_t test_svsri_n_u32_1(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svsri,_n_u32,,)(op1, op2, 33);
-}
-
-svuint64_t test_svsri_n_u64_1(svuint64_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svsri,_n_u64,,)(op1, op2, 65);
-}

clang/test/CodeGen/aarch64-sve2-intrinsics/negative/acle_sve2_xar.c

-// REQUIRES: aarch64-registered-target
-
-// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
-
-#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
-
-#include <arm_sve.h>
-
-svint8_t test_svxar_n_s8(svint8_t op1, svint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svxar,_n_s8,,)(op1, op2, 0);
-}
-
-svint8_t test_svxar_n_s8_1(svint8_t op1, svint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svxar,_n_s8,,)(op1, op2, 9);
-}
-
-svint16_t test_svxar_n_s16(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svxar,_n_s16,,)(op1, op2, 0);
-}
-
-svint16_t test_svxar_n_s16_1(svint16_t op1, svint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svxar,_n_s16,,)(op1, op2, 17);
-}
-
-svint32_t test_svxar_n_s32(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svxar,_n_s32,,)(op1, op2, 0);
-}
-
-svint32_t test_svxar_n_s32_1(svint32_t op1, svint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svxar,_n_s32,,)(op1, op2, 33);
-}
-
-svint64_t test_svxar_n_s64(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svxar,_n_s64,,)(op1, op2, 0);
-}
-
-svint64_t test_svxar_n_s64_1(svint64_t op1, svint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svxar,_n_s64,,)(op1, op2, 65);
-}
-
-svuint8_t test_svxar_n_u8(svuint8_t op1, svuint8_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
-  return SVE_ACLE_FUNC(svxar,_n_u8,,)(op1, op2, 0);
-}
-
-svuint16_t test_svxar_n_u16(svuint16_t op1, svuint16_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
-  return SVE_ACLE_FUNC(svxar,_n_u16,,)(op1, op2, 0);
-}
-
-svuint32_t test_svxar_n_u32(svuint32_t op1, svuint32_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
-  return SVE_ACLE_FUNC(svxar,_n_u32,,)(op1, op2, 0);
-}
-
-svuint64_t test_svxar_n_u64(svuint64_t op1, svuint64_t op2)
-{
-  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
-  return SVE_ACLE_FUNC(svxar,_n_u64,,)(op1, op2, 0);
-}

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_lane.cpp

+// REQUIRES: aarch64-registered-target
+
+// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
+// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
+
+#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
+
+#include <arm_sve.h>
+
+void test_range_0_7()
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmla_lane,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmla_lane,_u16,,)(svundef_u16(), svundef_u16(), svundef_u16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlalb_lane,_s32,,)(svundef_s32(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlalb_lane,_u32,,)(svundef_u32(), svundef_u16(), svundef_u16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlalb_lane,_f32,,)(svundef_f32(), svundef_f16(), svundef_f16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlalt_lane,_s32,,)(svundef_s32(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlalt_lane,_u32,,)(svundef_u32(), svundef_u16(), svundef_u16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlalt_lane,_f32,,)(svundef_f32(), svundef_f16(), svundef_f16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmls_lane,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmls_lane,_u16,,)(svundef_u16(), svundef_u16(), svundef_u16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlslb_lane,_s32,,)(svundef_s32(), svundef_s16(), svundef_s16(),  -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlslb_lane,_u32,,)(svundef_u32(), svundef_u16(), svundef_u16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlslb_lane,_f32,,)(svundef_f32(), svundef_f16(), svundef_f16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlslt_lane,_s32,,)(svundef_s32(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlslt_lane,_u32,,)(svundef_u32(), svundef_u16(), svundef_u16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmlslt_lane,_f32,,)(svundef_f32(), svundef_f16(), svundef_f16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmul_lane,_s16,,)(svundef_s16(), svundef_s16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmul_lane,_u16,,)(svundef_u16(), svundef_u16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmullb_lane,_s32,,)(svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmullb_lane,_u32,,)(svundef_u16(), svundef_u16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmullt_lane,_s32,,)(svundef_s16(), svundef_s16(), 8);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svmullt_lane,_u32,,)(svundef_u16(), svundef_u16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqdmlalb_lane,_s32,,)(svundef_s32(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqdmlalt_lane,_s32,,)(svundef_s32(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqdmulh_lane,_s16,,)(svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqdmlslb_lane,_s32,,)(svundef_s32(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqdmlslt_lane,_s32,,)(svundef_s32(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqdmullb_lane,_s32,,)(svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqdmullt_lane,_s32,,)(svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqrdmlah_lane,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqrdmlsh_lane,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqrdmulh_lane,_s16,,)(svundef_s16(), svundef_s16(), -1);
+}
+
+void test_range_0_3()
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svcdot_lane,_s32,,)(svundef_s32(), svundef_s8(), svundef_s8(), -1, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svcmla_lane,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), -1, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svcmla_lane,_u16,,)(svundef_u16(), svundef_u16(), svundef_u16(), -1, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmla_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmla_lane,_u32,,)(svundef_u32(), svundef_u32(), svundef_u32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmlalb_lane,_s64,,)(svundef_s64(), svundef_s32(), svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmlalb_lane,_u64,,)(svundef_u64(), svundef_u32(), svundef_u32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmlalt_lane,_s64,,)(svundef_s64(), svundef_s32(), svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmlalt_lane,_u64,,)(svundef_u64(), svundef_u32(), svundef_u32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmls_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmls_lane,_u32,,)(svundef_u32(), svundef_u32(), svundef_u32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmlslb_lane,_s64,,)(svundef_s64(), svundef_s32(), svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmlslb_lane,_u64,,)(svundef_u64(), svundef_u32(), svundef_u32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmlslt_lane,_s64,,)(svundef_s64(), svundef_s32(), svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmlslt_lane,_u64,,)(svundef_u64(), svundef_u32(), svundef_u32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmul_lane,_s32,,)(svundef_s32(), svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmul_lane,_u32,,)(svundef_u32(), svundef_u32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmullb_lane,_s64,,)(svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmullb_lane,_u64,,)(svundef_u32(), svundef_u32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmullt_lane,_s64,,)(svundef_s32(), svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svmullt_lane,_u64,,)(svundef_u32(), svundef_u32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqdmulh_lane,_s32,,)(svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), -1, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqrdmlah_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqdmlalb_lane,_s64,,)(svundef_s64(), svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqdmlalt_lane,_s64,,)(svundef_s64(), svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqrdmlsh_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqdmlslb_lane,_s64,,)(svundef_s64(), svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqdmlslt_lane,_s64,,)(svundef_s64(), svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqrdmulh_lane,_s32,,)(svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqdmullb_lane,_s64,,)(svundef_s32(), svundef_s32(), 4);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 3]}}
+  SVE_ACLE_FUNC(svqdmullt_lane,_s64,,)(svundef_s32(), svundef_s32(), -1);
+}
+
+void test_range_0_1()
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svcdot_lane,_s64,,)(svundef_s64(), svundef_s16(), svundef_s16(), -1, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svcmla_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), -1, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svcmla_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 2, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svcmla_lane,_u32,,)(svundef_u32(), svundef_u32(), svundef_u32(), -1, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svmla_lane,_s64,,)(svundef_s64(), svundef_s64(), svundef_s64(), 2);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svmla_lane,_u64,,)(svundef_u64(), svundef_u64(), svundef_u64(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svmls_lane,_s64,,)(svundef_s64(), svundef_s64(), svundef_s64(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svmls_lane,_u64,,)(svundef_u64(), svundef_u64(), svundef_u64(), 2);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svmul_lane,_s64,,)(svundef_s64(), svundef_s64(), 2);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svmul_lane,_u64,,)(svundef_u64(), svundef_u64(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svqdmulh_lane,_s64,,)(svundef_s64(), svundef_s64(), 2);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svqrdcmlah_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 2, 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svqrdmlah_lane,_s64,,)(svundef_s64(), svundef_s64(), svundef_s64(), 2);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svqrdmlsh_lane,_s64,,)(svundef_s64(), svundef_s64(), svundef_s64(), 2);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 1]}}
+  SVE_ACLE_FUNC(svqrdmulh_lane,_s64,,)(svundef_s64(), svundef_s64(), 2);
+}

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_n.cpp

+// REQUIRES: aarch64-registered-target
+
+// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
+// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
+
+#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
+
+#include <arm_sve.h>
+
+void test_range_0_7(svbool_t pg)
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s8,_x,)(pg, svundef_s8(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s8,_z,)(pg, svundef_s8(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s8,_m,)(pg, svundef_s8(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svshllb,_n_s16,,)(svundef_s8(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svshllb,_n_u16,,)(svundef_u8(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svshllt,_n_s16,,)(svundef_s8(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svshllt,_n_u16,,)(svundef_u8(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svsli,_n_s8,,)(svundef_s8(), svundef_s8(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 7]}}
+  SVE_ACLE_FUNC(svsli,_n_u8,,)(svundef_u8(), svundef_u8(), -1);
+}
+
+void test_range_1_8(svbool_t pg)
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqrshrnb,_n_s16,,)(svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqrshrnb,_n_u16,,)(svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqrshrnt,_n_s16,,)(svundef_s8(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqrshrnt,_n_u16,,)(svundef_u8(), svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqrshrunb,_n_s16,,)(svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqrshrunt,_n_s16,,)(svundef_u8(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqshrnb,_n_s16,,)(svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqshrnb,_n_u16,,)(svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqshrnt,_n_s16,,)(svundef_s8(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqshrnt,_n_u16,,)(svundef_u8(), svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqshrunb,_n_s16,,)(svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svqshrunt,_n_s16,,)(svundef_u8(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshr,_n_s8,_x,)(pg, svundef_s8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshr,_n_s8,_z,)(pg, svundef_s8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshr,_n_s8,_m,)(pg, svundef_s8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshr,_n_u8,_x,)(pg, svundef_u8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshr,_n_u8,_z,)(pg, svundef_u8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshr,_n_u8,_m,)(pg, svundef_u8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshrnb,_n_s16,,)(svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshrnb,_n_u16,,)(svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshrnt,_n_s16,,)(svundef_s8(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrshrnt,_n_u16,,)(svundef_u8(), svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrsra,_n_s8,,)(svundef_s8(), svundef_s8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svrsra,_n_u8,,)(svundef_u8(), svundef_u8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svshrnb,_n_s16,,)(svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svshrnb,_n_u16,,)(svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svshrnt,_n_s16,,)(svundef_s8(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svshrnt,_n_u16,,)(svundef_u8(), svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svsra,_n_s8,,)(svundef_s8(), svundef_s8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svsra,_n_u8,,)(svundef_u8(), svundef_u8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svsri,_n_s8,,)(svundef_s8(), svundef_s8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svsri,_n_u8,,)(svundef_u8(), svundef_u8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svxar,_n_s8,,)(svundef_s8(), svundef_s8(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 8]}}
+  SVE_ACLE_FUNC(svxar,_n_u8,,)(svundef_u8(), svundef_u8(), 0);
+}
+
+void test_range_0_15(svbool_t pg)
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s16,_x,)(pg, svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s16,_z,)(pg, svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s16,_m,)(pg, svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svshllb,_n_s32,,)(svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svshllb,_n_u32,,)(svundef_u16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svshllt,_n_s32,,)(svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svshllt,_n_u32,,)(svundef_u16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svsli,_n_s16,,)(svundef_s16(), svundef_s16(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 15]}}
+  SVE_ACLE_FUNC(svsli,_n_u16,,)(svundef_u16(), svundef_u16(), -1);
+}
+
+void test_range_1_16(svbool_t pg)
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqrshrnb,_n_s32,,)(svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqrshrnb,_n_u32,,)(svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqrshrnt,_n_s32,,)(svundef_s16(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqrshrnt,_n_u32,,)(svundef_u16(), svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqrshrunb,_n_s32,,)(svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqrshrunt,_n_s32,,)(svundef_u16(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqshrnb,_n_s32,,)(svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqshrnb,_n_u32,,)(svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqshrnt,_n_s32,,)(svundef_s16(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqshrnt,_n_u32,,)(svundef_u16(), svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqshrunb,_n_s32,,)(svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svqshrunt,_n_s32,,)(svundef_u16(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshr,_n_s16,_x,)(pg, svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshr,_n_s16,_z,)(pg, svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshr,_n_s16,_m,)(pg, svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshr,_n_u16,_x,)(pg, svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshr,_n_u16,_z,)(pg, svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshr,_n_u16,_m,)(pg, svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshrnb,_n_s32,,)(svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshrnb,_n_u32,,)(svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshrnt,_n_s32,,)(svundef_s16(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrshrnt,_n_u32,,)(svundef_u16(), svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrsra,_n_s16,,)(svundef_s16(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svrsra,_n_u16,,)(svundef_u16(), svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svshrnb,_n_s32,,)(svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svshrnb,_n_u32,,)(svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svshrnt,_n_s32,,)(svundef_s16(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svshrnt,_n_u32,,)(svundef_u16(), svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svsra,_n_s16,,)(svundef_s16(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svsra,_n_u16,,)(svundef_u16(), svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svsri,_n_s16,,)(svundef_s16(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svsri,_n_u16,,)(svundef_u16(), svundef_u16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svxar,_n_s16,,)(svundef_s16(), svundef_s16(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 16]}}
+  SVE_ACLE_FUNC(svxar,_n_u16,,)(svundef_u16(), svundef_u16(), 0);
+}
+
+void test_range_0_31(svbool_t pg)
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s32,_x,)(pg, svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s32,_z,)(pg, svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s32,_m,)(pg, svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svshllb,_n_s64,,)(svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svshllb,_n_u64,,)(svundef_u32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svshllt,_n_s64,,)(svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svshllt,_n_u64,,)(svundef_u32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svsli,_n_s32,,)(svundef_s32(), svundef_s32(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 31]}}
+  SVE_ACLE_FUNC(svsli,_n_u32,,)(svundef_u32(), svundef_u32(), -1);
+}
+
+void test_range_1_32(svbool_t pg)
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqrshrnb,_n_s64,,)(svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqrshrnb,_n_u64,,)(svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqrshrnt,_n_s64,,)(svundef_s32(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqrshrnt,_n_u64,,)(svundef_u32(), svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqrshrunb,_n_s64,,)(svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqrshrunt,_n_s64,,)(svundef_u32(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqshrnb,_n_s64,,)(svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqshrnb,_n_u64,,)(svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqshrnt,_n_s64,,)(svundef_s32(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqshrnt,_n_u64,,)(svundef_u32(), svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqshrunb,_n_s64,,)(svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svqshrunt,_n_s64,,)(svundef_u32(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshr,_n_s32,_x,)(pg, svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshr,_n_s32,_z,)(pg, svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshr,_n_s32,_m,)(pg, svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshr,_n_u32,_x,)(pg, svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshr,_n_u32,_z,)(pg, svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshr,_n_u32,_m,)(pg, svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshrnb,_n_s64,,)(svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshrnb,_n_u64,,)(svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshrnt,_n_s64,,)(svundef_s32(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrshrnt,_n_u64,,)(svundef_u32(), svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrsra,_n_s32,,)(svundef_s32(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svrsra,_n_u32,,)(svundef_u32(), svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svshrnb,_n_s64,,)(svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svshrnb,_n_u64,,)(svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svshrnt,_n_s64,,)(svundef_s32(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svshrnt,_n_u64,,)(svundef_u32(), svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svsra,_n_s32,,)(svundef_s32(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svsra,_n_u32,,)(svundef_u32(), svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svsri,_n_s32,,)(svundef_s32(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svsri,_n_u32,,)(svundef_u32(), svundef_u32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svxar,_n_s32,,)(svundef_s32(), svundef_s32(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 32]}}
+  SVE_ACLE_FUNC(svxar,_n_u32,,)(svundef_u32(), svundef_u32(), 0);
+}
+
+void test_range_0_63(svbool_t pg)
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s64,_x,)(pg, svundef_s64(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s64,_z,)(pg, svundef_s64(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
+  SVE_ACLE_FUNC(svqshlu,_n_s64,_m,)(pg, svundef_s64(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
+  SVE_ACLE_FUNC(svsli,_n_s64,,)(svundef_s64(), svundef_s64(), -1);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [0, 63]}}
+  SVE_ACLE_FUNC(svsli,_n_u64,,)(svundef_u64(), svundef_u64(), -1);
+}
+
+void test_range_1_64(svbool_t pg)
+{
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svrshr,_n_s64,_x,)(pg, svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svrshr,_n_s64,_z,)(pg, svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svrshr,_n_s64,_m,)(pg, svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svrshr,_n_u64,_x,)(pg, svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svrshr,_n_u64,_z,)(pg, svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svrshr,_n_u64,_m,)(pg, svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svrsra,_n_s64,,)(svundef_s64(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svrsra,_n_u64,,)(svundef_u64(), svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svsra,_n_s64,,)(svundef_s64(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svsra,_n_u64,,)(svundef_u64(), svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svsri,_n_s64,,)(svundef_s64(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svsri,_n_u64,,)(svundef_u64(), svundef_u64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svxar,_n_s64,,)(svundef_s64(), svundef_s64(), 0);
+  // expected-error-re@+1 {{argument value {{[0-9]+}} is outside the valid range [1, 64]}}
+  SVE_ACLE_FUNC(svxar,_n_u64,,)(svundef_u64(), svundef_u64(), 0);
+}

clang/test/Sema/aarch64-sve2-intrinsics/acle_sve2_imm_rotation.cpp

+// REQUIRES: aarch64-registered-target
+
+// RUN: %clang_cc1 -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
+// RUN: %clang_cc1 -DSVE_OVERLOADED_FORMS -triple aarch64-none-linux-gnu -target-feature +sve2 -fallow-half-arguments-and-returns -fsyntax-only -verify %s
+
+#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
+
+#include <arm_sve.h>
+
+void test_90_270()
+{
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svcadd,_s8,,)(svundef_s8(), svundef_s8(), 0);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svcadd,_u8,,)(svundef_u8(), svundef_u8(), 180);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svcadd,_s16,,)(svundef_s16(), svundef_s16(), 0);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svcadd,_u16,,)(svundef_u16(), svundef_u16(), 180);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svcadd,_s32,,)(svundef_s32(), svundef_s32(), 0);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svcadd,_u32,,)(svundef_u32(), svundef_u32(), 180);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svcadd,_s64,,)(svundef_s64(), svundef_s64(), 0);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svcadd,_u64,,)(svundef_u64(), svundef_u64(), 180);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svqcadd,_s8,,)(svundef_s8(), svundef_s8(), 0);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svqcadd,_s16,,)(svundef_s16(), svundef_s16(), 180);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svqcadd,_s32,,)(svundef_s32(), svundef_s32(), 0);
+  // expected-error@+1 {{argument should be the value 90 or 270}}
+  SVE_ACLE_FUNC(svqcadd,_s64,,)(svundef_s64(), svundef_s64(), 180);
+}
+
+void test_0_90_180_270()
+{
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcdot,_s32,,)(svundef_s32(), svundef_s8(), svundef_s8(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcdot_lane,_s32,,)(svundef_s32(), svundef_s8(), svundef_s8(), 0, 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcdot,_s64,,)(svundef_s64(), svundef_s16(), svundef_s16(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcdot_lane,_s64,,)(svundef_s64(), svundef_s16(), svundef_s16(), 0, 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla,_s8,,)(svundef_s8(), svundef_s8(), svundef_s8(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla,_u8,,)(svundef_u8(), svundef_u8(), svundef_u8(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla_lane,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), 0, 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla,_u16,,)(svundef_u16(), svundef_u16(), svundef_u16(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla_lane,_u16,,)(svundef_u16(), svundef_u16(), svundef_u16(), 0, 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 1, 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla,_u32,,)(svundef_u32(), svundef_u32(), svundef_u32(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla_lane,_u32,,)(svundef_u32(), svundef_u32(), svundef_u32(), 0, 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla,_s64,,)(svundef_s64(), svundef_s64(), svundef_s64(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svcmla,_u64,,)(svundef_u64(), svundef_u64(), svundef_u64(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svqrdcmlah,_s8,,)(svundef_s8(), svundef_s8(), svundef_s8(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svqrdcmlah,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svqrdcmlah_lane,_s16,,)(svundef_s16(), svundef_s16(), svundef_s16(), 0, 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svqrdcmlah,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svqrdcmlah_lane,_s32,,)(svundef_s32(), svundef_s32(), svundef_s32(), 0, 19);
+  // expected-error@+1 {{argument should be the value 0, 90, 180 or 270}}
+  SVE_ACLE_FUNC(svqrdcmlah,_s64,,)(svundef_s64(), svundef_s64(), svundef_s64(), 19);
+}