shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[OpenCL] Add as_size/ptrdiff/intptr/uintptr_t operators

Browse Source 
size_t and friends are built-in scalar data types and s6.4.4.2 of the
OpenCL C Specification says the as_type() operator must be available
for these data types.

Differential Revision: https://reviews.llvm.org/D98959
This commit is contained in:
Sven van Haastregt 2021-04-07 10:16:41 +01:00
parent 792ee5be36
commit 35bc7569f8
2 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
clang/lib/Headers/opencl-c-base.h
View File

@ -545,6 +545,11 @@ typedef struct {
#define as_half16(x) __builtin_astype((x), half16)
#endif // cl_khr_fp16
#define as_size_t(x) __builtin_astype((x), size_t)
#define as_ptrdiff_t(x) __builtin_astype((x), ptrdiff_t)
#define as_intptr_t(x) __builtin_astype((x), intptr_t)
#define as_uintptr_t(x) __builtin_astype((x), uintptr_t)
// OpenCL v1.1 s6.9, v1.2/2.0 s6.10 - Function qualifiers
#define __kernel_exec(X, typen) __kernel \

15
clang/test/SemaOpenCL/as_type.cl
View File

@ -1,4 +1,5 @@
// RUN: %clang_cc1 %s -emit-llvm -triple spir-unknown-unknown -finclude-default-header -o - -verify -fsyntax-only
// RUN: %clang_cc1 %s -emit-llvm -DBITS=32 -triple spir-unknown-unknown -finclude-default-header -fdeclare-opencl-builtins -o - -verify -fsyntax-only
// RUN: %clang_cc1 %s -emit-llvm -DBITS=64 -triple spir64-unknown-unknown -finclude-default-header -fdeclare-opencl-builtins -o - -verify -fsyntax-only
char3 f1(char16 x) {
return __builtin_astype(x, char3); // expected-error{{invalid reinterpretation: sizes of 'char3' (vector of 3 'char' values) and '__private char16' (vector of 16 'char' values) must match}}
@ -12,3 +13,15 @@ void foo() {
char src = 1;
int dst = as_int(src); // expected-error{{invalid reinterpretation: sizes of 'int' and '__private char' must match}}
}
void target_dependent(int i, long l) {
size_t size1 = as_size_t(i);
#if BITS == 64
// expected-error@-2{{sizes of 'size_t' (aka 'unsigned long') and '__private int' must match}}
#endif
size_t size2 = as_size_t(l);
#if BITS == 32
// expected-error@-2{{sizes of 'size_t' (aka 'unsigned int') and '__private long' must match}}
#endif
}