1// RUN: %clang_cc1 %s -verify -fsyntax-only -triple=i686-linux-gnu
2
3// Basic parsing/Sema tests for __c11_atomic_*
4
5typedef enum memory_order {
6  memory_order_relaxed, memory_order_consume, memory_order_acquire,
7  memory_order_release, memory_order_acq_rel, memory_order_seq_cst
8} memory_order;
9
10struct S { char c[3]; };
11
12_Static_assert(__GCC_ATOMIC_BOOL_LOCK_FREE == 2, "");
13_Static_assert(__GCC_ATOMIC_CHAR_LOCK_FREE == 2, "");
14_Static_assert(__GCC_ATOMIC_CHAR16_T_LOCK_FREE == 2, "");
15_Static_assert(__GCC_ATOMIC_CHAR32_T_LOCK_FREE == 2, "");
16_Static_assert(__GCC_ATOMIC_WCHAR_T_LOCK_FREE == 2, "");
17_Static_assert(__GCC_ATOMIC_SHORT_LOCK_FREE == 2, "");
18_Static_assert(__GCC_ATOMIC_INT_LOCK_FREE == 2, "");
19_Static_assert(__GCC_ATOMIC_LONG_LOCK_FREE == 2, "");
20_Static_assert(__GCC_ATOMIC_LLONG_LOCK_FREE == 1, "");
21_Static_assert(__GCC_ATOMIC_POINTER_LOCK_FREE == 2, "");
22
23_Static_assert(__c11_atomic_is_lock_free(1), "");
24_Static_assert(__c11_atomic_is_lock_free(2), "");
25_Static_assert(__c11_atomic_is_lock_free(3), ""); // expected-error {{not an integral constant expression}}
26_Static_assert(__c11_atomic_is_lock_free(4), "");
27_Static_assert(__c11_atomic_is_lock_free(8), "");
28_Static_assert(__c11_atomic_is_lock_free(16), ""); // expected-error {{not an integral constant expression}}
29_Static_assert(__c11_atomic_is_lock_free(17), ""); // expected-error {{not an integral constant expression}}
30
31_Static_assert(__atomic_is_lock_free(1, 0), "");
32_Static_assert(__atomic_is_lock_free(2, 0), "");
33_Static_assert(__atomic_is_lock_free(3, 0), ""); // expected-error {{not an integral constant expression}}
34_Static_assert(__atomic_is_lock_free(4, 0), "");
35_Static_assert(__atomic_is_lock_free(8, 0), "");
36_Static_assert(__atomic_is_lock_free(16, 0), ""); // expected-error {{not an integral constant expression}}
37_Static_assert(__atomic_is_lock_free(17, 0), ""); // expected-error {{not an integral constant expression}}
38
39char i8;
40short i16;
41int i32;
42int __attribute__((vector_size(8))) i64;
43struct Incomplete *incomplete;
44
45_Static_assert(__atomic_is_lock_free(1, &i8), "");
46_Static_assert(__atomic_is_lock_free(1, &i64), "");
47_Static_assert(__atomic_is_lock_free(2, &i8), ""); // expected-error {{not an integral constant expression}}
48_Static_assert(__atomic_is_lock_free(2, &i16), "");
49_Static_assert(__atomic_is_lock_free(2, &i64), "");
50_Static_assert(__atomic_is_lock_free(4, &i16), ""); // expected-error {{not an integral constant expression}}
51_Static_assert(__atomic_is_lock_free(4, &i32), "");
52_Static_assert(__atomic_is_lock_free(4, &i64), "");
53_Static_assert(__atomic_is_lock_free(8, &i32), ""); // expected-error {{not an integral constant expression}}
54_Static_assert(__atomic_is_lock_free(8, &i64), "");
55
56_Static_assert(__atomic_always_lock_free(1, 0), "");
57_Static_assert(__atomic_always_lock_free(2, 0), "");
58_Static_assert(!__atomic_always_lock_free(3, 0), "");
59_Static_assert(__atomic_always_lock_free(4, 0), "");
60_Static_assert(__atomic_always_lock_free(8, 0), "");
61_Static_assert(!__atomic_always_lock_free(16, 0), "");
62_Static_assert(!__atomic_always_lock_free(17, 0), "");
63
64_Static_assert(__atomic_always_lock_free(1, incomplete), "");
65_Static_assert(!__atomic_always_lock_free(2, incomplete), "");
66_Static_assert(!__atomic_always_lock_free(4, incomplete), "");
67
68_Static_assert(__atomic_always_lock_free(1, &i8), "");
69_Static_assert(__atomic_always_lock_free(1, &i64), "");
70_Static_assert(!__atomic_always_lock_free(2, &i8), "");
71_Static_assert(__atomic_always_lock_free(2, &i16), "");
72_Static_assert(__atomic_always_lock_free(2, &i64), "");
73_Static_assert(!__atomic_always_lock_free(4, &i16), "");
74_Static_assert(__atomic_always_lock_free(4, &i32), "");
75_Static_assert(__atomic_always_lock_free(4, &i64), "");
76_Static_assert(!__atomic_always_lock_free(8, &i32), "");
77_Static_assert(__atomic_always_lock_free(8, &i64), "");
78
79void f(_Atomic(int) *i, _Atomic(int*) *p, _Atomic(float) *d,
80       int *I, int **P, float *D, struct S *s1, struct S *s2) {
81  __c11_atomic_init(I, 5); // expected-error {{pointer to _Atomic}}
82  __c11_atomic_load(0); // expected-error {{too few arguments to function}}
83  __c11_atomic_load(0,0,0); // expected-error {{too many arguments to function}}
84  __c11_atomic_store(0,0,0); // expected-error {{first argument to atomic builtin must be a pointer}}
85  __c11_atomic_store((int*)0,0,0); // expected-error {{first argument to atomic operation must be a pointer to _Atomic}}
86
87  __c11_atomic_load(i, memory_order_seq_cst);
88  __c11_atomic_load(p, memory_order_seq_cst);
89  __c11_atomic_load(d, memory_order_seq_cst);
90
91  int load_n_1 = __atomic_load_n(I, memory_order_relaxed);
92  int *load_n_2 = __atomic_load_n(P, memory_order_relaxed);
93  float load_n_3 = __atomic_load_n(D, memory_order_relaxed); // expected-error {{must be a pointer to integer or pointer}}
94  __atomic_load_n(s1, memory_order_relaxed); // expected-error {{must be a pointer to integer or pointer}}
95
96  __atomic_load(i, I, memory_order_relaxed); // expected-error {{must be a pointer to a trivially-copyable type}}
97  __atomic_load(I, i, memory_order_relaxed); // expected-warning {{passing '_Atomic(int) *' to parameter of type 'int *'}}
98  __atomic_load(I, *P, memory_order_relaxed);
99  __atomic_load(I, *P, memory_order_relaxed, 42); // expected-error {{too many arguments}}
100  (int)__atomic_load(I, I, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
101  __atomic_load(s1, s2, memory_order_acquire);
102
103  __c11_atomic_store(i, 1, memory_order_seq_cst);
104  __c11_atomic_store(p, 1, memory_order_seq_cst); // expected-warning {{incompatible integer to pointer conversion}}
105  (int)__c11_atomic_store(d, 1, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
106
107  __atomic_store_n(I, 4, memory_order_release);
108  __atomic_store_n(I, 4.0, memory_order_release);
109  __atomic_store_n(I, P, memory_order_release); // expected-warning {{parameter of type 'int'}}
110  __atomic_store_n(i, 1, memory_order_release); // expected-error {{must be a pointer to integer or pointer}}
111  __atomic_store_n(s1, *s2, memory_order_release); // expected-error {{must be a pointer to integer or pointer}}
112
113  __atomic_store(I, *P, memory_order_release);
114  __atomic_store(s1, s2, memory_order_release);
115  __atomic_store(i, I, memory_order_release); // expected-error {{trivially-copyable}}
116
117  int exchange_1 = __c11_atomic_exchange(i, 1, memory_order_seq_cst);
118  int exchange_2 = __c11_atomic_exchange(I, 1, memory_order_seq_cst); // expected-error {{must be a pointer to _Atomic}}
119  int exchange_3 = __atomic_exchange_n(i, 1, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
120  int exchange_4 = __atomic_exchange_n(I, 1, memory_order_seq_cst);
121
122  __atomic_exchange(s1, s2, s2, memory_order_seq_cst);
123  __atomic_exchange(s1, I, P, memory_order_seq_cst); // expected-warning 2{{parameter of type 'struct S *'}}
124  (int)__atomic_exchange(s1, s2, s2, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
125
126  __c11_atomic_fetch_add(i, 1, memory_order_seq_cst);
127  __c11_atomic_fetch_add(p, 1, memory_order_seq_cst);
128  __c11_atomic_fetch_add(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer or pointer}}
129
130  __atomic_fetch_add(i, 3, memory_order_seq_cst); // expected-error {{pointer to integer or pointer}}
131  __atomic_fetch_sub(I, 3, memory_order_seq_cst);
132  __atomic_fetch_sub(P, 3, memory_order_seq_cst);
133  __atomic_fetch_sub(D, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
134  __atomic_fetch_sub(s1, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer or pointer}}
135
136  __c11_atomic_fetch_and(i, 1, memory_order_seq_cst);
137  __c11_atomic_fetch_and(p, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}}
138  __c11_atomic_fetch_and(d, 1, memory_order_seq_cst); // expected-error {{must be a pointer to atomic integer}}
139
140  __atomic_fetch_and(i, 3, memory_order_seq_cst); // expected-error {{pointer to integer}}
141  __atomic_fetch_or(I, 3, memory_order_seq_cst);
142  __atomic_fetch_xor(P, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
143  __atomic_fetch_or(D, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
144  __atomic_fetch_and(s1, 3, memory_order_seq_cst); // expected-error {{must be a pointer to integer}}
145
146  _Bool cmpexch_1 = __c11_atomic_compare_exchange_strong(i, 0, 1, memory_order_seq_cst, memory_order_seq_cst);
147  _Bool cmpexch_2 = __c11_atomic_compare_exchange_strong(p, 0, (int*)1, memory_order_seq_cst, memory_order_seq_cst);
148  _Bool cmpexch_3 = __c11_atomic_compare_exchange_strong(d, (int*)0, 1, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{incompatible pointer types}}
149
150  _Bool cmpexch_4 = __atomic_compare_exchange_n(I, I, 5, 1, memory_order_seq_cst, memory_order_seq_cst);
151  _Bool cmpexch_5 = __atomic_compare_exchange_n(I, P, 5, 0, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{; dereference with *}}
152  _Bool cmpexch_6 = __atomic_compare_exchange_n(I, I, P, 0, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{passing 'int **' to parameter of type 'int'}}
153
154  _Bool cmpexch_7 = __atomic_compare_exchange(I, I, 5, 1, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{passing 'int' to parameter of type 'int *'}}
155  _Bool cmpexch_8 = __atomic_compare_exchange(I, P, I, 0, memory_order_seq_cst, memory_order_seq_cst); // expected-warning {{; dereference with *}}
156  _Bool cmpexch_9 = __atomic_compare_exchange(I, I, I, 0, memory_order_seq_cst, memory_order_seq_cst);
157
158  const volatile int flag_k = 0;
159  volatile int flag = 0;
160  (void)(int)__atomic_test_and_set(&flag_k, memory_order_seq_cst); // expected-warning {{passing 'const volatile int *' to parameter of type 'volatile void *'}}
161  (void)(int)__atomic_test_and_set(&flag, memory_order_seq_cst);
162  __atomic_clear(&flag_k, memory_order_seq_cst); // expected-warning {{passing 'const volatile int *' to parameter of type 'volatile void *'}}
163  __atomic_clear(&flag, memory_order_seq_cst);
164  (int)__atomic_clear(&flag, memory_order_seq_cst); // expected-error {{operand of type 'void'}}
165}
166