test/Instrumentation/DataFlowSanitizer/external_mask.ll

   1 ; RUN: opt < %s -dfsan -S | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-i128:128-n32:64-S128"
   3 target triple = "aarch64-unknown-linux-gnu"
   4
   5 define i32 @test(i32 %a, i32* nocapture readonly %b) #0 {
   6 ; CHECK: @"dfs$test"
   7 ; CHECK: %[[RV:.*]] load{{.*}}__dfsan_shadow_ptr_mask
   8 ; CHECK: ptrtoint i32* {{.*}} to i64
   9 ; CHECK: and {{.*}}%[[RV:.*]]
  10 ; CHECK: mul i64
  11   %1 = load i32, i32* %b, align 4
  12   %2 = add nsw i32 %1, %a
  13   ret i32 %2
  14 }