diff options
Diffstat (limited to 'test/Instrumentation/ThreadSanitizer')
5 files changed, 243 insertions, 9 deletions
diff --git a/test/Instrumentation/ThreadSanitizer/capture.ll b/test/Instrumentation/ThreadSanitizer/capture.ll new file mode 100644 index 0000000..d6c62f0 --- /dev/null +++ b/test/Instrumentation/ThreadSanitizer/capture.ll @@ -0,0 +1,91 @@ +; 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-S128" + +declare void @escape(i32*) + +@sink = global i32* null, align 4 + +define void @captured0() nounwind uwtable sanitize_thread { +entry: + %ptr = alloca i32, align 4 + ; escapes due to call + call void @escape(i32* %ptr) + store i32 42, i32* %ptr, align 4 + ret void +} +; CHECK-LABEL: define void @captured0 +; CHECK: __tsan_write +; CHECK: ret void + +define void @captured1() nounwind uwtable sanitize_thread { +entry: + %ptr = alloca i32, align 4 + ; escapes due to store into global + store i32* %ptr, i32** @sink, align 8 + store i32 42, i32* %ptr, align 4 + ret void +} +; CHECK-LABEL: define void @captured1 +; CHECK: __tsan_write +; CHECK: __tsan_write +; CHECK: ret void + +define void @captured2() nounwind uwtable sanitize_thread { +entry: + %ptr = alloca i32, align 4 + %tmp = alloca i32*, align 8 + ; transitive escape + store i32* %ptr, i32** %tmp, align 8 + %0 = load i32** %tmp, align 8 + store i32* %0, i32** @sink, align 8 + store i32 42, i32* %ptr, align 4 + ret void +} +; CHECK-LABEL: define void @captured2 +; CHECK: __tsan_write +; CHECK: __tsan_write +; CHECK: ret void + +define void @notcaptured0() nounwind uwtable sanitize_thread { +entry: + %ptr = alloca i32, align 4 + store i32 42, i32* %ptr, align 4 + ; escapes due to call + call void @escape(i32* %ptr) + ret void +} +; CHECK-LABEL: define void @notcaptured0 +; CHECK: __tsan_write +; CHECK: ret void + +define void @notcaptured1() nounwind uwtable sanitize_thread { +entry: + %ptr = alloca i32, align 4 + store i32 42, i32* %ptr, align 4 + ; escapes due to store into global + store i32* %ptr, i32** @sink, align 8 + ret void +} +; CHECK-LABEL: define void @notcaptured1 +; CHECK: __tsan_write +; CHECK: __tsan_write +; CHECK: ret void + +define void @notcaptured2() nounwind uwtable sanitize_thread { +entry: + %ptr = alloca i32, align 4 + %tmp = alloca i32*, align 8 + store i32 42, i32* %ptr, align 4 + ; transitive escape + store i32* %ptr, i32** %tmp, align 8 + %0 = load i32** %tmp, align 8 + store i32* %0, i32** @sink, align 8 + ret void +} +; CHECK-LABEL: define void @notcaptured2 +; CHECK: __tsan_write +; CHECK: __tsan_write +; CHECK: ret void + + diff --git a/test/Instrumentation/ThreadSanitizer/read_from_global.ll b/test/Instrumentation/ThreadSanitizer/read_from_global.ll index 33614a3..037dd56 100644 --- a/test/Instrumentation/ThreadSanitizer/read_from_global.ll +++ b/test/Instrumentation/ThreadSanitizer/read_from_global.ll @@ -54,6 +54,6 @@ entry: ; CHECK: = load ; CHECK: ret void -!0 = metadata !{metadata !"Simple C/C++ TBAA", null} -!1 = metadata !{metadata !"vtable pointer", metadata !0} -!2 = metadata !{metadata !1, metadata !1, i64 0} +!0 = !{!"Simple C/C++ TBAA", null} +!1 = !{!"vtable pointer", !0} +!2 = !{!1, !1, i64 0} diff --git a/test/Instrumentation/ThreadSanitizer/unaligned.ll b/test/Instrumentation/ThreadSanitizer/unaligned.ll new file mode 100644 index 0000000..7a240e3 --- /dev/null +++ b/test/Instrumentation/ThreadSanitizer/unaligned.ll @@ -0,0 +1,143 @@ +; 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-S128" + +define i16 @test_unaligned_read2(i16* %a) sanitize_thread { +entry: + %tmp1 = load i16* %a, align 1 + ret i16 %tmp1 +} + +; CHECK-LABEL: define i16 @test_unaligned_read2(i16* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i16* %a to i8* +; CHECK-NEXT: call void @__tsan_unaligned_read2(i8* %1) +; CHECK-NEXT: %tmp1 = load i16* %a, align 1 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret i16 + +define i32 @test_unaligned_read4(i32* %a) sanitize_thread { +entry: + %tmp1 = load i32* %a, align 2 + ret i32 %tmp1 +} + +; CHECK-LABEL: define i32 @test_unaligned_read4(i32* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i32* %a to i8* +; CHECK-NEXT: call void @__tsan_unaligned_read4(i8* %1) +; CHECK-NEXT: %tmp1 = load i32* %a, align 2 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret i32 + +define i64 @test_unaligned_read8(i64* %a) sanitize_thread { +entry: + %tmp1 = load i64* %a, align 4 + ret i64 %tmp1 +} + +; CHECK-LABEL: define i64 @test_unaligned_read8(i64* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i64* %a to i8* +; CHECK-NEXT: call void @__tsan_unaligned_read8(i8* %1) +; CHECK-NEXT: %tmp1 = load i64* %a, align 4 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret i64 + +define i128 @test_unaligned_read16(i128* %a) sanitize_thread { +entry: + %tmp1 = load i128* %a, align 1 + ret i128 %tmp1 +} + +; CHECK-LABEL: define i128 @test_unaligned_read16(i128* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i128* %a to i8* +; CHECK-NEXT: call void @__tsan_unaligned_read16(i8* %1) +; CHECK-NEXT: %tmp1 = load i128* %a, align 1 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret i128 + +define i128 @test_aligned_read16(i128* %a) sanitize_thread { +entry: + %tmp1 = load i128* %a, align 8 + ret i128 %tmp1 +} + +; CHECK-LABEL: define i128 @test_aligned_read16(i128* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i128* %a to i8* +; CHECK-NEXT: call void @__tsan_read16(i8* %1) +; CHECK-NEXT: %tmp1 = load i128* %a, align 8 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret i128 + +define void @test_unaligned_write2(i16* %a) sanitize_thread { +entry: + store i16 1, i16* %a, align 1 + ret void +} + +; CHECK-LABEL: define void @test_unaligned_write2(i16* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i16* %a to i8* +; CHECK-NEXT: call void @__tsan_unaligned_write2(i8* %1) +; CHECK-NEXT: store i16 1, i16* %a, align 1 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret void + +define void @test_unaligned_write4(i32* %a) sanitize_thread { +entry: + store i32 1, i32* %a, align 1 + ret void +} + +; CHECK-LABEL: define void @test_unaligned_write4(i32* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i32* %a to i8* +; CHECK-NEXT: call void @__tsan_unaligned_write4(i8* %1) +; CHECK-NEXT: store i32 1, i32* %a, align 1 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret void + +define void @test_unaligned_write8(i64* %a) sanitize_thread { +entry: + store i64 1, i64* %a, align 1 + ret void +} + +; CHECK-LABEL: define void @test_unaligned_write8(i64* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i64* %a to i8* +; CHECK-NEXT: call void @__tsan_unaligned_write8(i8* %1) +; CHECK-NEXT: store i64 1, i64* %a, align 1 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret void + +define void @test_unaligned_write16(i128* %a) sanitize_thread { +entry: + store i128 1, i128* %a, align 1 + ret void +} + +; CHECK-LABEL: define void @test_unaligned_write16(i128* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i128* %a to i8* +; CHECK-NEXT: call void @__tsan_unaligned_write16(i8* %1) +; CHECK-NEXT: store i128 1, i128* %a, align 1 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret void + +define void @test_aligned_write16(i128* %a) sanitize_thread { +entry: + store i128 1, i128* %a, align 8 + ret void +} + +; CHECK-LABEL: define void @test_aligned_write16(i128* %a) +; CHECK: call void @__tsan_func_entry(i8* %0) +; CHECK-NEXT: %1 = bitcast i128* %a to i8* +; CHECK-NEXT: call void @__tsan_write16(i8* %1) +; CHECK-NEXT: store i128 1, i128* %a, align 8 +; CHECK-NEXT: call void @__tsan_func_exit() +; CHECK: ret void diff --git a/test/Instrumentation/ThreadSanitizer/vptr_read.ll b/test/Instrumentation/ThreadSanitizer/vptr_read.ll index 811ad8d..cccdeb8 100644 --- a/test/Instrumentation/ThreadSanitizer/vptr_read.ll +++ b/test/Instrumentation/ThreadSanitizer/vptr_read.ll @@ -8,6 +8,6 @@ entry: %0 = load i8* %a, align 8, !tbaa !0 ret i8 %0 } -!0 = metadata !{metadata !2, metadata !2, i64 0} -!1 = metadata !{metadata !"Simple C/C++ TBAA", null} -!2 = metadata !{metadata !"vtable pointer", metadata !1} +!0 = !{!2, !2, i64 0} +!1 = !{!"Simple C/C++ TBAA", null} +!2 = !{!"vtable pointer", !1} diff --git a/test/Instrumentation/ThreadSanitizer/vptr_update.ll b/test/Instrumentation/ThreadSanitizer/vptr_update.ll index 83d28b6..78f7f31 100644 --- a/test/Instrumentation/ThreadSanitizer/vptr_update.ll +++ b/test/Instrumentation/ThreadSanitizer/vptr_update.ll @@ -35,6 +35,6 @@ entry: ret void } -!0 = metadata !{metadata !2, metadata !2, i64 0} -!1 = metadata !{metadata !"Simple C/C++ TBAA", null} -!2 = metadata !{metadata !"vtable pointer", metadata !1} +!0 = !{!2, !2, i64 0} +!1 = !{!"Simple C/C++ TBAA", null} +!2 = !{!"vtable pointer", !1} |