blob: b02d0f88a0f8c6c943a94aa1d4a4f19869c6d8ab [file] [log] [blame]
Peter Collingbourne020ce3f2019-01-23 22:39:11 +00001; RUN: opt -S -hwasan -hwasan-allow-ifunc < %s | FileCheck %s
Peter Collingbourne87f477b2019-01-04 19:27:04 +00002
Peter Collingbourne020ce3f2019-01-23 22:39:11 +00003target triple = "aarch64--linux-android"
Peter Collingbourne87f477b2019-01-04 19:27:04 +00004
5declare void @bar([16 x i32]* %p)
6
Peter Collingbourne020ce3f2019-01-23 22:39:11 +00007define void @alloca() sanitize_hwaddress "hwasan-abi"="interceptor" {
8 ; CHECK: [[A:%[^ ]*]] = call i8* @llvm.thread.pointer()
9 ; CHECK: [[B:%[^ ]*]] = getelementptr i8, i8* [[A]], i32 48
10 ; CHECK: [[C:%[^ ]*]] = bitcast i8* [[B]] to i64*
11 ; CHECK: [[LOAD:%[^ ]*]] = load i64, i64* [[C]]
Peter Collingbourne87f477b2019-01-04 19:27:04 +000012 ; CHECK: [[ICMP:%[^ ]*]] = icmp eq i64 [[LOAD]], 0
13 ; CHECK: br i1 [[ICMP]], label %[[INIT:[^,]*]], label %[[CONT:[^,]*]], !prof [[PROF:![0-9]+]]
14
15 ; CHECK: [[INIT]]:
16 ; CHECK: call void @__hwasan_thread_enter()
Peter Collingbourne020ce3f2019-01-23 22:39:11 +000017 ; CHECK: [[RELOAD:%[^ ]*]] = load i64, i64* [[C]]
Peter Collingbourne87f477b2019-01-04 19:27:04 +000018 ; CHECK: br label %[[CONT]]
19
20 ; CHECK: [[CONT]]:
21 ; CHECK: phi i64 [ [[LOAD]], %0 ], [ [[RELOAD]], %[[INIT]] ]
22
23 %p = alloca [16 x i32]
24 call void @bar([16 x i32]* %p)
25 ret void
26}
27
Peter Collingbourne020ce3f2019-01-23 22:39:11 +000028define i32 @load(i32* %p) sanitize_hwaddress "hwasan-abi"="interceptor" {
29 ; CHECK: [[SHADOW:%[^ ]*]] = call i8* asm "", "=r,0"([0 x i8]* @__hwasan_shadow)
30 ; CHECK-NOT: icmp
31 ; CHECK: call void @llvm.hwasan.check.memaccess(i8* [[SHADOW]],
32 %v = load i32, i32* %p
33 ret i32 %v
34}
35
Peter Collingbourne87f477b2019-01-04 19:27:04 +000036; CHECK: [[PROF]] = !{!"branch_weights", i32 1, i32 100000}