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 | 60ebb1947faed42e493179e569c5db0c01d38a2a (patch) | |
| tree | bf3043d9450f0f9b8c066c74228e2b6d7581834f /test/Instrumentation/ThreadSanitizer/tsan_basic.ll | |
| parent | ce9259923dd7c9f2de21a241f109b42abbdf8a9d (diff) | |
ThreadSanitizer, a race detector. First LLVM commit.
Clang patch (flags) will follow shortly.
The run-time library will also follow, but not immediately.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@150423 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Instrumentation/ThreadSanitizer/tsan_basic.ll')
| -rw-r--r-- | test/Instrumentation/ThreadSanitizer/tsan_basic.ll | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/test/Instrumentation/ThreadSanitizer/tsan_basic.ll b/test/Instrumentation/ThreadSanitizer/tsan_basic.ll new file mode 100644 index 0000000000..33c703b4c9 --- /dev/null +++ b/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 + + |