// File: /workspace/github_c_makefile_star2_O0/pavel-demin[P]ft8d-c/pffft.c
// Function: validate_pffft_simd
void validate_pffft_simd(void) {
  float f[16] = { 0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15 };
  v4sf_union a0, a1, a2, a3, t, u;
  memcpy(a0.f, f, 4*sizeof(float));
  memcpy(a1.f, f+4, 4*sizeof(float));
  memcpy(a2.f, f+8, 4*sizeof(float));
  memcpy(a3.f, f+12, 4*sizeof(float));

  t = a0; u = a1; t.v = VZERO();
  printf("VZERO=[%2g %2g %2g %2g]\n", t.f[0], t.f[1], t.f[2], t.f[3]); assertv4(t, 0, 0, 0, 0);
  t.v = VADD(a1.v, a2.v);
  printf("VADD(4:7,8:11)=[%2g %2g %2g %2g]\n", t.f[0], t.f[1], t.f[2], t.f[3]); assertv4(t, 12, 14, 16, 18);
  t.v = VMUL(a1.v, a2.v);
  printf("VMUL(4:7,8:11)=[%2g %2g %2g %2g]\n", t.f[0], t.f[1], t.f[2], t.f[3]); assertv4(t, 32, 45, 60, 77);
  t.v = VMADD(a1.v, a2.v,a0.v);
  printf("VMADD(4:7,8:11,0:3)=[%2g %2g %2g %2g]\n", t.f[0], t.f[1], t.f[2], t.f[3]); assertv4(t, 32, 46, 62, 80);

  INTERLEAVE2(a1.v,a2.v,t.v,u.v);
  printf("INTERLEAVE2(4:7,8:11)=[%2g %2g %2g %2g] [%2g %2g %2g %2g]\n", t.f[0], t.f[1], t.f[2], t.f[3], u.f[0], u.f[1], u.f[2], u.f[3]);
  assertv4(t, 4, 8, 5, 9); assertv4(u, 6, 10, 7, 11);
  UNINTERLEAVE2(a1.v,a2.v,t.v,u.v);
  printf("UNINTERLEAVE2(4:7,8:11)=[%2g %2g %2g %2g] [%2g %2g %2g %2g]\n", t.f[0], t.f[1], t.f[2], t.f[3], u.f[0], u.f[1], u.f[2], u.f[3]);
  assertv4(t, 4, 6, 8, 10); assertv4(u, 5, 7, 9, 11);

  t.v=LD_PS1(f[15]);
  printf("LD_PS1(15)=[%2g %2g %2g %2g]\n", t.f[0], t.f[1], t.f[2], t.f[3]);
  assertv4(t, 15, 15, 15, 15);
  t.v = VSWAPHL(a1.v, a2.v);
  printf("VSWAPHL(4:7,8:11)=[%2g %2g %2g %2g]\n", t.f[0], t.f[1], t.f[2], t.f[3]);
  assertv4(t, 8, 9, 6, 7);
  VTRANSPOSE4(a0.v, a1.v, a2.v, a3.v);
  printf("VTRANSPOSE4(0:3,4:7,8:11,12:15)=[%2g %2g %2g %2g] [%2g %2g %2g %2g] [%2g %2g %2g %2g] [%2g %2g %2g %2g]\n",
         a0.f[0], a0.f[1], a0.f[2], a0.f[3], a1.f[0], a1.f[1], a1.f[2], a1.f[3],
         a2.f[0], a2.f[1], a2.f[2], a2.f[3], a3.f[0], a3.f[1], a3.f[2], a3.f[3]);
  assertv4(a0, 0, 4, 8, 12); assertv4(a1, 1, 5, 9, 13); assertv4(a2, 2, 6, 10, 14); assertv4(a3, 3, 7, 11, 15);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x330, %rsp            # imm = 0x330
movaps 0x16e6e(%rip), %xmm0    # 0x180f0
movaps %xmm0, -0x200(%rbp)
movaps 0x16e50(%rip), %xmm0    # 0x180e0
movaps %xmm0, -0x210(%rbp)
movaps 0x16e32(%rip), %xmm0    # 0x180d0
movaps %xmm0, -0x220(%rbp)
movaps 0x16e14(%rip), %xmm0    # 0x180c0
movaps %xmm0, -0x230(%rbp)
movaps -0x230(%rbp), %xmm0
movaps %xmm0, -0x240(%rbp)
movaps -0x220(%rbp), %xmm0
movaps %xmm0, -0x250(%rbp)
movaps -0x210(%rbp), %xmm0
movaps %xmm0, -0x260(%rbp)
movaps -0x200(%rbp), %xmm0
movaps %xmm0, -0x270(%rbp)
movaps -0x240(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movaps -0x250(%rbp), %xmm0
movaps %xmm0, -0x290(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x1f0(%rbp)
movaps -0x1f0(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movss -0x280(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x27c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x278(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x274(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
leaq 0x16e2e(%rip), %rdi     # 0x18184
movb $0x4, %al
callq 0x1080
movss -0x280(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x13a7
jp 0x13a7
movss -0x27c(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x13a7
jp 0x13a7
movss -0x278(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x13a7
jp 0x13a7
movss -0x274(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x13a7
jp 0x13a7
jmp 0x13c6
leaq 0x16def(%rip), %rdi     # 0x1819d
leaq 0x16e29(%rip), %rsi     # 0x181de
movl $0xdf, %edx
leaq 0x16e25(%rip), %rcx     # 0x181e6
callq 0x1090
movaps -0x250(%rbp), %xmm1
movaps -0x260(%rbp), %xmm0
movaps %xmm1, -0x1b0(%rbp)
movaps %xmm0, -0x1c0(%rbp)
movaps -0x1b0(%rbp), %xmm0
addps -0x1c0(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movss -0x280(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x27c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x278(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x274(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
leaq 0x16dd7(%rip), %rdi     # 0x18205
movb $0x4, %al
callq 0x1080
movss -0x280(%rbp), %xmm0
movss 0x16bbf(%rip), %xmm1    # 0x18004
ucomiss %xmm1, %xmm0
jne 0x1493
jp 0x1493
movss -0x27c(%rbp), %xmm0
movss 0x16bac(%rip), %xmm1    # 0x18008
ucomiss %xmm1, %xmm0
jne 0x1493
jp 0x1493
movss -0x278(%rbp), %xmm0
movss 0x16b99(%rip), %xmm1    # 0x1800c
ucomiss %xmm1, %xmm0
jne 0x1493
jp 0x1493
movss -0x274(%rbp), %xmm0
movss 0x16b86(%rip), %xmm1    # 0x18010
ucomiss %xmm1, %xmm0
jne 0x1493
jp 0x1493
jmp 0x14b2
leaq 0x16d8d(%rip), %rdi     # 0x18227
leaq 0x16d3d(%rip), %rsi     # 0x181de
movl $0xe1, %edx
leaq 0x16d39(%rip), %rcx     # 0x181e6
callq 0x1090
movaps -0x250(%rbp), %xmm1
movaps -0x260(%rbp), %xmm0
movaps %xmm1, -0x170(%rbp)
movaps %xmm0, -0x180(%rbp)
movaps -0x170(%rbp), %xmm0
mulps -0x180(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movss -0x280(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x27c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x278(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x274(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
leaq 0x16d52(%rip), %rdi     # 0x1826c
movb $0x4, %al
callq 0x1080
movss -0x280(%rbp), %xmm0
movss 0x16ae3(%rip), %xmm1    # 0x18014
ucomiss %xmm1, %xmm0
jne 0x157f
jp 0x157f
movss -0x27c(%rbp), %xmm0
movss 0x16ad0(%rip), %xmm1    # 0x18018
ucomiss %xmm1, %xmm0
jne 0x157f
jp 0x157f
movss -0x278(%rbp), %xmm0
movss 0x16abd(%rip), %xmm1    # 0x1801c
ucomiss %xmm1, %xmm0
jne 0x157f
jp 0x157f
movss -0x274(%rbp), %xmm0
movss 0x16aaa(%rip), %xmm1    # 0x18020
ucomiss %xmm1, %xmm0
jne 0x157f
jp 0x157f
jmp 0x159e
leaq 0x16d08(%rip), %rdi     # 0x1828e
leaq 0x16c51(%rip), %rsi     # 0x181de
movl $0xe3, %edx
leaq 0x16c4d(%rip), %rcx     # 0x181e6
callq 0x1090
movaps -0x250(%rbp), %xmm1
movaps -0x260(%rbp), %xmm0
movaps %xmm1, -0x190(%rbp)
movaps %xmm0, -0x1a0(%rbp)
movaps -0x190(%rbp), %xmm1
mulps -0x1a0(%rbp), %xmm1
movaps -0x240(%rbp), %xmm0
movaps %xmm1, -0x1d0(%rbp)
movaps %xmm0, -0x1e0(%rbp)
movaps -0x1d0(%rbp), %xmm0
addps -0x1e0(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movss -0x280(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x27c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x278(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x274(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
leaq 0x16caa(%rip), %rdi     # 0x182d3
movb $0x4, %al
callq 0x1080
movss -0x280(%rbp), %xmm0
movss 0x169d4(%rip), %xmm1    # 0x18014
ucomiss %xmm1, %xmm0
jne 0x168e
jp 0x168e
movss -0x27c(%rbp), %xmm0
movss 0x169cd(%rip), %xmm1    # 0x18024
ucomiss %xmm1, %xmm0
jne 0x168e
jp 0x168e
movss -0x278(%rbp), %xmm0
movss 0x169ba(%rip), %xmm1    # 0x18028
ucomiss %xmm1, %xmm0
jne 0x168e
jp 0x168e
movss -0x274(%rbp), %xmm0
movss 0x169a7(%rip), %xmm1    # 0x1802c
ucomiss %xmm1, %xmm0
jne 0x168e
jp 0x168e
jmp 0x16ad
leaq 0x16c65(%rip), %rdi     # 0x182fa
leaq 0x16b42(%rip), %rsi     # 0x181de
movl $0xe5, %edx
leaq 0x16b3e(%rip), %rcx     # 0x181e6
callq 0x1090
movaps -0x250(%rbp), %xmm1
movaps -0x260(%rbp), %xmm0
movaps %xmm1, -0x110(%rbp)
movaps %xmm0, -0x120(%rbp)
movaps -0x110(%rbp), %xmm0
movaps -0x120(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0x2a0(%rbp)
movaps -0x250(%rbp), %xmm1
movaps -0x260(%rbp), %xmm0
movaps %xmm1, -0xb0(%rbp)
movaps %xmm0, -0xc0(%rbp)
movaps -0xb0(%rbp), %xmm0
movaps -0xc0(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0x290(%rbp)
movaps -0x2a0(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movss -0x280(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x27c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x278(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x274(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
movss -0x290(%rbp), %xmm4
cvtss2sd %xmm4, %xmm4
movss -0x28c(%rbp), %xmm5
cvtss2sd %xmm5, %xmm5
movss -0x288(%rbp), %xmm6
cvtss2sd %xmm6, %xmm6
movss -0x284(%rbp), %xmm7
cvtss2sd %xmm7, %xmm7
leaq 0x16c3b(%rip), %rdi     # 0x183c5
movb $0x8, %al
callq 0x1080
movss -0x280(%rbp), %xmm0
movss 0x1688f(%rip), %xmm1    # 0x18030
ucomiss %xmm1, %xmm0
jne 0x17ef
jp 0x17ef
movss -0x27c(%rbp), %xmm0
movss 0x1687c(%rip), %xmm1    # 0x18034
ucomiss %xmm1, %xmm0
jne 0x17ef
jp 0x17ef
movss -0x278(%rbp), %xmm0
movss 0x16869(%rip), %xmm1    # 0x18038
ucomiss %xmm1, %xmm0
jne 0x17ef
jp 0x17ef
movss -0x274(%rbp), %xmm0
movss 0x16856(%rip), %xmm1    # 0x1803c
ucomiss %xmm1, %xmm0
jne 0x17ef
jp 0x17ef
jmp 0x180e
leaq 0x16b49(%rip), %rdi     # 0x1833f
leaq 0x169e1(%rip), %rsi     # 0x181de
movl $0xe9, %edx
leaq 0x169dd(%rip), %rcx     # 0x181e6
callq 0x1090
movss -0x290(%rbp), %xmm0
movss 0x16822(%rip), %xmm1    # 0x18040
ucomiss %xmm1, %xmm0
jne 0x186c
jp 0x186c
movss -0x28c(%rbp), %xmm0
movss 0x1680f(%rip), %xmm1    # 0x18044
ucomiss %xmm1, %xmm0
jne 0x186c
jp 0x186c
movss -0x288(%rbp), %xmm0
movss 0x167fc(%rip), %xmm1    # 0x18048
ucomiss %xmm1, %xmm0
jne 0x186c
jp 0x186c
movss -0x284(%rbp), %xmm0
movss 0x167e9(%rip), %xmm1    # 0x1804c
ucomiss %xmm1, %xmm0
jne 0x186c
jp 0x186c
jmp 0x188b
leaq 0x16b0d(%rip), %rdi     # 0x18380
leaq 0x16964(%rip), %rsi     # 0x181de
movl $0xe9, %edx
leaq 0x16960(%rip), %rcx     # 0x181e6
callq 0x1090
movaps -0x250(%rbp), %xmm0
movaps -0x260(%rbp), %xmm1
shufps $0x88, %xmm1, %xmm0     # xmm0 = xmm0[0,2],xmm1[0,2]
movaps %xmm0, -0x2b0(%rbp)
movaps -0x250(%rbp), %xmm0
movaps -0x260(%rbp), %xmm1
shufps $0xdd, %xmm1, %xmm0     # xmm0 = xmm0[1,3],xmm1[1,3]
movaps %xmm0, -0x290(%rbp)
movaps -0x2b0(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movss -0x280(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x27c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x278(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x274(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
movss -0x290(%rbp), %xmm4
cvtss2sd %xmm4, %xmm4
movss -0x28c(%rbp), %xmm5
cvtss2sd %xmm5, %xmm5
movss -0x288(%rbp), %xmm6
cvtss2sd %xmm6, %xmm6
movss -0x284(%rbp), %xmm7
cvtss2sd %xmm7, %xmm7
leaq 0x16a91(%rip), %rdi     # 0x183c3
movb $0x8, %al
callq 0x1080
movss -0x280(%rbp), %xmm0
movss 0x166e7(%rip), %xmm1    # 0x18030
ucomiss %xmm1, %xmm0
jne 0x1997
jp 0x1997
movss -0x27c(%rbp), %xmm0
movss 0x166e0(%rip), %xmm1    # 0x18040
ucomiss %xmm1, %xmm0
jne 0x1997
jp 0x1997
movss -0x278(%rbp), %xmm0
movss 0x166bd(%rip), %xmm1    # 0x18034
ucomiss %xmm1, %xmm0
jne 0x1997
jp 0x1997
movss -0x274(%rbp), %xmm0
movss 0x166b6(%rip), %xmm1    # 0x18044
ucomiss %xmm1, %xmm0
jne 0x1997
jp 0x1997
jmp 0x19b6
leaq 0x16a62(%rip), %rdi     # 0x18400
leaq 0x16839(%rip), %rsi     # 0x181de
movl $0xec, %edx
leaq 0x16835(%rip), %rcx     # 0x181e6
callq 0x1090
movss -0x290(%rbp), %xmm0
movss 0x16672(%rip), %xmm1    # 0x18038
ucomiss %xmm1, %xmm0
jne 0x1a14
jp 0x1a14
movss -0x28c(%rbp), %xmm0
movss 0x1666b(%rip), %xmm1    # 0x18048
ucomiss %xmm1, %xmm0
jne 0x1a14
jp 0x1a14
movss -0x288(%rbp), %xmm0
movss 0x16648(%rip), %xmm1    # 0x1803c
ucomiss %xmm1, %xmm0
jne 0x1a14
jp 0x1a14
movss -0x284(%rbp), %xmm0
movss 0x16641(%rip), %xmm1    # 0x1804c
ucomiss %xmm1, %xmm0
jne 0x1a14
jp 0x1a14
jmp 0x1a33
leaq 0x16a27(%rip), %rdi     # 0x18442
leaq 0x167bc(%rip), %rsi     # 0x181de
movl $0xec, %edx
leaq 0x167b8(%rip), %rcx     # 0x181e6
callq 0x1090
movss -0x1f4(%rbp), %xmm0
movss %xmm0, -0x90(%rbp)
movaps -0x90(%rbp), %xmm0
shufps $0x0, %xmm0, %xmm0      # xmm0 = xmm0[0,0,0,0]
movaps %xmm0, -0xa0(%rbp)
movaps -0xa0(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movss -0x280(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x27c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x278(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x274(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
leaq 0x169ea(%rip), %rdi     # 0x18484
movb $0x4, %al
callq 0x1080
movss -0x280(%rbp), %xmm0
movss 0x1659f(%rip), %xmm1    # 0x18050
ucomiss %xmm1, %xmm0
jne 0x1aff
jp 0x1aff
movss -0x27c(%rbp), %xmm0
movss 0x16588(%rip), %xmm1    # 0x18050
ucomiss %xmm1, %xmm0
jne 0x1aff
jp 0x1aff
movss -0x278(%rbp), %xmm0
movss 0x16571(%rip), %xmm1    # 0x18050
ucomiss %xmm1, %xmm0
jne 0x1aff
jp 0x1aff
movss -0x274(%rbp), %xmm0
movss 0x1655a(%rip), %xmm1    # 0x18050
ucomiss %xmm1, %xmm0
jne 0x1aff
jp 0x1aff
jmp 0x1b1e
leaq 0x1699c(%rip), %rdi     # 0x184a2
leaq 0x166d1(%rip), %rsi     # 0x181de
movl $0xf0, %edx
leaq 0x166cd(%rip), %rcx     # 0x181e6
callq 0x1090
movapd -0x260(%rbp), %xmm1
movapd -0x250(%rbp), %xmm0
movsd %xmm1, %xmm0            # xmm0 = xmm1[0],xmm0[1]
movaps %xmm0, -0x280(%rbp)
movss -0x280(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x27c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x278(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x274(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
leaq 0x16977(%rip), %rdi     # 0x184e7
movb $0x4, %al
callq 0x1080
movss -0x280(%rbp), %xmm0
movss 0x164ad(%rip), %xmm1    # 0x18034
ucomiss %xmm1, %xmm0
jne 0x1bd5
jp 0x1bd5
movss -0x27c(%rbp), %xmm0
movss 0x1649e(%rip), %xmm1    # 0x1803c
ucomiss %xmm1, %xmm0
jne 0x1bd5
jp 0x1bd5
movss -0x278(%rbp), %xmm0
movss 0x1648b(%rip), %xmm1    # 0x18040
ucomiss %xmm1, %xmm0
jne 0x1bd5
jp 0x1bd5
movss -0x274(%rbp), %xmm0
movss 0x1647c(%rip), %xmm1    # 0x18048
ucomiss %xmm1, %xmm0
jne 0x1bd5
jp 0x1bd5
jmp 0x1bf4
leaq 0x16930(%rip), %rdi     # 0x1850c
leaq 0x165fb(%rip), %rsi     # 0x181de
movl $0xf3, %edx
leaq 0x165f7(%rip), %rcx     # 0x181e6
callq 0x1090
jmp 0x1bf6
movaps -0x240(%rbp), %xmm1
movaps -0x250(%rbp), %xmm0
movaps %xmm1, -0x130(%rbp)
movaps %xmm0, -0x140(%rbp)
movaps -0x130(%rbp), %xmm0
movaps -0x140(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0x2f0(%rbp)
movaps -0x260(%rbp), %xmm1
movaps -0x270(%rbp), %xmm0
movaps %xmm1, -0x150(%rbp)
movaps %xmm0, -0x160(%rbp)
movaps -0x150(%rbp), %xmm0
movaps -0x160(%rbp), %xmm1
unpcklps %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0],xmm0[1],xmm1[1]
movaps %xmm0, -0x2d0(%rbp)
movaps -0x240(%rbp), %xmm1
movaps -0x250(%rbp), %xmm0
movaps %xmm1, -0xd0(%rbp)
movaps %xmm0, -0xe0(%rbp)
movaps -0xd0(%rbp), %xmm0
movaps -0xe0(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0x2e0(%rbp)
movaps -0x260(%rbp), %xmm1
movaps -0x270(%rbp), %xmm0
movaps %xmm1, -0xf0(%rbp)
movaps %xmm0, -0x100(%rbp)
movaps -0xf0(%rbp), %xmm0
movaps -0x100(%rbp), %xmm1
unpckhps %xmm1, %xmm0            # xmm0 = xmm0[2],xmm1[2],xmm0[3],xmm1[3]
movaps %xmm0, -0x2c0(%rbp)
movaps -0x2f0(%rbp), %xmm1
movaps -0x2d0(%rbp), %xmm0
movaps %xmm1, -0x50(%rbp)
movaps %xmm0, -0x60(%rbp)
movapd -0x50(%rbp), %xmm0
movapd -0x60(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0x240(%rbp)
movaps -0x2d0(%rbp), %xmm1
movaps -0x2f0(%rbp), %xmm0
movaps %xmm1, -0x10(%rbp)
movaps %xmm0, -0x20(%rbp)
movapd -0x10(%rbp), %xmm1
movapd -0x20(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movapd %xmm0, -0x250(%rbp)
movaps -0x2e0(%rbp), %xmm1
movaps -0x2c0(%rbp), %xmm0
movaps %xmm1, -0x70(%rbp)
movaps %xmm0, -0x80(%rbp)
movapd -0x70(%rbp), %xmm0
movapd -0x80(%rbp), %xmm1
unpcklpd %xmm1, %xmm0            # xmm0 = xmm0[0],xmm1[0]
movapd %xmm0, -0x260(%rbp)
movaps -0x2c0(%rbp), %xmm1
movaps -0x2e0(%rbp), %xmm0
movaps %xmm1, -0x30(%rbp)
movaps %xmm0, -0x40(%rbp)
movapd -0x30(%rbp), %xmm1
movapd -0x40(%rbp), %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
movaps %xmm0, -0x270(%rbp)
movss -0x240(%rbp), %xmm0
cvtss2sd %xmm0, %xmm0
movss -0x23c(%rbp), %xmm1
cvtss2sd %xmm1, %xmm1
movss -0x238(%rbp), %xmm2
cvtss2sd %xmm2, %xmm2
movss -0x234(%rbp), %xmm3
cvtss2sd %xmm3, %xmm3
movss -0x250(%rbp), %xmm4
cvtss2sd %xmm4, %xmm4
movss -0x24c(%rbp), %xmm5
cvtss2sd %xmm5, %xmm5
movss -0x248(%rbp), %xmm6
cvtss2sd %xmm6, %xmm6
movss -0x244(%rbp), %xmm7
cvtss2sd %xmm7, %xmm7
movss -0x260(%rbp), %xmm8
cvtss2sd %xmm8, %xmm15
movss -0x25c(%rbp), %xmm8
cvtss2sd %xmm8, %xmm14
movss -0x258(%rbp), %xmm8
cvtss2sd %xmm8, %xmm13
movss -0x254(%rbp), %xmm8
cvtss2sd %xmm8, %xmm12
movss -0x270(%rbp), %xmm8
cvtss2sd %xmm8, %xmm11
movss -0x26c(%rbp), %xmm8
cvtss2sd %xmm8, %xmm10
movss -0x268(%rbp), %xmm8
cvtss2sd %xmm8, %xmm9
movss -0x264(%rbp), %xmm8
cvtss2sd %xmm8, %xmm8
leaq 0x16701(%rip), %rdi     # 0x1854d
movsd %xmm15, (%rsp)
movsd %xmm14, 0x8(%rsp)
movsd %xmm13, 0x10(%rsp)
movsd %xmm12, 0x18(%rsp)
movsd %xmm11, 0x20(%rsp)
movsd %xmm10, 0x28(%rsp)
movsd %xmm9, 0x30(%rsp)
movsd %xmm8, 0x38(%rsp)
movb $0x8, %al
callq 0x1080
movss -0x240(%rbp), %xmm0
xorps %xmm1, %xmm1
ucomiss %xmm1, %xmm0
jne 0x1ee3
jp 0x1ee3
movss -0x23c(%rbp), %xmm0
movss 0x16184(%rip), %xmm1    # 0x18030
ucomiss %xmm1, %xmm0
jne 0x1ee3
jp 0x1ee3
movss -0x238(%rbp), %xmm0
movss 0x16171(%rip), %xmm1    # 0x18034
ucomiss %xmm1, %xmm0
jne 0x1ee3
jp 0x1ee3
movss -0x234(%rbp), %xmm0
movss 0x1612a(%rip), %xmm1    # 0x18004
ucomiss %xmm1, %xmm0
jne 0x1ee3
jp 0x1ee3
jmp 0x1f02
leaq 0x166cc(%rip), %rdi     # 0x185b6
leaq 0x162ed(%rip), %rsi     # 0x181de
movl $0xf8, %edx
leaq 0x162e9(%rip), %rcx     # 0x181e6
callq 0x1090
movss -0x250(%rbp), %xmm0
movss 0x16142(%rip), %xmm1    # 0x18054
ucomiss %xmm1, %xmm0
jne 0x1f60
jp 0x1f60
movss -0x24c(%rbp), %xmm0
movss 0x1610f(%rip), %xmm1    # 0x18038
ucomiss %xmm1, %xmm0
jne 0x1f60
jp 0x1f60
movss -0x248(%rbp), %xmm0
movss 0x160fc(%rip), %xmm1    # 0x1803c
ucomiss %xmm1, %xmm0
jne 0x1f60
jp 0x1f60
movss -0x244(%rbp), %xmm0
movss 0x16101(%rip), %xmm1    # 0x18058
ucomiss %xmm1, %xmm0
jne 0x1f60
jp 0x1f60
jmp 0x1f7f
leaq 0x16695(%rip), %rdi     # 0x185fc
leaq 0x16270(%rip), %rsi     # 0x181de
movl $0xf8, %edx
leaq 0x1626c(%rip), %rcx     # 0x181e6
callq 0x1090
movss -0x260(%rbp), %xmm0
movss 0x160cd(%rip), %xmm1    # 0x1805c
ucomiss %xmm1, %xmm0
jne 0x1fdd
jp 0x1fdd
movss -0x25c(%rbp), %xmm0
movss 0x1609a(%rip), %xmm1    # 0x18040
ucomiss %xmm1, %xmm0
jne 0x1fdd
jp 0x1fdd
movss -0x258(%rbp), %xmm0
movss 0x16087(%rip), %xmm1    # 0x18044
ucomiss %xmm1, %xmm0
jne 0x1fdd
jp 0x1fdd
movss -0x254(%rbp), %xmm0
movss 0x16034(%rip), %xmm1    # 0x18008
ucomiss %xmm1, %xmm0
jne 0x1fdd
jp 0x1fdd
jmp 0x1ffc
leaq 0x1665e(%rip), %rdi     # 0x18642
leaq 0x161f3(%rip), %rsi     # 0x181de
movl $0xf8, %edx
leaq 0x161ef(%rip), %rcx     # 0x181e6
callq 0x1090
movss -0x270(%rbp), %xmm0
movss 0x16054(%rip), %xmm1    # 0x18060
ucomiss %xmm1, %xmm0
jne 0x205a
jp 0x205a
movss -0x26c(%rbp), %xmm0
movss 0x16025(%rip), %xmm1    # 0x18048
ucomiss %xmm1, %xmm0
jne 0x205a
jp 0x205a
movss -0x268(%rbp), %xmm0
movss 0x16012(%rip), %xmm1    # 0x1804c
ucomiss %xmm1, %xmm0
jne 0x205a
jp 0x205a
movss -0x264(%rbp), %xmm0
movss 0x15fff(%rip), %xmm1    # 0x18050
ucomiss %xmm1, %xmm0
jne 0x205a
jp 0x205a
jmp 0x2079
leaq 0x16628(%rip), %rdi     # 0x18689
leaq 0x16176(%rip), %rsi     # 0x181de
movl $0xf8, %edx
leaq 0x16172(%rip), %rcx     # 0x181e6
callq 0x1090
addq $0x330, %rsp            # imm = 0x330
popq %rbp
retq
nopw %cs:(%rax,%rax)