| ; Test KHWASan instrumentation. |
| ; Generic code is covered by ../kernel.ll, only the x86_64 specific code is |
| ; tested here. |
| ; |
| ; RUN: opt < %s -hwasan -hwasan-kernel=1 -S | FileCheck %s --allow-empty --check-prefixes=INIT |
| ; RUN: opt < %s -hwasan -hwasan-kernel=1 -S | FileCheck %s |
| ; RUN: opt < %s -hwasan -hwasan-kernel=1 -hwasan-mapping-offset=12345678 -S | FileCheck %s |
| ; RUN: opt < %s -hwasan -hwasan-kernel=1 -hwasan-recover=0 -S | FileCheck %s --check-prefixes=CHECK,ABORT |
| ; RUN: opt < %s -hwasan -hwasan-kernel=1 -hwasan-recover=1 -S | FileCheck %s --check-prefixes=CHECK,RECOVER |
| |
| target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| define i8 @test_load(i8* %a) sanitize_hwaddress { |
| ; CHECK-LABEL: @test_load( |
| ; CHECK: %[[A:[^ ]*]] = ptrtoint i8* %a to i64 |
| |
| ; ABORT: call void @__hwasan_load1(i64 %[[A]]) |
| ; RECOVER: call void @__hwasan_load1_noabort(i64 %[[A]]) |
| |
| ; CHECK: %[[G:[^ ]*]] = load i8, i8* %a, align 4 |
| ; CHECK: ret i8 %[[G]] |
| |
| entry: |
| %b = load i8, i8* %a, align 4 |
| ret i8 %b |
| } |
| |
| ; INIT-NOT: call void @__hwasan_init |
