llvm/test/Instrumentation/MemorySanitizer/check_access_address.ll

   1 ; RUN: opt < %s -msan-check-access-address=1 -S -passes=msan 2>&1 | FileCheck %s --implicit-check-not="call void @__msan_warning"
   2
   3 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"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6
   7 ; Test byval argument shadow alignment
   8
   9 define <2 x i64> @ByValArgumentShadowLargeAlignment(ptr byval(<2 x i64>) %p) sanitize_memory {
  10 entry:
  11   %x = load <2 x i64>, ptr %p
  12   ret <2 x i64> %x
  13 }
  14
  15 ; CHECK-LABEL: @ByValArgumentShadowLargeAlignment
  16 ; CHECK: call void @llvm.memcpy.p0.p0.i64(ptr align 8 {{.*}}, ptr align 8 {{.*}}, i64 16, i1 false)
  17 ; CHECK: ret <2 x i64>
  18
  19
  20 define i16 @ByValArgumentShadowSmallAlignment(ptr byval(i16) %p) sanitize_memory {
  21 entry:
  22   %x = load i16, ptr %p
  23   ret i16 %x
  24 }
  25
  26 ; CHECK-LABEL: @ByValArgumentShadowSmallAlignment
  27 ; CHECK: call void @llvm.memcpy.p0.p0.i64(ptr align 2 {{.*}}, ptr align 2 {{.*}}, i64 2, i1 false)
  28 ; CHECK: ret i16
  29
  30
  31 ; Check instrumentation of stores. The check must precede the shadow store.
  32
  33 define void @Store(ptr nocapture %p, i32 %x) nounwind uwtable sanitize_memory {
  34 entry:
  35   store i32 %x, ptr %p, align 4
  36   ret void
  37 }
  38
  39 ; CHECK-LABEL: @Store
  40 ; CHECK: load {{.*}} @__msan_param_tls
  41 ; Shadow calculations must happen after the check.
  42 ; CHECK-NOT: xor
  43 ; CHECK: icmp
  44 ; CHECK: br i1
  45 ; CHECK: {{^[0-9]+}}:
  46 ; CHECK: call void @__msan_warning_noreturn()
  47 ; CHECK: {{^[0-9]+}}:
  48 ; CHECK: xor
  49 ; CHECK: store
  50 ; CHECK: store i32 %x
  51 ; CHECK: ret void
  52
  53