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_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
test_fetch_and_op(void)63 void 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
test_op_and_fetch(void)112 void 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
test_compare_and_swap(void)161 void 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
test_lock(void)229 void 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