| ; Test basic address sanitizer instrumentation. |
| ; |
| ; RUN: opt -passes=asan -S < %s | FileCheck %s |
| |
| target triple = "x86_64-pc-windows-msvc" |
| ; CHECK: @llvm.global_ctors = {{.*}}@asan.module_ctor |
| |
| define i32 @test_load(ptr %a) sanitize_address { |
| ; First instrumentation in the function must be to load the dynamic shadow |
| ; address into a local variable. |
| ; CHECK-LABEL: @test_load |
| ; CHECK: entry: |
| ; CHECK-NEXT: %[[SHADOW:[^ ]*]] = load i64, ptr @__asan_shadow_memory_dynamic_address |
| |
| ; Shadow address is loaded and added into the whole offset computation. |
| ; CHECK: add i64 %{{.*}}, %[[SHADOW]] |
| |
| entry: |
| %tmp1 = load i32, ptr %a, align 4 |
| ret i32 %tmp1 |
| } |
| |
| define i32 @__asan_options(ptr %a) sanitize_address { |
| ; Asan functions are not instrumented. Asan function may be called by |
| ; __asan_init before the shadow initialisation, which may lead to incorrect |
| ; behavior of the instrumented code. |
| ; CHECK-LABEL: @__asan_options |
| ; CHECK: entry: |
| ; CHECK-NEXT: %tmp1 = load i32, ptr %a, align 4 |
| ; CHECK-NEXT: ret i32 %tmp1 |
| |
| entry: |
| %tmp1 = load i32, ptr %a, align 4 |
| ret i32 %tmp1 |
| } |
