1; RUN: llc < %s -mtriple=armv7-linux-gnueabihf | FileCheck %s -check-prefix=EABI
2; RUN: llc < %s -mtriple=arm-linux-gnu | FileCheck %s -check-prefix=OABI
3
4define i32 @f(i32 %a, ...) {
5entry:
6	%a_addr = alloca i32		; <i32*> [#uses=1]
7	%retval = alloca i32, align 4		; <i32*> [#uses=2]
8	%tmp = alloca i32, align 4		; <i32*> [#uses=2]
9	store i32 %a, i32* %a_addr
10	store i32 0, i32* %tmp
11	%tmp1 = load i32, i32* %tmp		; <i32> [#uses=1]
12	store i32 %tmp1, i32* %retval
13	call void @llvm.va_start(i8* null)
14	call void asm sideeffect "", "~{d8}"()
15	br label %return
16
17return:		; preds = %entry
18	%retval2 = load i32, i32* %retval		; <i32> [#uses=1]
19	ret i32 %retval2
20; EABI: add sp, sp, #16
21; EABI: vpop {d8}
22; EABI: add sp, sp, #4
23; EABI: add sp, sp, #12
24
25; OABI: add sp, sp, #12
26; OABI: add sp, sp, #12
27}
28
29declare void @llvm.va_start(i8*) nounwind
30