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