Instrumented load and store with dummy calls to __asan_check().

tests_lit/asan_tests/instrumentstore.ll

+; Test for a call to __asan_check() preceeding stores

[Jim Stichnoth, 2016/06/16 03:58:51]

preceding

[tlively, 2016/06/16 17:35:55]

Done.

+
+; REQUIRES: allow_dump
+
+; RUN: %p2i -i %s --args -verbose=inst -threads=0 -fsanitize-address \
+; RUN:     | FileCheck --check-prefix=DUMP %s
+
+; A global to store data to
+@destGlobal8 = internal global [1 x i8] zeroinitializer
+@destGlobal16 = internal global [2 x i8] zeroinitializer
+@destGlobal32 = internal global [4 x i8] zeroinitializer
+@destGlobal64 = internal global [8 x i8] zeroinitializer
+@destGlobal128 = internal global [16 x i8] zeroinitializer
+
+; A function with a local variable that does the stores
+define internal void @doStores(<4 x i32> %vecSrc) {
+  %destLocal8 = alloca i8, i32 1, align 4
+  %destLocal16 = alloca i8, i32 2, align 4
+  %destLocal32 = alloca i8, i32 4, align 4
+  %destLocal64 = alloca i8, i32 8, align 4
+  %destLocal128 = alloca i8, i32 16, align 4
+
+  %ptrGlobal8 = bitcast [1 x i8]* @destGlobal8 to i8*
+  %ptrGlobal16 = bitcast [2 x i8]* @destGlobal16 to i16*
+  %ptrGlobal32 = bitcast [4 x i8]* @destGlobal32 to i32*
+  %ptrGlobal64 = bitcast [8 x i8]* @destGlobal64 to i64*
+  %ptrGlobal128 = bitcast [16 x i8]* @destGlobal128 to <4 x i32>*
+
+  %ptrLocal8 = bitcast i8* %destLocal8 to i8*
+  %ptrLocal16 = bitcast i8* %destLocal16 to i16*
+  %ptrLocal32 = bitcast i8* %destLocal32 to i32*
+  %ptrLocal64 = bitcast i8* %destLocal64 to i64*
+  %ptrLocal128 = bitcast i8* %destLocal128 to <4 x i32>*
+
+  store i8 42, i8* %ptrGlobal8, align 1
+  store i16 42, i16* %ptrGlobal16, align 1
+  store i32 42, i32* %ptrGlobal32, align 1
+  store i64 42, i64* %ptrGlobal64, align 1
+  store <4 x i32> %vecSrc, <4 x i32>* %ptrGlobal128, align 4
+
+  store i8 42, i8* %ptrLocal8, align 1
+  store i16 42, i16* %ptrLocal16, align 1
+  store i32 42, i32* %ptrLocal32, align 1
+  store i64 42, i64* %ptrLocal64, align 1
+  store <4 x i32> %vecSrc, <4 x i32>* %ptrLocal128, align 4
+
+  ret void
+}
+
+; DUMP-LABEL: define internal void @doStores(<4 x i32> %vecSrc) { # doStores(i=26:b=1)

[Jim Stichnoth, 2016/06/16 03:58:51]

Same comment about "#" and everything after it on that line.

+; DUMP-NEXT: __0:
+; DUMP-NEXT: %destLocal8 = alloca i8, i32 1, align 4
+; DUMP-NEXT: %destLocal16 = alloca i8, i32 2, align 4
+; DUMP-NEXT: %destLocal32 = alloca i8, i32 4, align 4
+; DUMP-NEXT: %destLocal64 = alloca i8, i32 8, align 4
+; DUMP-NEXT: %destLocal128 = alloca i8, i32 16, align 4
+; DUMP-NEXT: call void @__asan_check(i32 @destGlobal8, i32 1)
+; DUMP-NEXT: store i8 42, i8* @destGlobal8, align 1
+; DUMP-NEXT: call void @__asan_check(i32 @destGlobal16, i32 2)
+; DUMP-NEXT: store i16 42, i16* @destGlobal16, align 1
+; DUMP-NEXT: call void @__asan_check(i32 @destGlobal32, i32 4)
+; DUMP-NEXT: store i32 42, i32* @destGlobal32, align 1
+; DUMP-NEXT: call void @__asan_check(i32 @destGlobal64, i32 8)
+; DUMP-NEXT: store i64 42, i64* @destGlobal64, align 1
+; DUMP-NEXT: call void @__asan_check(i32 @destGlobal128, i32 16)
+; DUMP-NEXT: store <4 x i32> %vecSrc, <4 x i32>* @destGlobal128, align 4, beacon %vecSrc

[Jim Stichnoth, 2016/06/16 03:58:51]

I would also omit ", beacon ..." even though it's part of the dump output,
because nothing like that is in the original bitcode.

[tlively, 2016/06/16 17:35:55]

Done.

+; DUMP-NEXT: call void @__asan_check(i32 %destLocal8, i32 1)
+; DUMP-NEXT: store i8 42, i8* %destLocal8, align 1
+; DUMP-NEXT: call void @__asan_check(i32 %destLocal16, i32 2)
+; DUMP-NEXT: store i16 42, i16* %destLocal16, align 1
+; DUMP-NEXT: call void @__asan_check(i32 %destLocal32, i32 4)
+; DUMP-NEXT: store i32 42, i32* %destLocal32, align 1
+; DUMP-NEXT: call void @__asan_check(i32 %destLocal64, i32 8)
+; DUMP-NEXT: store i64 42, i64* %destLocal64, align 1
+; DUMP-NEXT: call void @__asan_check(i32 %destLocal128, i32 16)
+; DUMP-NEXT: store <4 x i32> %vecSrc, <4 x i32>* %destLocal128, align 4, beacon %vecSrc
+; DUMP-NEXT: ret void
+; DUMP-NEXT: }