mirror of
https://github.com/llvm/llvm-project.git
synced 2025-04-18 09:16:38 +00:00
12762b8648
This PR implement an opcode to diagnose use sizeless vector type as the argument of `__builtin_vectorelements`. --------- Signed-off-by: yronglin <yronglin777@gmail.com>
58 lines
3.0 KiB
C++
58 lines
3.0 KiB
C++
// RUN: %clang_cc1 -triple x86_64 -std=c++20 -fsyntax-only -verify -disable-llvm-passes %s
|
|
// RUN: %clang_cc1 -triple x86_64 -std=c++20 -fsyntax-only -verify -disable-llvm-passes -fexperimental-new-constant-interpreter %s
|
|
|
|
// REQUIRES: aarch64-registered-target
|
|
// RUN: %clang_cc1 -triple aarch64 -target-feature +sve -std=c++20 -fsyntax-only -verify -disable-llvm-passes %s
|
|
// RUN: %clang_cc1 -triple aarch64 -target-feature +sve -std=c++20 -fsyntax-only -verify -disable-llvm-passes -fexperimental-new-constant-interpreter %s
|
|
|
|
template <typename T>
|
|
using VecT __attribute__((vector_size(16))) = T;
|
|
|
|
struct FooT {
|
|
template <typename T>
|
|
using VecT __attribute__((vector_size(8))) = T;
|
|
};
|
|
|
|
void test_builtin_vectorelements() {
|
|
using veci4 __attribute__((vector_size(16))) = int;
|
|
(void) __builtin_vectorelements(veci4);
|
|
|
|
using some_other_vec = veci4;
|
|
(void) __builtin_vectorelements(some_other_vec);
|
|
|
|
using some_int = int;
|
|
(void) __builtin_vectorelements(some_int); // expected-error {{argument to __builtin_vectorelements must be of vector type}}
|
|
|
|
class Foo {};
|
|
__builtin_vectorelements(Foo); // expected-error {{argument to __builtin_vectorelements must be of vector type}}
|
|
|
|
struct Bar { veci4 vec; };
|
|
(void) __builtin_vectorelements(Bar{}.vec);
|
|
|
|
struct Baz { using VecT = veci4; };
|
|
(void) __builtin_vectorelements(Baz::VecT);
|
|
|
|
(void) __builtin_vectorelements(FooT::VecT<long>);
|
|
(void) __builtin_vectorelements(VecT<char>);
|
|
|
|
constexpr int i4 = __builtin_vectorelements(veci4);
|
|
constexpr int i4p8 = __builtin_vectorelements(veci4) + 8;
|
|
}
|
|
|
|
|
|
#if defined(__ARM_FEATURE_SVE)
|
|
#include <arm_sve.h>
|
|
|
|
consteval int consteval_elements() { // expected-error {{consteval function never produces a constant expression}}
|
|
return __builtin_vectorelements(svuint64_t); // expected-note {{cannot determine number of elements for sizeless vectors in a constant expression}} // expected-note {{cannot determine number of elements for sizeless vectors in a constant expression}} // expected-note {{cannot determine number of elements for sizeless vectors in a constant expression}}
|
|
}
|
|
|
|
void test_bad_constexpr() {
|
|
constexpr int eval = consteval_elements(); // expected-error {{initialized by a constant expression}} // expected-error {{not a constant expression}} // expected-note {{in call}} // expected-note {{in call}}
|
|
constexpr int i32 = __builtin_vectorelements(svuint32_t); // expected-error {{initialized by a constant expression}} // expected-note {{cannot determine number of elements for sizeless vectors in a constant expression}}
|
|
constexpr int i16p8 = __builtin_vectorelements(svuint16_t) + 16; // expected-error {{initialized by a constant expression}} // expected-note {{cannot determine number of elements for sizeless vectors in a constant expression}}
|
|
constexpr int lambda = [] { return __builtin_vectorelements(svuint16_t); }(); // expected-error {{initialized by a constant expression}} // expected-note {{cannot determine number of elements for sizeless vectors in a constant expression}} // expected-note {{in call}}
|
|
}
|
|
|
|
#endif
|