xref: /llvm-project/llvm/test/Instrumentation/ThreadSanitizer/unaligned.ll (revision 1ec71a9569dca0597f040e21a607bbb0ea332cdf)
1; RUN: opt < %s -passes=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-S128"
4
5define i16 @test_unaligned_read2(ptr %a) sanitize_thread {
6entry:
7  %tmp1 = load i16, ptr %a, align 1
8  ret i16 %tmp1
9}
10
11; CHECK-LABEL: define i16 @test_unaligned_read2(ptr %a)
12; CHECK:        call void @__tsan_func_entry(ptr %0)
13; CHECK-NEXT:   call void @__tsan_unaligned_read2(ptr %a)
14; CHECK-NEXT:   %tmp1 = load i16, ptr %a, align 1
15; CHECK-NEXT:   call void @__tsan_func_exit()
16; CHECK: ret i16
17
18define i32 @test_unaligned_read4(ptr %a) sanitize_thread {
19entry:
20  %tmp1 = load i32, ptr %a, align 2
21  ret i32 %tmp1
22}
23
24; CHECK-LABEL: define i32 @test_unaligned_read4(ptr %a)
25; CHECK:        call void @__tsan_func_entry(ptr %0)
26; CHECK-NEXT:   call void @__tsan_unaligned_read4(ptr %a)
27; CHECK-NEXT:   %tmp1 = load i32, ptr %a, align 2
28; CHECK-NEXT:   call void @__tsan_func_exit()
29; CHECK: ret i32
30
31define i64 @test_unaligned_read8(ptr %a) sanitize_thread {
32entry:
33  %tmp1 = load i64, ptr %a, align 4
34  ret i64 %tmp1
35}
36
37; CHECK-LABEL: define i64 @test_unaligned_read8(ptr %a)
38; CHECK:        call void @__tsan_func_entry(ptr %0)
39; CHECK-NEXT:   call void @__tsan_unaligned_read8(ptr %a)
40; CHECK-NEXT:   %tmp1 = load i64, ptr %a, align 4
41; CHECK-NEXT:   call void @__tsan_func_exit()
42; CHECK: ret i64
43
44define i128 @test_unaligned_read16(ptr %a) sanitize_thread {
45entry:
46  %tmp1 = load i128, ptr %a, align 1
47  ret i128 %tmp1
48}
49
50; CHECK-LABEL: define i128 @test_unaligned_read16(ptr %a)
51; CHECK:        call void @__tsan_func_entry(ptr %0)
52; CHECK-NEXT:   call void @__tsan_unaligned_read16(ptr %a)
53; CHECK-NEXT:   %tmp1 = load i128, ptr %a, align 1
54; CHECK-NEXT:   call void @__tsan_func_exit()
55; CHECK: ret i128
56
57define i128 @test_aligned_read16(ptr %a) sanitize_thread {
58entry:
59  %tmp1 = load i128, ptr %a, align 8
60  ret i128 %tmp1
61}
62
63; CHECK-LABEL: define i128 @test_aligned_read16(ptr %a)
64; CHECK:        call void @__tsan_func_entry(ptr %0)
65; CHECK-NEXT:   call void @__tsan_read16(ptr %a)
66; CHECK-NEXT:   %tmp1 = load i128, ptr %a, align 8
67; CHECK-NEXT:   call void @__tsan_func_exit()
68; CHECK: ret i128
69
70define void @test_unaligned_write2(ptr %a) sanitize_thread {
71entry:
72  store i16 1, ptr %a, align 1
73  ret void
74}
75
76; CHECK-LABEL: define void @test_unaligned_write2(ptr %a)
77; CHECK:        call void @__tsan_func_entry(ptr %0)
78; CHECK-NEXT:   call void @__tsan_unaligned_write2(ptr %a)
79; CHECK-NEXT:   store i16 1, ptr %a, align 1
80; CHECK-NEXT:   call void @__tsan_func_exit()
81; CHECK: ret void
82
83define void @test_unaligned_write4(ptr %a) sanitize_thread {
84entry:
85  store i32 1, ptr %a, align 1
86  ret void
87}
88
89; CHECK-LABEL: define void @test_unaligned_write4(ptr %a)
90; CHECK:        call void @__tsan_func_entry(ptr %0)
91; CHECK-NEXT:   call void @__tsan_unaligned_write4(ptr %a)
92; CHECK-NEXT:   store i32 1, ptr %a, align 1
93; CHECK-NEXT:   call void @__tsan_func_exit()
94; CHECK: ret void
95
96define void @test_unaligned_write8(ptr %a) sanitize_thread {
97entry:
98  store i64 1, ptr %a, align 1
99  ret void
100}
101
102; CHECK-LABEL: define void @test_unaligned_write8(ptr %a)
103; CHECK:        call void @__tsan_func_entry(ptr %0)
104; CHECK-NEXT:   call void @__tsan_unaligned_write8(ptr %a)
105; CHECK-NEXT:   store i64 1, ptr %a, align 1
106; CHECK-NEXT:   call void @__tsan_func_exit()
107; CHECK: ret void
108
109define void @test_unaligned_write16(ptr %a) sanitize_thread {
110entry:
111  store i128 1, ptr %a, align 1
112  ret void
113}
114
115; CHECK-LABEL: define void @test_unaligned_write16(ptr %a)
116; CHECK:        call void @__tsan_func_entry(ptr %0)
117; CHECK-NEXT:   call void @__tsan_unaligned_write16(ptr %a)
118; CHECK-NEXT:   store i128 1, ptr %a, align 1
119; CHECK-NEXT:   call void @__tsan_func_exit()
120; CHECK: ret void
121
122define void @test_aligned_write16(ptr %a) sanitize_thread {
123entry:
124  store i128 1, ptr %a, align 8
125  ret void
126}
127
128; CHECK-LABEL: define void @test_aligned_write16(ptr %a)
129; CHECK:        call void @__tsan_func_entry(ptr %0)
130; CHECK-NEXT:   call void @__tsan_write16(ptr %a)
131; CHECK-NEXT:   store i128 1, ptr %a, align 8
132; CHECK-NEXT:   call void @__tsan_func_exit()
133; CHECK: ret void
134