1; RUN: opt < %s -hwasan -S | FileCheck %s
2
3target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
4target triple = "aarch64--linux-android"
5
6declare void @use(i8*, i8*)
7
8define void @test_alloca() sanitize_hwaddress {
9  ; CHECK: alloca { [4 x i8], [12 x i8] }, align 16
10  %x = alloca i8, i64 4
11  ; CHECK: alloca i8, i64 16, align 16
12  %y = alloca i8, i64 16
13  call void @use(i8* %x, i8* %y)
14  ret void
15}
16