; Make sure memaccess checks preceed the following reads.
;
; RUN: opt < %s -disable-output 2>&1 -passes='hwasan,print<memoryssa>' -hwasan-use-stack-safety=0 -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
  ; CHECK: call void @use32
  call void @use32(i32* nonnull %x)
  ; CHECK: [[A:[0-9]+]] = MemoryDef({{[0-9]+}})
  ; CHECK-NEXT: call void @llvm.hwasan.check.memaccess.shortgranules
  ; CHECK: MemoryUse([[A]])
  ; CHECK-NEXT: load i32, i32* %x.hwasan
  %y = load i32, i32* %x
  ; CHECK: {{[0-9]+}} = MemoryDef([[A]])
  ; CHECK-NEXT: call void @llvm.memset.p0i8.i64
  ret i32 %y
}