	.file	"double_add.c"
	.text
.globl double_add
	.type	double_add, @function
double_add:
	pushl	%ebp
	movl	%esp, %ebp
	subl	$40, %esp
	movl	8(%ebp), %eax
	movl	%eax, -24(%ebp)
	movl	12(%ebp), %eax
	movl	%eax, -20(%ebp)
	movl	16(%ebp), %eax
	movl	%eax, -32(%ebp)
	movl	20(%ebp), %eax
	movl	%eax, -28(%ebp)
	movl	$1717986918, %eax
	movl	$1079592550, %edx
	movl	%eax, -24(%ebp)
	movl	%edx, -20(%ebp)
	movl	$-1030792151, %eax
	movl	$1072703733, %edx
	movl	%eax, -32(%ebp)
	movl	%edx, -28(%ebp)
	fldl	-24(%ebp)
	faddl	-32(%ebp)
	fstpl	-8(%ebp)
	movl	-8(%ebp), %eax
	movl	-4(%ebp), %edx
	movl	%eax, -40(%ebp)
	movl	%edx, -36(%ebp)
	fldl	-40(%ebp)
	leave
	ret
	.size	double_add, .-double_add
	.ident	"GCC: (GNU) 4.1.3 20080704 prerelease (NetBSD nb2 20081120)"
