1 // RUN: %clangxx_tsan -O1 %s -o %t && %deflake %run %t 2>&1 | FileCheck %s 2 #include "test.h" 3 4 __m128i data[20]; 5 6 __m128i load(__m128i *v) { 7 #if TSAN_VECTORIZE 8 return _mm_load_si128(v); 9 #else 10 return *v; 11 #endif 12 } 13 14 void store(__m128i *v, __m128i a) { 15 #if TSAN_VECTORIZE 16 _mm_store_si128(v, a); 17 #else 18 *v = a; 19 #endif 20 } 21 22 void *Thread(void *arg); 23 24 int main() { 25 barrier_init(&barrier, 2); 26 pthread_t th; 27 pthread_create(&th, NULL, Thread, NULL); 28 barrier_wait(&barrier); 29 30 print_address("addr0:", 2, &data[0], &data[0]); 31 auto v0 = load(&data[1]); 32 store(&data[0], v0); 33 // CHECK: addr0:[[ADDR0_0:0x[0-9,a-f]+]] [[ADDR0_1:0x[0-9,a-f]+]] 34 // CHECK: WARNING: ThreadSanitizer: data race 35 // CHECK: Write of size 8 at [[ADDR0_0]] by main thread: 36 // CHECK: Previous read of size 8 at [[ADDR0_1]] by thread T1: 37 38 print_address("addr1:", 2, (char *)&data[2] + 8, (char *)&data[2] + 8); 39 ((volatile unsigned long long *)(&data[2]))[1] = 42; 40 // CHECK: addr1:[[ADDR1_0:0x[0-9,a-f]+]] [[ADDR1_1:0x[0-9,a-f]+]] 41 // CHECK: WARNING: ThreadSanitizer: data race 42 // CHECK: Write of size 8 at [[ADDR1_0]] by main thread: 43 // CHECK: Previous read of size 8 at [[ADDR1_1]] by thread T1: 44 45 print_address("addr2:", 2, (char *)&data[4] + 15, (char *)&data[4] + 8); 46 ((volatile char *)(&data[4]))[15] = 42; 47 // CHECK: addr2:[[ADDR2_0:0x[0-9,a-f]+]] [[ADDR2_1:0x[0-9,a-f]+]] 48 // CHECK: WARNING: ThreadSanitizer: data race 49 // CHECK: Write of size 1 at [[ADDR2_0]] by main thread: 50 // CHECK: Previous read of size 8 at [[ADDR2_1]] by thread T1: 51 52 store(&data[12], v0); 53 ((volatile unsigned long long *)(&data[14]))[1] = 42; 54 ((volatile char *)(&data[16]))[15] = 42; 55 barrier_wait(&barrier); 56 pthread_join(th, NULL); 57 return 0; 58 } 59 60 void *Thread(void *arg) { 61 // Use only even indexes so that compiler does not insert memcpy. 62 auto v0 = load(&data[0]); 63 auto v1 = load(&data[2]); 64 auto v2 = load(&data[4]); 65 store(&data[6], v0); 66 store(&data[8], v1); 67 store(&data[10], v2); 68 barrier_wait(&barrier); 69 barrier_wait(&barrier); 70 71 print_address("addr3:", 2, &data[12], &data[12]); 72 store(&data[12], v0); 73 // CHECK: addr3:[[ADDR3_0:0x[0-9,a-f]+]] [[ADDR3_1:0x[0-9,a-f]+]] 74 // CHECK: WARNING: ThreadSanitizer: data race 75 // CHECK: Write of size 8 at [[ADDR3_0]] by thread T1: 76 // CHECK: Previous write of size 8 at [[ADDR3_1]] by main thread: 77 78 print_address("addr4:", 2, (char *)&data[14] + 8, (char *)&data[14] + 8); 79 store(&data[14], v0); 80 // CHECK: addr4:[[ADDR4_0:0x[0-9,a-f]+]] [[ADDR4_1:0x[0-9,a-f]+]] 81 // CHECK: WARNING: ThreadSanitizer: data race 82 // CHECK: Write of size 8 at [[ADDR4_0]] by thread T1: 83 // CHECK: Previous write of size 8 at [[ADDR4_1]] by main thread: 84 85 print_address("addr5:", 2, (char *)&data[16] + 8, (char *)&data[16] + 15); 86 store(&data[16], v0); 87 // CHECK: addr5:[[ADDR5_0:0x[0-9,a-f]+]] [[ADDR5_1:0x[0-9,a-f]+]] 88 // CHECK: WARNING: ThreadSanitizer: data race 89 // CHECK: Write of size 8 at [[ADDR5_0]] by thread T1: 90 // CHECK: Previous write of size 1 at [[ADDR5_1]] by main thread: 91 return NULL; 92 } 93