Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 2e00b98027b51ee5bfb88a4daea8b78bf9a01e62 / . / llvm / test / Instrumentation / ThreadSanitizer / tsan_basic.ll
blob: 69d4117399b754e281a1f4f9c54c3636f21db02e [file] [log] [blame]
Kostya Serebryanye2a0e412012-02-13 22:50:51 +0000[diff] [blame]1; RUN: opt < %s -tsan -S | FileCheck %s
2
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
Dmitry Vyukovb1ad5722013-10-17 07:20:06 +0000[diff] [blame]6define i32 @read_4_bytes(i32* %a) sanitize_thread {
Kostya Serebryanye2a0e412012-02-13 22:50:51 +0000[diff] [blame]7entry:
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]8 %tmp1 = load i32, i32* %a, align 4
Kostya Serebryanye2a0e412012-02-13 22:50:51 +0000[diff] [blame]9 ret i32 %tmp1
10}
11
Ismail Pazarbasi2d4ae9f2015-05-07 21:41:23 +0000[diff] [blame]12; CHECK: @llvm.global_ctors = {{.*}}@tsan.module_ctor
Kostya Serebryanye2a0e412012-02-13 22:50:51 +0000[diff] [blame]13
Dmitry Vyukovb1ad5722013-10-17 07:20:06 +0000[diff] [blame]14; CHECK: define i32 @read_4_bytes(i32* %a)
Kostya Serebryanye2a0e412012-02-13 22:50:51 +0000[diff] [blame]15; CHECK: call void @__tsan_func_entry(i8* %0)
16; CHECK-NEXT: %1 = bitcast i32* %a to i8*
17; CHECK-NEXT: call void @__tsan_read4(i8* %1)
David Blaikiea79ac142015-02-27 21:17:42 +0000[diff] [blame]18; CHECK-NEXT: %tmp1 = load i32, i32* %a, align 4
Kostya Serebryanye2a0e412012-02-13 22:50:51 +0000[diff] [blame]19; CHECK-NEXT: call void @__tsan_func_exit()
20; CHECK: ret i32
21
22
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]23declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1)
24declare void @llvm.memmove.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i1)
25declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i1)
Kostya Serebryany463aa812013-03-28 11:21:13 +0000[diff] [blame]26
27
28; Check that tsan converts mem intrinsics back to function calls.
29
Alexey Samsonov82667c72014-05-31 00:26:03 +0000[diff] [blame]30define void @MemCpyTest(i8* nocapture %x, i8* nocapture %y) sanitize_thread {
Kostya Serebryany463aa812013-03-28 11:21:13 +0000[diff] [blame]31entry:
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]32 tail call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 4 %x, i8* align 4 %y, i64 16, i1 false)
Kostya Serebryany463aa812013-03-28 11:21:13 +0000[diff] [blame]33 ret void
34; CHECK: define void @MemCpyTest
35; CHECK: call i8* @memcpy
36; CHECK: ret void
37}
38
Alexey Samsonov82667c72014-05-31 00:26:03 +0000[diff] [blame]39define void @MemMoveTest(i8* nocapture %x, i8* nocapture %y) sanitize_thread {
Kostya Serebryany463aa812013-03-28 11:21:13 +0000[diff] [blame]40entry:
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]41 tail call void @llvm.memmove.p0i8.p0i8.i64(i8* align 4 %x, i8* align 4 %y, i64 16, i1 false)
Kostya Serebryany463aa812013-03-28 11:21:13 +0000[diff] [blame]42 ret void
43; CHECK: define void @MemMoveTest
44; CHECK: call i8* @memmove
45; CHECK: ret void
46}
47
Alexey Samsonov82667c72014-05-31 00:26:03 +0000[diff] [blame]48define void @MemSetTest(i8* nocapture %x) sanitize_thread {
Kostya Serebryany463aa812013-03-28 11:21:13 +0000[diff] [blame]49entry:
Daniel Neilson1e687242018-01-19 17:13:12 +0000[diff] [blame]50 tail call void @llvm.memset.p0i8.i64(i8* align 4 %x, i8 77, i64 16, i1 false)
Kostya Serebryany463aa812013-03-28 11:21:13 +0000[diff] [blame]51 ret void
Benjamin Kramerb50682e2013-04-11 12:41:41 +0000[diff] [blame]52; CHECK: define void @MemSetTest
Kostya Serebryany463aa812013-03-28 11:21:13 +0000[diff] [blame]53; CHECK: call i8* @memset
54; CHECK: ret void
55}
Ismail Pazarbasi2d4ae9f2015-05-07 21:41:23 +0000[diff] [blame]56
Arnold Schwaighofer8eb1a482017-02-15 18:57:06 +0000[diff] [blame]57; CHECK-LABEL: @SwiftError
58; CHECK-NOT: __tsan_read
59; CHECK-NOT: __tsan_write
60; CHECK: ret
61define void @SwiftError(i8** swifterror) sanitize_thread {
62 %swifterror_ptr_value = load i8*, i8** %0
63 store i8* null, i8** %0
64 %swifterror_addr = alloca swifterror i8*
65 %swifterror_ptr_value_2 = load i8*, i8** %swifterror_addr
66 store i8* null, i8** %swifterror_addr
67 ret void
68}
69
70; CHECK-LABEL: @SwiftErrorCall
71; CHECK-NOT: __tsan_read
72; CHECK-NOT: __tsan_write
73; CHECK: ret
74define void @SwiftErrorCall(i8** swifterror) sanitize_thread {
75 %swifterror_addr = alloca swifterror i8*
76 store i8* null, i8** %0
77 call void @SwiftError(i8** %0)
78 ret void
79}
80
Ismail Pazarbasi2d4ae9f2015-05-07 21:41:23 +0000[diff] [blame]81; CHECK: define internal void @tsan.module_ctor()
82; CHECK: call void @__tsan_init()