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 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 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 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 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 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
