tests_lit/asan_tests/instrumentload.ll - Issue 2095763002: Instrumented local variables and implemented runtime.

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

Issue 2095763002: Instrumented local variables and implemented runtime. (Closed) Base URL: https://chromium.googlesource.com/native_client/pnacl-subzero.git@master

Patch Set: Fixed alloca ordering and added the alignment test 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

« src/IceCfg.cpp ('K') | « tests_lit/asan_tests/alignment.ll ('k') | tests_lit/asan_tests/instrumentlocals.ll » ('j') | no next file with comments »

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: call void @__asan_check(i32 @srcConst8, i32 1)	72 ; DUMP: call void @__asan_check(i32 @srcConst8, i32 1)

73 ; DUMP-NEXT: %dest1 = load i8, i8* @srcConst8, align 1	73 ; DUMP-NEXT: %dest1 = load i8, i8* @srcConst8, align 1

74 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst16, i32 2)	74 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst16, i32 2)

75 ; DUMP-NEXT: %dest2 = load i16, i16* @srcConst16, align 1	75 ; DUMP-NEXT: %dest2 = load i16, i16* @srcConst16, align 1

76 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst32, i32 4)	76 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst32, i32 4)

77 ; DUMP-NEXT: %dest3 = load i32, i32* @srcConst32, align 1	77 ; DUMP-NEXT: %dest3 = load i32, i32* @srcConst32, align 1

78 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst64, i32 8)	78 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst64, i32 8)

79 ; DUMP-NEXT: %dest4 = load i64, i64* @srcConst64, align 1	79 ; DUMP-NEXT: %dest4 = load i64, i64* @srcConst64, align 1

80 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst128, i32 16)	80 ; DUMP-NEXT: call void @__asan_check(i32 @srcConst128, i32 16)

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

82 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal8, i32 1)	82 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal8, i32 1)

83 ; DUMP-NEXT: %dest6 = load i8, i8* @srcGlobal8, align 1	83 ; DUMP-NEXT: %dest6 = load i8, i8* @srcGlobal8, align 1

84 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal16, i32 2)	84 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal16, i32 2)

85 ; DUMP-NEXT: %dest7 = load i16, i16* @srcGlobal16, align 1	85 ; DUMP-NEXT: %dest7 = load i16, i16* @srcGlobal16, align 1

86 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal32, i32 4)	86 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal32, i32 4)

87 ; DUMP-NEXT: %dest8 = load i32, i32* @srcGlobal32, align 1	87 ; DUMP-NEXT: %dest8 = load i32, i32* @srcGlobal32, align 1

88 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal64, i32 8)	88 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal64, i32 8)

89 ; DUMP-NEXT: %dest9 = load i64, i64* @srcGlobal64, align 1	89 ; DUMP-NEXT: %dest9 = load i64, i64* @srcGlobal64, align 1

90 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal128, i32 16)	90 ; DUMP-NEXT: call void @__asan_check(i32 @srcGlobal128, i32 16)

91 ; DUMP-NEXT: %dest10 = load <4 x i32>, <4 x i32>* @srcGlobal128, align 4	91 ; DUMP-NEXT: %dest10 = load <4 x i32>, <4 x i32>* @srcGlobal128, align 4

92 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal8, i32 1)	92 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal8, i32 1)

93 ; DUMP-NEXT: %dest11 = load i8, i8* %srcLocal8, align 1	93 ; DUMP-NEXT: %dest11 = load i8, i8* %srcLocal8, align 1

94 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal16, i32 2)	94 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal16, i32 2)

95 ; DUMP-NEXT: %dest12 = load i16, i16* %srcLocal16, align 1	95 ; DUMP-NEXT: %dest12 = load i16, i16* %srcLocal16, align 1

96 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal32, i32 4)	96 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal32, i32 4)

97 ; DUMP-NEXT: %dest13 = load i32, i32* %srcLocal32, align 1	97 ; DUMP-NEXT: %dest13 = load i32, i32* %srcLocal32, align 1

98 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal64, i32 8)	98 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal64, i32 8)

99 ; DUMP-NEXT: %dest14 = load i64, i64* %srcLocal64, align 1	99 ; DUMP-NEXT: %dest14 = load i64, i64* %srcLocal64, align 1

100 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal128, i32 16)	100 ; DUMP-NEXT: call void @__asan_check(i32 %srcLocal128, i32 16)

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

102 ; DUMP-NEXT: ret void	102 ; DUMP: ret void

103 ; DUMP-NEXT }	103 ; DUMP-NEXT: }

OLD	NEW