OLD | NEW |
1 ; Test for a call to __asan_check() preceding loads | 1 ; Test for a call to __asan_check() preceding loads |
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 ; Constants to load data from | 8 ; Constants to load data from |
9 @srcConst8 = internal constant [1 x i8] c"D" | 9 @srcConst8 = internal constant [1 x i8] c"D" |
10 @srcConst16 = internal constant [2 x i8] c"DA" | 10 @srcConst16 = internal constant [2 x i8] c"DA" |
(...skipping 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
62 %dest13 = load i32, i32* %ptrLocal32, align 1 | 62 %dest13 = load i32, i32* %ptrLocal32, align 1 |
63 %dest14 = load i64, i64* %ptrLocal64, align 1 | 63 %dest14 = load i64, i64* %ptrLocal64, align 1 |
64 %dest15 = load <4 x i32>, <4 x i32>* %ptrLocal128, align 4 | 64 %dest15 = load <4 x i32>, <4 x i32>* %ptrLocal128, align 4 |
65 | 65 |
66 ret void | 66 ret void |
67 } | 67 } |
68 | 68 |
69 ; DUMP-LABEL: ================ Instrumented CFG ================ | 69 ; DUMP-LABEL: ================ Instrumented CFG ================ |
70 ; DUMP-NEXT: define internal void @doLoads() { | 70 ; DUMP-NEXT: define internal void @doLoads() { |
71 ; DUMP-NEXT: __0: | 71 ; DUMP-NEXT: __0: |
72 ; DUMP-NEXT: %srcLocal8 = alloca i8, i32 1, align 4 | 72 ; DUMP: call void @__asan_check(i32 @srcConst8, i32 1) |
73 ; DUMP-NEXT: %srcLocal16 = alloca i8, i32 2, align 4 | |
74 ; DUMP-NEXT: %srcLocal32 = alloca i8, i32 4, align 4 | |
75 ; DUMP-NEXT: %srcLocal64 = alloca i8, i32 8, align 4 | |
76 ; DUMP-NEXT: %srcLocal128 = alloca i8, i32 16, align 4 | |
77 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst8, i32 1) | |
78 ; DUMP-NEXT: %dest1 = load i8, i8* @srcConst8, align 1 | 73 ; DUMP-NEXT: %dest1 = load i8, i8* @srcConst8, align 1 |
79 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst16, i32 2) | 74 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst16, i32 2) |
80 ; DUMP-NEXT: %dest2 = load i16, i16* @srcConst16, align 1 | 75 ; DUMP-NEXT: %dest2 = load i16, i16* @srcConst16, align 1 |
81 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst32, i32 4) | 76 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst32, i32 4) |
82 ; DUMP-NEXT: %dest3 = load i32, i32* @srcConst32, align 1 | 77 ; DUMP-NEXT: %dest3 = load i32, i32* @srcConst32, align 1 |
83 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst64, i32 8) | 78 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst64, i32 8) |
84 ; DUMP-NEXT: %dest4 = load i64, i64* @srcConst64, align 1 | 79 ; DUMP-NEXT: %dest4 = load i64, i64* @srcConst64, align 1 |
85 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst128, i32 16) | 80 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst128, i32 16) |
86 ; DUMP-NEXT: %dest5 = load <4 x i32>, <4 x i32>* @srcConst128, align 4 | 81 ; DUMP-NEXT: %dest5 = load <4 x i32>, <4 x i32>* @srcConst128, align 4 |
87 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal8, i32 1) | 82 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal8, i32 1) |
(...skipping 11 matching lines...) Expand all Loading... |
99 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal16, i32 2) | 94 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal16, i32 2) |
100 ; DUMP-NEXT: %dest12 = load i16, i16* %srcLocal16, align 1 | 95 ; DUMP-NEXT: %dest12 = load i16, i16* %srcLocal16, align 1 |
101 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal32, i32 4) | 96 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal32, i32 4) |
102 ; DUMP-NEXT: %dest13 = load i32, i32* %srcLocal32, align 1 | 97 ; DUMP-NEXT: %dest13 = load i32, i32* %srcLocal32, align 1 |
103 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal64, i32 8) | 98 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal64, i32 8) |
104 ; DUMP-NEXT: %dest14 = load i64, i64* %srcLocal64, align 1 | 99 ; DUMP-NEXT: %dest14 = load i64, i64* %srcLocal64, align 1 |
105 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal128, i32 16) | 100 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal128, i32 16) |
106 ; DUMP-NEXT: %dest15 = load <4 x i32>, <4 x i32>* %srcLocal128, align 4 | 101 ; DUMP-NEXT: %dest15 = load <4 x i32>, <4 x i32>* %srcLocal128, align 4 |
107 ; DUMP-NEXT: ret void | 102 ; DUMP-NEXT: ret void |
108 ; DUMP-NEXT } | 103 ; DUMP-NEXT } |
OLD | NEW |