// File: /workspace/github_c_makefile_star2_O0/pavel-demin[P]ft8d-c/pffft.c
// Function: pffft_cplx_finalize
void pffft_cplx_finalize(int Ncvec, const v4sf *in, v4sf *out, const v4sf *e) {
  int k, dk = Ncvec/SIMD_SZ; // number of 4x4 matrix blocks
  v4sf r0, i0, r1, i1, r2, i2, r3, i3;
  v4sf sr0, dr0, sr1, dr1, si0, di0, si1, di1;
  assert(in != out);
  for (k=0; k < dk; ++k) {
    r0 = in[8*k+0]; i0 = in[8*k+1];
    r1 = in[8*k+2]; i1 = in[8*k+3];
    r2 = in[8*k+4]; i2 = in[8*k+5];
    r3 = in[8*k+6]; i3 = in[8*k+7];
    VTRANSPOSE4(r0,r1,r2,r3);
    VTRANSPOSE4(i0,i1,i2,i3);
    VCPLXMUL(r1,i1,e[k*6+0],e[k*6+1]);
    VCPLXMUL(r2,i2,e[k*6+2],e[k*6+3]);
    VCPLXMUL(r3,i3,e[k*6+4],e[k*6+5]);

    sr0 = VADD(r0,r2); dr0 = VSUB(r0, r2);
    sr1 = VADD(r1,r3); dr1 = VSUB(r1, r3);
    si0 = VADD(i0,i2); di0 = VSUB(i0, i2);
    si1 = VADD(i1,i3); di1 = VSUB(i1, i3);

    /*
      transformation for each column is:

      [1   1   1   1   0   0   0   0]   [r0]
      [1   0  -1   0   0  -1   0   1]   [r1]
      [1  -1   1  -1   0   0   0   0]   [r2]
      [1   0  -1   0   0   1   0  -1]   [r3]
      [0   0   0   0   1   1   1   1] * [i0]
      [0   1   0  -1   1   0  -1   0]   [i1]
      [0   0   0   0   1  -1   1  -1]   [i2]
      [0  -1   0   1   1   0  -1   0]   [i3]
    */

    r0 = VADD(sr0, sr1); i0 = VADD(si0, si1);
    r1 = VADD(dr0, di1); i1 = VSUB(di0, dr1);
    r2 = VSUB(sr0, sr1); i2 = VSUB(si0, si1);
    r3 = VSUB(dr0, di1); i3 = VADD(di0, dr1);

    *out++ = r0; *out++ = i0; *out++ = r1; *out++ = i1;
    *out++ = r2; *out++ = i2; *out++ = r3; *out++ = i3;
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x820, %rsp            # imm = 0x820
movl %edi, -0x644(%rbp)
movq %rsi, -0x650(%rbp)
movq %rdx, -0x658(%rbp)
movq %rcx, -0x660(%rbp)
movl -0x644(%rbp), %eax
movl $0x4, %ecx
cltd
idivl %ecx
movl %eax, -0x668(%rbp)
movq -0x650(%rbp), %rax
cmpq -0x658(%rbp), %rax
je 0x720c
jmp 0x722b
leaq 0x115a4(%rip), %rdi     # 0x187b7
leaq 0x10fc4(%rip), %rsi     # 0x181de
movl $0x53f, %edx            # imm = 0x53F
leaq 0x115e9(%rip), %rcx     # 0x1880f
callq 0x1090
movl $0x0, -0x664(%rbp)
movl -0x664(%rbp), %eax
cmpl -0x668(%rbp), %eax
jge 0x7f27
movq -0x650(%rbp), %rax
movl -0x664(%rbp), %ecx
shll $0x3, %ecx
addl $0x0, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x680(%rbp)
movq -0x650(%rbp), %rax
movl -0x664(%rbp), %ecx
shll $0x3, %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x690(%rbp)
movq -0x650(%rbp), %rax
movl -0x664(%rbp), %ecx
shll $0x3, %ecx
addl $0x2, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x6a0(%rbp)
movq -0x650(%rbp), %rax
movl -0x664(%rbp), %ecx
shll $0x3, %ecx
addl $0x3, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x6b0(%rbp)
movq -0x650(%rbp), %rax
movl -0x664(%rbp), %ecx
shll $0x3, %ecx
addl $0x4, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x6c0(%rbp)
movq -0x650(%rbp), %rax
movl -0x664(%rbp), %ecx
shll $0x3, %ecx
addl $0x5, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x6d0(%rbp)
movq -0x650(%rbp), %rax
movl -0x664(%rbp), %ecx
shll $0x3, %ecx
addl $0x6, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x6e0(%rbp)
movq -0x650(%rbp), %rax
movl -0x664(%rbp), %ecx
shll $0x3, %ecx
addl $0x7, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x6f0(%rbp)
movaps -0x680(%rbp), %xmm1
movaps -0x6a0(%rbp), %xmm0
movaps %xmm1, -0x2f0(%rbp)
movaps %xmm0, -0x300(%rbp)
movaps -0x2f0(%rbp), %xmm0
movaps -0x300(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0x7b0(%rbp)
movaps -0x6c0(%rbp), %xmm1
movaps -0x6e0(%rbp), %xmm0
movaps %xmm1, -0x310(%rbp)
movaps %xmm0, -0x320(%rbp)
movaps -0x310(%rbp), %xmm0
movaps -0x320(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0x790(%rbp)
movaps -0x680(%rbp), %xmm1
movaps -0x6a0(%rbp), %xmm0
movaps %xmm1, -0x270(%rbp)
movaps %xmm0, -0x280(%rbp)
movaps -0x270(%rbp), %xmm0
movaps -0x280(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0x7a0(%rbp)
movaps -0x6c0(%rbp), %xmm1
movaps -0x6e0(%rbp), %xmm0
movaps %xmm1, -0x290(%rbp)
movaps %xmm0, -0x2a0(%rbp)
movaps -0x290(%rbp), %xmm0
movaps -0x2a0(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0x780(%rbp)
movaps -0x7b0(%rbp), %xmm1
movaps -0x790(%rbp), %xmm0
movaps %xmm1, -0x1f0(%rbp)
movaps %xmm0, -0x200(%rbp)
movapd -0x1f0(%rbp), %xmm0
movapd -0x200(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0x680(%rbp)
movaps -0x790(%rbp), %xmm1
movaps -0x7b0(%rbp), %xmm0
movaps %xmm1, -0x170(%rbp)
movaps %xmm0, -0x180(%rbp)
movapd -0x170(%rbp), %xmm1
movapd -0x180(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movapd %xmm0, -0x6a0(%rbp)
movaps -0x7a0(%rbp), %xmm1
movaps -0x780(%rbp), %xmm0
movaps %xmm1, -0x210(%rbp)
movaps %xmm0, -0x220(%rbp)
movapd -0x210(%rbp), %xmm0
movapd -0x220(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0x6c0(%rbp)
movaps -0x780(%rbp), %xmm1
movaps -0x7a0(%rbp), %xmm0
movaps %xmm1, -0x190(%rbp)
movaps %xmm0, -0x1a0(%rbp)
movapd -0x190(%rbp), %xmm1
movapd -0x1a0(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movaps %xmm0, -0x6e0(%rbp)
jmp 0x7530
movaps -0x690(%rbp), %xmm1
movaps -0x6b0(%rbp), %xmm0
movaps %xmm1, -0x330(%rbp)
movaps %xmm0, -0x340(%rbp)
movaps -0x330(%rbp), %xmm0
movaps -0x340(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0x7f0(%rbp)
movaps -0x6d0(%rbp), %xmm1
movaps -0x6f0(%rbp), %xmm0
movaps %xmm1, -0x350(%rbp)
movaps %xmm0, -0x360(%rbp)
movaps -0x350(%rbp), %xmm0
movaps -0x360(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0x7d0(%rbp)
movaps -0x690(%rbp), %xmm1
movaps -0x6b0(%rbp), %xmm0
movaps %xmm1, -0x2b0(%rbp)
movaps %xmm0, -0x2c0(%rbp)
movaps -0x2b0(%rbp), %xmm0
movaps -0x2c0(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0x7e0(%rbp)
movaps -0x6d0(%rbp), %xmm1
movaps -0x6f0(%rbp), %xmm0
movaps %xmm1, -0x2d0(%rbp)
movaps %xmm0, -0x2e0(%rbp)
movaps -0x2d0(%rbp), %xmm0
movaps -0x2e0(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0x7c0(%rbp)
movaps -0x7f0(%rbp), %xmm1
movaps -0x7d0(%rbp), %xmm0
movaps %xmm1, -0x230(%rbp)
movaps %xmm0, -0x240(%rbp)
movapd -0x230(%rbp), %xmm0
movapd -0x240(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0x690(%rbp)
movaps -0x7d0(%rbp), %xmm1
movaps -0x7f0(%rbp), %xmm0
movaps %xmm1, -0x1b0(%rbp)
movaps %xmm0, -0x1c0(%rbp)
movapd -0x1b0(%rbp), %xmm1
movapd -0x1c0(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movapd %xmm0, -0x6b0(%rbp)
movaps -0x7e0(%rbp), %xmm1
movaps -0x7c0(%rbp), %xmm0
movaps %xmm1, -0x250(%rbp)
movaps %xmm0, -0x260(%rbp)
movapd -0x250(%rbp), %xmm0
movapd -0x260(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0x6d0(%rbp)
movaps -0x7c0(%rbp), %xmm1
movaps -0x7e0(%rbp), %xmm0
movaps %xmm1, -0x1d0(%rbp)
movaps %xmm0, -0x1e0(%rbp)
movapd -0x1d0(%rbp), %xmm1
movapd -0x1e0(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movaps %xmm0, -0x6f0(%rbp)
movaps -0x6a0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x370(%rbp)
movaps %xmm0, -0x380(%rbp)
movaps -0x370(%rbp), %xmm0
mulps -0x380(%rbp), %xmm0
movaps %xmm0, -0x800(%rbp)
movaps -0x6a0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x0, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x390(%rbp)
movaps %xmm0, -0x3a0(%rbp)
movaps -0x390(%rbp), %xmm0
mulps -0x3a0(%rbp), %xmm0
movaps %xmm0, -0x6a0(%rbp)
movaps -0x6a0(%rbp), %xmm1
movaps -0x6b0(%rbp), %xmm2
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm2, -0x3b0(%rbp)
movaps %xmm0, -0x3c0(%rbp)
movaps -0x3b0(%rbp), %xmm0
mulps -0x3c0(%rbp), %xmm0
movaps %xmm1, -0x10(%rbp)
movaps %xmm0, -0x20(%rbp)
movaps -0x10(%rbp), %xmm0
subps -0x20(%rbp), %xmm0
movaps %xmm0, -0x6a0(%rbp)
movaps -0x6b0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x0, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x3d0(%rbp)
movaps %xmm0, -0x3e0(%rbp)
movaps -0x3d0(%rbp), %xmm0
mulps -0x3e0(%rbp), %xmm0
movaps %xmm0, -0x6b0(%rbp)
movaps -0x6b0(%rbp), %xmm1
movaps -0x800(%rbp), %xmm0
movaps %xmm1, -0x4f0(%rbp)
movaps %xmm0, -0x500(%rbp)
movaps -0x4f0(%rbp), %xmm0
addps -0x500(%rbp), %xmm0
movaps %xmm0, -0x6b0(%rbp)
movaps -0x6c0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x3, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x3f0(%rbp)
movaps %xmm0, -0x400(%rbp)
movaps -0x3f0(%rbp), %xmm0
mulps -0x400(%rbp), %xmm0
movaps %xmm0, -0x810(%rbp)
movaps -0x6c0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x2, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x410(%rbp)
movaps %xmm0, -0x420(%rbp)
movaps -0x410(%rbp), %xmm0
mulps -0x420(%rbp), %xmm0
movaps %xmm0, -0x6c0(%rbp)
movaps -0x6c0(%rbp), %xmm1
movaps -0x6d0(%rbp), %xmm2
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x3, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm2, -0x430(%rbp)
movaps %xmm0, -0x440(%rbp)
movaps -0x430(%rbp), %xmm0
mulps -0x440(%rbp), %xmm0
movaps %xmm1, -0x30(%rbp)
movaps %xmm0, -0x40(%rbp)
movaps -0x30(%rbp), %xmm0
subps -0x40(%rbp), %xmm0
movaps %xmm0, -0x6c0(%rbp)
movaps -0x6d0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x2, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x450(%rbp)
movaps %xmm0, -0x460(%rbp)
movaps -0x450(%rbp), %xmm0
mulps -0x460(%rbp), %xmm0
movaps %xmm0, -0x6d0(%rbp)
movaps -0x6d0(%rbp), %xmm1
movaps -0x810(%rbp), %xmm0
movaps %xmm1, -0x510(%rbp)
movaps %xmm0, -0x520(%rbp)
movaps -0x510(%rbp), %xmm0
addps -0x520(%rbp), %xmm0
movaps %xmm0, -0x6d0(%rbp)
movaps -0x6e0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x5, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x470(%rbp)
movaps %xmm0, -0x480(%rbp)
movaps -0x470(%rbp), %xmm0
mulps -0x480(%rbp), %xmm0
movaps %xmm0, -0x820(%rbp)
movaps -0x6e0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x4, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x490(%rbp)
movaps %xmm0, -0x4a0(%rbp)
movaps -0x490(%rbp), %xmm0
mulps -0x4a0(%rbp), %xmm0
movaps %xmm0, -0x6e0(%rbp)
movaps -0x6e0(%rbp), %xmm1
movaps -0x6f0(%rbp), %xmm2
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x5, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm2, -0x4b0(%rbp)
movaps %xmm0, -0x4c0(%rbp)
movaps -0x4b0(%rbp), %xmm0
mulps -0x4c0(%rbp), %xmm0
movaps %xmm1, -0x50(%rbp)
movaps %xmm0, -0x60(%rbp)
movaps -0x50(%rbp), %xmm0
subps -0x60(%rbp), %xmm0
movaps %xmm0, -0x6e0(%rbp)
movaps -0x6f0(%rbp), %xmm1
movq -0x660(%rbp), %rax
imull $0x6, -0x664(%rbp), %ecx
addl $0x4, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x4d0(%rbp)
movaps %xmm0, -0x4e0(%rbp)
movaps -0x4d0(%rbp), %xmm0
mulps -0x4e0(%rbp), %xmm0
movaps %xmm0, -0x6f0(%rbp)
movaps -0x6f0(%rbp), %xmm1
movaps -0x820(%rbp), %xmm0
movaps %xmm1, -0x530(%rbp)
movaps %xmm0, -0x540(%rbp)
movaps -0x530(%rbp), %xmm0
addps -0x540(%rbp), %xmm0
movaps %xmm0, -0x6f0(%rbp)
movaps -0x680(%rbp), %xmm1
movaps -0x6c0(%rbp), %xmm0
movaps %xmm1, -0x550(%rbp)
movaps %xmm0, -0x560(%rbp)
movaps -0x550(%rbp), %xmm0
addps -0x560(%rbp), %xmm0
movaps %xmm0, -0x700(%rbp)
movaps -0x680(%rbp), %xmm1
movaps -0x6c0(%rbp), %xmm0
movaps %xmm1, -0x70(%rbp)
movaps %xmm0, -0x80(%rbp)
movaps -0x70(%rbp), %xmm0
subps -0x80(%rbp), %xmm0
movaps %xmm0, -0x710(%rbp)
movaps -0x6a0(%rbp), %xmm1
movaps -0x6e0(%rbp), %xmm0
movaps %xmm1, -0x570(%rbp)
movaps %xmm0, -0x580(%rbp)
movaps -0x570(%rbp), %xmm0
addps -0x580(%rbp), %xmm0
movaps %xmm0, -0x720(%rbp)
movaps -0x6a0(%rbp), %xmm1
movaps -0x6e0(%rbp), %xmm0
movaps %xmm1, -0x90(%rbp)
movaps %xmm0, -0xa0(%rbp)
movaps -0x90(%rbp), %xmm0
subps -0xa0(%rbp), %xmm0
movaps %xmm0, -0x730(%rbp)
movaps -0x690(%rbp), %xmm1
movaps -0x6d0(%rbp), %xmm0
movaps %xmm1, -0x590(%rbp)
movaps %xmm0, -0x5a0(%rbp)
movaps -0x590(%rbp), %xmm0
addps -0x5a0(%rbp), %xmm0
movaps %xmm0, -0x740(%rbp)
movaps -0x690(%rbp), %xmm1
movaps -0x6d0(%rbp), %xmm0
movaps %xmm1, -0xb0(%rbp)
movaps %xmm0, -0xc0(%rbp)
movaps -0xb0(%rbp), %xmm0
subps -0xc0(%rbp), %xmm0
movaps %xmm0, -0x750(%rbp)
movaps -0x6b0(%rbp), %xmm1
movaps -0x6f0(%rbp), %xmm0
movaps %xmm1, -0x5b0(%rbp)
movaps %xmm0, -0x5c0(%rbp)
movaps -0x5b0(%rbp), %xmm0
addps -0x5c0(%rbp), %xmm0
movaps %xmm0, -0x760(%rbp)
movaps -0x6b0(%rbp), %xmm1
movaps -0x6f0(%rbp), %xmm0
movaps %xmm1, -0xd0(%rbp)
movaps %xmm0, -0xe0(%rbp)
movaps -0xd0(%rbp), %xmm0
subps -0xe0(%rbp), %xmm0
movaps %xmm0, -0x770(%rbp)
movaps -0x700(%rbp), %xmm1
movaps -0x720(%rbp), %xmm0
movaps %xmm1, -0x5d0(%rbp)
movaps %xmm0, -0x5e0(%rbp)
movaps -0x5d0(%rbp), %xmm0
addps -0x5e0(%rbp), %xmm0
movaps %xmm0, -0x680(%rbp)
movaps -0x740(%rbp), %xmm1
movaps -0x760(%rbp), %xmm0
movaps %xmm1, -0x5f0(%rbp)
movaps %xmm0, -0x600(%rbp)
movaps -0x5f0(%rbp), %xmm0
addps -0x600(%rbp), %xmm0
movaps %xmm0, -0x690(%rbp)
movaps -0x710(%rbp), %xmm1
movaps -0x770(%rbp), %xmm0
movaps %xmm1, -0x610(%rbp)
movaps %xmm0, -0x620(%rbp)
movaps -0x610(%rbp), %xmm0
addps -0x620(%rbp), %xmm0
movaps %xmm0, -0x6a0(%rbp)
movaps -0x750(%rbp), %xmm1
movaps -0x730(%rbp), %xmm0
movaps %xmm1, -0xf0(%rbp)
movaps %xmm0, -0x100(%rbp)
movaps -0xf0(%rbp), %xmm0
subps -0x100(%rbp), %xmm0
movaps %xmm0, -0x6b0(%rbp)
movaps -0x700(%rbp), %xmm1
movaps -0x720(%rbp), %xmm0
movaps %xmm1, -0x110(%rbp)
movaps %xmm0, -0x120(%rbp)
movaps -0x110(%rbp), %xmm0
subps -0x120(%rbp), %xmm0
movaps %xmm0, -0x6c0(%rbp)
movaps -0x740(%rbp), %xmm1
movaps -0x760(%rbp), %xmm0
movaps %xmm1, -0x130(%rbp)
movaps %xmm0, -0x140(%rbp)
movaps -0x130(%rbp), %xmm0
subps -0x140(%rbp), %xmm0
movaps %xmm0, -0x6d0(%rbp)
movaps -0x710(%rbp), %xmm1
movaps -0x770(%rbp), %xmm0
movaps %xmm1, -0x150(%rbp)
movaps %xmm0, -0x160(%rbp)
movaps -0x150(%rbp), %xmm0
subps -0x160(%rbp), %xmm0
movaps %xmm0, -0x6e0(%rbp)
movaps -0x750(%rbp), %xmm1
movaps -0x730(%rbp), %xmm0
movaps %xmm1, -0x630(%rbp)
movaps %xmm0, -0x640(%rbp)
movaps -0x630(%rbp), %xmm0
addps -0x640(%rbp), %xmm0
movaps %xmm0, -0x6f0(%rbp)
movaps -0x680(%rbp), %xmm0
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps %xmm0, (%rax)
movaps -0x690(%rbp), %xmm0
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps %xmm0, (%rax)
movaps -0x6a0(%rbp), %xmm0
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps %xmm0, (%rax)
movaps -0x6b0(%rbp), %xmm0
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps %xmm0, (%rax)
movaps -0x6c0(%rbp), %xmm0
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps %xmm0, (%rax)
movaps -0x6d0(%rbp), %xmm0
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps %xmm0, (%rax)
movaps -0x6e0(%rbp), %xmm0
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps %xmm0, (%rax)
movaps -0x6f0(%rbp), %xmm0
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps %xmm0, (%rax)
movl -0x664(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x664(%rbp)
jmp 0x7235
addq $0x820, %rsp            # imm = 0x820
popq %rbp
retq