; RUN: llvm-as < %s | llvm-dis | FileCheck %s

target datalayout = "A5"
; CHECK: target datalayout = "A5"


; CHECK: %alloca_array_no_align = alloca i32, i32 9, align 4, addrspace(5)
; CHECK-NEXT: %alloca_array_align4 = alloca i32, i32 9, align 4, addrspace(5)
; CHECK-NEXT: %alloca_array_no_align_metadata = alloca i32, i32 9, align 4, addrspace(5), !foo !0
; CHECK-NEXT: %alloca_array_align4_metadata = alloca i32, i32 9, align 4, addrspace(5), !foo !0
; CHECK-NEXT: %alloca_inalloca_array_no_align = alloca inalloca i32, i32 9, align 4, addrspace(5)
; CHECK-NEXT: %alloca_inalloca_array_align4_metadata = alloca inalloca i32, i32 9, align 4, addrspace(5), !foo !0

define void @use_alloca() {
  %alloca_array_no_align = alloca i32, i32 9, addrspace(5)
  %alloca_array_align4 = alloca i32, i32 9, align 4, addrspace(5)
  %alloca_array_no_align_metadata = alloca i32, i32 9, addrspace(5), !foo !0
  %alloca_array_align4_metadata = alloca i32, i32 9, align 4, addrspace(5), !foo !0
  %alloca_inalloca_array_no_align = alloca inalloca i32, i32 9, addrspace(5)
  %alloca_inalloca_array_align4_metadata = alloca inalloca i32, i32 9, align 4, addrspace(5), !foo !0

  ret void
}

!0 = !{}