12d1fdb26e458c4ddc04155c1d421bced3ba90cd0Stephen Hines// RUN: %clangxx_tsan -O1 %s -o %t && %run %t 2>&1 | FileCheck %s 2334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov#include <pthread.h> 3334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov#include <stdio.h> 4334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov#include <unistd.h> 5334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov 6334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukovconst int kTestCount = 4; 7334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukovtypedef long long T; 8334553ec45d8982df45a6f5e656e068142ecde3fDmitry VyukovT atomics[kTestCount * 2]; 9334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov 10334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukovvoid Test(int test, T *p, bool main_thread) { 11334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov volatile T sink; 12334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov if (test == 0) { 13334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov if (main_thread) 14334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov __atomic_fetch_add(p, 1, __ATOMIC_RELAXED); 15334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov else 16334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov __atomic_fetch_add(p, 1, __ATOMIC_RELAXED); 17334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov } else if (test == 1) { 18334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov if (main_thread) 19334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov __atomic_exchange_n(p, 1, __ATOMIC_ACQ_REL); 20334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov else 21334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov __atomic_exchange_n(p, 1, __ATOMIC_ACQ_REL); 22334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov } else if (test == 2) { 23334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov if (main_thread) 24334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov sink = __atomic_load_n(p, __ATOMIC_SEQ_CST); 25334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov else 26334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov __atomic_store_n(p, 1, __ATOMIC_SEQ_CST); 27334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov } else if (test == 3) { 28334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov if (main_thread) 29334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov sink = __atomic_load_n(p, __ATOMIC_SEQ_CST); 30334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov else 31334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov sink = *p; 32334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov } 33334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov} 34334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov 35334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukovvoid *Thread(void *p) { 36334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov for (int i = 0; i < kTestCount; i++) { 37334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov Test(i, &atomics[i], false); 38334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov } 39334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov sleep(2); 40334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov for (int i = 0; i < kTestCount; i++) { 41334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov fprintf(stderr, "Test %d reverse\n", i); 42334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov Test(i, &atomics[kTestCount + i], false); 43334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov } 44334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov return 0; 45334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov} 46334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov 47334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukovint main() { 48334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov pthread_t t; 49334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov pthread_create(&t, 0, Thread, 0); 50334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov sleep(1); 51334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov for (int i = 0; i < kTestCount; i++) { 52334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov fprintf(stderr, "Test %d\n", i); 53334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov Test(i, &atomics[i], true); 54334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov } 55334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov for (int i = 0; i < kTestCount; i++) { 56334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov Test(i, &atomics[kTestCount + i], true); 57334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov } 58334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov pthread_join(t, 0); 59334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov} 60334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov 61334553ec45d8982df45a6f5e656e068142ecde3fDmitry Vyukov// CHECK-NOT: ThreadSanitizer: data race 62