// File: /workspace/github_c_makefile_star2_O0/pavel-demin[P]ft8d-c/pffft.c
// Function: pffft_real_finalize
static NEVER_INLINE(void) pffft_real_finalize(int Ncvec, const v4sf *in, v4sf *out, const v4sf *e) {
  int k, dk = Ncvec/SIMD_SZ; // number of 4x4 matrix blocks
  /* fftpack order is f0r f1r f1i f2r f2i ... f(n-1)r f(n-1)i f(n)r */

  v4sf_union cr, ci, *uout = (v4sf_union*)out;
  v4sf save = in[7], zero=VZERO();
  float xr0, xi0, xr1, xi1, xr2, xi2, xr3, xi3;
  static const float s = M_SQRT2/2;

  cr.v = in[0]; ci.v = in[Ncvec*2-1];
  assert(in != out);
  pffft_real_finalize_4x4(&zero, &zero, in+1, e, out);

  /*
    [cr0 cr1 cr2 cr3 ci0 ci1 ci2 ci3]

    [Xr(1)]  ] [1   1   1   1   0   0   0   0]
    [Xr(N/4) ] [0   0   0   0   1   s   0  -s]
    [Xr(N/2) ] [1   0  -1   0   0   0   0   0]
    [Xr(3N/4)] [0   0   0   0   1  -s   0   s]
    [Xi(1)   ] [1  -1   1  -1   0   0   0   0]
    [Xi(N/4) ] [0   0   0   0   0  -s  -1  -s]
    [Xi(N/2) ] [0  -1   0   1   0   0   0   0]
    [Xi(3N/4)] [0   0   0   0   0  -s   1  -s]
  */

  xr0=(cr.f[0]+cr.f[2]) + (cr.f[1]+cr.f[3]); uout[0].f[0] = xr0;
  xi0=(cr.f[0]+cr.f[2]) - (cr.f[1]+cr.f[3]); uout[1].f[0] = xi0;
  xr2=(cr.f[0]-cr.f[2]);                     uout[4].f[0] = xr2;
  xi2=(cr.f[3]-cr.f[1]);                     uout[5].f[0] = xi2;
  xr1= ci.f[0] + s*(ci.f[1]-ci.f[3]);        uout[2].f[0] = xr1;
  xi1=-ci.f[2] - s*(ci.f[1]+ci.f[3]);        uout[3].f[0] = xi1;
  xr3= ci.f[0] - s*(ci.f[1]-ci.f[3]);        uout[6].f[0] = xr3;
  xi3= ci.f[2] - s*(ci.f[1]+ci.f[3]);        uout[7].f[0] = xi3;

  for (k=1; k < dk; ++k) {
    v4sf save_next = in[8*k+7];
    pffft_real_finalize_4x4(&save, &in[8*k+0], in + 8*k+1,
                           e + k*6, out + k*8);
    save = save_next;
  }

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1100, %rsp           # imm = 0x1100
movl %edi, -0x1054(%rbp)
movq %rsi, -0x1060(%rbp)
movq %rdx, -0x1068(%rbp)
movq %rcx, -0x1070(%rbp)
movl -0x1054(%rbp), %eax
movl %eax, %ecx
addl $0x3, %ecx
testl %eax, %eax
cmovsl %ecx, %eax
sarl $0x2, %eax
movl %eax, -0x1078(%rbp)
movq -0x1068(%rbp), %rax
movq %rax, -0x10a8(%rbp)
movq -0x1060(%rbp), %rax
movaps 0x70(%rax), %xmm0
movaps %xmm0, -0x10c0(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x1050(%rbp)
movaps -0x1050(%rbp), %xmm0
movaps %xmm0, -0x10d0(%rbp)
movq -0x1060(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x1090(%rbp)
movq -0x1060(%rbp), %rax
movl -0x1054(%rbp), %ecx
shll %ecx
subl $0x1, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x10a0(%rbp)
movq -0x1060(%rbp), %rax
cmpq -0x1068(%rbp), %rax
je 0x9800
jmp 0x981f
leaq 0xefb0(%rip), %rdi      # 0x187b7
leaq 0xe9d0(%rip), %rsi      # 0x181de
movl $0x5cc, %edx            # imm = 0x5CC
leaq 0xf2cf(%rip), %rcx      # 0x18ae9
callq 0x1090
movq -0x1060(%rbp), %rdx
addq $0x10, %rdx
movq -0x1070(%rbp), %rcx
movq -0x1068(%rbp), %rax
leaq -0x10d0(%rbp), %rsi
movq %rsi, -0x648(%rbp)
movq %rsi, -0x650(%rbp)
movq %rdx, -0x658(%rbp)
movq %rcx, -0x660(%rbp)
movq %rax, -0x668(%rbp)
movq -0x648(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x680(%rbp)
movq -0x650(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x690(%rbp)
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0x6a0(%rbp)
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0x6b0(%rbp)
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0x6c0(%rbp)
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0x6d0(%rbp)
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0x6e0(%rbp)
movq -0x658(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x658(%rbp)
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]
movapd %xmm0, -0x6e0(%rbp)
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
movaps 0x10(%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
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
movaps 0x10(%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
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
movaps 0x30(%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
movaps 0x20(%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
movaps 0x30(%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
movaps 0x20(%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
movaps 0x50(%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
movaps 0x40(%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
movaps 0x50(%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
movaps 0x40(%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 -0x6e0(%rbp), %xmm1
movaps -0x6a0(%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 -0x6f0(%rbp), %xmm1
movaps -0x6b0(%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 -0x700(%rbp), %xmm1
movaps -0x720(%rbp), %xmm0
movaps %xmm1, -0xf0(%rbp)
movaps %xmm0, -0x100(%rbp)
movaps -0xf0(%rbp), %xmm0
subps -0x100(%rbp), %xmm0
movaps %xmm0, -0x6e0(%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 -0x760(%rbp), %xmm1
movaps -0x740(%rbp), %xmm0
movaps %xmm1, -0x110(%rbp)
movaps %xmm0, -0x120(%rbp)
movaps -0x110(%rbp), %xmm0
subps -0x120(%rbp), %xmm0
movaps %xmm0, -0x6f0(%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 -0x710(%rbp), %xmm1
movaps -0x770(%rbp), %xmm0
movaps %xmm1, -0x130(%rbp)
movaps %xmm0, -0x140(%rbp)
movaps -0x130(%rbp), %xmm0
subps -0x140(%rbp), %xmm0
movaps %xmm0, -0x6c0(%rbp)
movaps -0x730(%rbp), %xmm1
movaps -0x750(%rbp), %xmm0
movaps %xmm1, -0x150(%rbp)
movaps %xmm0, -0x160(%rbp)
movaps -0x150(%rbp), %xmm0
subps -0x160(%rbp), %xmm0
movaps %xmm0, -0x6b0(%rbp)
movaps -0x730(%rbp), %xmm1
movaps -0x750(%rbp), %xmm0
movaps %xmm1, -0x630(%rbp)
movaps %xmm0, -0x640(%rbp)
movaps -0x630(%rbp), %xmm0
addps -0x640(%rbp), %xmm0
movaps %xmm0, -0x6d0(%rbp)
movaps -0x680(%rbp), %xmm0
movq -0x668(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x668(%rbp)
movaps %xmm0, (%rax)
movaps -0x690(%rbp), %xmm0
movq -0x668(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x668(%rbp)
movaps %xmm0, (%rax)
movaps -0x6a0(%rbp), %xmm0
movq -0x668(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x668(%rbp)
movaps %xmm0, (%rax)
movaps -0x6b0(%rbp), %xmm0
movq -0x668(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x668(%rbp)
movaps %xmm0, (%rax)
movaps -0x6c0(%rbp), %xmm0
movq -0x668(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x668(%rbp)
movaps %xmm0, (%rax)
movaps -0x6d0(%rbp), %xmm0
movq -0x668(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x668(%rbp)
movaps %xmm0, (%rax)
movaps -0x6e0(%rbp), %xmm0
movq -0x668(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x668(%rbp)
movaps %xmm0, (%rax)
movaps -0x6f0(%rbp), %xmm0
movq -0x668(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0x668(%rbp)
movaps %xmm0, (%rax)
movss -0x1090(%rbp), %xmm0
addss -0x1088(%rbp), %xmm0
movss -0x108c(%rbp), %xmm1
addss -0x1084(%rbp), %xmm1
addss %xmm1, %xmm0
movss %xmm0, -0x10d4(%rbp)
movss -0x10d4(%rbp), %xmm0
movq -0x10a8(%rbp), %rax
movss %xmm0, (%rax)
movss -0x1090(%rbp), %xmm0
addss -0x1088(%rbp), %xmm0
movss -0x108c(%rbp), %xmm1
addss -0x1084(%rbp), %xmm1
subss %xmm1, %xmm0
movss %xmm0, -0x10d8(%rbp)
movss -0x10d8(%rbp), %xmm0
movq -0x10a8(%rbp), %rax
movss %xmm0, 0x10(%rax)
movss -0x1090(%rbp), %xmm0
subss -0x1088(%rbp), %xmm0
movss %xmm0, -0x10e4(%rbp)
movss -0x10e4(%rbp), %xmm0
movq -0x10a8(%rbp), %rax
movss %xmm0, 0x40(%rax)
movss -0x1084(%rbp), %xmm0
subss -0x108c(%rbp), %xmm0
movss %xmm0, -0x10e8(%rbp)
movss -0x10e8(%rbp), %xmm0
movq -0x10a8(%rbp), %rax
movss %xmm0, 0x50(%rax)
movss -0x10a0(%rbp), %xmm1
movss -0x109c(%rbp), %xmm0
subss -0x1094(%rbp), %xmm0
movss 0xdb92(%rip), %xmm2     # 0x18074
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
movss %xmm0, -0x10dc(%rbp)
movss -0x10dc(%rbp), %xmm0
movq -0x10a8(%rbp), %rax
movss %xmm0, 0x20(%rax)
movss -0x1098(%rbp), %xmm0
movd %xmm0, %eax
xorl $0x80000000, %eax       # imm = 0x80000000
movd %eax, %xmm1
movss -0x109c(%rbp), %xmm0
addss -0x1094(%rbp), %xmm0
movss 0xdb3d(%rip), %xmm2     # 0x18070
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
movss %xmm0, -0x10e0(%rbp)
movss -0x10e0(%rbp), %xmm0
movq -0x10a8(%rbp), %rax
movss %xmm0, 0x30(%rax)
movss -0x10a0(%rbp), %xmm1
movss -0x109c(%rbp), %xmm0
subss -0x1094(%rbp), %xmm0
movss 0xdaf9(%rip), %xmm2     # 0x18070
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
movss %xmm0, -0x10ec(%rbp)
movss -0x10ec(%rbp), %xmm0
movq -0x10a8(%rbp), %rax
movss %xmm0, 0x60(%rax)
movss -0x1098(%rbp), %xmm1
movss -0x109c(%rbp), %xmm0
addss -0x1094(%rbp), %xmm0
movss 0xdab5(%rip), %xmm2     # 0x18070
mulss %xmm2, %xmm0
addss %xmm1, %xmm0
movss %xmm0, -0x10f0(%rbp)
movss -0x10f0(%rbp), %xmm0
movq -0x10a8(%rbp), %rax
movss %xmm0, 0x70(%rax)
movl $0x1, -0x1074(%rbp)
movl -0x1074(%rbp), %eax
cmpl -0x1078(%rbp), %eax
jge 0xb26c
movq -0x1060(%rbp), %rax
movl -0x1074(%rbp), %ecx
shll $0x3, %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
movaps 0x70(%rax,%rcx), %xmm0
movaps %xmm0, -0x1100(%rbp)
movq -0x1060(%rbp), %rax
movl -0x1074(%rbp), %r8d
movl %r8d, %ecx
shll $0x3, %ecx
movslq %ecx, %rdi
shlq $0x4, %rdi
movq %rax, %rsi
addq %rdi, %rsi
leaq 0x10(%rax,%rdi), %rdx
movq -0x1070(%rbp), %rcx
addl %r8d, %r8d
movl %r8d, %eax
leal (%rax,%rax,2), %eax
cltq
shlq $0x4, %rax
addq %rax, %rcx
movq -0x1068(%rbp), %rax
addq %rdi, %rax
leaq -0x10c0(%rbp), %rdi
movq %rdi, -0xe68(%rbp)
movq %rsi, -0xe70(%rbp)
movq %rdx, -0xe78(%rbp)
movq %rcx, -0xe80(%rbp)
movq %rax, -0xe88(%rbp)
movq -0xe68(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0xea0(%rbp)
movq -0xe70(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0xeb0(%rbp)
movq -0xe78(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe78(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0xec0(%rbp)
movq -0xe78(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe78(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0xed0(%rbp)
movq -0xe78(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe78(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0xee0(%rbp)
movq -0xe78(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe78(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0xef0(%rbp)
movq -0xe78(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe78(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0xf00(%rbp)
movq -0xe78(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe78(%rbp)
movaps (%rax), %xmm0
movaps %xmm0, -0xf10(%rbp)
movaps -0xea0(%rbp), %xmm1
movaps -0xec0(%rbp), %xmm0
movaps %xmm1, -0xb10(%rbp)
movaps %xmm0, -0xb20(%rbp)
movaps -0xb10(%rbp), %xmm0
movaps -0xb20(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0xfd0(%rbp)
movaps -0xee0(%rbp), %xmm1
movaps -0xf00(%rbp), %xmm0
movaps %xmm1, -0xb30(%rbp)
movaps %xmm0, -0xb40(%rbp)
movaps -0xb30(%rbp), %xmm0
movaps -0xb40(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0xfb0(%rbp)
movaps -0xea0(%rbp), %xmm1
movaps -0xec0(%rbp), %xmm0
movaps %xmm1, -0xa90(%rbp)
movaps %xmm0, -0xaa0(%rbp)
movaps -0xa90(%rbp), %xmm0
movaps -0xaa0(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0xfc0(%rbp)
movaps -0xee0(%rbp), %xmm1
movaps -0xf00(%rbp), %xmm0
movaps %xmm1, -0xab0(%rbp)
movaps %xmm0, -0xac0(%rbp)
movaps -0xab0(%rbp), %xmm0
movaps -0xac0(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0xfa0(%rbp)
movaps -0xfd0(%rbp), %xmm1
movaps -0xfb0(%rbp), %xmm0
movaps %xmm1, -0xa10(%rbp)
movaps %xmm0, -0xa20(%rbp)
movapd -0xa10(%rbp), %xmm0
movapd -0xa20(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0xea0(%rbp)
movaps -0xfb0(%rbp), %xmm1
movaps -0xfd0(%rbp), %xmm0
movaps %xmm1, -0x990(%rbp)
movaps %xmm0, -0x9a0(%rbp)
movapd -0x990(%rbp), %xmm1
movapd -0x9a0(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movapd %xmm0, -0xec0(%rbp)
movaps -0xfc0(%rbp), %xmm1
movaps -0xfa0(%rbp), %xmm0
movaps %xmm1, -0xa30(%rbp)
movaps %xmm0, -0xa40(%rbp)
movapd -0xa30(%rbp), %xmm0
movapd -0xa40(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0xee0(%rbp)
movaps -0xfa0(%rbp), %xmm1
movaps -0xfc0(%rbp), %xmm0
movaps %xmm1, -0x9b0(%rbp)
movaps %xmm0, -0x9c0(%rbp)
movapd -0x9b0(%rbp), %xmm1
movapd -0x9c0(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movapd %xmm0, -0xf00(%rbp)
movaps -0xeb0(%rbp), %xmm1
movaps -0xed0(%rbp), %xmm0
movaps %xmm1, -0xb50(%rbp)
movaps %xmm0, -0xb60(%rbp)
movaps -0xb50(%rbp), %xmm0
movaps -0xb60(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0x1010(%rbp)
movaps -0xef0(%rbp), %xmm1
movaps -0xf10(%rbp), %xmm0
movaps %xmm1, -0xb70(%rbp)
movaps %xmm0, -0xb80(%rbp)
movaps -0xb70(%rbp), %xmm0
movaps -0xb80(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0xff0(%rbp)
movaps -0xeb0(%rbp), %xmm1
movaps -0xed0(%rbp), %xmm0
movaps %xmm1, -0xad0(%rbp)
movaps %xmm0, -0xae0(%rbp)
movaps -0xad0(%rbp), %xmm0
movaps -0xae0(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0x1000(%rbp)
movaps -0xef0(%rbp), %xmm1
movaps -0xf10(%rbp), %xmm0
movaps %xmm1, -0xaf0(%rbp)
movaps %xmm0, -0xb00(%rbp)
movaps -0xaf0(%rbp), %xmm0
movaps -0xb00(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0xfe0(%rbp)
movaps -0x1010(%rbp), %xmm1
movaps -0xff0(%rbp), %xmm0
movaps %xmm1, -0xa50(%rbp)
movaps %xmm0, -0xa60(%rbp)
movapd -0xa50(%rbp), %xmm0
movapd -0xa60(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0xeb0(%rbp)
movaps -0xff0(%rbp), %xmm1
movaps -0x1010(%rbp), %xmm0
movaps %xmm1, -0x9d0(%rbp)
movaps %xmm0, -0x9e0(%rbp)
movapd -0x9d0(%rbp), %xmm1
movapd -0x9e0(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movapd %xmm0, -0xed0(%rbp)
movaps -0x1000(%rbp), %xmm1
movaps -0xfe0(%rbp), %xmm0
movaps %xmm1, -0xa70(%rbp)
movaps %xmm0, -0xa80(%rbp)
movapd -0xa70(%rbp), %xmm0
movapd -0xa80(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0xef0(%rbp)
movaps -0xfe0(%rbp), %xmm1
movaps -0x1000(%rbp), %xmm0
movaps %xmm1, -0x9f0(%rbp)
movaps %xmm0, -0xa00(%rbp)
movapd -0x9f0(%rbp), %xmm1
movapd -0xa00(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movaps %xmm0, -0xf10(%rbp)
movaps -0xec0(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps 0x10(%rax), %xmm0
movaps %xmm1, -0xb90(%rbp)
movaps %xmm0, -0xba0(%rbp)
movaps -0xb90(%rbp), %xmm0
mulps -0xba0(%rbp), %xmm0
movaps %xmm0, -0x1020(%rbp)
movaps -0xec0(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm1, -0xbb0(%rbp)
movaps %xmm0, -0xbc0(%rbp)
movaps -0xbb0(%rbp), %xmm0
mulps -0xbc0(%rbp), %xmm0
movaps %xmm0, -0xec0(%rbp)
movaps -0xec0(%rbp), %xmm1
movaps -0xed0(%rbp), %xmm2
movq -0xe80(%rbp), %rax
movaps 0x10(%rax), %xmm0
movaps %xmm2, -0xbd0(%rbp)
movaps %xmm0, -0xbe0(%rbp)
movaps -0xbd0(%rbp), %xmm0
mulps -0xbe0(%rbp), %xmm0
movaps %xmm1, -0x830(%rbp)
movaps %xmm0, -0x840(%rbp)
movaps -0x830(%rbp), %xmm0
subps -0x840(%rbp), %xmm0
movaps %xmm0, -0xec0(%rbp)
movaps -0xed0(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm1, -0xbf0(%rbp)
movaps %xmm0, -0xc00(%rbp)
movaps -0xbf0(%rbp), %xmm0
mulps -0xc00(%rbp), %xmm0
movaps %xmm0, -0xed0(%rbp)
movaps -0xed0(%rbp), %xmm1
movaps -0x1020(%rbp), %xmm0
movaps %xmm1, -0xd10(%rbp)
movaps %xmm0, -0xd20(%rbp)
movaps -0xd10(%rbp), %xmm0
addps -0xd20(%rbp), %xmm0
movaps %xmm0, -0xed0(%rbp)
movaps -0xee0(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps 0x30(%rax), %xmm0
movaps %xmm1, -0xc10(%rbp)
movaps %xmm0, -0xc20(%rbp)
movaps -0xc10(%rbp), %xmm0
mulps -0xc20(%rbp), %xmm0
movaps %xmm0, -0x1030(%rbp)
movaps -0xee0(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps 0x20(%rax), %xmm0
movaps %xmm1, -0xc30(%rbp)
movaps %xmm0, -0xc40(%rbp)
movaps -0xc30(%rbp), %xmm0
mulps -0xc40(%rbp), %xmm0
movaps %xmm0, -0xee0(%rbp)
movaps -0xee0(%rbp), %xmm1
movaps -0xef0(%rbp), %xmm2
movq -0xe80(%rbp), %rax
movaps 0x30(%rax), %xmm0
movaps %xmm2, -0xc50(%rbp)
movaps %xmm0, -0xc60(%rbp)
movaps -0xc50(%rbp), %xmm0
mulps -0xc60(%rbp), %xmm0
movaps %xmm1, -0x850(%rbp)
movaps %xmm0, -0x860(%rbp)
movaps -0x850(%rbp), %xmm0
subps -0x860(%rbp), %xmm0
movaps %xmm0, -0xee0(%rbp)
movaps -0xef0(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps 0x20(%rax), %xmm0
movaps %xmm1, -0xc70(%rbp)
movaps %xmm0, -0xc80(%rbp)
movaps -0xc70(%rbp), %xmm0
mulps -0xc80(%rbp), %xmm0
movaps %xmm0, -0xef0(%rbp)
movaps -0xef0(%rbp), %xmm1
movaps -0x1030(%rbp), %xmm0
movaps %xmm1, -0xd30(%rbp)
movaps %xmm0, -0xd40(%rbp)
movaps -0xd30(%rbp), %xmm0
addps -0xd40(%rbp), %xmm0
movaps %xmm0, -0xef0(%rbp)
movaps -0xf00(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps 0x50(%rax), %xmm0
movaps %xmm1, -0xc90(%rbp)
movaps %xmm0, -0xca0(%rbp)
movaps -0xc90(%rbp), %xmm0
mulps -0xca0(%rbp), %xmm0
movaps %xmm0, -0x1040(%rbp)
movaps -0xf00(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps 0x40(%rax), %xmm0
movaps %xmm1, -0xcb0(%rbp)
movaps %xmm0, -0xcc0(%rbp)
movaps -0xcb0(%rbp), %xmm0
mulps -0xcc0(%rbp), %xmm0
movaps %xmm0, -0xf00(%rbp)
movaps -0xf00(%rbp), %xmm1
movaps -0xf10(%rbp), %xmm2
movq -0xe80(%rbp), %rax
movaps 0x50(%rax), %xmm0
movaps %xmm2, -0xcd0(%rbp)
movaps %xmm0, -0xce0(%rbp)
movaps -0xcd0(%rbp), %xmm0
mulps -0xce0(%rbp), %xmm0
movaps %xmm1, -0x870(%rbp)
movaps %xmm0, -0x880(%rbp)
movaps -0x870(%rbp), %xmm0
subps -0x880(%rbp), %xmm0
movaps %xmm0, -0xf00(%rbp)
movaps -0xf10(%rbp), %xmm1
movq -0xe80(%rbp), %rax
movaps 0x40(%rax), %xmm0
movaps %xmm1, -0xcf0(%rbp)
movaps %xmm0, -0xd00(%rbp)
movaps -0xcf0(%rbp), %xmm0
mulps -0xd00(%rbp), %xmm0
movaps %xmm0, -0xf10(%rbp)
movaps -0xf10(%rbp), %xmm1
movaps -0x1040(%rbp), %xmm0
movaps %xmm1, -0xd50(%rbp)
movaps %xmm0, -0xd60(%rbp)
movaps -0xd50(%rbp), %xmm0
addps -0xd60(%rbp), %xmm0
movaps %xmm0, -0xf10(%rbp)
movaps -0xea0(%rbp), %xmm1
movaps -0xee0(%rbp), %xmm0
movaps %xmm1, -0xd70(%rbp)
movaps %xmm0, -0xd80(%rbp)
movaps -0xd70(%rbp), %xmm0
addps -0xd80(%rbp), %xmm0
movaps %xmm0, -0xf20(%rbp)
movaps -0xea0(%rbp), %xmm1
movaps -0xee0(%rbp), %xmm0
movaps %xmm1, -0x890(%rbp)
movaps %xmm0, -0x8a0(%rbp)
movaps -0x890(%rbp), %xmm0
subps -0x8a0(%rbp), %xmm0
movaps %xmm0, -0xf30(%rbp)
movaps -0xec0(%rbp), %xmm1
movaps -0xf00(%rbp), %xmm0
movaps %xmm1, -0xd90(%rbp)
movaps %xmm0, -0xda0(%rbp)
movaps -0xd90(%rbp), %xmm0
addps -0xda0(%rbp), %xmm0
movaps %xmm0, -0xf40(%rbp)
movaps -0xf00(%rbp), %xmm1
movaps -0xec0(%rbp), %xmm0
movaps %xmm1, -0x8b0(%rbp)
movaps %xmm0, -0x8c0(%rbp)
movaps -0x8b0(%rbp), %xmm0
subps -0x8c0(%rbp), %xmm0
movaps %xmm0, -0xf50(%rbp)
movaps -0xeb0(%rbp), %xmm1
movaps -0xef0(%rbp), %xmm0
movaps %xmm1, -0xdb0(%rbp)
movaps %xmm0, -0xdc0(%rbp)
movaps -0xdb0(%rbp), %xmm0
addps -0xdc0(%rbp), %xmm0
movaps %xmm0, -0xf60(%rbp)
movaps -0xeb0(%rbp), %xmm1
movaps -0xef0(%rbp), %xmm0
movaps %xmm1, -0x8d0(%rbp)
movaps %xmm0, -0x8e0(%rbp)
movaps -0x8d0(%rbp), %xmm0
subps -0x8e0(%rbp), %xmm0
movaps %xmm0, -0xf70(%rbp)
movaps -0xed0(%rbp), %xmm1
movaps -0xf10(%rbp), %xmm0
movaps %xmm1, -0xdd0(%rbp)
movaps %xmm0, -0xde0(%rbp)
movaps -0xdd0(%rbp), %xmm0
addps -0xde0(%rbp), %xmm0
movaps %xmm0, -0xf80(%rbp)
movaps -0xf10(%rbp), %xmm1
movaps -0xed0(%rbp), %xmm0
movaps %xmm1, -0x8f0(%rbp)
movaps %xmm0, -0x900(%rbp)
movaps -0x8f0(%rbp), %xmm0
subps -0x900(%rbp), %xmm0
movaps %xmm0, -0xf90(%rbp)
movaps -0xf20(%rbp), %xmm1
movaps -0xf40(%rbp), %xmm0
movaps %xmm1, -0xdf0(%rbp)
movaps %xmm0, -0xe00(%rbp)
movaps -0xdf0(%rbp), %xmm0
addps -0xe00(%rbp), %xmm0
movaps %xmm0, -0xea0(%rbp)
movaps -0xf20(%rbp), %xmm1
movaps -0xf40(%rbp), %xmm0
movaps %xmm1, -0x910(%rbp)
movaps %xmm0, -0x920(%rbp)
movaps -0x910(%rbp), %xmm0
subps -0x920(%rbp), %xmm0
movaps %xmm0, -0xf00(%rbp)
movaps -0xf60(%rbp), %xmm1
movaps -0xf80(%rbp), %xmm0
movaps %xmm1, -0xe10(%rbp)
movaps %xmm0, -0xe20(%rbp)
movaps -0xe10(%rbp), %xmm0
addps -0xe20(%rbp), %xmm0
movaps %xmm0, -0xeb0(%rbp)
movaps -0xf80(%rbp), %xmm1
movaps -0xf60(%rbp), %xmm0
movaps %xmm1, -0x930(%rbp)
movaps %xmm0, -0x940(%rbp)
movaps -0x930(%rbp), %xmm0
subps -0x940(%rbp), %xmm0
movaps %xmm0, -0xf10(%rbp)
movaps -0xf30(%rbp), %xmm1
movaps -0xf90(%rbp), %xmm0
movaps %xmm1, -0xe30(%rbp)
movaps %xmm0, -0xe40(%rbp)
movaps -0xe30(%rbp), %xmm0
addps -0xe40(%rbp), %xmm0
movaps %xmm0, -0xec0(%rbp)
movaps -0xf30(%rbp), %xmm1
movaps -0xf90(%rbp), %xmm0
movaps %xmm1, -0x950(%rbp)
movaps %xmm0, -0x960(%rbp)
movaps -0x950(%rbp), %xmm0
subps -0x960(%rbp), %xmm0
movaps %xmm0, -0xee0(%rbp)
movaps -0xf50(%rbp), %xmm1
movaps -0xf70(%rbp), %xmm0
movaps %xmm1, -0x970(%rbp)
movaps %xmm0, -0x980(%rbp)
movaps -0x970(%rbp), %xmm0
subps -0x980(%rbp), %xmm0
movaps %xmm0, -0xed0(%rbp)
movaps -0xf50(%rbp), %xmm1
movaps -0xf70(%rbp), %xmm0
movaps %xmm1, -0xe50(%rbp)
movaps %xmm0, -0xe60(%rbp)
movaps -0xe50(%rbp), %xmm0
addps -0xe60(%rbp), %xmm0
movaps %xmm0, -0xef0(%rbp)
movaps -0xea0(%rbp), %xmm0
movq -0xe88(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe88(%rbp)
movaps %xmm0, (%rax)
movaps -0xeb0(%rbp), %xmm0
movq -0xe88(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe88(%rbp)
movaps %xmm0, (%rax)
movaps -0xec0(%rbp), %xmm0
movq -0xe88(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe88(%rbp)
movaps %xmm0, (%rax)
movaps -0xed0(%rbp), %xmm0
movq -0xe88(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe88(%rbp)
movaps %xmm0, (%rax)
movaps -0xee0(%rbp), %xmm0
movq -0xe88(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe88(%rbp)
movaps %xmm0, (%rax)
movaps -0xef0(%rbp), %xmm0
movq -0xe88(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe88(%rbp)
movaps %xmm0, (%rax)
movaps -0xf00(%rbp), %xmm0
movq -0xe88(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe88(%rbp)
movaps %xmm0, (%rax)
movaps -0xf10(%rbp), %xmm0
movq -0xe88(%rbp), %rax
movq %rax, %rcx
addq $0x10, %rcx
movq %rcx, -0xe88(%rbp)
movaps %xmm0, (%rax)
movaps -0x1100(%rbp), %xmm0
movaps %xmm0, -0x10c0(%rbp)
movl -0x1074(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x1074(%rbp)
jmp 0xa5e9
addq $0x1100, %rsp           # imm = 0x1100
popq %rbp
retq
nopw %cs:(%rax,%rax)