1*bcaeed49SFangrui Song // RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s 2*bcaeed49SFangrui Song #include "test.h" 3*bcaeed49SFangrui Song #include <sanitizer/tsan_interface_atomic.h> 4*bcaeed49SFangrui Song 5*bcaeed49SFangrui Song #ifndef __ATOMIC_HLE_ACQUIRE 6*bcaeed49SFangrui Song #define __ATOMIC_HLE_ACQUIRE (1 << 16) 7*bcaeed49SFangrui Song #endif 8*bcaeed49SFangrui Song #ifndef __ATOMIC_HLE_RELEASE 9*bcaeed49SFangrui Song #define __ATOMIC_HLE_RELEASE (1 << 17) 10*bcaeed49SFangrui Song #endif 11*bcaeed49SFangrui Song main()12*bcaeed49SFangrui Songint main() { 13*bcaeed49SFangrui Song volatile int x = 0; 14*bcaeed49SFangrui Song //__atomic_fetch_add(&x, 1, __ATOMIC_ACQUIRE | __ATOMIC_HLE_ACQUIRE); 15*bcaeed49SFangrui Song //__atomic_store_n(&x, 0, __ATOMIC_RELEASE | __ATOMIC_HLE_RELEASE); 16*bcaeed49SFangrui Song __tsan_atomic32_fetch_add(&x, 1, 17*bcaeed49SFangrui Song (__tsan_memory_order)(__ATOMIC_ACQUIRE | __ATOMIC_HLE_ACQUIRE)); 18*bcaeed49SFangrui Song __tsan_atomic32_store(&x, 0, 19*bcaeed49SFangrui Song (__tsan_memory_order)(__ATOMIC_RELEASE | __ATOMIC_HLE_RELEASE)); 20*bcaeed49SFangrui Song fprintf(stderr, "DONE\n"); 21*bcaeed49SFangrui Song return 0; 22*bcaeed49SFangrui Song } 23*bcaeed49SFangrui Song 24*bcaeed49SFangrui Song // CHECK: DONE 25*bcaeed49SFangrui Song 26