This is an archive of the discontinued LLVM Phabricator instance.

[AArch64] Add a test for float argument passing to win64 vararg functions
ClosedPublic

Authored by mstorsjo on Jul 18 2017, 3:43 AM.

Reviewers

Commits

Summary

The existing tests only tested how a va_start is lowered.

Rebased the test on top of the latest trunk version; ping (this should also be pretty trivial).

Looks fine.

This revision is now accepted and ready to land.Jul 25 2017, 7:18 AM

This revision was automatically updated to reflect the committed changes.

Path

Size

test/

CodeGen/

AArch64/

26 lines

Show First 20 Lines • Show All 87 Lines • ▼ Show 20 Lines	entry:
%ap = alloca i8*, align 8		%ap = alloca i8*, align 8
%cp = alloca i8*, align 8		%cp = alloca i8*, align 8
%ap1 = bitcast i8** %ap to i8*		%ap1 = bitcast i8** %ap to i8*
%cp1 = bitcast i8** %cp to i8*		%cp1 = bitcast i8** %cp to i8*
call void @llvm.va_start(i8* %ap1)		call void @llvm.va_start(i8* %ap1)
call void @llvm.va_copy(i8* %cp1, i8* %ap1)		call void @llvm.va_copy(i8* %cp1, i8* %ap1)
ret void		ret void
}		}

		; CHECK-LABEL: fixed_params
		; CHECK: sub sp, sp, #32
		; CHECK: mov w8, w3
		; CHECK: mov w9, w2
		; CHECK: mov w10, w1
		; CHECK: str w4, [sp]
		; CHECK: fmov x1, d0
		; CHECK: fmov x3, d1
		; CHECK: fmov x5, d2
		; CHECK: fmov x7, d3
		; CHECK: mov w2, w10
		; CHECK: mov w4, w9
		; CHECK: mov w6, w8
		; CHECK: str x30, [sp, #16]
		; CHECK: str d4, [sp, #8]
		; CHECK: bl varargs
		; CHECK: ldr x30, [sp, #16]
		; CHECK: add sp, sp, #32
		; CHECK: ret
		define void @fixed_params(i32, double, i32, double, i32, double, i32, double, i32, double) nounwind {
		tail call void (i32, ...) @varargs(i32 %0, double %1, i32 %2, double %3, i32 %4, double %5, i32 %6, double %7, i32 %8, double %9)
		ret void
		}

		declare void @varargs(i32, ...) local_unnamed_addr