diff options
| author | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2018-03-29 21:18:17 +0000 |
|---|---|---|
| committer | Evgeniy Stepanov <eugeni.stepanov@gmail.com> | 2018-03-29 21:18:17 +0000 |
| commit | 50635dab263c96a8b8ccde24f2fc09ceffe5ef20 (patch) | |
| tree | 9639ac21ff11764ebb4dcaa9a374dc440857046d /llvm/test/Instrumentation/MemorySanitizer/manual-shadow.ll | |
| parent | cb668d85123796e09ff2672392b3fa0881e5ad89 (diff) | |
| download | bcm5719-llvm-50635dab263c96a8b8ccde24f2fc09ceffe5ef20.tar.gz bcm5719-llvm-50635dab263c96a8b8ccde24f2fc09ceffe5ef20.zip | |
Add msan custom mapping options.
Similarly to https://reviews.llvm.org/D18865 this adds options to provide custom mapping for msan.
As discussed in http://lists.llvm.org/pipermail/llvm-dev/2018-February/121339.html
Patch by vit9696(at)avp.su.
Differential Revision: https://reviews.llvm.org/D44926
llvm-svn: 328830
Diffstat (limited to 'llvm/test/Instrumentation/MemorySanitizer/manual-shadow.ll')
| -rw-r--r-- | llvm/test/Instrumentation/MemorySanitizer/manual-shadow.ll | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/llvm/test/Instrumentation/MemorySanitizer/manual-shadow.ll b/llvm/test/Instrumentation/MemorySanitizer/manual-shadow.ll new file mode 100644 index 00000000000..f4664cba37e --- /dev/null +++ b/llvm/test/Instrumentation/MemorySanitizer/manual-shadow.ll @@ -0,0 +1,43 @@ +; Test that the msan layout customization options work as expected +; +; RUN: opt < %s -msan -msan-shadow-base 3735928559 -S | FileCheck --check-prefix=CHECK-BASE %s +; RUN: opt < %s -msan -msan-shadow-base 3735928559 -msan-and-mask 4294901760 -S | FileCheck --check-prefix=CHECK-AND %s +; RUN: opt < %s -msan -msan-shadow-base 3735928559 -msan-xor-mask 48879 -S | FileCheck --check-prefix=CHECK-XOR %s +; RUN: opt < %s -msan -msan-shadow-base 3735928559 -msan-xor-mask 48879 -msan-and-mask 4294901760 -S | FileCheck --check-prefix=CHECK-XOR-AND %s +; RUN: opt < %s -msan -msan-track-origins 1 -msan-origin-base 1777777 -S | FileCheck --check-prefix=CHECK-ORIGIN-BASE %s + +target triple = "x86_64-unknown-linux-gnu" + +define i32 @read_value(i32* %a) sanitize_memory { +entry: + %tmp1 = load i32, i32* %a, align 4 + ret i32 %tmp1 +} +; CHECK-BASE-LABEL: @read_value +; CHECK-BASE-NOT: ret i32 +; CHECK-BASE: add{{.*}}3735928559 +; CHECK-BASE: ret i32 + +; CHECK-AND-LABEL: @read_value +; CHECK-AND-NOT: ret i32 +; CHECK-AND: and{{.*}}-4294901761 +; CHECK-AND-NEXT: add{{.*}}3735928559 +; CHECK-AND: ret i32 + +; CHECK-XOR-LABEL: @read_value +; CHECK-XOR-NOT: ret i32 +; CHECK-XOR: xor{{.*}}48879 +; CHECK-XOR-NEXT: add{{.*}}3735928559 +; CHECK-XOR: ret i32 + +; CHECK-XOR-AND-LABEL: @read_value +; CHECK-XOR-AND-NOT: ret i32 +; CHECK-XOR-AND: and{{.*}}-4294901761 +; CHECK-XOR-AND-NEXT: xor{{.*}}48879 +; CHECK-XOR-AND-NEXT: add{{.*}}3735928559 +; CHECK-XOR-AND: ret i32 + +; CHECK-ORIGIN-BASE-LABEL: @read_value +; CHECK-ORIGIN-BASE-NOT: ret i32 +; CHECK-ORIGIN-BASE: add{{.*}}1777777 +; CHECK-ORIGIN-BASE: ret i32 |
