| ; RUN: llvm-as < %s | llvm-dis | FileCheck %s | |
| target datalayout = "A1" | |
| ; CHECK: target datalayout = "A1" | |
| ; CHECK: %alloca_scalar_no_align = alloca i32, addrspace(1) | |
| ; CHECK-NEXT: %alloca_scalar_align4 = alloca i32, align 4, addrspace(1) | |
| ; CHECK-NEXT: %alloca_scalar_no_align_metadata = alloca i32, addrspace(1), !foo !0 | |
| ; CHECK-NEXT: %alloca_scalar_align4_metadata = alloca i32, align 4, addrspace(1), !foo !0 | |
| ; CHECK-NEXT: %alloca_inalloca_scalar_no_align = alloca inalloca i32, addrspace(1) | |
| ; CHECK-NEXT: %alloca_inalloca_scalar_align4_metadata = alloca inalloca i32, align 4, addrspace(1), !foo !0 | |
| define void @use_alloca() { | |
| %alloca_scalar_no_align = alloca i32, addrspace(1) | |
| %alloca_scalar_align4 = alloca i32, align 4, addrspace(1) | |
| %alloca_scalar_no_align_metadata = alloca i32, addrspace(1), !foo !0 | |
| %alloca_scalar_align4_metadata = alloca i32, align 4, addrspace(1), !foo !0 | |
| %alloca_inalloca_scalar_no_align = alloca inalloca i32, addrspace(1) | |
| %alloca_inalloca_scalar_align4_metadata = alloca inalloca i32, align 4, addrspace(1), !foo !0 | |
| ret void | |
| } | |
| !0 = !{} |