xref: /aosp_15_r20/external/llvm/test/Instrumentation/ThreadSanitizer/tsan_basic.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: opt < %s -tsan -S | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget 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"
4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-unknown-linux-gnu"
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerdefine i32 @read_4_bytes(i32* %a) sanitize_thread {
7*9880d681SAndroid Build Coastguard Workerentry:
8*9880d681SAndroid Build Coastguard Worker  %tmp1 = load i32, i32* %a, align 4
9*9880d681SAndroid Build Coastguard Worker  ret i32 %tmp1
10*9880d681SAndroid Build Coastguard Worker}
11*9880d681SAndroid Build Coastguard Worker
12*9880d681SAndroid Build Coastguard Worker; CHECK: @llvm.global_ctors = {{.*}}@tsan.module_ctor
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Worker; CHECK: define i32 @read_4_bytes(i32* %a)
15*9880d681SAndroid Build Coastguard Worker; CHECK:        call void @__tsan_func_entry(i8* %0)
16*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:   %1 = bitcast i32* %a to i8*
17*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:   call void @__tsan_read4(i8* %1)
18*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:   %tmp1 = load i32, i32* %a, align 4
19*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT:   call void @__tsan_func_exit()
20*9880d681SAndroid Build Coastguard Worker; CHECK: ret i32
21*9880d681SAndroid Build Coastguard Worker
22*9880d681SAndroid Build Coastguard Worker
23*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1)
24*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.memmove.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1)
25*9880d681SAndroid Build Coastguard Workerdeclare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1)
26*9880d681SAndroid Build Coastguard Worker
27*9880d681SAndroid Build Coastguard Worker
28*9880d681SAndroid Build Coastguard Worker; Check that tsan converts mem intrinsics back to function calls.
29*9880d681SAndroid Build Coastguard Worker
30*9880d681SAndroid Build Coastguard Workerdefine void @MemCpyTest(i8* nocapture %x, i8* nocapture %y) sanitize_thread {
31*9880d681SAndroid Build Coastguard Workerentry:
32*9880d681SAndroid Build Coastguard Worker    tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* %x, i8* %y, i64 16, i32 4, i1 false)
33*9880d681SAndroid Build Coastguard Worker    ret void
34*9880d681SAndroid Build Coastguard Worker; CHECK: define void @MemCpyTest
35*9880d681SAndroid Build Coastguard Worker; CHECK: call i8* @memcpy
36*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
37*9880d681SAndroid Build Coastguard Worker}
38*9880d681SAndroid Build Coastguard Worker
39*9880d681SAndroid Build Coastguard Workerdefine void @MemMoveTest(i8* nocapture %x, i8* nocapture %y) sanitize_thread {
40*9880d681SAndroid Build Coastguard Workerentry:
41*9880d681SAndroid Build Coastguard Worker    tail call void @llvm.memmove.p0i8.p0i8.i64(i8* %x, i8* %y, i64 16, i32 4, i1 false)
42*9880d681SAndroid Build Coastguard Worker    ret void
43*9880d681SAndroid Build Coastguard Worker; CHECK: define void @MemMoveTest
44*9880d681SAndroid Build Coastguard Worker; CHECK: call i8* @memmove
45*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
46*9880d681SAndroid Build Coastguard Worker}
47*9880d681SAndroid Build Coastguard Worker
48*9880d681SAndroid Build Coastguard Workerdefine void @MemSetTest(i8* nocapture %x) sanitize_thread {
49*9880d681SAndroid Build Coastguard Workerentry:
50*9880d681SAndroid Build Coastguard Worker    tail call void @llvm.memset.p0i8.i64(i8* %x, i8 77, i64 16, i32 4, i1 false)
51*9880d681SAndroid Build Coastguard Worker    ret void
52*9880d681SAndroid Build Coastguard Worker; CHECK: define void @MemSetTest
53*9880d681SAndroid Build Coastguard Worker; CHECK: call i8* @memset
54*9880d681SAndroid Build Coastguard Worker; CHECK: ret void
55*9880d681SAndroid Build Coastguard Worker}
56*9880d681SAndroid Build Coastguard Worker
57*9880d681SAndroid Build Coastguard Worker; CHECK: define internal void @tsan.module_ctor()
58*9880d681SAndroid Build Coastguard Worker; CHECK: call void @__tsan_init()
59