diff options
author | Kostya Serebryany <kcc@google.com> | 2012-02-13 22:50:51 +0000 |
---|---|---|
committer | Kostya Serebryany <kcc@google.com> | 2012-02-13 22:50:51 +0000 |
commit | e2a0e4163a7eab225de1a9b83434cddf6695012e (patch) | |
tree | 9f0f92b057a1ab183be5d40b813d11adadb393c0 /llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll | |
parent | 59700591f1cf4948200fad10b99a0e04d57f0692 (diff) | |
download | bcm5719-llvm-e2a0e4163a7eab225de1a9b83434cddf6695012e.tar.gz bcm5719-llvm-e2a0e4163a7eab225de1a9b83434cddf6695012e.zip |
ThreadSanitizer, a race detector. First LLVM commit.
Clang patch (flags) will follow shortly.
The run-time library will also follow, but not immediately.
llvm-svn: 150423
Diffstat (limited to 'llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll')
-rw-r--r-- | llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll b/llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll new file mode 100644 index 00000000000..33c703b4c9b --- /dev/null +++ b/llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll @@ -0,0 +1,22 @@ +; RUN: opt < %s -tsan -S | FileCheck %s + +target 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" +target triple = "x86_64-unknown-linux-gnu" + +define i32 @read_4_bytes(i32* %a) { +entry: + %tmp1 = load i32* %a, align 4 + ret i32 %tmp1 +} + +; CHECK: @llvm.global_ctors = {{.*}}@__tsan_init + +; CHECK: define i32 @read_4_bytes(i32* %a) { +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i32* %a to i8* +; CHECK-NEXT: call void @__tsan_read4(i8* %1) +; CHECK-NEXT: %tmp1 = load i32* %a, align 4 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret i32 + + |