llvm/test/Instrumentation/AddressSanitizer/asan_address_space_attr.ll

   1 ; RUN: opt < %s -passes=asan -S | FileCheck %s
   2 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-apple-macosx10.11.0"
   4
   5 ; Checks that we do not instrument loads and stores comming from custom address space.
   6 ; These result in invalid (false positive) reports.
   7 ; int foo(int argc, const char * argv[]) {
   8 ;   ptr__attribute__((address_space(256))) *gs_base = (((ptr __attribute__((address_space(256))) *)0));
   9 ;   ptr somevalue = gs_base[-1];
  10 ;   return somevalue;
  11 ; }
  12
  13 define i32 @foo(i32 %argc, ptr %argv) sanitize_address {
  14 entry:
  15   %retval = alloca i32, align 4
  16   %argc.addr = alloca i32, align 4
  17   %argv.addr = alloca ptr, align 8
  18   %gs_base = alloca ptr addrspace(256), align 8
  19   %somevalue = alloca ptr, align 8
  20   store i32 0, ptr %retval, align 4
  21   store i32 %argc, ptr %argc.addr, align 4
  22   store ptr %argv, ptr %argv.addr, align 8
  23   store ptr addrspace(256) null, ptr %gs_base, align 8
  24   %0 = load ptr addrspace(256), ptr %gs_base, align 8
  25   %arrayidx = getelementptr inbounds ptr, ptr addrspace(256) %0, i64 -1
  26   %1 = load ptr, ptr addrspace(256) %arrayidx, align 8
  27   store ptr %1, ptr %somevalue, align 8
  28   %2 = load ptr, ptr %somevalue, align 8
  29   %3 = ptrtoint ptr %2 to i32
  30   ret i32 %3
  31 }
  32 ; CHECK-NOT: call void @__asan_report_load8