127 lines · plain
1; RUN: opt < %s -passes='function(tsan),module(tsan-module)' -S | FileCheck %s2 3target 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"4target triple = "x86_64-unknown-linux-gnu"5 6define i32 @read_4_bytes(ptr %a) sanitize_thread {7entry:8 %tmp1 = load i32, ptr %a, align 49 ret i32 %tmp110}11 12; CHECK: @llvm.used = appending global [1 x ptr] [ptr @tsan.module_ctor]13; CHECK: @llvm.global_ctors = {{.*}}@tsan.module_ctor14 15; CHECK: define i32 @read_4_bytes(ptr %a)16; CHECK: call void @__tsan_func_entry(ptr %0)17; CHECK-NEXT: call void @__tsan_read4(ptr %a)18; CHECK-NEXT: %tmp1 = load i32, ptr %a, align 419; CHECK-NEXT: call void @__tsan_func_exit()20; CHECK: ret i3221 22 23declare void @llvm.memcpy.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1)24declare void @llvm.memcpy.inline.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1)25declare void @llvm.memmove.p0.p0.i64(ptr nocapture, ptr nocapture, i64, i1)26declare void @llvm.memset.p0.i64(ptr nocapture, i8, i64, i1)27declare void @llvm.memset.inline.p0.i64(ptr nocapture, i8, i64, i1)28 29 30; Check that tsan converts mem intrinsics back to function calls.31 32define void @MemCpyTest(ptr nocapture %x, ptr nocapture %y) sanitize_thread {33entry:34 tail call void @llvm.memcpy.p0.p0.i64(ptr align 4 %x, ptr align 4 %y, i64 16, i1 false)35 ret void36; CHECK: define void @MemCpyTest37; CHECK: call ptr @__tsan_memcpy38; CHECK: ret void39}40 41define void @MemCpyInlineTest(ptr nocapture %x, ptr nocapture %y) sanitize_thread {42entry:43 tail call void @llvm.memcpy.inline.p0.p0.i64(ptr align 4 %x, ptr align 4 %y, i64 16, i1 false)44 ret void45; CHECK: define void @MemCpyInlineTest46; CHECK: call ptr @__tsan_memcpy47; CHECK: ret void48}49 50define void @MemMoveTest(ptr nocapture %x, ptr nocapture %y) sanitize_thread {51entry:52 tail call void @llvm.memmove.p0.p0.i64(ptr align 4 %x, ptr align 4 %y, i64 16, i1 false)53 ret void54; CHECK: define void @MemMoveTest55; CHECK: call ptr @__tsan_memmove56; CHECK: ret void57}58 59define void @MemSetTest(ptr nocapture %x) sanitize_thread {60entry:61 tail call void @llvm.memset.p0.i64(ptr align 4 %x, i8 77, i64 16, i1 false)62 ret void63; CHECK: define void @MemSetTest64; CHECK: call ptr @__tsan_memset65; CHECK: ret void66}67 68define void @MemSetInlineTest(ptr nocapture %x) sanitize_thread {69entry:70 tail call void @llvm.memset.inline.p0.i64(ptr align 4 %x, i8 77, i64 16, i1 false)71 ret void72; CHECK: define void @MemSetInlineTest73; CHECK: call ptr @__tsan_memset74; CHECK: ret void75}76 77; CHECK-LABEL: @SwiftError78; CHECK-NOT: __tsan_read79; CHECK-NOT: __tsan_write80; CHECK: ret81define void @SwiftError(ptr swifterror) sanitize_thread {82 %swifterror_ptr_value = load ptr, ptr %083 store ptr null, ptr %084 %swifterror_addr = alloca swifterror ptr85 %swifterror_ptr_value_2 = load ptr, ptr %swifterror_addr86 store ptr null, ptr %swifterror_addr87 ret void88}89 90; CHECK-LABEL: @SwiftErrorCall91; CHECK-NOT: __tsan_read92; CHECK-NOT: __tsan_write93; CHECK: ret94define void @SwiftErrorCall(ptr swifterror) sanitize_thread {95 %swifterror_addr = alloca swifterror ptr96 store ptr null, ptr %097 call void @SwiftError(ptr %0)98 ret void99}100 101; CHECK-LABEL: @NakedTest()102; CHECK-NEXT: %a = call ptr @foo()103; CHECK-NEXT: %tmp1 = load i32, ptr %a, align 4104; CHECK-NEXT: ret i32 %tmp1105define i32 @NakedTest() naked sanitize_thread {106 %a = call ptr @foo()107 %tmp1 = load i32, ptr %a, align 4108 ret i32 %tmp1109}110 111; vscale is unsupported, just don't crash here.112define void @test_load_store_i32(ptr %a, ptr %b) sanitize_thread {113; CHECK-LABEL: define void @test_load_store_i32(114; CHECK-SAME: ptr [[A:%.*]], ptr [[B:%.*]])115; CHECK-NEXT: [[TMP1:%.*]] = load <vscale x 4 x i32>, ptr [[A]], align 16116; CHECK-NEXT: store <vscale x 4 x i32> [[TMP1]], ptr [[B]], align 16117; CHECK-NEXT: ret void118 %1 = load <vscale x 4 x i32>, ptr %a119 store <vscale x 4 x i32> %1, ptr %b120 ret void121}122 123declare void @foo() nounwind124 125; CHECK: define internal void @tsan.module_ctor()126; CHECK: call void @__tsan_init()127