diff options
| author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-05-28 13:07:43 +0000 |
|---|---|---|
| committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2013-05-28 13:07:43 +0000 |
| commit | 9903f75bf6ec4136bd752595c689db845eedad3d (patch) | |
| tree | a15a533148b14c7bb856d0d5336bd19444e288f8 /test/Instrumentation | |
| parent | 988005ab49693a24259a961ebd7656060df4de70 (diff) | |
| download | llvm-9903f75bf6ec4136bd752595c689db845eedad3d.tar.gz llvm-9903f75bf6ec4136bd752595c689db845eedad3d.tar.bz2 llvm-9903f75bf6ec4136bd752595c689db845eedad3d.tar.xz | |
[msan] Fix argument shadow alignment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@182771 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Instrumentation')
| -rw-r--r-- | test/Instrumentation/MemorySanitizer/msan_basic.ll | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/test/Instrumentation/MemorySanitizer/msan_basic.ll b/test/Instrumentation/MemorySanitizer/msan_basic.ll index 320860ce77..433b8bab4c 100644 --- a/test/Instrumentation/MemorySanitizer/msan_basic.ll +++ b/test/Instrumentation/MemorySanitizer/msan_basic.ll @@ -1,5 +1,7 @@ ; 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-ORIGINS %s +; RUN: opt < %s -msan -msan-check-access-address=1 -S | FileCheck %s -check-prefix=CHECK-AA + 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" @@ -633,3 +635,41 @@ declare void @bar() ; CHECK: store {{.*}} @__msan_retval_tls ; CHECK-NOT: @__msan_warning ; CHECK: ret i32 + + +; Test argument shadow alignment + +define <2 x i64> @ArgumentShadowAlignment(i64 %a, <2 x i64> %b) sanitize_memory { +entry: + ret <2 x i64> %b +} + +; CHECK: @ArgumentShadowAlignment +; CHECK: load <2 x i64>* {{.*}} @__msan_param_tls {{.*}}, align 8 +; CHECK: store <2 x i64> {{.*}} @__msan_retval_tls {{.*}}, align 8 +; CHECK: ret <2 x i64> + + +; Test byval argument shadow alignment + +define <2 x i64> @ByValArgumentShadowLargeAlignment(<2 x i64>* byval %p) sanitize_memory { +entry: + %x = load <2 x i64>* %p + ret <2 x i64> %x +} + +; CHECK-AA: @ByValArgumentShadowLargeAlignment +; CHECK-AA: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* {{.*}}, i64 16, i32 8, i1 false) +; CHECK-AA: ret <2 x i64> + + +define i16 @ByValArgumentShadowSmallAlignment(i16* byval %p) sanitize_memory { +entry: + %x = load i16* %p + ret i16 %x +} + +; CHECK-AA: @ByValArgumentShadowSmallAlignment +; CHECK-AA: call void @llvm.memcpy.p0i8.p0i8.i64(i8* {{.*}}, i8* {{.*}}, i64 2, i32 2, i1 false) +; CHECK-AA: ret i16 + |