1// Test frontend handling of __sync builtins.
2// Modified from a gcc testcase.
3// RUN: %clang_cc1 -triple x86_64-apple-darwin -emit-llvm %s -o - | FileCheck %s
4
5signed char sc;
6unsigned char uc;
7signed short ss;
8unsigned short us;
9signed int si;
10unsigned int ui;
11signed long long sll;
12unsigned long long ull;
13
14void test_op_ignore (void) // CHECK-LABEL: define void @test_op_ignore
15{
16  (void) __sync_fetch_and_add (&sc, 1); // CHECK: atomicrmw add i8
17  (void) __sync_fetch_and_add (&uc, 1); // CHECK: atomicrmw add i8
18  (void) __sync_fetch_and_add (&ss, 1); // CHECK: atomicrmw add i16
19  (void) __sync_fetch_and_add (&us, 1); // CHECK: atomicrmw add i16
20  (void) __sync_fetch_and_add (&si, 1); // CHECK: atomicrmw add i32
21  (void) __sync_fetch_and_add (&ui, 1); // CHECK: atomicrmw add i32
22  (void) __sync_fetch_and_add (&sll, 1); // CHECK: atomicrmw add i64
23  (void) __sync_fetch_and_add (&ull, 1); // CHECK: atomicrmw add i64
24
25  (void) __sync_fetch_and_sub (&sc, 1); // CHECK: atomicrmw sub i8
26  (void) __sync_fetch_and_sub (&uc, 1); // CHECK: atomicrmw sub i8
27  (void) __sync_fetch_and_sub (&ss, 1); // CHECK: atomicrmw sub i16
28  (void) __sync_fetch_and_sub (&us, 1); // CHECK: atomicrmw sub i16
29  (void) __sync_fetch_and_sub (&si, 1); // CHECK: atomicrmw sub i32
30  (void) __sync_fetch_and_sub (&ui, 1); // CHECK: atomicrmw sub i32
31  (void) __sync_fetch_and_sub (&sll, 1); // CHECK: atomicrmw sub i64
32  (void) __sync_fetch_and_sub (&ull, 1); // CHECK: atomicrmw sub i64
33
34  (void) __sync_fetch_and_or (&sc, 1); // CHECK: atomicrmw or i8
35  (void) __sync_fetch_and_or (&uc, 1); // CHECK: atomicrmw or i8
36  (void) __sync_fetch_and_or (&ss, 1); // CHECK: atomicrmw or i16
37  (void) __sync_fetch_and_or (&us, 1); // CHECK: atomicrmw or i16
38  (void) __sync_fetch_and_or (&si, 1); // CHECK: atomicrmw or i32
39  (void) __sync_fetch_and_or (&ui, 1); // CHECK: atomicrmw or i32
40  (void) __sync_fetch_and_or (&sll, 1); // CHECK: atomicrmw or i64
41  (void) __sync_fetch_and_or (&ull, 1); // CHECK: atomicrmw or i64
42
43  (void) __sync_fetch_and_xor (&sc, 1); // CHECK: atomicrmw xor i8
44  (void) __sync_fetch_and_xor (&uc, 1); // CHECK: atomicrmw xor i8
45  (void) __sync_fetch_and_xor (&ss, 1); // CHECK: atomicrmw xor i16
46  (void) __sync_fetch_and_xor (&us, 1); // CHECK: atomicrmw xor i16
47  (void) __sync_fetch_and_xor (&si, 1); // CHECK: atomicrmw xor i32
48  (void) __sync_fetch_and_xor (&ui, 1); // CHECK: atomicrmw xor i32
49  (void) __sync_fetch_and_xor (&sll, 1); // CHECK: atomicrmw xor i64
50  (void) __sync_fetch_and_xor (&ull, 1); // CHECK: atomicrmw xor i64
51
52  (void) __sync_fetch_and_and (&sc, 1); // CHECK: atomicrmw and i8
53  (void) __sync_fetch_and_and (&uc, 1); // CHECK: atomicrmw and i8
54  (void) __sync_fetch_and_and (&ss, 1); // CHECK: atomicrmw and i16
55  (void) __sync_fetch_and_and (&us, 1); // CHECK: atomicrmw and i16
56  (void) __sync_fetch_and_and (&si, 1); // CHECK: atomicrmw and i32
57  (void) __sync_fetch_and_and (&ui, 1); // CHECK: atomicrmw and i32
58  (void) __sync_fetch_and_and (&sll, 1); // CHECK: atomicrmw and i64
59  (void) __sync_fetch_and_and (&ull, 1); // CHECK: atomicrmw and i64
60
61}
62
63void test_fetch_and_op (void) // CHECK-LABEL: define void @test_fetch_and_op
64{
65  sc = __sync_fetch_and_add (&sc, 11); // CHECK: atomicrmw add
66  uc = __sync_fetch_and_add (&uc, 11); // CHECK: atomicrmw add
67  ss = __sync_fetch_and_add (&ss, 11); // CHECK: atomicrmw add
68  us = __sync_fetch_and_add (&us, 11); // CHECK: atomicrmw add
69  si = __sync_fetch_and_add (&si, 11); // CHECK: atomicrmw add
70  ui = __sync_fetch_and_add (&ui, 11); // CHECK: atomicrmw add
71  sll = __sync_fetch_and_add (&sll, 11); // CHECK: atomicrmw add
72  ull = __sync_fetch_and_add (&ull, 11); // CHECK: atomicrmw add
73
74  sc = __sync_fetch_and_sub (&sc, 11); // CHECK: atomicrmw sub
75  uc = __sync_fetch_and_sub (&uc, 11); // CHECK: atomicrmw sub
76  ss = __sync_fetch_and_sub (&ss, 11); // CHECK: atomicrmw sub
77  us = __sync_fetch_and_sub (&us, 11); // CHECK: atomicrmw sub
78  si = __sync_fetch_and_sub (&si, 11); // CHECK: atomicrmw sub
79  ui = __sync_fetch_and_sub (&ui, 11); // CHECK: atomicrmw sub
80  sll = __sync_fetch_and_sub (&sll, 11); // CHECK: atomicrmw sub
81  ull = __sync_fetch_and_sub (&ull, 11); // CHECK: atomicrmw sub
82
83  sc = __sync_fetch_and_or (&sc, 11); // CHECK: atomicrmw or
84  uc = __sync_fetch_and_or (&uc, 11); // CHECK: atomicrmw or
85  ss = __sync_fetch_and_or (&ss, 11); // CHECK: atomicrmw or
86  us = __sync_fetch_and_or (&us, 11); // CHECK: atomicrmw or
87  si = __sync_fetch_and_or (&si, 11); // CHECK: atomicrmw or
88  ui = __sync_fetch_and_or (&ui, 11); // CHECK: atomicrmw or
89  sll = __sync_fetch_and_or (&sll, 11); // CHECK: atomicrmw or
90  ull = __sync_fetch_and_or (&ull, 11); // CHECK: atomicrmw or
91
92  sc = __sync_fetch_and_xor (&sc, 11); // CHECK: atomicrmw xor
93  uc = __sync_fetch_and_xor (&uc, 11); // CHECK: atomicrmw xor
94  ss = __sync_fetch_and_xor (&ss, 11); // CHECK: atomicrmw xor
95  us = __sync_fetch_and_xor (&us, 11); // CHECK: atomicrmw xor
96  si = __sync_fetch_and_xor (&si, 11); // CHECK: atomicrmw xor
97  ui = __sync_fetch_and_xor (&ui, 11); // CHECK: atomicrmw xor
98  sll = __sync_fetch_and_xor (&sll, 11); // CHECK: atomicrmw xor
99  ull = __sync_fetch_and_xor (&ull, 11); // CHECK: atomicrmw xor
100
101  sc = __sync_fetch_and_and (&sc, 11); // CHECK: atomicrmw and
102  uc = __sync_fetch_and_and (&uc, 11); // CHECK: atomicrmw and
103  ss = __sync_fetch_and_and (&ss, 11); // CHECK: atomicrmw and
104  us = __sync_fetch_and_and (&us, 11); // CHECK: atomicrmw and
105  si = __sync_fetch_and_and (&si, 11); // CHECK: atomicrmw and
106  ui = __sync_fetch_and_and (&ui, 11); // CHECK: atomicrmw and
107  sll = __sync_fetch_and_and (&sll, 11); // CHECK: atomicrmw and
108  ull = __sync_fetch_and_and (&ull, 11); // CHECK: atomicrmw and
109
110}
111
112void test_op_and_fetch (void)
113{
114  sc = __sync_add_and_fetch (&sc, uc); // CHECK: atomicrmw add
115  uc = __sync_add_and_fetch (&uc, uc); // CHECK: atomicrmw add
116  ss = __sync_add_and_fetch (&ss, uc); // CHECK: atomicrmw add
117  us = __sync_add_and_fetch (&us, uc); // CHECK: atomicrmw add
118  si = __sync_add_and_fetch (&si, uc); // CHECK: atomicrmw add
119  ui = __sync_add_and_fetch (&ui, uc); // CHECK: atomicrmw add
120  sll = __sync_add_and_fetch (&sll, uc); // CHECK: atomicrmw add
121  ull = __sync_add_and_fetch (&ull, uc); // CHECK: atomicrmw add
122
123  sc = __sync_sub_and_fetch (&sc, uc); // CHECK: atomicrmw sub
124  uc = __sync_sub_and_fetch (&uc, uc); // CHECK: atomicrmw sub
125  ss = __sync_sub_and_fetch (&ss, uc); // CHECK: atomicrmw sub
126  us = __sync_sub_and_fetch (&us, uc); // CHECK: atomicrmw sub
127  si = __sync_sub_and_fetch (&si, uc); // CHECK: atomicrmw sub
128  ui = __sync_sub_and_fetch (&ui, uc); // CHECK: atomicrmw sub
129  sll = __sync_sub_and_fetch (&sll, uc); // CHECK: atomicrmw sub
130  ull = __sync_sub_and_fetch (&ull, uc); // CHECK: atomicrmw sub
131
132  sc = __sync_or_and_fetch (&sc, uc); // CHECK: atomicrmw or
133  uc = __sync_or_and_fetch (&uc, uc); // CHECK: atomicrmw or
134  ss = __sync_or_and_fetch (&ss, uc); // CHECK: atomicrmw or
135  us = __sync_or_and_fetch (&us, uc); // CHECK: atomicrmw or
136  si = __sync_or_and_fetch (&si, uc); // CHECK: atomicrmw or
137  ui = __sync_or_and_fetch (&ui, uc); // CHECK: atomicrmw or
138  sll = __sync_or_and_fetch (&sll, uc); // CHECK: atomicrmw or
139  ull = __sync_or_and_fetch (&ull, uc); // CHECK: atomicrmw or
140
141  sc = __sync_xor_and_fetch (&sc, uc); // CHECK: atomicrmw xor
142  uc = __sync_xor_and_fetch (&uc, uc); // CHECK: atomicrmw xor
143  ss = __sync_xor_and_fetch (&ss, uc); // CHECK: atomicrmw xor
144  us = __sync_xor_and_fetch (&us, uc); // CHECK: atomicrmw xor
145  si = __sync_xor_and_fetch (&si, uc); // CHECK: atomicrmw xor
146  ui = __sync_xor_and_fetch (&ui, uc); // CHECK: atomicrmw xor
147  sll = __sync_xor_and_fetch (&sll, uc); // CHECK: atomicrmw xor
148  ull = __sync_xor_and_fetch (&ull, uc); // CHECK: atomicrmw xor
149
150  sc = __sync_and_and_fetch (&sc, uc); // CHECK: atomicrmw and
151  uc = __sync_and_and_fetch (&uc, uc); // CHECK: atomicrmw and
152  ss = __sync_and_and_fetch (&ss, uc); // CHECK: atomicrmw and
153  us = __sync_and_and_fetch (&us, uc); // CHECK: atomicrmw and
154  si = __sync_and_and_fetch (&si, uc); // CHECK: atomicrmw and
155  ui = __sync_and_and_fetch (&ui, uc); // CHECK: atomicrmw and
156  sll = __sync_and_and_fetch (&sll, uc); // CHECK: atomicrmw and
157  ull = __sync_and_and_fetch (&ull, uc); // CHECK: atomicrmw and
158
159}
160
161void test_compare_and_swap (void)
162{
163  sc = __sync_val_compare_and_swap (&sc, uc, sc);
164  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
165  // CHECK: extractvalue { i8, i1 } [[PAIR]], 0
166
167  uc = __sync_val_compare_and_swap (&uc, uc, sc);
168  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
169  // CHECK: extractvalue { i8, i1 } [[PAIR]], 0
170
171  ss = __sync_val_compare_and_swap (&ss, uc, sc);
172  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
173  // CHECK: extractvalue { i16, i1 } [[PAIR]], 0
174
175  us = __sync_val_compare_and_swap (&us, uc, sc);
176  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
177  // CHECK: extractvalue { i16, i1 } [[PAIR]], 0
178
179  si = __sync_val_compare_and_swap (&si, uc, sc);
180  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
181  // CHECK: extractvalue { i32, i1 } [[PAIR]], 0
182
183  ui = __sync_val_compare_and_swap (&ui, uc, sc);
184  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
185  // CHECK: extractvalue { i32, i1 } [[PAIR]], 0
186
187  sll = __sync_val_compare_and_swap (&sll, uc, sc);
188  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
189  // CHECK: extractvalue { i64, i1 } [[PAIR]], 0
190
191  ull = __sync_val_compare_and_swap (&ull, uc, sc);
192  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
193  // CHECK: extractvalue { i64, i1 } [[PAIR]], 0
194
195
196  ui = __sync_bool_compare_and_swap (&sc, uc, sc);
197  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
198  // CHECK: extractvalue { i8, i1 } [[PAIR]], 1
199
200  ui = __sync_bool_compare_and_swap (&uc, uc, sc);
201  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
202  // CHECK: extractvalue { i8, i1 } [[PAIR]], 1
203
204  ui = __sync_bool_compare_and_swap (&ss, uc, sc);
205  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
206  // CHECK: extractvalue { i16, i1 } [[PAIR]], 1
207
208  ui = __sync_bool_compare_and_swap (&us, uc, sc);
209  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
210  // CHECK: extractvalue { i16, i1 } [[PAIR]], 1
211
212  ui = __sync_bool_compare_and_swap (&si, uc, sc);
213  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
214  // CHECK: extractvalue { i32, i1 } [[PAIR]], 1
215
216  ui = __sync_bool_compare_and_swap (&ui, uc, sc);
217  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
218  // CHECK: extractvalue { i32, i1 } [[PAIR]], 1
219
220  ui = __sync_bool_compare_and_swap (&sll, uc, sc);
221  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
222  // CHECK: extractvalue { i64, i1 } [[PAIR]], 1
223
224  ui = __sync_bool_compare_and_swap (&ull, uc, sc);
225  // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
226  // CHECK: extractvalue { i64, i1 } [[PAIR]], 1
227}
228
229void test_lock (void)
230{
231  sc = __sync_lock_test_and_set (&sc, 1); // CHECK: atomicrmw xchg i8
232  uc = __sync_lock_test_and_set (&uc, 1); // CHECK: atomicrmw xchg i8
233  ss = __sync_lock_test_and_set (&ss, 1); // CHECK: atomicrmw xchg i16
234  us = __sync_lock_test_and_set (&us, 1); // CHECK: atomicrmw xchg i16
235  si = __sync_lock_test_and_set (&si, 1); // CHECK: atomicrmw xchg i32
236  ui = __sync_lock_test_and_set (&ui, 1); // CHECK: atomicrmw xchg i32
237  sll = __sync_lock_test_and_set (&sll, 1); // CHECK: atomicrmw xchg i64
238  ull = __sync_lock_test_and_set (&ull, 1); // CHECK: atomicrmw xchg i64
239
240  __sync_synchronize (); // CHECK: fence seq_cst
241
242  __sync_lock_release (&sc); // CHECK: store atomic {{.*}} release, align 1
243  __sync_lock_release (&uc); // CHECK: store atomic {{.*}} release, align 1
244  __sync_lock_release (&ss); // CHECK: store atomic {{.*}} release, align 2
245  __sync_lock_release (&us); /// CHECK: store atomic {{.*}} release, align 2
246  __sync_lock_release (&si); // CHECK: store atomic {{.*}} release, align 4
247  __sync_lock_release (&ui); // CHECK: store atomic {{.*}} release, align 4
248  __sync_lock_release (&sll); // CHECK: store atomic {{.*}} release, align 8
249  __sync_lock_release (&ull); // CHECK: store atomic {{.*}} release, align 8
250}
251