34 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt < %s -passes=hwasan -S | FileCheck %s3; RUN: opt < %s -passes=hwasan -hwasan-recover=0 -hwasan-mapping-offset=0 -S | FileCheck %s --check-prefixes=ABORT-ZERO-BASED-SHADOW4 5; This shows that HWASan omits the memaccess check when dereferencing a null6; pointer.7; The output is used as the source for llvm/test/CodeGen/AArch64/hwasan-zero-ptr.ll.8 9target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"10target triple = "aarch64--linux-android10000"11 12define void @test_store_to_zeroptr() sanitize_hwaddress {13; CHECK-LABEL: define void @test_store_to_zeroptr14; CHECK-SAME: () #[[ATTR0:[0-9]+]] {15; CHECK-NEXT: entry:16; CHECK-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr @__hwasan_shadow)17; CHECK-NEXT: [[B:%.*]] = inttoptr i64 0 to ptr18; CHECK-NEXT: store i64 42, ptr [[B]], align 819; CHECK-NEXT: ret void20;21; ABORT-ZERO-BASED-SHADOW-LABEL: define void @test_store_to_zeroptr22; ABORT-ZERO-BASED-SHADOW-SAME: () #[[ATTR0:[0-9]+]] {23; ABORT-ZERO-BASED-SHADOW-NEXT: entry:24; ABORT-ZERO-BASED-SHADOW-NEXT: [[DOTHWASAN_SHADOW:%.*]] = call ptr asm "", "=r,0"(ptr null)25; ABORT-ZERO-BASED-SHADOW-NEXT: [[B:%.*]] = inttoptr i64 0 to ptr26; ABORT-ZERO-BASED-SHADOW-NEXT: store i64 42, ptr [[B]], align 827; ABORT-ZERO-BASED-SHADOW-NEXT: ret void28;29entry:30 %b = inttoptr i64 0 to i64*31 store i64 42, ptr %b32 ret void33}34