test/Instrumentation/AddressSanitizer/basic-myriad.ll

   1 ; Test basic address sanitizer instrumentation for Myriad.
   2 ;
   3 ; RUN: opt -asan -asan-module -S  < %s | FileCheck %s
   4
   5 target triple = "sparc-myriad-rtems"
   6 target datalayout = "E-m:e-p:32:32-i64:64-f128:64-n32-S64"
   7 ; CHECK: @llvm.global_ctors = {{.*}}@asan.module_ctor
   8
   9 define i32 @test_load(i32* %a) sanitize_address {
  10 ; CHECK-LABEL: @test_load
  11 ; CHECK-NOT: load
  12 ; CHECK:   ptrtoint i32* %a to i32
  13 ; CHECK:   %[[LOAD_ADDR:[^ ]*]] = and i32 %{{.*}}, -1073741825
  14 ; CHECK:   lshr i32 %{{.*}}, 29
  15 ; CHECK:   icmp eq i32 %{{.*}}, 4
  16 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}!prof ![[PROF:[0-9]+]]
  17 ;
  18 ; This block checks whether the shadow byte is 0.
  19 ; CHECK:   lshr i32 %[[LOAD_ADDR]], 5
  20 ; CHECK:   add i32 %{{.*}}, -1694498816
  21 ; CHECK:   %[[LOAD_SHADOW_PTR:[^ ]*]] = inttoptr
  22 ; CHECK:   %[[LOAD_SHADOW:[^ ]*]] = load i8, i8* %[[LOAD_SHADOW_PTR]]
  23 ; CHECK:   icmp ne i8
  24 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}!prof ![[PROF:[0-9]+]]
  25 ;
  26 ; This block refines the shadow test.
  27 ; CHECK:   and i32 %[[LOAD_ADDR]], 31
  28 ; CHECK:   add i32 %{{.*}}, 3
  29 ; CHECK:   trunc i32 %{{.*}} to i8
  30 ; CHECK:   icmp sge i8 %{{.*}}, %[[LOAD_SHADOW]]
  31 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
  32 ;
  33 ; The crash block reports the error.
  34 ; CHECK:   call void @__asan_report_load4(i32 %[[LOAD_ADDR]])
  35 ; CHECK:   unreachable
  36 ;
  37 ; The actual load.
  38 ; CHECK:   %tmp1 = load i32, i32* %a
  39 ; CHECK:   ret i32 %tmp1
  40
  41 entry:
  42   %tmp1 = load i32, i32* %a, align 4
  43   ret i32 %tmp1
  44 }
  45
  46 define void @test_store(i32* %a) sanitize_address {
  47 ; CHECK-LABEL: @test_store
  48 ; CHECK-NOT: store
  49 ; CHECK:   ptrtoint i32* %a to i32
  50 ; CHECK:   %[[STORE_ADDR:[^ ]*]] = and i32 %{{.*}}, -1073741825
  51 ; CHECK:   lshr i32 %{{.*}}, 29
  52 ; CHECK:   icmp eq i32 %{{.*}}, 4
  53 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}!prof ![[PROF:[0-9]+]]
  54 ;
  55 ; This block checks whether the shadow byte is 0.
  56 ; CHECK:   lshr i32 %[[STORE_ADDR]], 5
  57 ; CHECK:   add i32 %{{.*}}, -1694498816
  58 ; CHECK:   %[[STORE_SHADOW_PTR:[^ ]*]] = inttoptr
  59 ; CHECK:   %[[STORE_SHADOW:[^ ]*]] = load i8, i8* %[[STORE_SHADOW_PTR]]
  60 ; CHECK:   icmp ne i8
  61 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
  62 ;
  63 ; This block refines the shadow test.
  64 ; CHECK:   and i32 %[[STORE_ADDR]], 31
  65 ; CHECK:   add i32 %{{.*}}, 3
  66 ; CHECK:   trunc i32 %{{.*}} to i8
  67 ; CHECK:   icmp sge i8 %{{.*}}, %[[STORE_SHADOW]]
  68 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
  69 ;
  70 ; The crash block reports the error.
  71 ; CHECK:   call void @__asan_report_store4(i32 %[[STORE_ADDR]])
  72 ; CHECK:   unreachable
  73 ; The actual store.
  74 ; CHECK:   store i32 42, i32* %a
  75 ; CHECK:   ret void
  76 ;
  77
  78 entry:
  79   store i32 42, i32* %a, align 4
  80   ret void
  81 }
  82
  83 ; CHECK: define internal void @asan.module_ctor()
  84 ; CHECK: call void @__asan_init()