Home | History | Annotate | Download | only in AddressSanitizer
      1 ; Test basic address sanitizer instrumentation.
      2 ;
      3 ; RUN: opt < %s -asan -S | FileCheck %s
      4 
      5 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
      6 target triple = "x86_64-unknown-linux-gnu"
      7 
      8 define i32 @test_load(i32* %a) address_safety {
      9 ; CHECK: @test_load
     10 ; CHECK-NOT: load
     11 ; CHECK:   %[[LOAD_ADDR:[^ ]*]] = ptrtoint i32* %a to i64
     12 ; CHECK:   lshr i64 %[[LOAD_ADDR]], 3
     13 ; CHECK:   or i64
     14 ; CHECK:   %[[LOAD_SHADOW_PTR:[^ ]*]] = inttoptr
     15 ; CHECK:   %[[LOAD_SHADOW:[^ ]*]] = load i8* %[[LOAD_SHADOW_PTR]]
     16 ; CHECK:   icmp ne i8
     17 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
     18 ;
     19 ; First instrumentation block refines the shadow test.
     20 ; CHECK:   and i64 %[[LOAD_ADDR]], 7
     21 ; CHECK:   add i64 %{{.*}}, 3
     22 ; CHECK:   trunc i64 %{{.*}} to i8
     23 ; CHECK:   icmp sge i8 %{{.*}}, %[[LOAD_SHADOW]]
     24 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
     25 ;
     26 ; The crash block reports the error.
     27 ; CHECK:   call void @__asan_report_load4(i64 %[[LOAD_ADDR]])
     28 ; CHECK:   unreachable
     29 ;
     30 ; The actual load.
     31 ; CHECK:   %tmp1 = load i32* %a
     32 ; CHECK:   ret i32 %tmp1
     33 
     34 
     35 
     36 entry:
     37   %tmp1 = load i32* %a
     38   ret i32 %tmp1
     39 }
     40 
     41 define void @test_store(i32* %a) address_safety {
     42 ; CHECK: @test_store
     43 ; CHECK-NOT: store
     44 ; CHECK:   %[[STORE_ADDR:[^ ]*]] = ptrtoint i32* %a to i64
     45 ; CHECK:   lshr i64 %[[STORE_ADDR]], 3
     46 ; CHECK:   or i64
     47 ; CHECK:   %[[STORE_SHADOW_PTR:[^ ]*]] = inttoptr
     48 ; CHECK:   %[[STORE_SHADOW:[^ ]*]] = load i8* %[[STORE_SHADOW_PTR]]
     49 ; CHECK:   icmp ne i8
     50 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
     51 ;
     52 ; First instrumentation block refines the shadow test.
     53 ; CHECK:   and i64 %[[STORE_ADDR]], 7
     54 ; CHECK:   add i64 %{{.*}}, 3
     55 ; CHECK:   trunc i64 %{{.*}} to i8
     56 ; CHECK:   icmp sge i8 %{{.*}}, %[[STORE_SHADOW]]
     57 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
     58 ;
     59 ; The crash block reports the error.
     60 ; CHECK:   call void @__asan_report_store4(i64 %[[STORE_ADDR]])
     61 ; CHECK:   unreachable
     62 ;
     63 ; The actual load.
     64 ; CHECK:   store i32 42, i32* %a
     65 ; CHECK:   ret void
     66 ;
     67 
     68 entry:
     69   store i32 42, i32* %a
     70   ret void
     71 }
     72