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: 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: 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); // CHECK: cmpxchg i8
164 uc = __sync_val_compare_and_swap (&uc, uc, sc); // CHECK: cmpxchg i8
165 ss = __sync_val_compare_and_swap (&ss, uc, sc); // CHECK: cmpxchg i16
166 us = __sync_val_compare_and_swap (&us, uc, sc); // CHECK: cmpxchg i16
167 si = __sync_val_compare_and_swap (&si, uc, sc); // CHECK: cmpxchg i32
168 ui = __sync_val_compare_and_swap (&ui, uc, sc); // CHECK: cmpxchg i32
169 sll = __sync_val_compare_and_swap (&sll, uc, sc); // CHECK: cmpxchg i64
170 ull = __sync_val_compare_and_swap (&ull, uc, sc); // CHECK: cmpxchg i64
171
172 ui = __sync_bool_compare_and_swap (&sc, uc, sc); // CHECK: cmpxchg
173 ui = __sync_bool_compare_and_swap (&uc, uc, sc); // CHECK: cmpxchg
174 ui = __sync_bool_compare_and_swap (&ss, uc, sc); // CHECK: cmpxchg
175 ui = __sync_bool_compare_and_swap (&us, uc, sc); // CHECK: cmpxchg
176 ui = __sync_bool_compare_and_swap (&si, uc, sc); // CHECK: cmpxchg
177 ui = __sync_bool_compare_and_swap (&ui, uc, sc); // CHECK: cmpxchg
178 ui = __sync_bool_compare_and_swap (&sll, uc, sc); // CHECK: cmpxchg
179 ui = __sync_bool_compare_and_swap (&ull, uc, sc); // CHECK: cmpxchg
180 }
181
test_lock(void)182 void test_lock (void)
183 {
184 sc = __sync_lock_test_and_set (&sc, 1); // CHECK: atomicrmw xchg i8
185 uc = __sync_lock_test_and_set (&uc, 1); // CHECK: atomicrmw xchg i8
186 ss = __sync_lock_test_and_set (&ss, 1); // CHECK: atomicrmw xchg i16
187 us = __sync_lock_test_and_set (&us, 1); // CHECK: atomicrmw xchg i16
188 si = __sync_lock_test_and_set (&si, 1); // CHECK: atomicrmw xchg i32
189 ui = __sync_lock_test_and_set (&ui, 1); // CHECK: atomicrmw xchg i32
190 sll = __sync_lock_test_and_set (&sll, 1); // CHECK: atomicrmw xchg i64
191 ull = __sync_lock_test_and_set (&ull, 1); // CHECK: atomicrmw xchg i64
192
193 __sync_synchronize (); // CHECK: fence seq_cst
194
195 __sync_lock_release (&sc); // CHECK: store atomic {{.*}} release, align 1
196 __sync_lock_release (&uc); // CHECK: store atomic {{.*}} release, align 1
197 __sync_lock_release (&ss); // CHECK: store atomic {{.*}} release, align 2
198 __sync_lock_release (&us); /// CHECK: store atomic {{.*}} release, align 2
199 __sync_lock_release (&si); // CHECK: store atomic {{.*}} release, align 4
200 __sync_lock_release (&ui); // CHECK: store atomic {{.*}} release, align 4
201 __sync_lock_release (&sll); // CHECK: store atomic {{.*}} release, align 8
202 __sync_lock_release (&ull); // CHECK: store atomic {{.*}} release, align 8
203 }
204