82 lines · plain
1; RUN: opt < %s -passes=tsan -S | FileCheck --check-prefixes=CHECK,CHECK-OPT %s2; RUN: opt < %s -passes=tsan -tsan-instrument-read-before-write -S | FileCheck %s --check-prefixes=CHECK,CHECK-UNOPT3; RUN: opt < %s -passes=tsan -tsan-compound-read-before-write -S | FileCheck %s --check-prefixes=CHECK,CHECK-COMPOUND4; RUN: opt < %s -passes=tsan -tsan-distinguish-volatile -tsan-compound-read-before-write -S | FileCheck %s --check-prefixes=CHECK,CHECK-COMPOUND-VOLATILE5 6target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"7 8define void @IncrementMe(ptr nocapture %ptr) nounwind uwtable sanitize_thread {9entry:10 %0 = load i32, ptr %ptr, align 411 %inc = add nsw i32 %0, 112 store i32 %inc, ptr %ptr, align 413 ret void14}15; CHECK-LABEL: define void @IncrementMe16; CHECK-OPT-NOT: __tsan_read417; CHECK-COMPOUND-NOT: __tsan_read418; CHECK-UNOPT: __tsan_read419; CHECK-OPT: __tsan_write420; CHECK-UNOPT: __tsan_write421; CHECK-COMPOUND: __tsan_read_write422; CHECK: ret void23 24define void @IncrementMeWithCallInBetween(ptr nocapture %ptr) nounwind uwtable sanitize_thread {25entry:26 %0 = load i32, ptr %ptr, align 427 %inc = add nsw i32 %0, 128 call void @foo()29 store i32 %inc, ptr %ptr, align 430 ret void31}32 33; CHECK-LABEL: define void @IncrementMeWithCallInBetween34; CHECK: __tsan_read435; CHECK: __tsan_write436; CHECK: ret void37 38declare void @foo()39 40define void @VolatileLoad(ptr nocapture %ptr) nounwind uwtable sanitize_thread {41entry:42 %0 = load volatile i32, ptr %ptr, align 443 %inc = add nsw i32 %0, 144 store i32 %inc, ptr %ptr, align 445 ret void46}47; CHECK-LABEL: define void @VolatileLoad48; CHECK-COMPOUND-NOT: __tsan_read449; CHECK-COMPOUND-VOLATILE: __tsan_volatile_read450; CHECK-COMPOUND: __tsan_read_write451; CHECK-COMPOUND-VOLATILE: __tsan_write452; CHECK: ret void53 54define void @VolatileStore(ptr nocapture %ptr) nounwind uwtable sanitize_thread {55entry:56 %0 = load i32, ptr %ptr, align 457 %inc = add nsw i32 %0, 158 store volatile i32 %inc, ptr %ptr, align 459 ret void60}61; CHECK-LABEL: define void @VolatileStore62; CHECK-COMPOUND-NOT: __tsan_read463; CHECK-COMPOUND-VOLATILE: __tsan_read464; CHECK-COMPOUND: __tsan_read_write465; CHECK-COMPOUND-VOLATILE: __tsan_volatile_write466; CHECK: ret void67 68define void @VolatileBoth(ptr nocapture %ptr) nounwind uwtable sanitize_thread {69entry:70 %0 = load volatile i32, ptr %ptr, align 471 %inc = add nsw i32 %0, 172 store volatile i32 %inc, ptr %ptr, align 473 ret void74}75; CHECK-LABEL: define void @VolatileBoth76; CHECK-COMPOUND-NOT: __tsan_read477; CHECK-COMPOUND-VOLATILE: __tsan_volatile_read478; CHECK-COMPOUND: __tsan_read_write479; CHECK-COMPOUND-VOLATILE: __tsan_volatile_write480; CHECK: ret void81 82