1// RUN: %clang_cc1 %s -triple spir-unknown-unknown -verify -pedantic -fsyntax-only
2// RUN: %clang_cc1 %s -triple spir-unknown-unknown -verify -fsyntax-only -cl-std=CL2.0 -DCL20
3// RUN: %clang_cc1 %s -triple spir-unknown-unknown -verify -fsyntax-only -cl-std=CL2.0 -DCL20 -DEXT -Wpedantic-core-features
4
5#ifdef EXT
6#pragma OPENCL EXTENSION cl_khr_int64_base_atomics:enable
7#pragma OPENCL EXTENSION cl_khr_int64_extended_atomics:enable
8#pragma OPENCL EXTENSION cl_khr_fp64:enable
9#if __OPENCL_C_VERSION__ >= CL_VERSION_1_2
10// expected-warning@-2{{OpenCL extension 'cl_khr_fp64' is core feature or supported optional core feature - ignoring}}
11#endif
12#endif
13
14void atomic_types_test() {
15// OpenCL v2.0 s6.13.11.6 defines supported atomic types.
16  atomic_int i;
17  atomic_uint ui;
18  atomic_long l;
19  atomic_ulong ul;
20  atomic_float f;
21  atomic_double d;
22  atomic_flag fl;
23  atomic_intptr_t ip;
24  atomic_uintptr_t uip;
25  atomic_size_t s;
26  atomic_ptrdiff_t pd;
27// OpenCL v2.0 s6.13.11.8, _Atomic type specifier and _Atomic type qualifier
28// are not supported by OpenCL.
29  _Atomic int i; // expected-error {{use of undeclared identifier '_Atomic'}}
30}
31#ifndef CL20
32// expected-error@-16 {{use of undeclared identifier 'atomic_int'}}
33// expected-error@-16 {{use of undeclared identifier 'atomic_uint'}}
34// expected-error@-16 {{use of undeclared identifier 'atomic_long'}}
35// expected-error@-16 {{use of undeclared identifier 'atomic_ulong'}}
36// expected-error@-16 {{use of undeclared identifier 'atomic_float'}}
37// expected-error@-16 {{use of undeclared identifier 'atomic_double'}}
38// expected-error@-16 {{use of undeclared identifier 'atomic_flag'}}
39// expected-error@-16 {{use of undeclared identifier 'atomic_intptr_t'}}
40// expected-error@-16 {{use of undeclared identifier 'atomic_uintptr_t'}}
41// expected-error@-16 {{use of undeclared identifier 'atomic_size_t'}}
42// expected-error@-16 {{use of undeclared identifier 'atomic_ptrdiff_t'}}
43#elif !EXT
44// expected-error@-26 {{use of type 'atomic_long' (aka '_Atomic(long)') requires cl_khr_int64_base_atomics extension to be enabled}}
45// expected-error@-27 {{use of type 'atomic_long' (aka '_Atomic(long)') requires cl_khr_int64_extended_atomics extension to be enabled}}
46// expected-error@-27 {{use of type 'atomic_ulong' (aka '_Atomic(unsigned long)') requires cl_khr_int64_base_atomics extension to be enabled}}
47// expected-error@-28 {{use of type 'atomic_ulong' (aka '_Atomic(unsigned long)') requires cl_khr_int64_extended_atomics extension to be enabled}}
48// expected-error@-27 {{use of type 'atomic_double' (aka '_Atomic(double)') requires cl_khr_int64_base_atomics extension to be enabled}}
49// expected-error@-28 {{use of type 'atomic_double' (aka '_Atomic(double)') requires cl_khr_int64_extended_atomics extension to be enabled}}
50// expected-error-re@-27 {{use of type 'atomic_intptr_t' (aka '_Atomic({{.+}})') requires cl_khr_int64_base_atomics extension to be enabled}}
51// expected-error-re@-28 {{use of type 'atomic_intptr_t' (aka '_Atomic({{.+}})') requires cl_khr_int64_extended_atomics extension to be enabled}}
52// expected-error-re@-28 {{use of type 'atomic_uintptr_t' (aka '_Atomic({{.+}})') requires cl_khr_int64_base_atomics extension to be enabled}}
53// expected-error-re@-29 {{use of type 'atomic_uintptr_t' (aka '_Atomic({{.+}})') requires cl_khr_int64_extended_atomics extension to be enabled}}
54// expected-error-re@-29 {{use of type 'atomic_size_t' (aka '_Atomic({{.+}})') requires cl_khr_int64_base_atomics extension to be enabled}}
55// expected-error-re@-30 {{use of type 'atomic_size_t' (aka '_Atomic({{.+}})') requires cl_khr_int64_extended_atomics extension to be enabled}}
56// expected-error-re@-30 {{use of type 'atomic_ptrdiff_t' (aka '_Atomic({{.+}})') requires cl_khr_int64_base_atomics extension to be enabled}}
57// expected-error-re@-31 {{use of type 'atomic_ptrdiff_t' (aka '_Atomic({{.+}})') requires cl_khr_int64_extended_atomics extension to be enabled}}
58#endif
59
60#ifdef CL20
61void foo(atomic_int * ptr) {}
62void atomic_ops_test() {
63  atomic_int i;
64  foo(&i);
65// OpenCL v2.0 s6.13.11.8, arithemtic operations are not permitted on atomic types.
66  i++; // expected-error {{invalid argument type 'atomic_int' (aka '_Atomic(int)') to unary expression}}
67  i = 1; // expected-error {{atomic variable can only be assigned to a compile time constant in the declaration statement in the program scope}}
68  i += 1; // expected-error {{invalid operands to binary expression ('atomic_int' (aka '_Atomic(int)') and 'int')}}
69  i = i + i; // expected-error {{invalid operands to binary expression ('atomic_int' (aka '_Atomic(int)') and 'atomic_int')}}
70}
71#endif
72