test/Instrumentation/AddressSanitizer/different_scale_and_offset.ll

   1 ; Test non-default shadow mapping scale and offset.
   2 ;
   3 ; RUN: opt < %s -asan -asan-mapping-scale=2 -asan-mapping-offset-log=0 -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 ; Test that ASan tells scale and offset to runtime.
   9 ; CHECK: @__asan_mapping_offset = linkonce_odr constant i64 0
  10 ; CHECK: @__asan_mapping_scale = linkonce_odr constant i64 2
  11
  12 define i32 @test_load(i32* %a) address_safety {
  13 ; CHECK: @test_load
  14 ; CHECK-NOT: load
  15 ; CHECK:   %[[LOAD_ADDR:[^ ]*]] = ptrtoint i32* %a to i64
  16 ; CHECK:   lshr i64 %[[LOAD_ADDR]], 2
  17
  18 ; No need in shift for zero offset.
  19 ; CHECK-NOT:  or i64
  20
  21 ; CHECK:   %[[LOAD_SHADOW_PTR:[^ ]*]] = inttoptr
  22 ; CHECK:   %[[LOAD_SHADOW:[^ ]*]] = load i8* %[[LOAD_SHADOW_PTR]]
  23 ; CHECK:   icmp ne i8
  24 ; CHECK:   br i1 %{{.*}}, label %{{.*}}, label %{{.*}}
  25
  26 ; No need in slow path for i32 and mapping scale equal to 2.
  27 ; CHECK-NOT:   and i64 %[[LOAD_ADDR]]
  28 ;
  29 ; The crash block reports the error.
  30 ; CHECK:   call void @__asan_report_load4(i64 %[[LOAD_ADDR]])
  31 ; CHECK:   unreachable
  32 ;
  33 ; The actual load.
  34 ; CHECK:   %tmp1 = load i32* %a
  35 ; CHECK:   ret i32 %tmp1
  36
  37 entry:
  38   %tmp1 = load i32* %a
  39   ret i32 %tmp1
  40 }
  41