diff options
Diffstat (limited to 'test/Instrumentation/MemorySanitizer')
5 files changed, 154 insertions, 12 deletions
diff --git a/test/Instrumentation/MemorySanitizer/array_types.ll b/test/Instrumentation/MemorySanitizer/array_types.ll new file mode 100644 index 0000000..fa3835f --- /dev/null +++ b/test/Instrumentation/MemorySanitizer/array_types.ll @@ -0,0 +1,89 @@ +; RUN: opt < %s -msan -msan-check-access-address=0 -S | FileCheck %s +; RUN: opt < %s -msan -msan-check-access-address=0 -msan-track-origins=1 -S | FileCheck -check-prefix=CHECK -check-prefix=CHECK-ORIGINS %s + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +define [2 x i32] @InsertValue(i32 %x, i32 %y) sanitize_memory { +entry: + %a = insertvalue [2 x i32] undef, i32 %x, 0 + %b = insertvalue [2 x i32] %a, i32 %y, 1 + ret [2 x i32] %b +} + +; CHECK-LABEL: @InsertValue( +; CHECK-DAG: [[Sy:%.*]] = load i32* {{.*}}@__msan_param_tls to i64), i64 8) to i32*) +; CHECK-DAG: [[Sx:%.*]] = load i32* {{.*}}@__msan_param_tls to i32*) +; CHECK: [[A:%.*]] = insertvalue [2 x i32] [i32 -1, i32 -1], i32 [[Sx]], 0 +; CHECK: [[B:%.*]] = insertvalue [2 x i32] [[A]], i32 [[Sy]], 1 +; CHECK: store [2 x i32] [[B]], [2 x i32]* {{.*}}@__msan_retval_tls +; CHECK: ret [2 x i32] + + +define [2 x double] @InsertValueDouble(double %x, double %y) sanitize_memory { +entry: + %a = insertvalue [2 x double] undef, double %x, 0 + %b = insertvalue [2 x double] %a, double %y, 1 + ret [2 x double] %b +} + +; CHECK-LABEL: @InsertValueDouble( +; CHECK-DAG: [[Sy:%.*]] = load i64* {{.*}}@__msan_param_tls to i64), i64 8) to i64*) +; CHECK-DAG: [[Sx:%.*]] = load i64* getelementptr {{.*}}@__msan_param_tls, i32 0, i32 0 +; CHECK: [[A:%.*]] = insertvalue [2 x i64] [i64 -1, i64 -1], i64 [[Sx]], 0 +; CHECK: [[B:%.*]] = insertvalue [2 x i64] [[A]], i64 [[Sy]], 1 +; CHECK: store [2 x i64] [[B]], [2 x i64]* {{.*}}@__msan_retval_tls +; CHECK: ret [2 x double] + + +define i32 @ExtractValue([2 x i32] %a) sanitize_memory { +entry: + %x = extractvalue [2 x i32] %a, 1 + ret i32 %x +} + +; CHECK-LABEL: @ExtractValue( +; CHECK: [[Sa:%.*]] = load [2 x i32]* {{.*}}@__msan_param_tls to [2 x i32]*) +; CHECK: [[Sx:%.*]] = extractvalue [2 x i32] [[Sa]], 1 +; CHECK: store i32 [[Sx]], i32* {{.*}}@__msan_retval_tls +; CHECK: ret i32 + + +; Regression test for PR20493. + +%MyStruct = type { i32, i32, [3 x i32] } + +define i32 @ArrayInStruct(%MyStruct %s) sanitize_memory { + %x = extractvalue %MyStruct %s, 2, 1 + ret i32 %x +} + +; CHECK-LABEL: @ArrayInStruct( +; CHECK: [[Ss:%.*]] = load { i32, i32, [3 x i32] }* {{.*}}@__msan_param_tls to { i32, i32, [3 x i32] }*) +; CHECK: [[Sx:%.*]] = extractvalue { i32, i32, [3 x i32] } [[Ss]], 2, 1 +; CHECK: store i32 [[Sx]], i32* {{.*}}@__msan_retval_tls +; CHECK: ret i32 + + +define i32 @ArrayOfStructs([3 x { i32, i32 }] %a) sanitize_memory { + %x = extractvalue [3 x { i32, i32 }] %a, 2, 1 + ret i32 %x +} + +; CHECK-LABEL: @ArrayOfStructs( +; CHECK: [[Ss:%.*]] = load [3 x { i32, i32 }]* {{.*}}@__msan_param_tls to [3 x { i32, i32 }]*) +; CHECK: [[Sx:%.*]] = extractvalue [3 x { i32, i32 }] [[Ss]], 2, 1 +; CHECK: store i32 [[Sx]], i32* {{.*}}@__msan_retval_tls +; CHECK: ret i32 + + +define <8 x i16> @ArrayOfVectors([3 x <8 x i16>] %a) sanitize_memory { + %x = extractvalue [3 x <8 x i16>] %a, 1 + ret <8 x i16> %x +} + +; CHECK-LABEL: @ArrayOfVectors( +; CHECK: [[Ss:%.*]] = load [3 x <8 x i16>]* {{.*}}@__msan_param_tls to [3 x <8 x i16>]*) +; CHECK: [[Sx:%.*]] = extractvalue [3 x <8 x i16>] [[Ss]], 1 +; CHECK: store <8 x i16> [[Sx]], <8 x i16>* {{.*}}@__msan_retval_tls +; CHECK: ret <8 x i16> diff --git a/test/Instrumentation/MemorySanitizer/byval-alignment.ll b/test/Instrumentation/MemorySanitizer/byval-alignment.ll new file mode 100644 index 0000000..43e204a --- /dev/null +++ b/test/Instrumentation/MemorySanitizer/byval-alignment.ll @@ -0,0 +1,20 @@ +; Test that copy alignment for byval arguments is limited by param-tls slot alignment. + +; RUN: opt < %s -msan -msan-check-access-address=0 -S | FileCheck %s + +target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +%struct.S = type { i64, i64, i64, [8 x i8] } + +; CHECK: [[A:%.*]] = bitcast i64* {{.*}} add {{.*}} ptrtoint {{.*}} @__msan_param_tls {{.*}} i64 8) +; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* [[A]], i8* {{.*}}, i64 32, i32 8, i1 false) + +define void @Caller() sanitize_memory { +entry: + %agg.tmp = alloca %struct.S, align 16 + call void @Callee(i32 1, %struct.S* byval align 16 %agg.tmp) + ret void +} + +declare void @Callee(i32, %struct.S* byval align 16) diff --git a/test/Instrumentation/MemorySanitizer/check-constant-shadow.ll b/test/Instrumentation/MemorySanitizer/check-constant-shadow.ll new file mode 100644 index 0000000..11e4410 --- /dev/null +++ b/test/Instrumentation/MemorySanitizer/check-constant-shadow.ll @@ -0,0 +1,15 @@ +; RUN: opt < %s -msan -msan-check-constant-shadow=1 -S | FileCheck %s + +target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" +target triple = "x86_64-unknown-linux-gnu" + +; Test that returning a literal undef from main() triggers an MSan warning. + +define i32 @main() nounwind uwtable sanitize_memory { +entry: + ret i32 undef +} + +; CHECK-LABEL: @main +; CHECK: call void @__msan_warning_noreturn +; CHECK: ret i32 undef diff --git a/test/Instrumentation/MemorySanitizer/msan_basic.ll b/test/Instrumentation/MemorySanitizer/msan_basic.ll index 51693cd..0faf45d 100644 --- a/test/Instrumentation/MemorySanitizer/msan_basic.ll +++ b/test/Instrumentation/MemorySanitizer/msan_basic.ll @@ -766,6 +766,24 @@ cond.end: ; preds = %cond.false, %cond.t ; CHECK: ret i32 [[A]] +; Test that there are no __msan_param_origin_tls stores when +; argument shadow is a compile-time zero constant (which is always the case +; in functions missing sanitize_memory attribute). + +define i32 @NoSanitizeMemoryParamTLS(i32* nocapture readonly %x) { +entry: + %0 = load i32* %x, align 4 + %call = tail call i32 @NoSanitizeMemoryParamTLSHelper(i32 %0) + ret i32 %call +} + +declare i32 @NoSanitizeMemoryParamTLSHelper(i32 %x) + +; CHECK-LABEL: define i32 @NoSanitizeMemoryParamTLS( +; CHECK-NOT: __msan_param_origin_tls +; CHECK: ret i32 + + ; Test argument shadow alignment define <2 x i64> @ArgumentShadowAlignment(i64 %a, <2 x i64> %b) sanitize_memory { diff --git a/test/Instrumentation/MemorySanitizer/store-origin.ll b/test/Instrumentation/MemorySanitizer/store-origin.ll index 0bd9777..bde4e90 100644 --- a/test/Instrumentation/MemorySanitizer/store-origin.ll +++ b/test/Instrumentation/MemorySanitizer/store-origin.ll @@ -11,14 +11,14 @@ target triple = "x86_64-unknown-linux-gnu" ; Function Attrs: nounwind define void @Store(i32* nocapture %p, i32 %x) #0 { entry: - tail call void @llvm.dbg.value(metadata !{i32* %p}, i64 0, metadata !11), !dbg !16 - tail call void @llvm.dbg.value(metadata !{i32 %x}, i64 0, metadata !12), !dbg !16 + tail call void @llvm.dbg.value(metadata !{i32* %p}, i64 0, metadata !11, metadata !{metadata !"0x102"}), !dbg !16 + tail call void @llvm.dbg.value(metadata !{i32 %x}, i64 0, metadata !12, metadata !{metadata !"0x102"}), !dbg !16 store i32 %x, i32* %p, align 4, !dbg !17, !tbaa !18 ret void, !dbg !22 } ; Function Attrs: nounwind readnone -declare void @llvm.dbg.value(metadata, i64, metadata) #1 +declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #1 attributes #0 = { nounwind sanitize_memory "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } attributes #1 = { nounwind readnone } @@ -27,21 +27,21 @@ attributes #1 = { nounwind readnone } !llvm.module.flags = !{!13, !14} !llvm.ident = !{!15} -!0 = metadata !{i32 786449, metadata !1, i32 12, metadata !"clang version 3.5.0 (204220)", i1 true, metadata !"", i32 0, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2, metadata !"", i32 1} ; [ DW_TAG_compile_unit ] [/tmp/build0/../2.cc] [DW_LANG_C99] +!0 = metadata !{metadata !"0x11\0012\00clang version 3.5.0 (204220)\001\00\000\00\001", metadata !1, metadata !2, metadata !2, metadata !3, metadata !2, metadata !2} ; [ DW_TAG_compile_unit ] [/tmp/build0/../2.cc] [DW_LANG_C99] !1 = metadata !{metadata !"../2.cc", metadata !"/tmp/build0"} !2 = metadata !{} !3 = metadata !{metadata !4} -!4 = metadata !{i32 786478, metadata !1, metadata !5, metadata !"Store", metadata !"Store", metadata !"", i32 1, metadata !6, i1 false, i1 true, i32 0, i32 0, null, i32 256, i1 true, void (i32*, i32)* @Store, null, null, metadata !10, i32 1} ; [ DW_TAG_subprogram ] [line 1] [def] [Store] -!5 = metadata !{i32 786473, metadata !1} ; [ DW_TAG_file_type ] [/tmp/build0/../2.cc] -!6 = metadata !{i32 786453, i32 0, null, metadata !"", i32 0, i64 0, i64 0, i64 0, i32 0, null, metadata !7, i32 0, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ] +!4 = metadata !{metadata !"0x2e\00Store\00Store\00\001\000\001\000\006\00256\001\001", metadata !1, metadata !5, metadata !6, null, void (i32*, i32)* @Store, null, null, metadata !10} ; [ DW_TAG_subprogram ] [line 1] [def] [Store] +!5 = metadata !{metadata !"0x29", metadata !1} ; [ DW_TAG_file_type ] [/tmp/build0/../2.cc] +!6 = metadata !{metadata !"0x15\00\000\000\000\000\000\000", i32 0, null, null, metadata !7, null, null, null} ; [ DW_TAG_subroutine_type ] [line 0, size 0, align 0, offset 0] [from ] !7 = metadata !{null, metadata !8, metadata !9} -!8 = metadata !{i32 786447, null, null, metadata !"", i32 0, i64 64, i64 64, i64 0, i32 0, metadata !9} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from int] -!9 = metadata !{i32 786468, null, null, metadata !"int", i32 0, i64 32, i64 32, i64 0, i32 0, i32 5} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed] +!8 = metadata !{metadata !"0xf\00\000\0064\0064\000\000", null, null, metadata !9} ; [ DW_TAG_pointer_type ] [line 0, size 64, align 64, offset 0] [from int] +!9 = metadata !{metadata !"0x24\00int\000\0032\0032\000\000\005", null, null} ; [ DW_TAG_base_type ] [int] [line 0, size 32, align 32, offset 0, enc DW_ATE_signed] !10 = metadata !{metadata !11, metadata !12} -!11 = metadata !{i32 786689, metadata !4, metadata !"p", metadata !5, i32 16777217, metadata !8, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [p] [line 1] -!12 = metadata !{i32 786689, metadata !4, metadata !"x", metadata !5, i32 33554433, metadata !9, i32 0, i32 0} ; [ DW_TAG_arg_variable ] [x] [line 1] +!11 = metadata !{metadata !"0x101\00p\0016777217\000", metadata !4, metadata !5, metadata !8} ; [ DW_TAG_arg_variable ] [p] [line 1] +!12 = metadata !{metadata !"0x101\00x\0033554433\000", metadata !4, metadata !5, metadata !9} ; [ DW_TAG_arg_variable ] [x] [line 1] !13 = metadata !{i32 2, metadata !"Dwarf Version", i32 4} -!14 = metadata !{i32 1, metadata !"Debug Info Version", i32 1} +!14 = metadata !{i32 1, metadata !"Debug Info Version", i32 2} !15 = metadata !{metadata !"clang version 3.5.0 (204220)"} !16 = metadata !{i32 1, i32 0, metadata !4, null} !17 = metadata !{i32 2, i32 0, metadata !4, null} |