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