1c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner// RUN: %clang_cc1 %s -emit-llvm -o - -triple=i686-apple-darwin9 | FileCheck %s 2c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 3c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattnerint atomic(void) { 4eb4f81e174b11633f7b85f555ea5d2834d6dae8aDaniel Dunbar // non-sensical test for sync functions 51ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang int old; 61ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang int val = 1; 75caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner char valc = 1; 8db4325b098eff5e9e660db19f0148423fb21f27fChandler Carruth _Bool valb = 0; 91ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang unsigned int uval = 1; 101ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang int cmp = 0; 11ff993202abf6f5dc41c584c7103f5d39f248b3ddEli Friedman int* ptrval; 121ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang 131ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_fetch_and_add(&val, 1); 14c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw add i32* %val, i32 1 seq_cst 15c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 165caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner old = __sync_fetch_and_sub(&valc, 2); 17c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw sub i8* %valc, i8 2 seq_cst 18c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 191ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_fetch_and_min(&val, 3); 20c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw min i32* %val, i32 3 seq_cst 21c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 221ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_fetch_and_max(&val, 4); 23c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw max i32* %val, i32 4 seq_cst 24c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 251ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_fetch_and_umin(&uval, 5u); 26c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw umin i32* %uval, i32 5 seq_cst 27c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 281ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_fetch_and_umax(&uval, 6u); 29c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw umax i32* %uval, i32 6 seq_cst 30c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 311ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_lock_test_and_set(&val, 7); 32c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw xchg i32* %val, i32 7 seq_cst 33c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 3423aa9c8ca0bc441aab2a38a4c9fc7a1c9e9ac16aChris Lattner old = __sync_swap(&val, 8); 35c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw xchg i32* %val, i32 8 seq_cst 3623aa9c8ca0bc441aab2a38a4c9fc7a1c9e9ac16aChris Lattner 371ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_val_compare_and_swap(&val, 4, 1976); 38ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: [[PAIR:%[a-z0-9_.]+]] = cmpxchg i32* %val, i32 4, i32 1976 seq_cst 39ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: extractvalue { i32, i1 } [[PAIR]], 0 40ef8225444452a1486bd721f3285301fe84643b00Stephen Hines 410002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar old = __sync_bool_compare_and_swap(&val, 4, 1976); 42ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: [[PAIR:%[a-z0-9_.]+]] = cmpxchg i32* %val, i32 4, i32 1976 seq_cst 43ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: extractvalue { i32, i1 } [[PAIR]], 1 44c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 451ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_fetch_and_and(&val, 0x9); 46c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw and i32* %val, i32 9 seq_cst 47c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 481ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang old = __sync_fetch_and_or(&val, 0xa); 49c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw or i32* %val, i32 10 seq_cst 500002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar 51c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner old = __sync_fetch_and_xor(&val, 0xb); 52c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw xor i32* %val, i32 11 seq_cst 53c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 540002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar old = __sync_add_and_fetch(&val, 1); 55c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw add i32* %val, i32 1 seq_cst 56c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 570002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar old = __sync_sub_and_fetch(&val, 2); 58c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw sub i32* %val, i32 2 seq_cst 59c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 605caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner old = __sync_and_and_fetch(&valc, 3); 61c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw and i8* %valc, i8 3 seq_cst 62c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 635caa370ea6f70bd3e7e4a9cc3b69ac1a849c8534Chris Lattner old = __sync_or_and_fetch(&valc, 4); 64c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw or i8* %valc, i8 4 seq_cst 650002d23aaf10f307273dab5facda01c137283d22Daniel Dunbar 66c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner old = __sync_xor_and_fetch(&valc, 5); 67c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw xor i8* %valc, i8 5 seq_cst 68e7ac0a94f1dee3fae9292eb8372962b6d70b3e0dChris Lattner 69e7ac0a94f1dee3fae9292eb8372962b6d70b3e0dChris Lattner __sync_val_compare_and_swap((void **)0, (void *)0, (void *)0); 70ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: [[PAIR:%[a-z0-9_.]+]] = cmpxchg i32* null, i32 0, i32 0 seq_cst 71ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: extractvalue { i32, i1 } [[PAIR]], 0 72c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 73db4325b098eff5e9e660db19f0148423fb21f27fChandler Carruth if ( __sync_val_compare_and_swap(&valb, 0, 1)) { 74ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: [[PAIR:%[a-z0-9_.]+]] = cmpxchg i8* %valb, i8 0, i8 1 seq_cst 75ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: [[VAL:%[a-z0-9_.]+]] = extractvalue { i8, i1 } [[PAIR]], 0 76ef8225444452a1486bd721f3285301fe84643b00Stephen Hines // CHECK: trunc i8 [[VAL]] to i1 77db4325b098eff5e9e660db19f0148423fb21f27fChandler Carruth old = 42; 78db4325b098eff5e9e660db19f0148423fb21f27fChandler Carruth } 79c7f78c74e155ece8af24cbe8b949daa9d0ba1828Chris Lattner 808d13d221cf7c1657404c611efaadf3ac19d899b3Chandler Carruth __sync_bool_compare_and_swap((void **)0, (void *)0, (void *)0); 81c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: cmpxchg i32* null, i32 0, i32 0 seq_cst 82f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner 83f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner __sync_lock_release(&val); 84ff993202abf6f5dc41c584c7103f5d39f248b3ddEli Friedman // CHECK: store atomic i32 0, {{.*}} release, align 4 85ff993202abf6f5dc41c584c7103f5d39f248b3ddEli Friedman 86ff993202abf6f5dc41c584c7103f5d39f248b3ddEli Friedman __sync_lock_release(&ptrval); 87ff993202abf6f5dc41c584c7103f5d39f248b3ddEli Friedman // CHECK: store atomic i32 0, {{.*}} release, align 4 88ff993202abf6f5dc41c584c7103f5d39f248b3ddEli Friedman 89f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner __sync_synchronize (); 90c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: fence seq_cst 91f58cd9bca9c2e7373300fc8bb7c57cff7e4eda4fChris Lattner 921ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang return old; 931ffe281890f3cd7728316b45a1f3dd4d3120af7bMon P Wang} 948d13d221cf7c1657404c611efaadf3ac19d899b3Chandler Carruth 95f2b95277be59f7d2a82cef8ea9f4cf6a36074593Chris Lattner// CHECK: @release_return 968d13d221cf7c1657404c611efaadf3ac19d899b3Chandler Carruthvoid release_return(int *lock) { 978d13d221cf7c1657404c611efaadf3ac19d899b3Chandler Carruth // Ensure this is actually returning void all the way through. 988d13d221cf7c1657404c611efaadf3ac19d899b3Chandler Carruth return __sync_lock_release(lock); 99eb43f4a8f133c2bc510ae136a556e92b68a6ff44Eli Friedman // CHECK: store atomic {{.*}} release, align 4 1008d13d221cf7c1657404c611efaadf3ac19d899b3Chandler Carruth} 101f2b95277be59f7d2a82cef8ea9f4cf6a36074593Chris Lattner 102f2b95277be59f7d2a82cef8ea9f4cf6a36074593Chris Lattner 1034f209445c06a43283c6f72dda7c925538b1578e9Chris Lattner// rdar://8461279 - Atomics with address spaces. 104f2b95277be59f7d2a82cef8ea9f4cf6a36074593Chris Lattner// CHECK: @addrspace 105f2b95277be59f7d2a82cef8ea9f4cf6a36074593Chris Lattnervoid addrspace(int __attribute__((address_space(256))) * P) { 106f2b95277be59f7d2a82cef8ea9f4cf6a36074593Chris Lattner __sync_bool_compare_and_swap(P, 0, 1); 107c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: cmpxchg i32 addrspace(256)*{{.*}}, i32 0, i32 1 seq_cst 108c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman 109780a2eb227c3f395a390a143f61bba1724913817Chris Lattner __sync_val_compare_and_swap(P, 0, 1); 110c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: cmpxchg i32 addrspace(256)*{{.*}}, i32 0, i32 1 seq_cst 111c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman 1124f209445c06a43283c6f72dda7c925538b1578e9Chris Lattner __sync_xor_and_fetch(P, 123); 113c83b975f1fb9d11e10b5aa25029ae9bb5fa80e07Eli Friedman // CHECK: atomicrmw xor i32 addrspace(256)*{{.*}}, i32 123 seq_cst 114f2b95277be59f7d2a82cef8ea9f4cf6a36074593Chris Lattner} 115