1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
| ; RUN: opt -S -hwasan < %s | FileCheck %s
target triple = "aarch64--linux-android"
declare i32 @bar([16 x i32]* %p)
define void @alloca() sanitize_hwaddress "hwasan-abi"="interceptor" {
; CHECK: alloca [16 x i32]
; CHECK: [[A:%[^ ]*]] = call i8* @llvm.thread.pointer()
; CHECK: [[B:%[^ ]*]] = getelementptr i8, i8* [[A]], i32 48
; CHECK: [[C:%[^ ]*]] = bitcast i8* [[B]] to i64*
; CHECK: [[LOAD:%[^ ]*]] = load i64, i64* [[C]]
; CHECK: [[ICMP:%[^ ]*]] = icmp eq i64 [[LOAD]], 0
; CHECK: br i1 [[ICMP]], label %[[INIT:[^,]*]], label %[[CONT:[^,]*]], !prof [[PROF:![0-9]+]]
; CHECK: [[INIT]]:
; CHECK: call void @__hwasan_thread_enter()
; CHECK: [[RELOAD:%[^ ]*]] = load i64, i64* [[C]]
; CHECK: br label %[[CONT]]
; CHECK: [[CONT]]:
; CHECK: phi i64 [ [[LOAD]], %0 ], [ [[RELOAD]], %[[INIT]] ]
; CHECK: alloca i8
%p = alloca [16 x i32]
%size = call i32 @bar([16 x i32]* %p)
%q = alloca i8, i32 %size
ret void
}
define i32 @load(i32* %p) sanitize_hwaddress "hwasan-abi"="interceptor" {
; CHECK: [[SHADOW:%[^ ]*]] = call i8* asm "", "=r,0"([0 x i8]* @__hwasan_shadow)
; CHECK-NOT: icmp
; CHECK: call void @llvm.hwasan.check.memaccess(i8* [[SHADOW]],
%v = load i32, i32* %p
ret i32 %v
}
; CHECK: [[PROF]] = !{!"branch_weights", i32 1, i32 100000}
|