| ; Test -asan-force-dynamic-shadow flag. | |
| ; | |
| ; RUN: opt -asan -asan-module -S -asan-force-dynamic-shadow=1 < %s | FileCheck %s --check-prefixes=CHECK,CHECK-FDS | |
| ; RUN: opt -asan -asan-module -S -asan-force-dynamic-shadow=0 < %s | FileCheck %s --check-prefixes=CHECK,CHECK-NDS | |
| target triple = "x86_64-unknown-linux-gnu" | |
| define i32 @test_load(i32* %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-FDS-NEXT: %[[SHADOW:[^ ]*]] = load i64, i64* @__asan_shadow_memory_dynamic_address | |
| ; CHECK-NDS-NOT: __asan_shadow_memory_dynamic_address | |
| ; Shadow address is loaded and added into the whole offset computation. | |
| ; CHECK-FDS add i64 %{{.*}}, %[[SHADOW] ] | |
| entry: | |
| %tmp1 = load i32, i32* %a, align 4 | |
| ret i32 %tmp1 | |
| } |