tf-second.s

	movq	-2072(%rbp), %rax
	movq	-2088(%rbp), %r11
	movq	%rax, -2048(%rbp)
	addq	$24, %rax
	movq	%rax, -2064(%rbp)
	movq	-2080(%rbp), %rax
	movq	%rax, -2056(%rbp)
	movq	-2048(%rbp), %rax
	movq	-1552(%rbp), %r15
	movq	-1208(%rbp), %r13
	movq	-1864(%rbp), %r9
	movq	-1488(%rbp), %r8
	movq	-848(%rbp), %r10
	leaq	8(%rax), %rdi
	movq	%rax, %rcx
	movq	%rdi, -2040(%rbp)
	nopw	%cs:(%rax,%rax)
	movq	%rcx, %rax
	vmovss	(%r14,%rcx,4), %xmm2    ## xmm2 = mem[0],zero,zero,zero
	cqto
	idivq	%r10
	imulq	%r10, %rax
	movq	%rax, %rsi
	movq	%rcx, %rax
	cqto
	idivq	%r8
	imulq	%r8, %rax
	movq	%rax, %rdi
	movq	%rcx, %rax
	cqto
	idivq	%r9
	movq	%rcx, %rdx
	subq	%rdi, %rdx
	vmovss	(%r13,%rdx,4), %xmm0    ## xmm0 = mem[0],zero,zero,zero
	movq	%rcx, %rdx
	subq	%rsi, %rdx
	movq	%rcx, %rsi
	vfnmadd213ss	(%r15,%rcx,4), %xmm1, %xmm0
	vfnmadd231ss	(%rbx,%rdx,4), %xmm2, %xmm0
	imulq	%r9, %rax
	subq	%rax, %rsi
	vmulss	(%r12,%rsi,4), %xmm0, %xmm0
	vmovss	%xmm0, (%r11,%rcx,4)
	addq	$1, %rcx
	cmpq	-2040(%rbp), %rcx