blob: dc3f964d6ef2e12d0d9865f5856af1aff3dd071e [file] [log] [blame]
; Make sure memaccess checks preceed the following reads.
;
; RUN: opt < %s -S -enable-new-pm=0 -hwasan -hwasan-use-stack-safety=0 -basic-aa -memdep -print-memdeps -analyze -mtriple aarch64-linux-android30 | FileCheck %s
target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
target triple = "aarch64--linux-android10000"
declare void @use32(i32*)
define i32 @test_alloca() sanitize_hwaddress {
entry:
%x = alloca i32, align 4
call void @use32(i32* nonnull %x)
; CHECK: Clobber from: call void @llvm.hwasan.check.memaccess.shortgranule
; CHECK-NEXT: load i32, i32* %x.hwasan, align 4
%y = load i32, i32* %x
; CHECK: Clobber from: %y = load i32, i32* %x.hwasan, align 4
; CHECK-NEXT: call void @llvm.memset.p0i8.i64(i8* align 1 {{.*}}, i8 0, i64 1, i1 false)
ret i32 %y
}