File akira_3298d203c2acb68c474e5fdad8379181890b4403d6491c523c13730129be3f75.elf
Function:
    001df1c0
    001df1c0__truncx:
    001df1c0push rbp
    001df1c1mov rbp, rsp
    001df1c4push r15
    001df1c6push r14
    001df1c8push r13
    001df1capush r12
    001df1ccpush rbx
    001df1cdsub rsp, 56
    001df1d1mov r14, 0x8000000000000000
    001df1dbmov ebx, [rbp+24]
    001df1demov rax, [rbp+16]
    001df1e2mov edx, ebx
    001df1e4mov rdi, 0x7fff000000000000
    001df1eeand dx, 32767
    001df1f3jne 0x1df206
    001df1f5xor r12l, r12l
    001df1f8mov ecx, 0
    001df1fdtest rax, rax
    001df200je 0x1df28e
    001df206
    001df206loc_1df206:
    001df206movzx ecx, dx
    001df209cmp ecx, 32767
    001df20fjne 0x1df224
    001df211mov r12, rax
    001df214shl r12, 49
    001df218shr rax, 15
    001df21cor rax, rdi
    001df21fmov rcx, rax
    001df222jmp 0x1df28e
    001df224
    001df224loc_1df224:
    001df224test rax, rax
    001df227js 0x1df235
    001df229je 0x1df250
    001df22bbsr r9, rax
    001df22fxor r9, 63
    001df233jmp 0x1df256
    001df235
    001df235loc_1df235:
    001df235lea rdx, [r14-1]
    001df239and rax, rdx
    001df23cmov r12, rax
    001df23fshl r12, 49
    001df243shr rax, 15
    001df247shl rcx, 48
    001df24bor rcx, rax
    001df24ejmp 0x1df28e
    001df250
    001df250loc_1df250:
    001df250mov r9l, 64
    001df256
    001df256loc_1df256:
    001df256mov ecx, r9l
    001df259add cl, 50
    001df25cxor esi, esi
    001df25eshld rsi, rax, cl
    001df262shl rax, cl
    001df265xor r8l, r8l
    001df268test cl, 64
    001df26bcmovne rsi, rax
    001df26fcmovne rax, r8
    001df273mov rdx, 0x1000000000000
    001df27dxor rdx, rsi
    001df280lea ecx, [r9+1]
    001df284shl rcx, 48
    001df288or rcx, rdx
    001df28bmov r12, rax
    001df28e
    001df28eloc_1df28e:
    001df28eand ebx, 32768
    001df294shl rbx, 48
    001df298or rbx, rcx
    001df29bmov [rbp-80], r12
    001df29fmov [rbp-72], rbx
    001df2a3mov rax, rbx
    001df2a6shr rax, 48
    001df2aamov ecx, eax
    001df2acand ecx, 32767
    001df2b2cmp ecx, 16494
    001df2b8ja 0x1df325
    001df2baadd al, 17
    001df2bcand al, 127
    001df2becmp ecx, 16383
    001df2c4movzx eax, al
    001df2c7mov ecx, 1
    001df2cccmovae ecx, eax
    001df2cfmov r13, -1
    001df2d6mov rax, -1
    001df2ddshr rax, cl
    001df2e0xor r15l, r15l
    001df2e3test cl, 64
    001df2e6cmovne r13, rax
    001df2eacmove r15, rax
    001df2eemov rax, r15
    001df2f1and rax, rbx
    001df2f4mov rcx, r13
    001df2f7and rcx, r12
    001df2faor rcx, rax
    001df2fdje 0x1df325
    001df2ffmovaps x0, [rbp-80]
    001df303movaps x1, [rip-0x14b19a]
    001df30acall __addtf3
    001df30fmov rdi, 0x7fff000000000000
    001df319not r15
    001df31cnot r13
    001df31fand r12, r13
    001df322and rbx, r15
    001df325
    001df325loc_1df325:
    001df325mov rsi, 0x7fffffffffffffff
    001df32fmov rdx, rbx
    001df332shld rdx, r12, 15
    001df337and rsi, rbx
    001df33amov rax, rdx
    001df33dor rax, r14
    001df340mov rcx, r12
    001df343neg rcx
    001df346sbb rdi, rsi
    001df349mov cx, 32767
    001df34djb 0x1df3c1
    001df34fshr rsi, 48
    001df353mov ecx, esi
    001df355mov rsi, 0x1ffffffffffff
    001df35fand r12, rsi
    001df362mov rsi, 0x1000000000001
    001df36ccmp r12, rsi
    001df36fjb 0x1df38b
    001df371mov rdx, rax
    001df374add rdx, 1
    001df378adc cx, 0
    001df37cxor edx, edx
    001df37eadd rax, 1
    001df382cmove rdx, r14
    001df386or rax, rdx
    001df389jmp 0x1df3b3
    001df38b
    001df38bloc_1df38b:
    001df38bmov rsi, 0x1000000000000
    001df395cmp r12, rsi
    001df398jne 0x1df3b3
    001df39aand edx, 1
    001df39dmov rsi, rax
    001df3a0add rsi, rdx
    001df3a3adc cx, 0
    001df3a7xor esi, esi
    001df3a9add rax, rdx
    001df3accmovb rsi, r14
    001df3b0or rax, rsi
    001df3b3
    001df3b3loc_1df3b3:
    001df3b3add r14, -1
    001df3b7and r14, rax
    001df3batest cx, cx
    001df3bdcmove rax, r14
    001df3c1
    001df3c1loc_1df3c1:
    001df3c1shr rbx, 48
    001df3c5and ebx, 32768
    001df3cbor ecx, ebx
    001df3cdmov [rbp-64], rax
    001df3d1mov [rbp-56], cx
    001df3d5fld [rbp-64]
    001df3d8add rsp, 56
    001df3dcpop rbx
    001df3ddpop r12
    001df3dfpop r13
    001df3e1pop r14
    001df3e3pop r15
    001df3e5pop rbp
    001df3e6ret
    001df1c0
    001df3e7
    001df3e7 // align 0x10
    001df3f0
    001df3f0truncl:
    001df3f0push rbp
    001df3f1mov rbp, rsp
    001df3f4pop rbp
    001df3f5jmp 0x1df1c0
    001df3f0
    001df3fa
    001df3fa // align 0x10
    001df400
    001df400memcpy:
    001df400push rbp
    001df401mov rbp, rsp
    001df404mov rax, rdi
    001df407test rdx, rdx
    001df40aje 0x1df564
    001df410movzx ecx, [rsi]
    001df413mov [rax], cl
    001df415add rdx, -1
    001df419je 0x1df564
    001df41fcmp rdx, 8
    001df423jae 0x1df433
    001df425mov r8, rdx
    001df428mov r9, rax
    001df42b
    001df42bloc_1df42b:
    001df42bmov r11, rsi
    001df42ejmp 0x1df548
    001df433
    001df433loc_1df433:
    001df433cmp rdx, 32
    001df437jae 0x1df440
    001df439xor ecx, ecx
    001df43bjmp 0x1df519
    001df440
    001df440loc_1df440:
    001df440mov rcx, rdx
    001df443and rcx, -32
    001df447lea rdi, [rcx-32]
    001df44bmov r9, rdi
    001df44eshr r9, 5
    001df452add r9, 1
    001df456mov r8l, r9l
    001df459and r8l, 3
    001df45dcmp rdi, 96
    001df461jae 0x1df467
    001df463xor edi, edi
    001df465jmp 0x1df4ca
    001df467
    001df467loc_1df467:
    001df467and r9, -4
    001df46bxor edi, edi
    001df46dnop [rax]
    001df470
    001df470loc_1df470:
    001df470movups x0, [rsi+rdi+1]
    001df475movups x1, [rsi+rdi+17]
    001df47amovups [rax+rdi+1], x0
    001df47fmovups [rax+rdi+17], x1
    001df484movups x0, [rsi+rdi+33]
    001df489movups x1, [rsi+rdi+49]
    001df48emovups [rax+rdi+33], x0
    001df493movups [rax+rdi+49], x1
    001df498movups x0, [rsi+rdi+65]
    001df49dmovups x1, [rsi+rdi+81]
    001df4a2movups [rax+rdi+65], x0
    001df4a7movups [rax+rdi+81], x1
    001df4acmovups x0, [rsi+rdi+97]
    001df4b1movups x1, [rsi+rdi+113]
    001df4b6movups [rax+rdi+97], x0
    001df4bbmovups [rax+rdi+113], x1
    001df4c0sub rdi, -128
    001df4c4add r9, -4
    001df4c8jne 0x1df470
    001df4ca
    001df4caloc_1df4ca:
    001df4catest r8, r8
    001df4cdje 0x1df50f
    001df4cflea r9, [rsi+rdi]
    001df4d3add r9, 17
    001df4d7lea r10, [rax+rdi]
    001df4dbadd r10, 17
    001df4dfshl r8, 5
    001df4e3xor edi, edi
    001df4e5nop [rax+rax]
    001df4efnop
    001df4f0
    001df4f0loc_1df4f0:
    001df4f0movups x0, [r9+rdi-16]
    001df4f6movups x1, [r9+rdi]
    001df4fbmovups [r10+rdi-16], x0
    001df501movups [r10+rdi], x1
    001df506add rdi, 32
    001df50acmp r8, rdi
    001df50djne 0x1df4f0
    001df50f
    001df50floc_1df50f:
    001df50fcmp rdx, rcx
    001df512je 0x1df564
    001df514test dl, 24
    001df517je 0x1df566
    001df519
    001df519loc_1df519:
    001df519mov r10, rdx
    001df51cand r10, -8
    001df520mov r8l, edx
    001df523and r8l, 7
    001df527lea r9, [rax+r10]
    001df52blea r11, [rsi+r10]
    001df52fnop
    001df530
    001df530loc_1df530:
    001df530mov rdi, [rsi+rcx+1]
    001df535mov [rax+rcx+1], rdi
    001df53aadd rcx, 8
    001df53ecmp r10, rcx
    001df541jne 0x1df530
    001df543cmp rdx, r10
    001df546je 0x1df564
    001df548
    001df548loc_1df548:
    001df548xor ecx, ecx
    001df54anop [rax+rax]
    001df550
    001df550loc_1df550:
    001df550movzx edx, [r11+rcx+1]
    001df556mov [r9+rcx+1], dl
    001df55badd rcx, 1
    001df55fcmp r8, rcx
    001df562jne 0x1df550
    001df564
    001df564loc_1df564:
    001df564pop rbp
    001df565ret
    001df566
    001df566loc_1df566:
    001df566add rsi, rcx
    001df569add rcx, rax
    001df56cand edx, 31
    001df56fmov r8, rdx
    001df572mov r9, rcx
    001df575jmp 0x1df42b
    001df400
    001df57a
    001df57a // align 0x10
    001df580
    001df580memset:
    001df580push rbp
    001df581mov rbp, rsp
    001df584mov rax, rdi
    001df587test rdx, rdx
    001df58aje 0x1df6cd
    001df590cmp rdx, 8
    001df594jae 0x1df5a1
    001df596mov r9, rdx
    001df599mov rdi, rax
    001df59cjmp 0x1df6b1
    001df5a1
    001df5a1loc_1df5a1:
    001df5a1movzx r8l, sil
    001df5a5cmp rdx, 32
    001df5a9jae 0x1df5b2
    001df5abxor ecx, ecx
    001df5adjmp 0x1df670
    001df5b2
    001df5b2loc_1df5b2:
    001df5b2mov rcx, rdx
    001df5b5and rcx, -32
    001df5b9movd x0, r8l
    001df5bepunpcklbw x0, x0
    001df5c2pshuflw x0, x0, 0
    001df5c7pshufd x0, x0, 0
    001df5cclea rdi, [rcx-32]
    001df5d0mov r10, rdi
    001df5d3shr r10, 5
    001df5d7add r10, 1
    001df5dbmov r9l, r10l
    001df5deand r9l, 3
    001df5e2cmp rdi, 96
    001df5e6jae 0x1df5ec
    001df5e8xor edi, edi
    001df5eajmp 0x1df639
    001df5ec
    001df5ecloc_1df5ec:
    001df5ecand r10, -4
    001df5f0xor edi, edi
    001df5f2nop [rax+rax]
    001df5fcnop [rax]
    001df600
    001df600loc_1df600:
    001df600movdqu [rax+rdi], x0
    001df605movdqu [rax+rdi+16], x0
    001df60bmovdqu [rax+rdi+32], x0
    001df611movdqu [rax+rdi+48], x0
    001df617movdqu [rax+rdi+64], x0
    001df61dmovdqu [rax+rdi+80], x0
    001df623movdqu [rax+rdi+96], x0
    001df629movdqu [rax+rdi+112], x0
    001df62fsub rdi, -128
    001df633add r10, -4
    001df637jne 0x1df600
    001df639
    001df639loc_1df639:
    001df639test r9, r9
    001df63cje 0x1df666
    001df63elea r10, [rdi+rax]
    001df642add r10, 16
    001df646shl r9, 5
    001df64axor edi, edi
    001df64cnop [rax]
    001df650
    001df650loc_1df650:
    001df650movdqu [r10+rdi-16], x0
    001df657movdqu [r10+rdi], x0
    001df65dadd rdi, 32
    001df661cmp r9, rdi
    001df664jne 0x1df650
    001df666
    001df666loc_1df666:
    001df666cmp rcx, rdx
    001df669je 0x1df6cd
    001df66btest dl, 24
    001df66eje 0x1df6a5
    001df670
    001df670loc_1df670:
    001df670mov r10, rdx
    001df673and r10, -8
    001df677mov r9l, edx
    001df67aand r9l, 7
    001df67elea rdi, [rax+r10]
    001df682movd x0, r8l
    001df687punpcklbw x0, x0
    001df68bpshuflw x0, x0, 0
    001df690
    001df690loc_1df690:
    001df690movq [rax+rcx], x0
    001df695add rcx, 8
    001df699cmp r10, rcx
    001df69cjne 0x1df690
    001df69ecmp r10, rdx
    001df6a1jne 0x1df6b1
    001df6a3jmp 0x1df6cd
    001df6a5
    001df6a5loc_1df6a5:
    001df6a5add rcx, rax
    001df6a8and edx, 31
    001df6abmov r9, rdx
    001df6aemov rdi, rcx
    001df6b1
    001df6b1loc_1df6b1:
    001df6b1xor ecx, ecx
    001df6b3nop [rax+rax]
    001df6bdnop [rax]
    001df6c0
    001df6c0loc_1df6c0:
    001df6c0mov [rdi+rcx], sil
    001df6c4add rcx, 1
    001df6c8cmp r9, rcx
    001df6cbjne 0x1df6c0
    001df6cd
    001df6cdloc_1df6cd:
    001df6cdpop rbp
    001df6ceret
    001df580
    001df6cf
    001df6cf // align 0x10
    001df6d0
    001df6d0memmove:
    001df6d0push rbp
    001df6d1mov rbp, rsp
    001df6d4push rbx
    001df6d5mov rax, rdi
    001df6d8sub rdi, rsi
    001df6dbjae 0x1df70d
    001df6ddtest rdx, rdx
    001df6e0je 0x1df92b
    001df6e6xor ecx, ecx
    001df6e8cmp rdx, 8
    001df6ecjb 0x1df8c6
    001df6f2cmp rdi, 32
    001df6f6jb 0x1df8c6
    001df6fccmp rdx, 32
    001df700jae 0x1df7b2
    001df706xor ecx, ecx
    001df708jmp 0x1df89d
    001df70d
    001df70dloc_1df70d:
    001df70dtest rdx, rdx
    001df710je 0x1df92b
    001df716cmp rdx, 4
    001df71ajb 0x1df730
    001df71clea rcx, [rsi+rdx]
    001df720sub rcx, rax
    001df723sub rcx, rdx
    001df726cmp rcx, 16
    001df72ajae 0x1df7d9
    001df730
    001df730loc_1df730:
    001df730mov r9, rdx
    001df733
    001df733loc_1df733:
    001df733lea rdx, [r9-1]
    001df737mov rdi, r9
    001df73aand rdi, 3
    001df73eje 0x1df763
    001df740
    001df740loc_1df740:
    001df740lea rcx, [r9-1]
    001df744movzx ebx, [rsi+r9-1]
    001df74amov [rax+r9-1], bl
    001df74fmov r9, rcx
    001df752add rdi, -1
    001df756jne 0x1df740
    001df758cmp rdx, 3
    001df75cjae 0x1df770
    001df75ejmp 0x1df92b
    001df763
    001df763loc_1df763:
    001df763mov rcx, r9
    001df766cmp rdx, 3
    001df76ajb 0x1df92b
    001df770
    001df770loc_1df770:
    001df770mov rdx, rcx
    001df773nop [rax+rax]
    001df77dnop [rax]
    001df780
    001df780loc_1df780:
    001df780movzx ebx, [rsi+rcx-1]
    001df785mov [rax+rcx-1], bl
    001df789movzx ebx, [rsi+rcx-2]
    001df78emov [rax+rcx-2], bl
    001df792movzx ebx, [rsi+rcx-3]
    001df797mov [rax+rcx-3], bl
    001df79bmovzx ebx, [rsi+rcx-4]
    001df7a0mov [rax+rcx-4], bl
    001df7a4add rdx, -4
    001df7a8mov rcx, rdx
    001df7abjne 0x1df780
    001df7adjmp 0x1df92b
    001df7b2
    001df7b2loc_1df7b2:
    001df7b2mov rcx, rdx
    001df7b5and rcx, -32
    001df7b9lea rdi, [rcx-32]
    001df7bdmov r9, rdi
    001df7c0shr r9, 5
    001df7c4add r9, 1
    001df7c8mov r8l, r9l
    001df7cband r8l, 3
    001df7cfcmp rdi, 96
    001df7d3jae 0x1df7ea
    001df7d5xor edi, edi
    001df7d7jmp 0x1df848
    001df7d9
    001df7d9loc_1df7d9:
    001df7d9cmp rdx, 16
    001df7ddjae 0x1df92e
    001df7e3xor ebx, ebx
    001df7e5jmp 0x1df9f4
    001df7ea
    001df7ealoc_1df7ea:
    001df7eaand r9, -4
    001df7eexor edi, edi
    001df7f0
    001df7f0loc_1df7f0:
    001df7f0movups x0, [rsi+rdi]
    001df7f4movups x1, [rsi+rdi+16]
    001df7f9movups [rax+rdi], x0
    001df7fdmovups [rax+rdi+16], x1
    001df802movups x0, [rsi+rdi+32]
    001df807movups x1, [rsi+rdi+48]
    001df80cmovups [rax+rdi+32], x0
    001df811movups [rax+rdi+48], x1
    001df816movups x0, [rsi+rdi+64]
    001df81bmovups x1, [rsi+rdi+80]
    001df820movups [rax+rdi+64], x0
    001df825movups [rax+rdi+80], x1
    001df82amovups x0, [rsi+rdi+96]
    001df82fmovups x1, [rsi+rdi+112]
    001df834movups [rax+rdi+96], x0
    001df839movups [rax+rdi+112], x1
    001df83esub rdi, -128
    001df842add r9, -4
    001df846jne 0x1df7f0
    001df848
    001df848loc_1df848:
    001df848test r8, r8
    001df84bje 0x1df88f
    001df84dlea r9, [rsi+rdi]
    001df851add r9, 16
    001df855lea r10, [rax+rdi]
    001df859add r10, 16
    001df85dshl r8, 5
    001df861xor edi, edi
    001df863nop [rax+rax]
    001df86dnop [rax]
    001df870
    001df870loc_1df870:
    001df870movups x0, [r9+rdi-16]
    001df876movups x1, [r9+rdi]
    001df87bmovups [r10+rdi-16], x0
    001df881movups [r10+rdi], x1
    001df886add rdi, 32
    001df88acmp r8, rdi
    001df88djne 0x1df870
    001df88f
    001df88floc_1df88f:
    001df88fcmp rcx, rdx
    001df892je 0x1df92b
    001df898test dl, 24
    001df89bje 0x1df8c6
    001df89d
    001df89dloc_1df89d:
    001df89dmov rdi, rcx
    001df8a0mov rcx, rdx
    001df8a3and rcx, -8
    001df8a7nop [rax+rax]
    001df8b0
    001df8b0loc_1df8b0:
    001df8b0mov rbx, [rsi+rdi]
    001df8b4mov [rax+rdi], rbx
    001df8b8add rdi, 8
    001df8bccmp rcx, rdi
    001df8bfjne 0x1df8b0
    001df8c1cmp rcx, rdx
    001df8c4je 0x1df92b
    001df8c6
    001df8c6loc_1df8c6:
    001df8c6mov r8, rcx
    001df8c9not r8
    001df8ccadd r8, rdx
    001df8cfmov rdi, rdx
    001df8d2and rdi, 3
    001df8d6je 0x1df8f1
    001df8d8nop [rax+rax]
    001df8e0
    001df8e0loc_1df8e0:
    001df8e0movzx ebx, [rsi+rcx]
    001df8e4mov [rax+rcx], bl
    001df8e7add rcx, 1
    001df8ebadd rdi, -1
    001df8efjne 0x1df8e0
    001df8f1
    001df8f1loc_1df8f1:
    001df8f1cmp r8, 3
    001df8f5jb 0x1df92b
    001df8f7nop [rax+rax]
    001df900
    001df900loc_1df900:
    001df900movzx ebx, [rsi+rcx]
    001df904mov [rax+rcx], bl
    001df907movzx ebx, [rsi+rcx+1]
    001df90cmov [rax+rcx+1], bl
    001df910movzx ebx, [rsi+rcx+2]
    001df915mov [rax+rcx+2], bl
    001df919movzx ebx, [rsi+rcx+3]
    001df91emov [rax+rcx+3], bl
    001df922add rcx, 4
    001df926cmp rdx, rcx
    001df929jne 0x1df900
    001df92b
    001df92bloc_1df92b:
    001df92bpop rbx
    001df92cpop rbp
    001df92dret
    001df92e
    001df92eloc_1df92e:
    001df92emov rbx, rdx
    001df931and rbx, -16
    001df935lea rdi, [rbx-16]
    001df939mov r9, rdi
    001df93cshr r9, 4
    001df940add r9, 1
    001df944mov r8l, r9l
    001df947and r8l, 3
    001df94bcmp rdi, 48
    001df94fjae 0x1df955
    001df951xor edi, edi
    001df953jmp 0x1df9ab
    001df955
    001df955loc_1df955:
    001df955and r9, -4
    001df959lea r10, [rax+rdx]
    001df95dadd r10, -16
    001df961lea r11, [rsi+rdx]
    001df965add r11, -16
    001df969xor edi, edi
    001df96bnop [rax+rax]
    001df970
    001df970loc_1df970:
    001df970movups x0, [r11+rdi]
    001df975movups [r10+rdi], x0
    001df97amovups x0, [r11+rdi-16]
    001df980movups [r10+rdi-16], x0
    001df986movups x0, [r11+rdi-32]
    001df98cmovups [r10+rdi-32], x0
    001df992movups x0, [r11+rdi-48]
    001df998movups [r10+rdi-48], x0
    001df99eadd rdi, -64
    001df9a2add r9, -4
    001df9a6jne 0x1df970
    001df9a8neg rdi
    001df9ab
    001df9abloc_1df9ab:
    001df9abtest r8, r8
    001df9aeje 0x1df9e6
    001df9b0mov r10, rdx
    001df9b3sub r10, rdi
    001df9b6lea r9, [rax+r10]
    001df9baadd r9, -16
    001df9beadd r10, rsi
    001df9c1add r10, -16
    001df9c5shl r8, 4
    001df9c9xor edi, edi
    001df9cbnop [rax+rax]
    001df9d0
    001df9d0loc_1df9d0:
    001df9d0movups x0, [r10+rdi]
    001df9d5movups [r9+rdi], x0
    001df9daadd rdi, -16
    001df9demov rcx, r8
    001df9e1add rcx, rdi
    001df9e4jne 0x1df9d0
    001df9e6
    001df9e6loc_1df9e6:
    001df9e6cmp rbx, rdx
    001df9e9je 0x1df92b
    001df9eftest dl, 12
    001df9f2je 0x1dfa3f
    001df9f4
    001df9f4loc_1df9f4:
    001df9f4mov r8, rdx
    001df9f7and r8, -4
    001df9fbmov r9l, edx
    001df9feand r9l, 3
    001dfa02lea r10, [rax+rdx]
    001dfa06add r10, -4
    001dfa0aneg rbx
    001dfa0dlea r11, [rsi+rdx]
    001dfa11add r11, -4
    001dfa15mov rdi, r8
    001dfa18neg rdi
    001dfa1bnop [rax+rax]
    001dfa20
    001dfa20loc_1dfa20:
    001dfa20mov ecx, [r11+rbx]
    001dfa24mov [r10+rbx], ecx
    001dfa28add rbx, -4
    001dfa2ccmp rdi, rbx
    001dfa2fjne 0x1dfa20
    001dfa31cmp r8, rdx
    001dfa34jne 0x1df733
    001dfa3ajmp 0x1df92b
    001dfa3f
    001dfa3floc_1dfa3f:
    001dfa3fand edx, 15
    001dfa42jmp 0x1df730
    001df6d0
    001dfa47
    001dfa47 // align 0x10
    001dfa50
    001dfa50memcmp:
    001dfa50push rbp
    001dfa51mov rbp, rsp
    001dfa54test rdx, rdx
    001dfa57je 0x1dfa77
    001dfa59xor r8l, r8l
    001dfa5cnop [rax]
    001dfa60
    001dfa60loc_1dfa60:
    001dfa60movzx eax, [rdi+r8]
    001dfa65movzx ecx, [rsi+r8]
    001dfa6asub eax, ecx
    001dfa6cjne 0x1dfa79
    001dfa6eadd r8, 1
    001dfa72cmp rdx, r8
    001dfa75jne 0x1dfa60
    001dfa77
    001dfa77loc_1dfa77:
    001dfa77xor eax, eax
    001dfa79
    001dfa79loc_1dfa79:
    001dfa79pop rbp
    001dfa7aret
    001dfa50
    001dfa7b
    001dfa7b // align 0x10
    001dfa80
    001dfa80bcmp:
    001dfa80push rbp
    001dfa81mov rbp, rsp
    001dfa84test rdx, rdx
    001dfa87je 0x1dfaa2
    001dfa89xor eax, eax
    001dfa8bnop [rax+rax]
    001dfa90
    001dfa90loc_1dfa90:
    001dfa90movzx ecx, [rdi+rax]
    001dfa94cmp cl, [rsi+rax]
    001dfa97jne 0x1dfaa6
    001dfa99add rax, 1
    001dfa9dcmp rdx, rax
    001dfaa0jne 0x1dfa90
    001dfaa2
    001dfaa2loc_1dfaa2:
    001dfaa2xor eax, eax
    001dfaa4pop rbp
    001dfaa5ret
    001dfaa6
    001dfaa6loc_1dfaa6:
    001dfaa6mov eax, 1
    001dfaabpop rbp
    001dfaacret
    001dfa80
    001dfaad
    001dfaad // align 0x10
    001dfab0
    001dfab0compiler_rt.rem_pio2_large.rem_pio2_large:
    001dfab0push rbp
    001dfab1mov rbp, rsp
    001dfab4push r15
    001dfab6push r14
    001dfab8push r13
    001dfabapush r12
    001dfabcpush rbx
    001dfabdsub rsp, 2680
    001dfac4mov [rbp-96], rdi
    001dfac8lea rax, [rip-0x14b90f]
    001dfacfmov [rbp-288], r8
    001dfad6mov r12l, [rax+4*r8]
    001dfadalea eax, [rdx-3]
    001dfaddcdqe
    001dfadfimul r14, rax, 0x2aaaaaab
    001dfae6mov rbx, r14
    001dfae9shr rbx, 63
    001dfaedsar r14, 34
    001dfaf1imul eax, eax, 0xffffffffaaaaaaab
    001dfaf7add eax, 0x2aaaaaa8
    001dfafcror eax, 3
    001dfaffadd r14l, ebx
    001dfb02cmp eax, 0xaaaaaab
    001dfb07setae al
    001dfb0acmp edx, 3
    001dfb0dsetl bl
    001dfb10and bl, al
    001dfb12movzx eax, bl
    001dfb15sub r14l, eax
    001dfb18xor edi, edi
    001dfb1atest r14l, r14l
    001dfb1dcmovle r14l, edi
    001dfb21lea ebx, [rcx-1]
    001dfb24lea eax, [8*r14]
    001dfb2clea r10l, [rax+2*rax]
    001dfb30mov r11l, r10l
    001dfb33neg r11l
    001dfb36mov r8l, edx
    001dfb39mov eax, r12l
    001dfb3cmov [rbp-112], rbx
    001dfb40add eax, ebx
    001dfb42mov [rbp-72], rcx
    001dfb46mov [rbp-88], r14
    001dfb4ajs 0x1dfc30
    001dfb50mov [rbp-232], rdx
    001dfb57mov eax, r14l
    001dfb5asub eax, [rbp-112]
    001dfb5dlea r9l, [r12+rcx]
    001dfb61cmp r9l, 1
    001dfb65jne 0x1dfb80
    001dfb67xor r13l, r13l
    001dfb6atest r9b, 1
    001dfb6emov rdx, [rbp-232]
    001dfb75jne 0x1dfc0b
    001dfb7bjmp 0x1dfc30
    001dfb80
    001dfb80loc_1dfb80:
    001dfb80lea rdx, [rbp-1432]
    001dfb87mov ebx, r14l
    001dfb8asub ebx, ecx
    001dfb8cadd ebx, 2
    001dfb8fmov r15l, r9l
    001dfb92and r15l, -2
    001dfb96neg r15
    001dfb99xor r13l, r13l
    001dfb9clea r14, [rip-0x14a94b]
    001dfba3jmp 0x1dfbc7
    001dfba5
    001dfba5 66 2e 0f 1f 84 00 00 00 00 00 90 f..........
    001dfbb0
    001dfbb0loc_1dfbb0:
    001dfbb0movsd_xmm [rdx], x0
    001dfbb4add eax, 2
    001dfbb7add rdx, 16
    001dfbbbadd r13, -2
    001dfbbfadd ebx, 2
    001dfbc2cmp r15, r13
    001dfbc5je 0x1dfbf5
    001dfbc7
    001dfbc7loc_1dfbc7:
    001dfbc7xorpd x0, x0
    001dfbcbxorpd x1, x1
    001dfbcftest eax, eax
    001dfbd1js 0x1dfbde
    001dfbd3mov ecx, eax
    001dfbd5xorps x1, x1
    001dfbd8cvtsi2sd x1, [r14+4*rcx]
    001dfbde
    001dfbdeloc_1dfbde:
    001dfbdemovsd_xmm [rdx-8], x1
    001dfbe3cmp eax, -1
    001dfbe6jl 0x1dfbb0
    001dfbe8mov ecx, ebx
    001dfbeaxorps x0, x0
    001dfbedcvtsi2sd x0, [r14+4*rcx]
    001dfbf3jmp 0x1dfbb0
    001dfbf5
    001dfbf5loc_1dfbf5:
    001dfbf5neg r13
    001dfbf8mov rcx, [rbp-72]
    001dfbfcxor edi, edi
    001dfbfetest r9b, 1
    001dfc02mov rdx, [rbp-232]
    001dfc09je 0x1dfc30
    001dfc0b
    001dfc0bloc_1dfc0b:
    001dfc0btest eax, eax
    001dfc0djs 0x1dfc22
    001dfc0fmov eax, eax
    001dfc11lea rbx, [rip-0x14a9c0]
    001dfc18xorps x0, x0
    001dfc1bcvtsi2sd x0, [rbx+4*rax]
    001dfc20jmp 0x1dfc26
    001dfc22
    001dfc22loc_1dfc22:
    001dfc22xorpd x0, x0
    001dfc26
    001dfc26loc_1dfc26:
    001dfc26movsd_xmm [rbp+8*r13-1440], x0
    001dfc30
    001dfc30loc_1dfc30:
    001dfc30mov [rbp-264], rsi
    001dfc37sub edx, r10l
    001dfc3amov [rbp-232], rdx
    001dfc41lea eax, [r8+r11]
    001dfc45add eax, -24
    001dfc48mov [rbp-272], rax
    001dfc4ftest r12l, r12l
    001dfc52mov [rbp-104], r12
    001dfc56cmovg edi, r12l
    001dfc5amov eax, ecx
    001dfc5ctest ecx, ecx
    001dfc5emov [rbp-120], rax
    001dfc62jle 0x1dfdc7
    001dfc68add edi, 1
    001dfc6band eax, -2
    001dfc6emov [rbp-144], rax
    001dfc75lea eax, [rcx-2]
    001dfc78xor ebx, ebx
    001dfc7alea r14, [rbp-1440]
    001dfc81mov [rbp-80], rdi
    001dfc85mov r15, [rbp-96]
    001dfc89jmp 0x1dfcb3
    001dfc8b
    001dfc8b 0f 1f 44 00 00 ..D..
    001dfc90
    001dfc90loc_1dfc90:
    001dfc90movsd_xmm [rbp+8*rbx-1120], x0
    001dfc99add rbx, 1
    001dfc9dmov eax, [rbp-136]
    001dfca3add eax, 1
    001dfca6mov rdi, [rbp-80]
    001dfcaacmp rbx, rdi
    001dfcadje 0x1dfddf
    001dfcb3
    001dfcb3loc_1dfcb3:
    001dfcb3mov [rbp-128], rbx
    001dfcb7cmp [rbp-72], 1
    001dfcbbmov [rbp-136], eax
    001dfcc1xorpd x0, x0
    001dfcc5jne 0x1dfcd0
    001dfcc7xor r13l, r13l
    001dfccajmp 0x1dfd67
    001dfccf
    001dfccf 90 .
    001dfcd0
    001dfcd0loc_1dfcd0:
    001dfcd0mov r12l, eax
    001dfcd3xor r13l, r13l
    001dfcd6lea rbx, [rbp-1600]
    001dfcddnop [rax]
    001dfce0
    001dfce0loc_1dfce0:
    001dfce0movsd_xmm [rbp-64], x0
    001dfce5movsd_xmm x1, [r15+8*r13]
    001dfcebmovsd_xmm [rbp-48], x1
    001dfcf0mov edx, 160
    001dfcf5mov rdi, rbx
    001dfcf8mov rsi, r14
    001dfcfbcall memcpy
    001dfd00lea eax, [r12+1]
    001dfd05cdqe
    001dfd07movsd_xmm x0, [rbp-48]
    001dfd0cmulsd x0, [rbp+8*rax-1600]
    001dfd15addsd x0, [rbp-64]
    001dfd1amovsd_xmm [rbp-48], x0
    001dfd1fmovsd_xmm x0, [r15+8*r13+8]
    001dfd26movsd_xmm [rbp-64], x0
    001dfd2bmov edx, 160
    001dfd30mov rdi, rbx
    001dfd33mov rsi, r14
    001dfd36call memcpy
    001dfd3bmovsd_xmm x0, [rbp-64]
    001dfd40movsxd r12, r12l
    001dfd43mulsd x0, [rbp+8*r12-1600]
    001dfd4daddsd x0, [rbp-48]
    001dfd52add r13, 2
    001dfd56add r12l, -2
    001dfd5acmp [rbp-144], r13
    001dfd61jne 0x1dfce0
    001dfd67
    001dfd67loc_1dfd67:
    001dfd67test [rbp-120], 1
    001dfd6bmov rbx, [rbp-128]
    001dfd6fje 0x1dfc90
    001dfd75mov rax, [rbp-112]
    001dfd79lea r12l, [rax+rbx]
    001dfd7dmov rax, [rbp-96]
    001dfd81movsd_xmm x1, [rax+8*r13]
    001dfd87movsd_xmm [rbp-48], x1
    001dfd8cmov edx, 160
    001dfd91lea rdi, [rbp-1600]
    001dfd98mov rsi, r14
    001dfd9bmovsd_xmm [rbp-64], x0
    001dfda0call memcpy
    001dfda5movsd_xmm x0, [rbp-64]
    001dfdaasub r12l, r13l
    001dfdadmovsxd rax, r12l
    001dfdb0movsd_xmm x1, [rbp-48]
    001dfdb5mulsd x1, [rbp+8*rax-1600]
    001dfdbeaddsd x0, x1
    001dfdc2jmp 0x1dfc90
    001dfdc7
    001dfdc7loc_1dfdc7:
    001dfdc7mov eax, edi
    001dfdc9lea rdx, [8*rax+8]
    001dfdd1lea rdi, [rbp-1120]
    001dfdd8xor esi, esi
    001dfddacall memset
    001dfddf
    001dfddfloc_1dfddf:
    001dfddfmov r8, 0x3ff0000000000000
    001dfde9mov rsi, 0x10000000000000
    001dfdf3mov r15, [rbp-272]
    001dfdfacmp r15l, 1
    001dfdfesete r9b
    001dfe02mov edi, 24
    001dfe07mov r11, [rbp-232]
    001dfe0esub edi, r11l
    001dfe11mov ecx, -998
    001dfe16sub ecx, r11l
    001dfe19cmp edi, ecx
    001dfe1bcmovl ecx, edi
    001dfe1eadd cl, -1
    001dfe21mov eax, ecx
    001dfe23and al, 63
    001dfe25xor edx, edx
    001dfe27cmp al, 52
    001dfe29sete r10b
    001dfe2dshr rsi, cl
    001dfe30cmp r15l, 1024
    001dfe37jae 0x1dfe4a
    001dfe39mov rcx, r15
    001dfe3cshl rcx, 52
    001dfe40add rcx, r8
    001dfe43movq x0, rcx
    001dfe48jmp 0x1dfe52
    001dfe4a
    001dfe4aloc_1dfe4a:
    001dfe4amovq x0, [rip-0x14c4ba]
    001dfe52
    001dfe52loc_1dfe52:
    001dfe52mov rbx, [rbp-104]
    001dfe56mov rax, [rbp-88]
    001dfe5axorpd x1, x1
    001dfe5emovsd_xmm [rbp-240], x1
    001dfe66cmp r15l, -1075
    001dfe6djb 0x1dfe86
    001dfe6fmov dl, r10b
    001dfe72add rsi, 1
    001dfe76shr rsi, 1
    001dfe79not rdx
    001dfe7cand rdx, rsi
    001dfe7fmov [rbp-240], rdx
    001dfe86
    001dfe86loc_1dfe86:
    001dfe86mov r10, 0xfff0000000000000
    001dfe90mov esi, 16
    001dfe95mov edx, 15
    001dfe9acmp r15l, -1022
    001dfea1jb 0x1dfeb4
    001dfea3mov rcx, rdi
    001dfea6imul rcx, r10
    001dfeaaadd rcx, r8
    001dfeadmov [rbp-240], rcx
    001dfeb4
    001dfeb4loc_1dfeb4:
    001dfeb4mov [rbp-280], rdi
    001dfebbsub esi, r11l
    001dfebesub edx, r11l
    001dfec1mov eax, eax
    001dfec3mov [rbp-136], rax
    001dfecamovsxd rcx, ebx
    001dfecdtest r15l, r15l
    001dfed0js 0x1dfeda
    001dfed2movq [rbp-240], x0
    001dfeda
    001dfedaloc_1dfeda:
    001dfedaand esi, 31
    001dfeddmov [rbp-252], esi
    001dfee3and edx, 31
    001dfee6mov [rbp-248], edx
    001dfeecmov rax, rcx
    001dfeefnot rax
    001dfef2mov [rbp-296], rax
    001dfef9xor eax, eax
    001dfefbmov al, r9b
    001dfefeshl eax, 22
    001dff01or eax, 0x3fffff
    001dff06mov [rbp-244], eax
    001dff0cmov [rbp-304], rcx
    001dff13lea rax, [4*rcx-884]
    001dff1badd rax, rbp
    001dff1emov [rbp-312], rax
    001dff25mov rax, [rbp-96]
    001dff29add rax, 8
    001dff2dmov [rbp-320], rax
    001dff34mov rax, [rbp-120]
    001dff38and eax, -2
    001dff3bneg rax
    001dff3emov [rbp-144], rax
    001dff45lea rsi, [rbp-1120]
    001dff4clea r14, [rbp-2400]
    001dff53mov r12l, ebx
    001dff56jmp 0x1dff75
    001dff58
    001dff58 0f 1f 84 00 00 00 00 00 ........
    001dff60
    001dff60loc_1dff60:
    001dff60mov r12l, [rbp-256]
    001dff67lea rsi, [rbp-1120]
    001dff6elea r14, [rbp-2400]
    001dff75
    001dff75loc_1dff75:
    001dff75mov edx, 160
    001dff7alea rdi, [rbp-2720]
    001dff81call memcpy
    001dff86movsxd rax, r12l
    001dff89movsd_xmm x2, [rbp+8*rax-2720]
    001dff92test eax, eax
    001dff94mov [rbp-80], rax
    001dff98jle 0x1e0020
    001dff9emov r15l, r12l
    001dffa1add r15, -1
    001dffa5lea rbx, [rbp-224]
    001dffacmov r13, r14
    001dffaflea r14, [rbp-1120]
    001dffb6nop [rax+rax]
    001dffc0
    001dffc0loc_1dffc0:
    001dffc0movapd x1, x2
    001dffc4mulsd x1, [rip-0x14c62c]
    001dffcccvttpd2dq x1, x1
    001dffd0cvtdq2pd x1, x1
    001dffd4movapd [rbp-64], x1
    001dffd9mulsd x1, [rip-0x14c639]
    001dffe1addsd x1, x2
    001dffe5cvttsd2si eax, x1
    001dffe9mov [rbx], eax
    001dffebmov edx, 160
    001dfff0mov rdi, r13
    001dfff3mov rsi, r14
    001dfff6call memcpy
    001dfffbmovapd x0, [rbp-64]
    001e0000mov eax, r15l
    001e0003addsd x0, [rbp+8*rax-2400]
    001e000cadd rbx, 4
    001e0010movapd x2, x0
    001e0014add r15, -1
    001e0018jb 0x1dffc0
    001e001ajmp 0x1e0024
    001e001c
    001e001c 0f 1f 40 00 ..@.
    001e0020
    001e0020loc_1e0020:
    001e0020movapd x0, x2
    001e0024
    001e0024loc_1e0024:
    001e0024mov rbx, [rbp-272]
    001e002bmov edi, ebx
    001e002dcall math.ldexp.ldexp__anon_3550
    001e0032movsd_xmm [rbp-64], x0
    001e0037mulsd x0, [rip-0x14c68f]
    001e003fcall floor
    001e0044mulsd x0, [rip-0x14c694]
    001e004caddsd x0, [rbp-64]
    001e0051cvttsd2si r15l, x0
    001e0056cvttpd2dq x1, x0
    001e005acvtdq2pd x1, x1
    001e005esubsd x0, x1
    001e0062test ebx, ebx
    001e0064jle 0x1e01f0
    001e006amovups x1, [rbp-160]
    001e0071movaps [rbp-496], x1
    001e0078movups x1, [rbp-224]
    001e007fmovups x2, [rbp-208]
    001e0086movups x3, [rbp-192]
    001e008dmovups x4, [rbp-176]
    001e0094movaps [rbp-512], x4
    001e009bmovaps [rbp-528], x3
    001e00a2movaps [rbp-544], x2
    001e00a9movaps [rbp-560], x1
    001e00b0movsxd rax, r12l
    001e00b3mov edx, [rbp+4*rax-564]
    001e00bamov ecx, [rbp-252]
    001e00c0sar edx, cl
    001e00c2add r15l, edx
    001e00c5shl edx, cl
    001e00c7sub [rbp+4*rax-228], edx
    001e00cemovups x1, [rbp-224]
    001e00d5movupd x2, [rbp-208]
    001e00ddmovups x3, [rbp-192]
    001e00e4movups x4, [rbp-176]
    001e00ebmovaps [rbp-640], x1
    001e00f2movapd [rbp-624], x2
    001e00famovaps [rbp-608], x3
    001e0101movaps [rbp-592], x4
    001e0108movupd x1, [rbp-160]
    001e0110movapd [rbp-576], x1
    001e0118lea rax, [4*rax-644]
    001e0120add rax, rbp
    001e0123mov ecx, [rbp-248]
    001e0129
    001e0129loc_1e0129:
    001e0129movsd_xmm x7, [rip-0x14c791]
    001e0131mov r13l, [rax]
    001e0134sar r13l, cl
    001e0137test r13l, r13l
    001e013ajle 0x1e026a
    001e0140
    001e0140loc_1e0140:
    001e0140test r12l, r12l
    001e0143jle 0x1e0220
    001e0149mov eax, r12l
    001e014cxor edx, edx
    001e014exor ecx, ecx
    001e0150jmp 0x1e017b
    001e0152
    001e0152 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 40 00 f...........@.
    001e0160
    001e0160loc_1e0160:
    001e0160sub edi, esi
    001e0162mov [rbp+4*rdx-224], edi
    001e0169mov ecx, 1
    001e016eadd rdx, 1
    001e0172cmp rax, rdx
    001e0175je 0x1e0222
    001e017b
    001e017bloc_1e017b:
    001e017bmovups x1, [rbp-160]
    001e0182movaps [rbp-736], x1
    001e0189movupd x1, [rbp-224]
    001e0191movupd x2, [rbp-208]
    001e0199movups x3, [rbp-192]
    001e01a0movups x4, [rbp-176]
    001e01a7movaps [rbp-752], x4
    001e01aemovaps [rbp-768], x3
    001e01b5movapd [rbp-784], x2
    001e01bdmovapd [rbp-800], x1
    001e01c5mov esi, [rbp+4*rdx-800]
    001e01ccmov edi, 0xffffff
    001e01d1test ecx, ecx
    001e01d3jne 0x1e0160
    001e01d5mov edi, 0x1000000
    001e01datest esi, esi
    001e01dcjne 0x1e0160
    001e01dexor ecx, ecx
    001e01e0add rdx, 1
    001e01e4cmp rax, rdx
    001e01e7jne 0x1e017b
    001e01e9jmp 0x1e0222
    001e01eb
    001e01eb 0f 1f 44 00 00 ..D..
    001e01f0
    001e01f0loc_1e01f0:
    001e01f0je 0x1e05b3
    001e01f6mov r13l, 2
    001e01fcucomisd x0, [rip-0x14c844]
    001e0204movsd_xmm x7, [rip-0x14c86c]
    001e020cjae 0x1e0140
    001e0212xor r13l, r13l
    001e0215jmp 0x1e026a
    001e0217
    001e0217 66 0f 1f 84 00 00 00 00 00 f........
    001e0220
    001e0220loc_1e0220:
    001e0220xor ecx, ecx
    001e0222
    001e0222loc_1e0222:
    001e0222test ebx, ebx
    001e0224jle 0x1e0236
    001e0226movsxd rax, r12l
    001e0229mov edx, [rbp-244]
    001e022fand [rbp+4*rax-228], edx
    001e0236
    001e0236loc_1e0236:
    001e0236add r15l, 1
    001e023acmp r13l, 2
    001e023ejne 0x1e026a
    001e0240xorpd x1, x1
    001e0244test ecx, ecx
    001e0246je 0x1e0250
    001e0248movsd_xmm x1, [rbp-240]
    001e0250
    001e0250loc_1e0250:
    001e0250movsd_xmm x2, [rip-0x14c890]
    001e0258subsd x2, x0
    001e025csubsd x2, x1
    001e0260mov r13l, 2
    001e0266movapd x0, x2
    001e026a
    001e026aloc_1e026a:
    001e026aucomisd x0, [rip-0x14c89a]
    001e0272jne 0x1e0615
    001e0278jp 0x1e0615
    001e027ecmp r12l, [rbp-104]
    001e0282mov r14, [rbp-72]
    001e0286jle 0x1e03ae
    001e028cmov rdi, [rbp-80]
    001e0290mov rdx, rdi
    001e0293sub rdx, [rbp-304]
    001e029axor eax, eax
    001e029cmov rsi, [rbp-296]
    001e02a3mov rcx, rdi
    001e02a6add rsi, rdi
    001e02a9je 0x1e034e
    001e02afmov rsi, rdx
    001e02b2and rsi, -2
    001e02b6xor eax, eax
    001e02b8mov rcx, [rbp-80]
    001e02bcnop [rax]
    001e02c0
    001e02c0loc_1e02c0:
    001e02c0movupd x0, [rbp-160]
    001e02c8movapd [rbp-336], x0
    001e02d0movupd x1, [rbp-224]
    001e02d8movupd x2, [rbp-208]
    001e02e0movups x3, [rbp-192]
    001e02e7movups x4, [rbp-176]
    001e02eemovaps [rbp-352], x4
    001e02f5movaps [rbp-368], x3
    001e02fcmovapd [rbp-384], x2
    001e0304movapd [rbp-400], x1
    001e030cor eax, [rbp+4*rcx-404]
    001e0313movapd [rbp-336], x0
    001e031bmovaps [rbp-352], x4
    001e0322movaps [rbp-368], x3
    001e0329movapd [rbp-384], x2
    001e0331movapd [rbp-400], x1
    001e0339or eax, [rbp+4*rcx-408]
    001e0340add rcx, -2
    001e0344add rsi, -2
    001e0348jne 0x1e02c0
    001e034e
    001e034eloc_1e034e:
    001e034etest dl, 1
    001e0351je 0x1e03a6
    001e0353movups x0, [rbp-160]
    001e035amovaps [rbp-336], x0
    001e0361movupd x0, [rbp-224]
    001e0369movupd x1, [rbp-208]
    001e0371movupd x2, [rbp-192]
    001e0379movups x3, [rbp-176]
    001e0380movaps [rbp-352], x3
    001e0387movapd [rbp-368], x2
    001e038fmovapd [rbp-384], x1
    001e0397movapd [rbp-400], x0
    001e039for eax, [rbp+4*rcx-404]
    001e03a6
    001e03a6loc_1e03a6:
    001e03a6test eax, eax
    001e03a8jne 0x1e068d
    001e03ae
    001e03aeloc_1e03ae:
    001e03aemov rax, [rbp-312]
    001e03b5mov ecx, r12l
    001e03b8nop [rax+rax]
    001e03c0
    001e03c0loc_1e03c0:
    001e03c0movups x0, [rbp-160]
    001e03c7movaps [rbp-816], x0
    001e03cemovdqu x0, [rbp-224]
    001e03d6movupd x1, [rbp-208]
    001e03demovupd x2, [rbp-192]
    001e03e6movups x3, [rbp-176]
    001e03edmovaps [rbp-832], x3
    001e03f4movapd [rbp-848], x2
    001e03fcmovapd [rbp-864], x1
    001e0404movdqa [rbp-880], x0
    001e040cadd ecx, 1
    001e040fcmp [rax], 0
    001e0412lea rax, [rax-4]
    001e0416je 0x1e03c0
    001e0418mov [rbp-256], ecx
    001e041emovsxd r13, ecx
    001e0421add r12l, r14l
    001e0424mov r15, [rbp-80]
    001e0428mov [rbp-88], r13
    001e042cjmp 0x1e044b
    001e042e
    001e042e 66 90 f.
    001e0430
    001e0430loc_1e0430:
    001e0430xorpd x0, x0
    001e0434
    001e0434loc_1e0434:
    001e0434movsd_xmm [rbp+8*r15-1120], x0
    001e043eadd r12l, 1
    001e0442cmp r15, r13
    001e0445jge 0x1dff60
    001e044b
    001e044bloc_1e044b:
    001e044bmov rax, r15
    001e044elea ecx, [r15+r14]
    001e0452mov rdx, [rbp-136]
    001e0459add rdx, r15
    001e045cadd rdx, 1
    001e0460add r15, 1
    001e0464movsxd rcx, ecx
    001e0467lea rax, [rip-0x14b216]
    001e046exorps x0, x0
    001e0471cvtsi2sd x0, [rax+4*rdx]
    001e0476movsd_xmm [rbp+8*rcx-1440], x0
    001e047ftest r14l, r14l
    001e0482jle 0x1e0430
    001e0484cmp r14l, 1
    001e0488mov [rbp-128], rcx
    001e048cjne 0x1e04a0
    001e048exorpd x0, x0
    001e0492xor ebx, ebx
    001e0494test [rbp-120], 1
    001e0498je 0x1e0434
    001e049ajmp 0x1e0565
    001e049f
    001e049f 90 .
    001e04a0
    001e04a0loc_1e04a0:
    001e04a0mov [rbp-80], r15
    001e04a4mov [rbp-112], r12l
    001e04a8movsxd rax, r12l
    001e04ablea r12, [8*rax-2240]
    001e04b3add r12, rbp
    001e04b6xorpd x0, x0
    001e04baxor ebx, ebx
    001e04bcmov r14, [rbp-320]
    001e04c3lea r13, [rbp-1440]
    001e04canop [rax+rax]
    001e04d0
    001e04d0loc_1e04d0:
    001e04d0movsd_xmm [rbp-64], x0
    001e04d5movsd_xmm x1, [r14-8]
    001e04dbmovsd_xmm [rbp-48], x1
    001e04e0mov edx, 160
    001e04e5lea r15, [rbp-2240]
    001e04ecmov rdi, r15
    001e04efmov rsi, r13
    001e04f2call memcpy
    001e04f7movsd_xmm x0, [rbp-48]
    001e04fcmulsd x0, [r12+8*rbx]
    001e0502addsd x0, [rbp-64]
    001e0507movsd_xmm [rbp-48], x0
    001e050cmovsd_xmm x0, [r14]
    001e0511movsd_xmm [rbp-64], x0
    001e0516mov edx, 160
    001e051bmov rdi, r15
    001e051emov rsi, r13
    001e0521call memcpy
    001e0526movsd_xmm x0, [rbp-64]
    001e052bmulsd x0, [r12+8*rbx-8]
    001e0532addsd x0, [rbp-48]
    001e0537add r14, 16
    001e053badd rbx, -2
    001e053fcmp [rbp-144], rbx
    001e0546jne 0x1e04d0
    001e0548neg rbx
    001e054bmov r12l, [rbp-112]
    001e054fmov r14, [rbp-72]
    001e0553mov r15, [rbp-80]
    001e0557mov r13, [rbp-88]
    001e055btest [rbp-120], 1
    001e055fje 0x1e0434
    001e0565
    001e0565loc_1e0565:
    001e0565mov rax, [rbp-96]
    001e0569movsd_xmm x1, [rax+8*rbx]
    001e056emovsd_xmm [rbp-48], x1
    001e0573mov edx, 160
    001e0578lea rdi, [rbp-2240]
    001e057flea rsi, [rbp-1440]
    001e0586movsd_xmm [rbp-64], x0
    001e058bcall memcpy
    001e0590movsd_xmm x0, [rbp-64]
    001e0595mov rax, [rbp-128]
    001e0599sub rax, rbx
    001e059cmovsd_xmm x1, [rbp-48]
    001e05a1mulsd x1, [rbp+8*rax-2240]
    001e05aaaddsd x0, x1
    001e05aejmp 0x1e0434
    001e05b3
    001e05b3loc_1e05b3:
    001e05b3movups x1, [rbp-160]
    001e05bamovaps [rbp-656], x1
    001e05c1movupd x1, [rbp-224]
    001e05c9movupd x2, [rbp-208]
    001e05d1movups x3, [rbp-192]
    001e05d8movups x4, [rbp-176]
    001e05dfmovaps [rbp-672], x4
    001e05e6movaps [rbp-688], x3
    001e05edmovapd [rbp-704], x2
    001e05f5movapd [rbp-720], x1
    001e05fdmovsxd rax, r12l
    001e0600lea rax, [4*rax-724]
    001e0608add rax, rbp
    001e060bmov ecx, 23
    001e0610jmp 0x1e0129
    001e0615
    001e0615loc_1e0615:
    001e0615mov rdi, [rbp-280]
    001e061ccall math.ldexp.ldexp__anon_3550
    001e0621ucomisd x0, [rip-0x14cc59]
    001e0629jae 0x1e063c
    001e062bcvttsd2si eax, x0
    001e062fmov rcx, [rbp-80]
    001e0633mov [rbp+4*rcx-224], eax
    001e063ajmp 0x1e0683
    001e063c
    001e063cloc_1e063c:
    001e063cmovsd_xmm x1, [rip-0x14cca4]
    001e0644mulsd x1, x0
    001e0648cvttsd2si eax, x1
    001e064ccvttpd2dq x1, x1
    001e0650cvtdq2pd x1, x1
    001e0654mulsd x1, [rip-0x14ccb4]
    001e065caddsd x1, x0
    001e0660cvttsd2si ecx, x1
    001e0664mov rdx, [rbp-80]
    001e0668mov [rbp+4*rdx-224], ecx
    001e066fadd r12l, 1
    001e0673mov [rbp+4*rdx-220], eax
    001e067amov rax, [rbp-232]
    001e0681mov ebx, eax
    001e0683
    001e0683loc_1e0683:
    001e0683movsd_xmm x7, [rip-0x14cceb]
    001e068bjmp 0x1e06fc
    001e068d
    001e068dloc_1e068d:
    001e068dmovsxd rax, r12l
    001e0690lea rax, [4*rax-964]
    001e0698add rax, rbp
    001e069bnop [rax+rax]
    001e06a0
    001e06a0loc_1e06a0:
    001e06a0add ebx, -24
    001e06a3movups x0, [rbp-160]
    001e06aamovaps [rbp-896], x0
    001e06b1movupd x0, [rbp-224]
    001e06b9movupd x1, [rbp-208]
    001e06c1movupd x2, [rbp-192]
    001e06c9movups x3, [rbp-176]
    001e06d0movaps [rbp-912], x3
    001e06d7movapd [rbp-928], x2
    001e06dfmovapd [rbp-944], x1
    001e06e7movapd [rbp-960], x0
    001e06efadd r12l, -1
    001e06f3cmp [rax], 0
    001e06f6lea rax, [rax-4]
    001e06faje 0x1e06a0
    001e06fc
    001e06fcloc_1e06fc:
    001e06fctest ebx, ebx
    001e06femov [rbp-96], r13l
    001e0702mov [rbp-88], r15l
    001e0706js 0x1e071d
    001e0708cmp ebx, 1023
    001e070ejbe 0x1e074d
    001e0710movsd_xmm x0, [rip-0x14cd80]
    001e0718jmp 0x1e07aa
    001e071d
    001e071dloc_1e071d:
    001e071dmov eax, ebx
    001e071fneg eax
    001e0721cmp ebx, -1023
    001e0727jbe 0x1e0765
    001e0729mov eax, eax
    001e072bmov rcx, 0xfff0000000000000
    001e0735imul rax, rcx
    001e0739mov rcx, 0x3ff0000000000000
    001e0743add rax, rcx
    001e0746movq x0, rax
    001e074bjmp 0x1e07aa
    001e074d
    001e074dloc_1e074d:
    001e074dshl rbx, 52
    001e0751mov rax, 0x3ff0000000000000
    001e075badd rbx, rax
    001e075emovq x0, rbx
    001e0763jmp 0x1e07aa
    001e0765
    001e0765loc_1e0765:
    001e0765xorpd x0, x0
    001e0769cmp ebx, -1075
    001e076fjb 0x1e07aa
    001e0771mov ecx, -1022
    001e0776sub ecx, ebx
    001e0778cmp eax, ecx
    001e077acmovl ecx, eax
    001e077dadd cl, -1
    001e0780mov eax, ecx
    001e0782and al, 63
    001e0784xor edx, edx
    001e0786cmp al, 52
    001e0788sete dl
    001e078bmov rax, 0x10000000000000
    001e0795shr rax, cl
    001e0798add rax, 1
    001e079cshr rax, 1
    001e079fnot rdx
    001e07a2and rdx, rax
    001e07a5movq x0, rdx
    001e07aa
    001e07aaloc_1e07aa:
    001e07aamov eax, r12l
    001e07admov [rbp-72], rax
    001e07b1test r12l, r12l
    001e07b4js 0x1e0abf
    001e07batest r12b, 1
    001e07bejne 0x1e083b
    001e07c0movups x1, [rbp-160]
    001e07c7movaps [rbp-416], x1
    001e07cemovups x1, [rbp-224]
    001e07d5movupd x2, [rbp-208]
    001e07ddmovups x3, [rbp-192]
    001e07e4movups x4, [rbp-176]
    001e07ebmovaps [rbp-432], x4
    001e07f2movaps [rbp-448], x3
    001e07f9movapd [rbp-464], x2
    001e0801movaps [rbp-480], x1
    001e0808mov rax, [rbp-72]
    001e080cxorps x1, x1
    001e080fcvtsi2sd x1, [rbp+4*rax-480]
    001e0818mulsd x1, x0
    001e081cmovsd_xmm [rbp+8*rax-1120], x1
    001e0825mulsd x0, [rip-0x14ce8d]
    001e082dadd rax, -1
    001e0831test r12l, r12l
    001e0834jne 0x1e0850
    001e0836jmp 0x1e0904
    001e083b
    001e083bloc_1e083b:
    001e083bmov rax, [rbp-72]
    001e083ftest r12l, r12l
    001e0842je 0x1e0904
    001e0848nop [rax+rax]
    001e0850
    001e0850loc_1e0850:
    001e0850movups x1, [rbp-160]
    001e0857movaps [rbp-416], x1
    001e085emovupd x2, [rbp-224]
    001e0866movups x3, [rbp-208]
    001e086dmovups x4, [rbp-192]
    001e0874movups x5, [rbp-176]
    001e087bmovaps [rbp-432], x5
    001e0882movaps [rbp-448], x4
    001e0889movaps [rbp-464], x3
    001e0890movapd [rbp-480], x2
    001e0898xorps x6, x6
    001e089bcvtsi2sd x6, [rbp+4*rax-480]
    001e08a4mulsd x6, x0
    001e08a8movsd_xmm [rbp+8*rax-1120], x6
    001e08b1mulsd x0, x7
    001e08b5movaps [rbp-416], x1
    001e08bcmovaps [rbp-432], x5
    001e08c3movaps [rbp-448], x4
    001e08camovaps [rbp-464], x3
    001e08d1movapd [rbp-480], x2
    001e08d9xorps x1, x1
    001e08dccvtsi2sd x1, [rbp+4*rax-484]
    001e08e5mulsd x1, x0
    001e08e9movsd_xmm [rbp+8*rax-1128], x1
    001e08f2mulsd x0, x7
    001e08f6add rax, -2
    001e08facmp rax, -1
    001e08fejne 0x1e0850
    001e0904
    001e0904loc_1e0904:
    001e0904test r12l, r12l
    001e0907js 0x1e0abf
    001e090dxor eax, eax
    001e090fmov rcx, [rbp-104]
    001e0913test ecx, ecx
    001e0915cmovle ecx, eax
    001e0918mov [rbp-104], rcx
    001e091cmov rcx, [rbp-72]
    001e0920lea r14, [rbp+8*rcx-2552]
    001e0928lea r9, [rip-0x14ac0f]
    001e092flea r13, [rbp-2560]
    001e0936lea rsi, [rbp-1120]
    001e093dmov [rbp-112], r12l
    001e0941jmp 0x1e0983
    001e0943
    001e0943 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 00 f............
    001e0950
    001e0950loc_1e0950:
    001e0950movsd_xmm [rbp+8*rax-1280], x0
    001e0959add rcx, -1
    001e095dmov rdx, [rbp-136]
    001e0964lea eax, [rdx+1]
    001e0967mov r14, [rbp-80]
    001e096badd r14, -8
    001e096fmov r12l, [rbp-112]
    001e0973cmp edx, r12l
    001e0976lea r9, [rip-0x14ac5d]
    001e097dje 0x1e0abf
    001e0983
    001e0983loc_1e0983:
    001e0983mov rdx, [rbp-104]
    001e0987cmp edx, eax
    001e0989mov ebx, eax
    001e098bcmovb ebx, edx
    001e098elea edx, [rbx+1]
    001e0991test ebx, ebx
    001e0993mov [rbp-136], rax
    001e099amov [rbp-128], rcx
    001e099emov [rbp-120], rdx
    001e09a2je 0x1e0a40
    001e09a8mov r8, rbx
    001e09abadd r8, 1
    001e09afand r8, -2
    001e09b3mov [rbp-144], r8
    001e09baxorpd x1, x1
    001e09bexor r12l, r12l
    001e09c1mov rbx, r14
    001e09c4mov r15, rsi
    001e09c7mov r14, r9
    001e09canop [rax+rax]
    001e09d0
    001e09d0loc_1e09d0:
    001e09d0movsd_xmm [rbp-48], x1
    001e09d5mov edx, 160
    001e09damov rdi, r13
    001e09ddmov rsi, r15
    001e09e0call memcpy
    001e09e5movsd_xmm x0, [r14+8*r12]
    001e09ebmovsd_xmm x1, [r14+8*r12+8]
    001e09f2movsd_xmm [rbp-64], x1
    001e09f7mulsd x0, [rbx+8*r12-8]
    001e09feaddsd x0, [rbp-48]
    001e0a03movsd_xmm [rbp-48], x0
    001e0a08mov edx, 160
    001e0a0dmov rdi, r13
    001e0a10mov rsi, r15
    001e0a13call memcpy
    001e0a18movsd_xmm x0, [rbp-64]
    001e0a1dmulsd x0, [rbx+8*r12]
    001e0a23addsd x0, [rbp-48]
    001e0a28add r12, 2
    001e0a2cmovapd x1, x0
    001e0a30cmp [rbp-144], r12
    001e0a37jne 0x1e09d0
    001e0a39jmp 0x1e0a4d
    001e0a3b
    001e0a3b 0f 1f 44 00 00 ..D..
    001e0a40
    001e0a40loc_1e0a40:
    001e0a40xorpd x0, x0
    001e0a44xor r12l, r12l
    001e0a47mov rbx, r14
    001e0a4amov r15, rsi
    001e0a4d
    001e0a4dloc_1e0a4d:
    001e0a4dmov [rbp-80], rbx
    001e0a51mov rax, [rbp-72]
    001e0a55mov rcx, [rbp-128]
    001e0a59sub rax, rcx
    001e0a5ctest [rbp-120], 1
    001e0a60mov rsi, r15
    001e0a63je 0x1e0950
    001e0a69mov r15, rax
    001e0a6clea rax, [rip-0x14ad53]
    001e0a73movsd_xmm x1, [rax+8*r12]
    001e0a79movsd_xmm [rbp-48], x1
    001e0a7emov edx, 160
    001e0a83mov r14, rcx
    001e0a86mov rdi, r13
    001e0a89mov rbx, rsi
    001e0a8cmovsd_xmm [rbp-64], x0
    001e0a91call memcpy
    001e0a96mov rax, r15
    001e0a99movsd_xmm x0, [rbp-64]
    001e0a9emov rsi, rbx
    001e0aa1mov rcx, r14
    001e0aa4add r12, r14
    001e0aa7movsd_xmm x1, [rbp-48]
    001e0aacmulsd x1, [rbp+8*r12-2560]
    001e0ab6addsd x0, x1
    001e0abajmp 0x1e0950
    001e0abf
    001e0abfloc_1e0abf:
    001e0abfcmp [rbp-288], 0
    001e0ac7je 0x1e0b1a
    001e0ac9test r12l, r12l
    001e0accmov r13, [rbp-264]
    001e0ad3js 0x1e0b77
    001e0ad9test r12b, 1
    001e0addjne 0x1e0b7d
    001e0ae3lea rdi, [rbp-1920]
    001e0aealea rsi, [rbp-1280]
    001e0af1mov edx, 160
    001e0af6call memcpy
    001e0afbxorpd x1, x1
    001e0affmov rax, [rbp-72]
    001e0b03addsd x1, [rbp+8*rax-1920]
    001e0b0clea rbx, [rax-1]
    001e0b10test r12l, r12l
    001e0b13jne 0x1e0b8a
    001e0b15jmp 0x1e0bf0
    001e0b1a
    001e0b1aloc_1e0b1a:
    001e0b1atest r12l, r12l
    001e0b1dmov r15, [rbp-264]
    001e0b24js 0x1e0d00
    001e0b2atest r12b, 1
    001e0b2ejne 0x1e0d06
    001e0b34lea rdi, [rbp-1760]
    001e0b3blea rsi, [rbp-1280]
    001e0b42mov edx, 160
    001e0b47call memcpy
    001e0b4cxorpd x0, x0
    001e0b50mov rax, [rbp-72]
    001e0b54addsd x0, [rbp+8*rax-1760]
    001e0b5dadd rax, -1
    001e0b61mov [rbp-72], rax
    001e0b65test r12l, r12l
    001e0b68mov rbx, [rbp-72]
    001e0b6cjne 0x1e0d13
    001e0b72jmp 0x1e0d80
    001e0b77
    001e0b77loc_1e0b77:
    001e0b77xorpd x1, x1
    001e0b7bjmp 0x1e0bf0
    001e0b7d
    001e0b7dloc_1e0b7d:
    001e0b7dxorpd x1, x1
    001e0b81mov rbx, [rbp-72]
    001e0b85test r12l, r12l
    001e0b88je 0x1e0bf0
    001e0b8a
    001e0b8aloc_1e0b8a:
    001e0b8alea r14, [rbp-1920]
    001e0b91lea r15, [rbp-1280]
    001e0b98nop [rax+rax]
    001e0ba0
    001e0ba0loc_1e0ba0:
    001e0ba0movapd [rbp-64], x1
    001e0ba5mov edx, 160
    001e0baamov rdi, r14
    001e0badmov rsi, r15
    001e0bb0call memcpy
    001e0bb5movapd x0, [rbp-64]
    001e0bbaaddsd x0, [rbp+8*rbx-1920]
    001e0bc3movapd [rbp-64], x0
    001e0bc8mov edx, 160
    001e0bcdmov rdi, r14
    001e0bd0mov rsi, r15
    001e0bd3call memcpy
    001e0bd8movapd x1, [rbp-64]
    001e0bddaddsd x1, [rbp+8*rbx-1928]
    001e0be6add rbx, -2
    001e0beacmp rbx, -1
    001e0beejne 0x1e0ba0
    001e0bf0
    001e0bf0loc_1e0bf0:
    001e0bf0movapd x0, x1
    001e0bf4mov r14l, [rbp-96]
    001e0bf8test r14l, r14l
    001e0bfbje 0x1e0c09
    001e0bfdmovapd x0, [rip-0x14ca75]
    001e0c05xorpd x0, x1
    001e0c09
    001e0c09loc_1e0c09:
    001e0c09movsd_xmm [r13], x0
    001e0c0fmovsd_xmm x0, [rbp-1280]
    001e0c17subsd x0, x1
    001e0c1btest r12l, r12l
    001e0c1ejle 0x1e0cdd
    001e0c24cmp r12l, 1
    001e0c28jne 0x1e0c31
    001e0c2amov ebx, 1
    001e0c2fjmp 0x1e0ca8
    001e0c31
    001e0c31loc_1e0c31:
    001e0c31mov r12, [rbp-72]
    001e0c35and r12l, -2
    001e0c39neg r12
    001e0c3cmov ebx, 1
    001e0c41lea r14, [rbp-2080]
    001e0c48lea r15, [rbp-1280]
    001e0c4fnop
    001e0c50
    001e0c50loc_1e0c50:
    001e0c50movapd [rbp-64], x0
    001e0c55mov edx, 160
    001e0c5amov rdi, r14
    001e0c5dmov rsi, r15
    001e0c60call memcpy
    001e0c65movapd x0, [rbp-64]
    001e0c6aaddsd x0, [rbp+8*rbx-2080]
    001e0c73movapd [rbp-64], x0
    001e0c78mov edx, 160
    001e0c7dmov rdi, r14
    001e0c80mov rsi, r15
    001e0c83call memcpy
    001e0c88movapd x0, [rbp-64]
    001e0c8daddsd x0, [rbp+8*rbx-2072]
    001e0c96lea rax, [r12+rbx]
    001e0c9aadd rax, 2
    001e0c9eadd rbx, 2
    001e0ca2cmp rax, 1
    001e0ca6jne 0x1e0c50
    001e0ca8
    001e0ca8loc_1e0ca8:
    001e0ca8test [rbp-72], 1
    001e0cacmov r14l, [rbp-96]
    001e0cb0je 0x1e0cdd
    001e0cb2lea rdi, [rbp-2080]
    001e0cb9lea rsi, [rbp-1280]
    001e0cc0mov edx, 160
    001e0cc5movapd [rbp-64], x0
    001e0ccacall memcpy
    001e0ccfmovapd x0, [rbp-64]
    001e0cd4addsd x0, [rbp+8*rbx-2080]
    001e0cdd
    001e0cddloc_1e0cdd:
    001e0cddtest r14l, r14l
    001e0ce0je 0x1e0cf5
    001e0ce2xorpd x0, [rip-0x14cb5a]
    001e0ceamovlpd [r13+8], x0
    001e0cf0jmp 0x1e0d9a
    001e0cf5
    001e0cf5loc_1e0cf5:
    001e0cf5movsd_xmm [r13+8], x0
    001e0cfbjmp 0x1e0d9a
    001e0d00
    001e0d00loc_1e0d00:
    001e0d00xorpd x0, x0
    001e0d04jmp 0x1e0d80
    001e0d06
    001e0d06loc_1e0d06:
    001e0d06xorpd x0, x0
    001e0d0atest r12l, r12l
    001e0d0dmov rbx, [rbp-72]
    001e0d11je 0x1e0d80
    001e0d13
    001e0d13loc_1e0d13:
    001e0d13lea r14, [rbp-1760]
    001e0d1alea r12, [rbp-1280]
    001e0d21nop [rax+rax]
    001e0d2bnop [rax+rax]
    001e0d30
    001e0d30loc_1e0d30:
    001e0d30movapd [rbp-64], x0
    001e0d35mov edx, 160
    001e0d3amov rdi, r14
    001e0d3dmov rsi, r12
    001e0d40call memcpy
    001e0d45movapd x0, [rbp-64]
    001e0d4aaddsd x0, [rbp+8*rbx-1760]
    001e0d53movapd [rbp-64], x0
    001e0d58mov edx, 160
    001e0d5dmov rdi, r14
    001e0d60mov rsi, r12
    001e0d63call memcpy
    001e0d68movapd x0, [rbp-64]
    001e0d6daddsd x0, [rbp+8*rbx-1768]
    001e0d76add rbx, -2
    001e0d7acmp rbx, -1
    001e0d7ejne 0x1e0d30
    001e0d80
    001e0d80loc_1e0d80:
    001e0d80cmp [rbp-96], 0
    001e0d84je 0x1e0d95
    001e0d86xorpd x0, [rip-0x14cbfe]
    001e0d8emovlpd [r15], x0
    001e0d93jmp 0x1e0d9a
    001e0d95
    001e0d95loc_1e0d95:
    001e0d95movsd_xmm [r15], x0
    001e0d9a
    001e0d9aloc_1e0d9a:
    001e0d9amov eax, [rbp-88]
    001e0d9dand eax, 7
    001e0da0add rsp, 2680
    001e0da7pop rbx
    001e0da8pop r12
    001e0daapop r13
    001e0dacpop r14
    001e0daepop r15
    001e0db0pop rbp
    001e0db1ret
    001dfab0
    001e0db2
    001e0db2 // align 0x10
    001e0dc0
    001e0dc0math.frexp.frexp64:
    001e0dc0push rbp
    001e0dc1mov rbp, rsp
    001e0dc4push rbx
    001e0dc5sub rsp, 24
    001e0dc9mov rbx, rdi
    001e0dccmovq rcx, x0
    001e0dd1mov rax, rcx
    001e0dd4shr rax, 52
    001e0dd8and eax, 2047
    001e0dddcmp eax, 2047
    001e0de2je 0x1e0e15
    001e0de4test eax, eax
    001e0de6jne 0x1e0e27
    001e0de8xorpd x1, x1
    001e0decucomisd x0, x1
    001e0df0jne 0x1e0df4
    001e0df2jnp 0x1e0e53
    001e0df4
    001e0df4loc_1e0df4:
    001e0df4mulsd x0, [rip-0x14d41c]
    001e0dfclea rdi, [rbp-24]
    001e0e00call math.frexp.frexp64
    001e0e05movsd_xmm x0, [rbp-24]
    001e0e0amov eax, [rbp-16]
    001e0e0dmov ecx, [rbp-12]
    001e0e10add eax, -64
    001e0e13jmp 0x1e0e55
    001e0e15
    001e0e15loc_1e0e15:
    001e0e15movsd_xmm [rbx], x0
    001e0e19mov [rbx+8], 0
    001e0e20add rsp, 24
    001e0e24pop rbx
    001e0e25pop rbp
    001e0e26ret
    001e0e27
    001e0e27loc_1e0e27:
    001e0e27add eax, -1022
    001e0e2cmov rdx, 0x800fffffffffffff
    001e0e36and rcx, rdx
    001e0e39mov rdx, 0x3fe0000000000000
    001e0e43or rdx, rcx
    001e0e46mov [rbx], rdx
    001e0e49mov [rbx+8], eax
    001e0e4cadd rsp, 24
    001e0e50pop rbx
    001e0e51pop rbp
    001e0e52ret
    001e0e53
    001e0e53loc_1e0e53:
    001e0e53xor eax, eax
    001e0e55
    001e0e55loc_1e0e55:
    001e0e55movsd_xmm [rbx], x0
    001e0e59mov [rbx+8], eax
    001e0e5cmov [rbx+12], ecx
    001e0e5fadd rsp, 24
    001e0e63pop rbx
    001e0e64pop rbp
    001e0e65ret
    001e0dc0
    001e0e66
    001e0e66 // align 0x10
    001e0e70
    001e0e70math.frexp.frexp128:
    001e0e70push rbp
    001e0e71mov rbp, rsp
    001e0e74push rbx
    001e0e75sub rsp, 72
    001e0e79mov rbx, rdi
    001e0e7cmovaps [rbp-48], x0
    001e0e80mov rax, [rbp-40]
    001e0e84mov rcx, rax
    001e0e87shr rcx, 48
    001e0e8band ecx, 32767
    001e0e91cmp ecx, 32767
    001e0e97je 0x1e0ee2
    001e0e99mov rdx, [rbp-48]
    001e0e9dtest ecx, ecx
    001e0e9fjne 0x1e0ef3
    001e0ea1mov rcx, 0x7fffffffffffffff
    001e0eaband rax, rcx
    001e0eaeor rdx, rax
    001e0eb1je 0x1e0f24
    001e0eb3movaps x1, [rip-0x14cd1a]
    001e0ebacall __multf3
    001e0ebflea rdi, [rbp-80]
    001e0ec3call math.frexp.frexp128
    001e0ec8movaps x0, [rbp-80]
    001e0eccmov eax, [rbp-64]
    001e0ecfmov rcx, [rbp-60]
    001e0ed3mov [rbp-24], rcx
    001e0ed7mov ecx, [rbp-52]
    001e0edamov [rbp-16], ecx
    001e0eddadd eax, -120
    001e0ee0jmp 0x1e0f26
    001e0ee2
    001e0ee2loc_1e0ee2:
    001e0ee2movaps [rbx], x0
    001e0ee5mov [rbx+16], 0
    001e0eecadd rsp, 72
    001e0ef0pop rbx
    001e0ef1pop rbp
    001e0ef2ret
    001e0ef3
    001e0ef3loc_1e0ef3:
    001e0ef3add ecx, -16382
    001e0ef9mov rsi, 0x8000ffffffffffff
    001e0f03and rax, rsi
    001e0f06mov rsi, 0x3ffe000000000000
    001e0f10or rsi, rax
    001e0f13mov [rbx], rdx
    001e0f16mov [rbx+8], rsi
    001e0f1amov [rbx+16], ecx
    001e0f1dadd rsp, 72
    001e0f21pop rbx
    001e0f22pop rbp
    001e0f23ret
    001e0f24
    001e0f24loc_1e0f24:
    001e0f24xor eax, eax
    001e0f26
    001e0f26loc_1e0f26:
    001e0f26movaps [rbx], x0
    001e0f29mov [rbx+16], eax
    001e0f2cmov rax, [rbp-24]
    001e0f30mov [rbx+20], rax
    001e0f34mov eax, [rbp-16]
    001e0f37mov [rbx+28], eax
    001e0f3aadd rsp, 72
    001e0f3epop rbx
    001e0f3fpop rbp
    001e0f40ret
    001e0e70
    001e0f41
    001e0f41 // align 0x10
    001e0f50
    001e0f50fabsl:
    001e0f50push rbp
    001e0f51mov rbp, rsp
    001e0f54pop rbp
    001e0f55jmp 0x1da720
    001e0f50
    001e0f5a
    001e0f5a // align 0x10
    001e0f60
    001e0f60fmaxl:
    001e0f60push rbp
    001e0f61mov rbp, rsp
    001e0f64pop rbp
    001e0f65jmp 0x1dba80
    001e0f60
    001e0f6a
    001e0f6a // align 0x10
    001e0f70
    001e0f70fminl:
    001e0f70push rbp
    001e0f71mov rbp, rsp
    001e0f74pop rbp
    001e0f75jmp 0x1dbaf0
    001e0f70
    001e0f7a
    001e0f7a // align 0x10
    001e0f80
    001e0f80_Unwind_RaiseException:
    001e0f80push rbp
    001e0f81mov rbp, rsp
    001e0f84push r15
    001e0f86push r14
    001e0f88push r12
    001e0f8apush rbx
    001e0f8bsub rsp, 512
    001e0f92mov r14, rdi
    001e0f95lea r15, [rbp-280]
    001e0f9cmov rdi, r15
    001e0f9fcall fn_1e5138
    001e0fa4xorps x0, x0
    001e0fa7movaps [r14+16], x0
    001e0faclea rbx, [rbp-544]
    001e0fb3mov rdi, rbx
    001e0fb6mov rsi, r15
    001e0fb9call __unw_init_local
    001e0fbemov rdi, rbx
    001e0fc1call __unw_step
    001e0fc6test eax, eax
    001e0fc8je 0x1e105d
    001e0fcelea r15, [rbp-544]
    001e0fd5lea r12, [rbp-112]
    001e0fd9mov ebx, 3
    001e0fdejmp 0x1e0fec
    001e0fe0
    001e0fe0loc_1e0fe0:
    001e0fe0mov rdi, r15
    001e0fe3call __unw_step
    001e0fe8test eax, eax
    001e0feaje 0x1e105d
    001e0fec
    001e0fecloc_1e0fec:
    001e0fectest eax, eax
    001e0feejs 0x1e1062
    001e0ff0mov rdi, r15
    001e0ff3mov rsi, r12
    001e0ff6call __unw_get_proc_info
    001e0ffbtest eax, eax
    001e0ffdjne 0x1e1062
    001e0fffmov rax, [rbp-88]
    001e1003test rax, rax
    001e1006je 0x1e0fe0
    001e1008mov rdx, [r14]
    001e100bmov edi, 1
    001e1010mov esi, 1
    001e1015mov rcx, r14
    001e1018mov r8, r15
    001e101bcall rax
    001e101dcmp eax, 8
    001e1020je 0x1e0fe0
    001e1022cmp eax, 6
    001e1025jne 0x1e1062
    001e1027lea rbx, [rbp-544]
    001e102elea rdx, [rbp-40]
    001e1032mov rdi, rbx
    001e1035mov esi, -2
    001e103acall __unw_get_reg
    001e103fmov rax, [rbp-40]
    001e1043mov [r14+24], rax
    001e1047lea rdi, [rbp-280]
    001e104emov rsi, rbx
    001e1051mov rdx, r14
    001e1054call unwind_phase2
    001e1059mov ebx, eax
    001e105bjmp 0x1e1062
    001e105d
    001e105dloc_1e105d:
    001e105dmov ebx, 5
    001e1062
    001e1062loc_1e1062:
    001e1062mov eax, ebx
    001e1064add rsp, 512
    001e106bpop rbx
    001e106cpop r12
    001e106epop r14
    001e1070pop r15
    001e1072pop rbp
    001e1073ret
    001e0f80
    001e1074
    001e1074 // align 0x10
    001e1080
    001e1080unwind_phase2:
    001e1080push rbp
    001e1081mov rbp, rsp
    001e1084push r15
    001e1086push r14
    001e1088push r13
    001e108apush r12
    001e108cpush rbx
    001e108dsub rsp, 88
    001e1091mov r14, rdx
    001e1094mov r13, rsi
    001e1097mov rsi, rdi
    001e109amov rdi, r13
    001e109dcall __unw_init_local
    001e10a2mov rdi, r13
    001e10a5call __unw_step
    001e10aatest eax, eax
    001e10acje 0x1e1176
    001e10b2lea r15, [rbp-48]
    001e10b6lea r12, [rbp-120]
    001e10bamov ebx, 2
    001e10bfjmp 0x1e10e0
    001e10c1
    001e10c1 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 44 00 00 f...........D..
    001e10d0
    001e10d0loc_1e10d0:
    001e10d0mov rdi, r13
    001e10d3call __unw_step
    001e10d8test eax, eax
    001e10daje 0x1e1176
    001e10e0
    001e10e0loc_1e10e0:
    001e10e0test eax, eax
    001e10e2js 0x1e117b
    001e10e8mov rdi, r13
    001e10ebmov esi, -2
    001e10f0mov rdx, r15
    001e10f3call __unw_get_reg
    001e10f8mov rdi, r13
    001e10fbmov rsi, r12
    001e10fecall __unw_get_proc_info
    001e1103test eax, eax
    001e1105jne 0x1e117b
    001e1107mov rax, [rbp-96]
    001e110btest rax, rax
    001e110eje 0x1e10d0
    001e1110mov rcx, [rbp-48]
    001e1114xor edx, edx
    001e1116cmp rcx, [r14+24]
    001e111asete dl
    001e111dlea esi, [4*rdx+2]
    001e1124mov rdx, [r14]
    001e1127mov edi, 1
    001e112cmov rcx, r14
    001e112fmov r8, r13
    001e1132call rax
    001e1134cmp eax, 8
    001e1137jne 0x1e118c
    001e1139mov rax, [rbp-48]
    001e113dcmp rax, [r14+24]
    001e1141jne 0x1e10d0
    001e1143mov rbx, [rip+0x30cb6]
    001e114amov rdi, [rbx]
    001e114dlea rsi, [rip-0x14b3f4]
    001e1154lea rdx, [rip-0x14b3ba]
    001e115blea rcx, [rip-0x14b3b3]
    001e1162xor eax, eax
    001e1164call fprintf@plt
    001e1169mov rdi, [rbx]
    001e116ccall fflush@plt
    001e1171call abort@plt
    001e1176
    001e1176loc_1e1176:
    001e1176mov ebx, 5
    001e117b
    001e117bloc_1e117b:
    001e117bmov eax, ebx
    001e117dadd rsp, 88
    001e1181pop rbx
    001e1182pop r12
    001e1184pop r13
    001e1186pop r14
    001e1188pop r15
    001e118apop rbp
    001e118bret
    001e118c
    001e118cloc_1e118c:
    001e118ccmp eax, 7
    001e118fjne 0x1e117b
    001e1191mov rdi, r13
    001e1194call __unw_resume
    001e1199jmp 0x1e117b
    001e1080
    001e119b
    001e119b // align 0x10
    001e11a0
    001e11a0_Unwind_Resume:
    001e11a0push rbp
    001e11a1mov rbp, rsp
    001e11a4push rbx
    001e11a5sub rsp, 440
    001e11acmov rbx, rdi
    001e11aflea rdi, [rbp-176]
    001e11b6call fn_1e5138
    001e11bbmov rcx, [rbx+16]
    001e11bftest rcx, rcx
    001e11c2jne 0x1e11dc
    001e11c4lea rdi, [rbp-176]
    001e11cblea rsi, [rbp-440]
    001e11d2mov rdx, rbx
    001e11d5call unwind_phase2
    001e11dajmp 0x1e11f6
    001e11dc
    001e11dcloc_1e11dc:
    001e11dcmov r8, [rbx+24]
    001e11e0lea rdi, [rbp-176]
    001e11e7lea rsi, [rbp-440]
    001e11eemov rdx, rbx
    001e11f1call unwind_phase2_forced
    001e11f6
    001e11f6loc_1e11f6:
    001e11f6mov rbx, [rip+0x30c03]
    001e11fdmov rdi, [rbx]
    001e1200lea rsi, [rip-0x14b4a7]
    001e1207lea rdx, [rip-0x14b49a]
    001e120elea rcx, [rip-0x14b492]
    001e1215xor eax, eax
    001e1217call fprintf@plt
    001e121cmov rdi, [rbx]
    001e121fcall fflush@plt
    001e1224call abort@plt
    001e11a0