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 |