| OLD | NEW |
| 1 ; Test for a call to __asan_check() preceding stores | 1 ; Test for a call to __asan_check() preceding stores |
| 2 | 2 |
| 3 ; REQUIRES: allow_dump | 3 ; REQUIRES: allow_dump |
| 4 | 4 |
| 5 ; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \ | 5 ; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \ |
| 6 ; RUN: | FileCheck --check-prefix=DUMP %s | 6 ; RUN: | FileCheck --check-prefix=DUMP %s |
| 7 | 7 |
| 8 ; A global to store data to | 8 ; A global to store data to |
| 9 @destGlobal8 = internal global [1 x i8] zeroinitializer | 9 @destGlobal8 = internal global [1 x i8] zeroinitializer |
| 10 @destGlobal16 = internal global [2 x i8] zeroinitializer | 10 @destGlobal16 = internal global [2 x i8] zeroinitializer |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 43 store i32 42, i32* %ptrLocal32, align 1 | 43 store i32 42, i32* %ptrLocal32, align 1 |
| 44 store i64 42, i64* %ptrLocal64, align 1 | 44 store i64 42, i64* %ptrLocal64, align 1 |
| 45 store <4 x i32> %vecSrc, <4 x i32>* %ptrLocal128, align 4 | 45 store <4 x i32> %vecSrc, <4 x i32>* %ptrLocal128, align 4 |
| 46 | 46 |
| 47 ret void | 47 ret void |
| 48 } | 48 } |
| 49 | 49 |
| 50 ; DUMP-LABEL: ================ Instrumented CFG ================ | 50 ; DUMP-LABEL: ================ Instrumented CFG ================ |
| 51 ; DUMP-NEXT: define internal void @doStores(<4 x i32> %vecSrc) { | 51 ; DUMP-NEXT: define internal void @doStores(<4 x i32> %vecSrc) { |
| 52 ; DUMP-NEXT: __0: | 52 ; DUMP-NEXT: __0: |
| 53 ; DUMP-NEXT: %destLocal8 = alloca i8, i32 1, align 4 | 53 ; DUMP: call void @__asan_check(i32 @destGlobal8, i32 1) |
| 54 ; DUMP-NEXT: %destLocal16 = alloca i8, i32 2, align 4 | |
| 55 ; DUMP-NEXT: %destLocal32 = alloca i8, i32 4, align 4 | |
| 56 ; DUMP-NEXT: %destLocal64 = alloca i8, i32 8, align 4 | |
| 57 ; DUMP-NEXT: %destLocal128 = alloca i8, i32 16, align 4 | |
| 58 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal8, i32 1) | |
| 59 ; DUMP-NEXT: store i8 42, i8* @destGlobal8, align 1 | 54 ; DUMP-NEXT: store i8 42, i8* @destGlobal8, align 1 |
| 60 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal16, i32 2) | 55 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal16, i32 2) |
| 61 ; DUMP-NEXT: store i16 42, i16* @destGlobal16, align 1 | 56 ; DUMP-NEXT: store i16 42, i16* @destGlobal16, align 1 |
| 62 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal32, i32 4) | 57 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal32, i32 4) |
| 63 ; DUMP-NEXT: store i32 42, i32* @destGlobal32, align 1 | 58 ; DUMP-NEXT: store i32 42, i32* @destGlobal32, align 1 |
| 64 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal64, i32 8) | 59 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal64, i32 8) |
| 65 ; DUMP-NEXT: store i64 42, i64* @destGlobal64, align 1 | 60 ; DUMP-NEXT: store i64 42, i64* @destGlobal64, align 1 |
| 66 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal128, i32 16) | 61 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal128, i32 16) |
| 67 ; DUMP-NEXT: store <4 x i32> %vecSrc, <4 x i32>* @destGlobal128, align 4 | 62 ; DUMP-NEXT: store <4 x i32> %vecSrc, <4 x i32>* @destGlobal128, align 4 |
| 68 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal8, i32 1) | 63 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal8, i32 1) |
| 69 ; DUMP-NEXT: store i8 42, i8* %destLocal8, align 1 | 64 ; DUMP-NEXT: store i8 42, i8* %destLocal8, align 1 |
| 70 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal16, i32 2) | 65 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal16, i32 2) |
| 71 ; DUMP-NEXT: store i16 42, i16* %destLocal16, align 1 | 66 ; DUMP-NEXT: store i16 42, i16* %destLocal16, align 1 |
| 72 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal32, i32 4) | 67 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal32, i32 4) |
| 73 ; DUMP-NEXT: store i32 42, i32* %destLocal32, align 1 | 68 ; DUMP-NEXT: store i32 42, i32* %destLocal32, align 1 |
| 74 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal64, i32 8) | 69 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal64, i32 8) |
| 75 ; DUMP-NEXT: store i64 42, i64* %destLocal64, align 1 | 70 ; DUMP-NEXT: store i64 42, i64* %destLocal64, align 1 |
| 76 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal128, i32 16) | 71 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal128, i32 16) |
| 77 ; DUMP-NEXT: store <4 x i32> %vecSrc, <4 x i32>* %destLocal128, align 4 | 72 ; DUMP-NEXT: store <4 x i32> %vecSrc, <4 x i32>* %destLocal128, align 4 |
| 78 ; DUMP-NEXT: ret void | 73 ; DUMP-NEXT: ret void |
| 79 ; DUMP-NEXT: } | 74 ; DUMP-NEXT: } |
| OLD | NEW |