1; RUN: llc -O0 -stop-after=irtranslator -global-isel -verify-machineinstrs %s -o -  -mtriple=aarch64-apple-ios7.0 | FileCheck --check-prefix=CHECK --check-prefix=CHECK-IOS %s
2; RUN: llc -O0 -stop-after=irtranslator -global-isel -verify-machineinstrs %s -o -  -mtriple=aarch64-linux-gnu | FileCheck --check-prefix=CHECK --check-prefix=CHECK-LINUX %s
3
4
5declare void @llvm.va_start(i8*)
6define void @test_va_start(i8* %list) {
7; CHECK-LABEL: name: test_va_start
8; CHECK: [[LIST:%[0-9]+]]:_(p0) = COPY $x0
9; CHECK-IOS: G_VASTART [[LIST]](p0) :: (store 8 into %ir.list, align 0)
10; CHECK-LINUX: G_VASTART [[LIST]](p0) :: (store 32 into %ir.list, align 0)
11  call void @llvm.va_start(i8* %list)
12  ret void
13}
14