1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
// RUN: %clang_cc1 %s -ffake-address-space-map -verify -pedantic -fsyntax-only -cl-std=CL2.0
// RUN: %clang_cc1 %s -ffake-address-space-map -verify -pedantic -fsyntax-only -cl-std=CL2.0 -DGENERIC
// RUN: %clang_cc1 %s -ffake-address-space-map -verify -pedantic -fsyntax-only -cl-std=CL2.0 -DCONSTANT
// RUN: %clang_cc1 %s -ffake-address-space-map -verify -pedantic -fsyntax-only -cl-std=CL2.0 -DLOCAL
/* USM (unified shared memory) extension for OpenCLC 2.0 adds two new address
* spaces: global_device and global_host that are a subset of __global address
* space. As ISO/IEC TR 18037 5.1.3 declares - it's possible to implicitly
* convert a subset address space to a superset address space, while conversion
* in a reversed direction could be achived only with an explicit cast */
#ifdef GENERIC
#define AS_COMP __generic
#else
#define AS_COMP __global
#endif // GENERIC
#ifdef CONSTANT
#define AS_INCOMP __constant
#elif LOCAL
#define AS_INCOMP __local
#else // PRIVATE
#define AS_INCOMP __private
#endif // CONSTANT
void test(AS_COMP int *arg_comp,
__attribute__((opencl_global_device)) int *arg_device,
__attribute__((opencl_global_host)) int *arg_host) {
AS_COMP int *var_glob1 = arg_device;
AS_COMP int *var_glob2 = arg_host;
AS_COMP int *var_glob3 = (AS_COMP int *)arg_device;
AS_COMP int *var_glob4 = (AS_COMP int *)arg_host;
arg_device = (__attribute__((opencl_global_device)) int *)arg_comp;
arg_host = (__attribute__((opencl_global_host)) int *)arg_comp;
#ifdef GENERIC
// expected-error@+6{{assigning '__generic int *__private' to '__global_device int *__private' changes address space of pointer}}
// expected-error@+6{{assigning '__generic int *__private' to '__global_host int *__private' changes address space of pointer}}
#else
// expected-error@+3{{assigning '__global int *__private' to '__global_device int *__private' changes address space of pointer}}
// expected-error@+3{{assigning '__global int *__private' to '__global_host int *__private' changes address space of pointer}}
#endif // GENERIC
arg_device = arg_comp;
arg_host = arg_comp;
#ifdef CONSTANT
// expected-error@+15{{initializing '__constant int *__private' with an expression of type '__global_device int *__private' changes address space of pointer}}
// expected-error@+15{{initializing '__constant int *__private' with an expression of type '__global_host int *__private' changes address space of pointer}}
// expected-error@+15{{initializing '__constant int *__private' with an expression of type '__global_device int *' changes address space of pointer}}
// expected-error@+16{{initializing '__constant int *__private' with an expression of type '__global_host int *' changes address space of pointer}}
#elif LOCAL
// expected-error@+10{{initializing '__local int *__private' with an expression of type '__global_device int *__private' changes address space of pointer}}
// expected-error@+10{{initializing '__local int *__private' with an expression of type '__global_host int *__private' changes address space of pointer}}
// expected-error@+10{{initializing '__local int *__private' with an expression of type '__global_device int *' changes address space of pointer}}
// expected-error@+11{{initializing '__local int *__private' with an expression of type '__global_host int *' changes address space of pointer}}
#else // PRIVATE
// expected-error@+5{{initializing '__private int *__private' with an expression of type '__global_device int *__private' changes address space of pointer}}
// expected-error@+5{{initializing '__private int *__private' with an expression of type '__global_host int *__private' changes address space of pointer}}
// expected-error@+5{{initializing '__private int *__private' with an expression of type '__global_device int *' changes address space of pointer}}
// expected-error@+6{{initializing '__private int *__private' with an expression of type '__global_host int *' changes address space of pointer}}
#endif // CONSTANT
AS_INCOMP int *var_incomp1 = arg_device;
AS_INCOMP int *var_incomp2 = arg_host;
AS_INCOMP int *var_incomp3 =
(__attribute__((opencl_global_device)) int *)arg_device;
AS_INCOMP int *var_incomp4 =
(__attribute__((opencl_global_host)) int *)arg_host;
}
|
