test/Instrumentation/AddressSanitizer/force-dynamic-shadow.ll

   1 ; Test -asan-force-dynamic-shadow flag.
   2 ;
   3 ; RUN: opt -asan -asan-module -S -asan-force-dynamic-shadow=1 < %s | FileCheck %s --check-prefixes=CHECK,CHECK-FDS
   4 ; RUN: opt -asan -asan-module -S -asan-force-dynamic-shadow=0 < %s | FileCheck %s --check-prefixes=CHECK,CHECK-NDS
   5
   6 target triple = "x86_64-unknown-linux-gnu"
   7
   8 define i32 @test_load(i32* %a) sanitize_address {
   9 ; First instrumentation in the function must be to load the dynamic shadow
  10 ; address into a local variable.
  11 ; CHECK-LABEL: @test_load
  12 ; CHECK: entry:
  13 ; CHECK-FDS-NEXT: %[[SHADOW:[^ ]*]] = load i64, i64* @__asan_shadow_memory_dynamic_address
  14 ; CHECK-NDS-NOT: __asan_shadow_memory_dynamic_address
  15
  16 ; Shadow address is loaded and added into the whole offset computation.
  17 ; CHECK-FDS add i64 %{{.*}}, %[[SHADOW] ]
  18
  19 entry:
  20   %tmp1 = load i32, i32* %a, align 4
  21   ret i32 %tmp1
  22 }