| 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 |