Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(144)

Issues Search
    My Issues | Starred     Open | Closed | All

Side by Side Diff: tests_lit/asan_tests/instrumentstore.ll

Issue 2115693002: Implemented loose checking for potential widened loads (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-subzero.git@master
Patch Set: Added test to commit Created 4 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch
« no previous file with comments | « tests_lit/asan_tests/instrumentload.ll ('k') | tests_lit/asan_tests/wideloads.ll » ('j') | tests_lit/asan_tests/wideloads.ll » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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
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: call void @__asan_check(i32 @destGlobal8, i32 1) 53 ; DUMP: call void @__asan_check_store(i32 @destGlobal8, i32 1)
54 ; DUMP-NEXT: store i8 42, i8* @destGlobal8, align 1 54 ; DUMP-NEXT: store i8 42, i8* @destGlobal8, align 1
55 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal16, i32 2) 55 ; DUMP-NEXT: call void @__asan_check_store(i32 @destGlobal16, i32 2)
56 ; DUMP-NEXT: store i16 42, i16* @destGlobal16, align 1 56 ; DUMP-NEXT: store i16 42, i16* @destGlobal16, align 1
57 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal32, i32 4) 57 ; DUMP-NEXT: call void @__asan_check_store(i32 @destGlobal32, i32 4)
58 ; DUMP-NEXT: store i32 42, i32* @destGlobal32, align 1 58 ; DUMP-NEXT: store i32 42, i32* @destGlobal32, align 1
59 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal64, i32 8) 59 ; DUMP-NEXT: call void @__asan_check_store(i32 @destGlobal64, i32 8)
60 ; DUMP-NEXT: store i64 42, i64* @destGlobal64, align 1 60 ; DUMP-NEXT: store i64 42, i64* @destGlobal64, align 1
61 ; DUMP-NEXT: call void @__asan_check(i32 @destGlobal128, i32 16) 61 ; DUMP-NEXT: call void @__asan_check_store(i32 @destGlobal128, i32 16)
62 ; 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
63 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal8, i32 1) 63 ; DUMP-NEXT: call void @__asan_check_store(i32 %destLocal8, i32 1)
64 ; DUMP-NEXT: store i8 42, i8* %destLocal8, align 1 64 ; DUMP-NEXT: store i8 42, i8* %destLocal8, align 1
65 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal16, i32 2) 65 ; DUMP-NEXT: call void @__asan_check_store(i32 %destLocal16, i32 2)
66 ; DUMP-NEXT: store i16 42, i16* %destLocal16, align 1 66 ; DUMP-NEXT: store i16 42, i16* %destLocal16, align 1
67 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal32, i32 4) 67 ; DUMP-NEXT: call void @__asan_check_store(i32 %destLocal32, i32 4)
68 ; DUMP-NEXT: store i32 42, i32* %destLocal32, align 1 68 ; DUMP-NEXT: store i32 42, i32* %destLocal32, align 1
69 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal64, i32 8) 69 ; DUMP-NEXT: call void @__asan_check_store(i32 %destLocal64, i32 8)
70 ; DUMP-NEXT: store i64 42, i64* %destLocal64, align 1 70 ; DUMP-NEXT: store i64 42, i64* %destLocal64, align 1
71 ; DUMP-NEXT: call void @__asan_check(i32 %destLocal128, i32 16) 71 ; DUMP-NEXT: call void @__asan_check_store(i32 %destLocal128, i32 16)
72 ; 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
73 ; DUMP: ret void 73 ; DUMP: ret void
74 ; DUMP-NEXT: } 74 ; DUMP-NEXT: }
OLDNEW
« no previous file with comments | « tests_lit/asan_tests/instrumentload.ll ('k') | tests_lit/asan_tests/wideloads.ll » ('j') | tests_lit/asan_tests/wideloads.ll » ('J')

Powered by Google App Engine
This is Rietveld 408576698