1 ; Test for a call to __asan_check() preceding loads 2 3 ; REQUIRES: allow_dump 4 5 ; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \ 6 ; RUN: | FileCheck --check-prefix=DUMP %s 7 8 ; A function with a local variable that does the loads 9 define internal void @doLoads(i32 %arg8, i32 %arg16, i32 %arg32, i32 %arg64, 10 i32 %arg128) { 11 %srcLocal8 = inttoptr i32 %arg8 to i8* 12 %srcLocal16 = inttoptr i32 %arg16 to i16* 13 %srcLocal32 = inttoptr i32 %arg32 to i32* 14 %srcLocal64 = inttoptr i32 %arg64 to i64* 15 %srcLocal128 = inttoptr i32 %arg128 to <4 x i32>* 16 17 %dest11 = load i8, i8* %srcLocal8, align 1 18 %dest12 = load i16, i16* %srcLocal16, align 1 19 %dest13 = load i32, i32* %srcLocal32, align 1 20 %dest14 = load i64, i64* %srcLocal64, align 1 21 %dest15 = load <4 x i32>, <4 x i32>* %srcLocal128, align 4 22 23 ret void 24 } 25 26 ; DUMP-LABEL: ================ Instrumented CFG ================ 27 ; DUMP-NEXT: define internal void @doLoads( 28 ; DUMP-NEXT: __0: 29 ; DUMP-NEXT: call void @__asan_check_load(i32 %arg8, i32 1) 30 ; DUMP-NEXT: %dest11 = load i8, i8* %arg8, align 1 31 ; DUMP-NEXT: call void @__asan_check_load(i32 %arg16, i32 2) 32 ; DUMP-NEXT: %dest12 = load i16, i16* %arg16, align 1 33 ; DUMP-NEXT: call void @__asan_check_load(i32 %arg32, i32 4) 34 ; DUMP-NEXT: %dest13 = load i32, i32* %arg32, align 1 35 ; DUMP-NEXT: call void @__asan_check_load(i32 %arg64, i32 8) 36 ; DUMP-NEXT: %dest14 = load i64, i64* %arg64, align 1 37 ; DUMP-NEXT: call void @__asan_check_load(i32 %arg128, i32 16) 38 ; DUMP-NEXT: %dest15 = load <4 x i32>, <4 x i32>* %arg128, align 4 39 ; DUMP: ret void 40 ; DUMP-NEXT: } 41
