test/Instrumentation/AddressSanitizer/basic-msvc64.ll

   1 ; Test basic address sanitizer instrumentation.
   2 ;
   3 ; RUN: opt -asan -asan-module -S  < %s | FileCheck %s
   4
   5 target triple = "x86_64-pc-windows-msvc"
   6 ; CHECK: @llvm.global_ctors = {{.*}}@asan.module_ctor
   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-NEXT: %[[SHADOW:[^ ]*]] = load i64, i64* @__asan_shadow_memory_dynamic_address
  14
  15 ; Shadow address is loaded and added into the whole offset computation.
  16 ; CHECK add i64 %{{.*}}, %[[SHADOW] ]
  17
  18 entry:
  19   %tmp1 = load i32, i32* %a, align 4
  20   ret i32 %tmp1
  21 }
  22
  23 define i32 @__asan_options(i32* %a) sanitize_address {
  24 ; Asan functions are not instrumented. Asan function may be called by
  25 ; __asan_init before the shadow initialisation, which may lead to incorrect
  26 ; behavior of the instrumented code.
  27 ; CHECK-LABEL: @__asan_options
  28 ; CHECK: entry:
  29 ; CHECK-NEXT: %tmp1 = load i32, i32* %a, align 4
  30 ; CHECK-NEXT: ret i32 %tmp1
  31
  32 entry:
  33   %tmp1 = load i32, i32* %a, align 4
  34   ret i32 %tmp1
  35 }