diff options
Diffstat (limited to 'llvm/test/Instrumentation/DataFlowSanitizer/external_mask.ll')
| -rw-r--r-- | llvm/test/Instrumentation/DataFlowSanitizer/external_mask.ll | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/llvm/test/Instrumentation/DataFlowSanitizer/external_mask.ll b/llvm/test/Instrumentation/DataFlowSanitizer/external_mask.ll new file mode 100644 index 00000000000..db4c14ed958 --- /dev/null +++ b/llvm/test/Instrumentation/DataFlowSanitizer/external_mask.ll @@ -0,0 +1,14 @@ +; RUN: opt < %s -dfsan -S | FileCheck %s +target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128" +target triple = "aarch64-unknown-linux-gnu" + +define i32 @test(i32 %a, i32* nocapture readonly %b) #0 { +; CHECK: @"dfs$test" +; CHECK: %[[RV:.*]] load{{.*}}__dfsan_shadow_ptr_mask +; CHECK: ptrtoint i32* {{.*}} to i64 +; CHECK: and {{.*}}%[[RV:.*]] +; CHECK: mul i64 + %1 = load i32, i32* %b, align 4 + %2 = add nsw i32 %1, %a + ret i32 %2 +} |
