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 
5 signed char sc;
6 unsigned char uc;
7 signed short ss;
8 unsigned short us;
9 signed int si;
10 unsigned int ui;
11 signed long long sll;
12 unsigned long long ull;
13 
test_op_ignore(void)14 void 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_nand (&sc, 1); // CHECK: atomicrmw nand i8
53   (void) __sync_fetch_and_nand (&uc, 1); // CHECK: atomicrmw nand i8
54   (void) __sync_fetch_and_nand (&ss, 1); // CHECK: atomicrmw nand i16
55   (void) __sync_fetch_and_nand (&us, 1); // CHECK: atomicrmw nand i16
56   (void) __sync_fetch_and_nand (&si, 1); // CHECK: atomicrmw nand i32
57   (void) __sync_fetch_and_nand (&ui, 1); // CHECK: atomicrmw nand i32
58   (void) __sync_fetch_and_nand (&sll, 1); // CHECK: atomicrmw nand i64
59   (void) __sync_fetch_and_nand (&ull, 1); // CHECK: atomicrmw nand i64
60 
61   (void) __sync_fetch_and_and (&sc, 1); // CHECK: atomicrmw and i8
62   (void) __sync_fetch_and_and (&uc, 1); // CHECK: atomicrmw and i8
63   (void) __sync_fetch_and_and (&ss, 1); // CHECK: atomicrmw and i16
64   (void) __sync_fetch_and_and (&us, 1); // CHECK: atomicrmw and i16
65   (void) __sync_fetch_and_and (&si, 1); // CHECK: atomicrmw and i32
66   (void) __sync_fetch_and_and (&ui, 1); // CHECK: atomicrmw and i32
67   (void) __sync_fetch_and_and (&sll, 1); // CHECK: atomicrmw and i64
68   (void) __sync_fetch_and_and (&ull, 1); // CHECK: atomicrmw and i64
69 
70 }
71 
test_fetch_and_op(void)72 void test_fetch_and_op (void) // CHECK-LABEL: define void @test_fetch_and_op
73 {
74   sc = __sync_fetch_and_add (&sc, 11); // CHECK: atomicrmw add
75   uc = __sync_fetch_and_add (&uc, 11); // CHECK: atomicrmw add
76   ss = __sync_fetch_and_add (&ss, 11); // CHECK: atomicrmw add
77   us = __sync_fetch_and_add (&us, 11); // CHECK: atomicrmw add
78   si = __sync_fetch_and_add (&si, 11); // CHECK: atomicrmw add
79   ui = __sync_fetch_and_add (&ui, 11); // CHECK: atomicrmw add
80   sll = __sync_fetch_and_add (&sll, 11); // CHECK: atomicrmw add
81   ull = __sync_fetch_and_add (&ull, 11); // CHECK: atomicrmw add
82 
83   sc = __sync_fetch_and_sub (&sc, 11); // CHECK: atomicrmw sub
84   uc = __sync_fetch_and_sub (&uc, 11); // CHECK: atomicrmw sub
85   ss = __sync_fetch_and_sub (&ss, 11); // CHECK: atomicrmw sub
86   us = __sync_fetch_and_sub (&us, 11); // CHECK: atomicrmw sub
87   si = __sync_fetch_and_sub (&si, 11); // CHECK: atomicrmw sub
88   ui = __sync_fetch_and_sub (&ui, 11); // CHECK: atomicrmw sub
89   sll = __sync_fetch_and_sub (&sll, 11); // CHECK: atomicrmw sub
90   ull = __sync_fetch_and_sub (&ull, 11); // CHECK: atomicrmw sub
91 
92   sc = __sync_fetch_and_or (&sc, 11); // CHECK: atomicrmw or
93   uc = __sync_fetch_and_or (&uc, 11); // CHECK: atomicrmw or
94   ss = __sync_fetch_and_or (&ss, 11); // CHECK: atomicrmw or
95   us = __sync_fetch_and_or (&us, 11); // CHECK: atomicrmw or
96   si = __sync_fetch_and_or (&si, 11); // CHECK: atomicrmw or
97   ui = __sync_fetch_and_or (&ui, 11); // CHECK: atomicrmw or
98   sll = __sync_fetch_and_or (&sll, 11); // CHECK: atomicrmw or
99   ull = __sync_fetch_and_or (&ull, 11); // CHECK: atomicrmw or
100 
101   sc = __sync_fetch_and_xor (&sc, 11); // CHECK: atomicrmw xor
102   uc = __sync_fetch_and_xor (&uc, 11); // CHECK: atomicrmw xor
103   ss = __sync_fetch_and_xor (&ss, 11); // CHECK: atomicrmw xor
104   us = __sync_fetch_and_xor (&us, 11); // CHECK: atomicrmw xor
105   si = __sync_fetch_and_xor (&si, 11); // CHECK: atomicrmw xor
106   ui = __sync_fetch_and_xor (&ui, 11); // CHECK: atomicrmw xor
107   sll = __sync_fetch_and_xor (&sll, 11); // CHECK: atomicrmw xor
108   ull = __sync_fetch_and_xor (&ull, 11); // CHECK: atomicrmw xor
109 
110   sc = __sync_fetch_and_nand (&sc, 11); // CHECK: atomicrmw nand
111   uc = __sync_fetch_and_nand (&uc, 11); // CHECK: atomicrmw nand
112   ss = __sync_fetch_and_nand (&ss, 11); // CHECK: atomicrmw nand
113   us = __sync_fetch_and_nand (&us, 11); // CHECK: atomicrmw nand
114   si = __sync_fetch_and_nand (&si, 11); // CHECK: atomicrmw nand
115   ui = __sync_fetch_and_nand (&ui, 11); // CHECK: atomicrmw nand
116   sll = __sync_fetch_and_nand (&sll, 11); // CHECK: atomicrmw nand
117   ull = __sync_fetch_and_nand (&ull, 11); // CHECK: atomicrmw nand
118 
119   sc = __sync_fetch_and_and (&sc, 11); // CHECK: atomicrmw and
120   uc = __sync_fetch_and_and (&uc, 11); // CHECK: atomicrmw and
121   ss = __sync_fetch_and_and (&ss, 11); // CHECK: atomicrmw and
122   us = __sync_fetch_and_and (&us, 11); // CHECK: atomicrmw and
123   si = __sync_fetch_and_and (&si, 11); // CHECK: atomicrmw and
124   ui = __sync_fetch_and_and (&ui, 11); // CHECK: atomicrmw and
125   sll = __sync_fetch_and_and (&sll, 11); // CHECK: atomicrmw and
126   ull = __sync_fetch_and_and (&ull, 11); // CHECK: atomicrmw and
127 
128 }
129 
test_op_and_fetch(void)130 void test_op_and_fetch (void)
131 {
132   sc = __sync_add_and_fetch (&sc, uc); // CHECK: atomicrmw add
133   uc = __sync_add_and_fetch (&uc, uc); // CHECK: atomicrmw add
134   ss = __sync_add_and_fetch (&ss, uc); // CHECK: atomicrmw add
135   us = __sync_add_and_fetch (&us, uc); // CHECK: atomicrmw add
136   si = __sync_add_and_fetch (&si, uc); // CHECK: atomicrmw add
137   ui = __sync_add_and_fetch (&ui, uc); // CHECK: atomicrmw add
138   sll = __sync_add_and_fetch (&sll, uc); // CHECK: atomicrmw add
139   ull = __sync_add_and_fetch (&ull, uc); // CHECK: atomicrmw add
140 
141   sc = __sync_sub_and_fetch (&sc, uc); // CHECK: atomicrmw sub
142   uc = __sync_sub_and_fetch (&uc, uc); // CHECK: atomicrmw sub
143   ss = __sync_sub_and_fetch (&ss, uc); // CHECK: atomicrmw sub
144   us = __sync_sub_and_fetch (&us, uc); // CHECK: atomicrmw sub
145   si = __sync_sub_and_fetch (&si, uc); // CHECK: atomicrmw sub
146   ui = __sync_sub_and_fetch (&ui, uc); // CHECK: atomicrmw sub
147   sll = __sync_sub_and_fetch (&sll, uc); // CHECK: atomicrmw sub
148   ull = __sync_sub_and_fetch (&ull, uc); // CHECK: atomicrmw sub
149 
150   sc = __sync_or_and_fetch (&sc, uc); // CHECK: atomicrmw or
151   uc = __sync_or_and_fetch (&uc, uc); // CHECK: atomicrmw or
152   ss = __sync_or_and_fetch (&ss, uc); // CHECK: atomicrmw or
153   us = __sync_or_and_fetch (&us, uc); // CHECK: atomicrmw or
154   si = __sync_or_and_fetch (&si, uc); // CHECK: atomicrmw or
155   ui = __sync_or_and_fetch (&ui, uc); // CHECK: atomicrmw or
156   sll = __sync_or_and_fetch (&sll, uc); // CHECK: atomicrmw or
157   ull = __sync_or_and_fetch (&ull, uc); // CHECK: atomicrmw or
158 
159   sc = __sync_xor_and_fetch (&sc, uc); // CHECK: atomicrmw xor
160   uc = __sync_xor_and_fetch (&uc, uc); // CHECK: atomicrmw xor
161   ss = __sync_xor_and_fetch (&ss, uc); // CHECK: atomicrmw xor
162   us = __sync_xor_and_fetch (&us, uc); // CHECK: atomicrmw xor
163   si = __sync_xor_and_fetch (&si, uc); // CHECK: atomicrmw xor
164   ui = __sync_xor_and_fetch (&ui, uc); // CHECK: atomicrmw xor
165   sll = __sync_xor_and_fetch (&sll, uc); // CHECK: atomicrmw xor
166   ull = __sync_xor_and_fetch (&ull, uc); // CHECK: atomicrmw xor
167 
168   sc = __sync_nand_and_fetch (&sc, uc); // CHECK: atomicrmw nand
169                                         // CHECK: and
170                                         // CHECK: xor
171   uc = __sync_nand_and_fetch (&uc, uc); // CHECK: atomicrmw nand
172                                         // CHECK: and
173                                         // CHECK: xor
174   ss = __sync_nand_and_fetch (&ss, uc); // CHECK: atomicrmw nand
175                                         // CHECK: and
176                                         // CHECK: xor
177   us = __sync_nand_and_fetch (&us, uc); // CHECK: atomicrmw nand
178                                         // CHECK: and
179                                         // CHECK: xor
180   si = __sync_nand_and_fetch (&si, uc); // CHECK: atomicrmw nand
181                                         // CHECK: and
182                                         // CHECK: xor
183   ui = __sync_nand_and_fetch (&ui, uc); // CHECK: atomicrmw nand
184                                         // CHECK: and
185                                         // CHECK: xor
186   sll = __sync_nand_and_fetch (&sll, uc); // CHECK: atomicrmw nand
187                                           // CHECK: and
188                                           // CHECK: xor
189   ull = __sync_nand_and_fetch (&ull, uc); // CHECK: atomicrmw nand
190                                           // CHECK: and
191                                           // CHECK: xor
192 
193   sc = __sync_and_and_fetch (&sc, uc); // CHECK: atomicrmw and
194   uc = __sync_and_and_fetch (&uc, uc); // CHECK: atomicrmw and
195   ss = __sync_and_and_fetch (&ss, uc); // CHECK: atomicrmw and
196   us = __sync_and_and_fetch (&us, uc); // CHECK: atomicrmw and
197   si = __sync_and_and_fetch (&si, uc); // CHECK: atomicrmw and
198   ui = __sync_and_and_fetch (&ui, uc); // CHECK: atomicrmw and
199   sll = __sync_and_and_fetch (&sll, uc); // CHECK: atomicrmw and
200   ull = __sync_and_and_fetch (&ull, uc); // CHECK: atomicrmw and
201 
202 }
203 
test_compare_and_swap(void)204 void test_compare_and_swap (void)
205 {
206   sc = __sync_val_compare_and_swap (&sc, uc, sc);
207   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
208   // CHECK: extractvalue { i8, i1 } [[PAIR]], 0
209 
210   uc = __sync_val_compare_and_swap (&uc, uc, sc);
211   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
212   // CHECK: extractvalue { i8, i1 } [[PAIR]], 0
213 
214   ss = __sync_val_compare_and_swap (&ss, uc, sc);
215   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
216   // CHECK: extractvalue { i16, i1 } [[PAIR]], 0
217 
218   us = __sync_val_compare_and_swap (&us, uc, sc);
219   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
220   // CHECK: extractvalue { i16, i1 } [[PAIR]], 0
221 
222   si = __sync_val_compare_and_swap (&si, uc, sc);
223   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
224   // CHECK: extractvalue { i32, i1 } [[PAIR]], 0
225 
226   ui = __sync_val_compare_and_swap (&ui, uc, sc);
227   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
228   // CHECK: extractvalue { i32, i1 } [[PAIR]], 0
229 
230   sll = __sync_val_compare_and_swap (&sll, uc, sc);
231   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
232   // CHECK: extractvalue { i64, i1 } [[PAIR]], 0
233 
234   ull = __sync_val_compare_and_swap (&ull, uc, sc);
235   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
236   // CHECK: extractvalue { i64, i1 } [[PAIR]], 0
237 
238 
239   ui = __sync_bool_compare_and_swap (&sc, uc, sc);
240   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
241   // CHECK: extractvalue { i8, i1 } [[PAIR]], 1
242 
243   ui = __sync_bool_compare_and_swap (&uc, uc, sc);
244   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i8
245   // CHECK: extractvalue { i8, i1 } [[PAIR]], 1
246 
247   ui = __sync_bool_compare_and_swap (&ss, uc, sc);
248   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
249   // CHECK: extractvalue { i16, i1 } [[PAIR]], 1
250 
251   ui = __sync_bool_compare_and_swap (&us, uc, sc);
252   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i16
253   // CHECK: extractvalue { i16, i1 } [[PAIR]], 1
254 
255   ui = __sync_bool_compare_and_swap (&si, uc, sc);
256   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
257   // CHECK: extractvalue { i32, i1 } [[PAIR]], 1
258 
259   ui = __sync_bool_compare_and_swap (&ui, uc, sc);
260   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i32
261   // CHECK: extractvalue { i32, i1 } [[PAIR]], 1
262 
263   ui = __sync_bool_compare_and_swap (&sll, uc, sc);
264   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
265   // CHECK: extractvalue { i64, i1 } [[PAIR]], 1
266 
267   ui = __sync_bool_compare_and_swap (&ull, uc, sc);
268   // CHECK: [[PAIR:%[a-z0-9._]+]] = cmpxchg i64
269   // CHECK: extractvalue { i64, i1 } [[PAIR]], 1
270 }
271 
test_lock(void)272 void test_lock (void)
273 {
274   sc = __sync_lock_test_and_set (&sc, 1); // CHECK: atomicrmw xchg i8
275   uc = __sync_lock_test_and_set (&uc, 1); // CHECK: atomicrmw xchg i8
276   ss = __sync_lock_test_and_set (&ss, 1); // CHECK: atomicrmw xchg i16
277   us = __sync_lock_test_and_set (&us, 1); // CHECK: atomicrmw xchg i16
278   si = __sync_lock_test_and_set (&si, 1); // CHECK: atomicrmw xchg i32
279   ui = __sync_lock_test_and_set (&ui, 1); // CHECK: atomicrmw xchg i32
280   sll = __sync_lock_test_and_set (&sll, 1); // CHECK: atomicrmw xchg i64
281   ull = __sync_lock_test_and_set (&ull, 1); // CHECK: atomicrmw xchg i64
282 
283   __sync_synchronize (); // CHECK: fence seq_cst
284 
285   __sync_lock_release (&sc); // CHECK: store atomic {{.*}} release, align 1
286   __sync_lock_release (&uc); // CHECK: store atomic {{.*}} release, align 1
287   __sync_lock_release (&ss); // CHECK: store atomic {{.*}} release, align 2
288   __sync_lock_release (&us); /// CHECK: store atomic {{.*}} release, align 2
289   __sync_lock_release (&si); // CHECK: store atomic {{.*}} release, align 4
290   __sync_lock_release (&ui); // CHECK: store atomic {{.*}} release, align 4
291   __sync_lock_release (&sll); // CHECK: store atomic {{.*}} release, align 8
292   __sync_lock_release (&ull); // CHECK: store atomic {{.*}} release, align 8
293 }
294