File akira_3298d203c2acb68c474e5fdad8379181890b4403d6491c523c13730129be3f75.elf
Function:
Loading..
001d5630
001d5630__multf3:
001d5630push rbp
001d5631mov rbp, rsp
001d5634push r15
001d5636push r14
001d5638push r13
001d563apush r12
001d563cpush rbx
001d563dsub rsp, 120
001d5641mov rdi, 0xffffffffffff
001d564bmovaps [rbp-288], x0
001d5652mov r13, [rbp-288]
001d5659mov rdx, [rbp-280]
001d5660mov rax, rdx
001d5663shr rax, 48
001d5667and eax, 32767
001d566cmovaps [rbp-272], x1
001d5673mov r8, [rbp-272]
001d567amov rcx, [rbp-264]
001d5681mov rbx, rcx
001d5684shr rbx, 48
001d5688and ebx, 32767
001d568emov rsi, rcx
001d5691xor rsi, rdx
001d5694mov r9, 0x8000000000000000
001d569eand rsi, r9
001d56a1mov r14, rdx
001d56a4and r14, rdi
001d56a7mov r11, rcx
001d56aaand r11, rdi
001d56adlea edi, [rax-32767]
001d56b3mov r12, r14
001d56b6shr r12, 32
001d56bacmp edi, -32766
001d56c0jb 0x1d588e
001d56c6lea edi, [rbx-32767]
001d56cccmp edi, -32767
001d56d2jbe 0x1d588e
001d56d8xor ecx, ecx
001d56damov [rbp-56], rcx
001d56demov rdi, r13
001d56e1mov [rbp-64], rbx
001d56e5mov [rbp-72], rax
001d56e9mov [rbp-48], rsi
001d56ed
001d56edloc_1d56ed:
001d56edor r12, 0x10000
001d56f4mov rdx, r11
001d56f7shr rdx, 17
001d56fbor edx, 0xffffffff80000000
001d5701mov rax, rdx
001d5704imul rax, r12
001d5708mov [rbp-112], rax
001d570cshld r11, r8, 15
001d5711shl r8, 15
001d5715mov r11l, r11l
001d5718mov rax, r11
001d571bimul rax, r12
001d571fmov [rbp-96], rax
001d5723mov r15, r8
001d5726shr r15, 32
001d572amov rax, r12
001d572dimul rax, r15
001d5731mov [rbp-104], rax
001d5735mov eax, r8l
001d5738imul r12, rax
001d573cmov r8, rax
001d573fmov r13l, r14l
001d5742mov r10, rdx
001d5745imul r10, r13
001d5749mov rax, r11
001d574cimul rax, r13
001d5750mov [rbp-88], rax
001d5754mov rcx, r13
001d5757imul rcx, r15
001d575bimul r13, r8
001d575fmov rbx, rdi
001d5762mov rsi, rdi
001d5765shr rsi, 32
001d5769mov rax, rdx
001d576cimul rax, rsi
001d5770mov r14, r11
001d5773imul r14, rsi
001d5777mov rdi, r15
001d577aimul rdi, rsi
001d577eimul rsi, r8
001d5782mov ebx, ebx
001d5784imul rdx, rbx
001d5788imul r11, rbx
001d578cimul r15, rbx
001d5790imul r8, rbx
001d5794mov [rbp-80], r8
001d5798xor r9l, r9l
001d579badd r15, rsi
001d579esetb r9b
001d57a2xor r8l, r8l
001d57a5add rdi, r13
001d57a8setb r8b
001d57acxor r13l, r13l
001d57afadd rcx, r12
001d57b2setb r13b
001d57b6add rcx, rdx
001d57b9adc r13, 0
001d57bdadd rcx, r14
001d57c0adc r13, 0
001d57c4xor ebx, ebx
001d57c6add r10, [rbp-96]
001d57casetb bl
001d57cdshld r9, r15, 32
001d57d2shl r15, 32
001d57d6xor edx, edx
001d57d8add rax, [rbp-104]
001d57dcsetb dl
001d57dfadd rax, [rbp-88]
001d57e3adc rdx, 0
001d57e7add rdi, r11
001d57eaadc rax, r8
001d57edadc rdx, [rbp-112]
001d57f1xor esi, esi
001d57f3add rdi, r9
001d57f6setb sil
001d57fashld r13, rcx, 32
001d57ffshl rcx, 32
001d5803add r15, [rbp-80]
001d5807mov r14, rdi
001d580aadc r14, rcx
001d580dshld rbx, r10, 32
001d5812shl r10, 32
001d5816add r10, rax
001d5819adc rbx, rdx
001d581cadd r10, r13
001d581fadc rbx, 0
001d5823add rcx, rdi
001d5826adc r10, rsi
001d5829adc rbx, 0
001d582dmov rax, [rbp-72]
001d5831add eax, [rbp-64]
001d5834mov rcx, [rbp-56]
001d5838add eax, ecx
001d583aadd eax, -16383
001d583fbt rbx, 48
001d5844jb 0x1d58d2
001d584ashld rbx, r10, 1
001d584fshld r10, r14, 1
001d5854shld r14, r15, 1
001d5859add r15, r15
001d585ccmp eax, 32767
001d5861jge 0x1d58dc
001d5863
001d5863loc_1d5863:
001d5863test eax, eax
001d5865jle 0x1d5976
001d586bmov rcx, -1
001d5872and r10, rcx
001d5875mov rcx, 0xffffffffffff
001d587fand rbx, rcx
001d5882shl rax, 48
001d5886or rax, rbx
001d5889jmp 0x1d5a72
001d588e
001d588eloc_1d588e:
001d588emov r9, 0x7fffffffffffffff
001d5898mov r15, rdx
001d589band r15, r9
001d589ecmp r13, 1
001d58a2mov r10, 0x7fff000000000000
001d58acmov rdi, r15
001d58afsbb rdi, r10
001d58b2jb 0x1d590b
001d58b4mov [rbp-128], r13
001d58b8mov rax, 0x800000000000
001d58c2or rdx, rax
001d58c5mov [rbp-120], rdx
001d58c9movaps x0, [rbp-128]
001d58cdjmp 0x1d5ac2
001d58d2
001d58d2loc_1d58d2:
001d58d2add eax, 1
001d58d5cmp eax, 32767
001d58dajl 0x1d5863
001d58dc
001d58dcloc_1d58dc:
001d58dcmov rax, 0x7fff000000000000
001d58e6mov rcx, [rbp-48]
001d58eaor rcx, rax
001d58edmov [rbp-216], rcx
001d58f4mov [rbp-224], 0
001d58ffmovaps x0, [rbp-224]
001d5906jmp 0x1d5ac2
001d590b
001d590bloc_1d590b:
001d590band r9, rcx
001d590ecmp r8, 1
001d5912mov rdx, r9
001d5915sbb rdx, r10
001d5918jb 0x1d5941
001d591amov [rbp-144], r8
001d5921mov rax, 0x800000000000
001d592bor rcx, rax
001d592emov [rbp-136], rcx
001d5935movaps x0, [rbp-144]
001d593cjmp 0x1d5ac2
001d5941
001d5941loc_1d5941:
001d5941mov rcx, r15
001d5944xor rcx, r10
001d5947or rcx, r13
001d594ajne 0x1d59a7
001d594cor r9, r8
001d594fje 0x1d5ad1
001d5955or rsi, r10
001d5958mov [rbp-152], rsi
001d595fmov [rbp-160], 0
001d596amovaps x0, [rbp-160]
001d5971jmp 0x1d5ac2
001d5976
001d5976loc_1d5976:
001d5976mov r9l, 1
001d597csub r9l, eax
001d597fcmp r9l, 127
001d5983jbe 0x1d59e0
001d5985mov rax, [rbp-48]
001d5989mov [rbp-232], rax
001d5990mov [rbp-240], 0
001d599bmovaps x0, [rbp-240]
001d59a2jmp 0x1d5ac2
001d59a7
001d59a7loc_1d59a7:
001d59a7mov rcx, r9
001d59aaxor rcx, r10
001d59ador rcx, r8
001d59b0jne 0x1d5ada
001d59b6or r15, r13
001d59b9je 0x1d5ad1
001d59bfor rsi, r10
001d59c2mov [rbp-168], rsi
001d59c9mov [rbp-176], 0
001d59d4movaps x0, [rbp-176]
001d59dbjmp 0x1d5ac2
001d59e0
001d59e0loc_1d59e0:
001d59e0add al, -1
001d59e2mov rdx, r15
001d59e5mov ecx, eax
001d59e7shl rdx, cl
001d59eaxor edi, edi
001d59ectest al, 64
001d59eemov r8, rdx
001d59f1cmovne r8, rdi
001d59f5mov r12, r14
001d59f8shld r12, r15, cl
001d59fctest al, 64
001d59fecmovne r12, rdx
001d5a02mov rsi, r10
001d5a05shl rsi, cl
001d5a08test al, 64
001d5a0amov r11, rsi
001d5a0dcmovne r11, rdi
001d5a11mov rdx, rbx
001d5a14shld rdx, r10, cl
001d5a18test al, 64
001d5a1acmovne rdx, rsi
001d5a1emov rsi, rbx
001d5a21mov ecx, r9l
001d5a24shr rsi, cl
001d5a27test r9b, 64
001d5a2bmov rax, rsi
001d5a2ecmovne rax, rdi
001d5a32mov ecx, r9l
001d5a35shrd r10, rbx, cl
001d5a39test r9b, 64
001d5a3dcmovne r10, rsi
001d5a41mov rsi, r14
001d5a44shr rsi, cl
001d5a47test r9b, 64
001d5a4bcmove rdi, rsi
001d5a4fshrd r15, r14, cl
001d5a53test r9b, 64
001d5a57cmovne r15, rsi
001d5a5bor rdi, rdx
001d5a5exor ecx, ecx
001d5a60or r12, r8
001d5a63setne cl
001d5a66or rcx, r15
001d5a69or rcx, r11
001d5a6cmov r15, rcx
001d5a6fmov r14, rdi
001d5a72
001d5a72loc_1d5a72:
001d5a72mov rcx, r15
001d5a75neg rcx
001d5a78mov rdx, 0x8000000000000000
001d5a82mov rcx, rdx
001d5a85sbb rcx, r14
001d5a88adc r10, 0
001d5a8cadc rax, 0
001d5a90xor r14, rdx
001d5a93mov ecx, r10l
001d5a96and ecx, 1
001d5a99xor edx, edx
001d5a9bor r14, r15
001d5a9ecmove rdx, rcx
001d5aa2add rdx, r10
001d5aa5adc rax, 0
001d5aa9mov [rbp-256], rdx
001d5ab0or rax, [rbp-48]
001d5ab4mov [rbp-248], rax
001d5abbmovaps x0, [rbp-256]
001d5ac2
001d5ac2loc_1d5ac2:
001d5ac2add rsp, 120
001d5ac6pop rbx
001d5ac7pop r12
001d5ac9pop r13
001d5acbpop r14
001d5acdpop r15
001d5acfpop rbp
001d5ad0ret
001d5ad1
001d5ad1loc_1d5ad1:
001d5ad1movaps x0, [rip-0x1420d8]
001d5ad8jmp 0x1d5ac2
001d5ada
001d5adaloc_1d5ada:
001d5adamov rcx, r13
001d5addor rcx, r15
001d5ae0je 0x1d5bae
001d5ae6mov rcx, r8
001d5ae9or rcx, r9
001d5aecje 0x1d5bcc
001d5af2xor r10l, r10l
001d5af5shr r15, 48
001d5af9jne 0x1d5b48
001d5afbbsr rcx, r13
001d5affmov edx, 127
001d5b04cmovne rdx, rcx
001d5b08xor edx, 63
001d5b0badd dl, 64
001d5b0ebsr rdi, r14
001d5b12xor edi, 63
001d5b15test r14, r14
001d5b18movzx ecx, dl
001d5b1bcmovne ecx, edi
001d5b1eadd cl, -15
001d5b21shld r14, r13, cl
001d5b25shl r13, cl
001d5b28xor edx, edx
001d5b2atest cl, 64
001d5b2dcmovne r14, r13
001d5b31cmovne r13, rdx
001d5b35movzx ecx, cl
001d5b38mov r10l, 1
001d5b3esub r10l, ecx
001d5b41mov r12, r14
001d5b44shr r12, 32
001d5b48
001d5b48loc_1d5b48:
001d5b48shr r9, 48
001d5b4cmov [rbp-48], rsi
001d5b50mov [rbp-72], rax
001d5b54mov [rbp-64], rbx
001d5b58jne 0x1d5bea
001d5b5emov rdi, r13
001d5b61bsr rcx, r8
001d5b65mov edx, 127
001d5b6acmovne rdx, rcx
001d5b6exor edx, 63
001d5b71add dl, 64
001d5b74bsr rax, r11
001d5b78xor eax, 63
001d5b7btest r11, r11
001d5b7emovzx ecx, dl
001d5b81cmovne ecx, eax
001d5b84add cl, -15
001d5b87shld r11, r8, cl
001d5b8bshl r8, cl
001d5b8exor edx, edx
001d5b90test cl, 64
001d5b93cmovne r11, r8
001d5b97cmovne r8, rdx
001d5b9bmovzx ecx, cl
001d5b9esub r10l, ecx
001d5ba1add r10l, 1
001d5ba5mov [rbp-56], r10
001d5ba9jmp 0x1d56ed
001d5bae
001d5baeloc_1d5bae:
001d5baemov [rbp-184], rsi
001d5bb5mov [rbp-192], 0
001d5bc0movaps x0, [rbp-192]
001d5bc7jmp 0x1d5ac2
001d5bcc
001d5bccloc_1d5bcc:
001d5bccmov [rbp-200], rsi
001d5bd3mov [rbp-208], 0
001d5bdemovaps x0, [rbp-208]
001d5be5jmp 0x1d5ac2
001d5bea
001d5bealoc_1d5bea:
001d5beamov [rbp-56], r10
001d5beemov rdi, r13
001d5bf1jmp 0x1d56ed
001d5630
001d5630__multf3:
001d5630push rbp
001d5631mov rbp, rsp
001d5634push r15
001d5636push r14
001d5638push r13
001d563apush r12
001d563cpush rbx
001d563dsub rsp, 120
001d5641mov rdi, 0xffffffffffff
001d564bmovaps [rbp-288], x0
001d5652mov r13, [rbp-288]
001d5659mov rdx, [rbp-280]
001d5660mov rax, rdx
001d5663shr rax, 48
001d5667and eax, 32767
001d566cmovaps [rbp-272], x1
001d5673mov r8, [rbp-272]
001d567amov rcx, [rbp-264]
001d5681mov rbx, rcx
001d5684shr rbx, 48
001d5688and ebx, 32767
001d568emov rsi, rcx
001d5691xor rsi, rdx
001d5694mov r9, 0x8000000000000000
001d569eand rsi, r9
001d56a1mov r14, rdx
001d56a4and r14, rdi
001d56a7mov r11, rcx
001d56aaand r11, rdi
001d56adlea edi, [rax-32767]
001d56b3mov r12, r14
001d56b6shr r12, 32
001d56bacmp edi, -32766
001d56c0jb 0x1d588e
001d56c6lea edi, [rbx-32767]
001d56cccmp edi, -32767
001d56d2jbe 0x1d588e
001d56d8xor ecx, ecx
001d56damov [rbp-56], rcx
001d56demov rdi, r13
001d56e1mov [rbp-64], rbx
001d56e5mov [rbp-72], rax
001d56e9mov [rbp-48], rsi
001d56ed
001d56edloc_1d56ed:
001d56edor r12, 0x10000
001d56f4mov rdx, r11
001d56f7shr rdx, 17
001d56fbor edx, 0xffffffff80000000
001d5701mov rax, rdx
001d5704imul rax, r12
001d5708mov [rbp-112], rax
001d570cshld r11, r8, 15
001d5711shl r8, 15
001d5715mov r11l, r11l
001d5718mov rax, r11
001d571bimul rax, r12
001d571fmov [rbp-96], rax
001d5723mov r15, r8
001d5726shr r15, 32
001d572amov rax, r12
001d572dimul rax, r15
001d5731mov [rbp-104], rax
001d5735mov eax, r8l
001d5738imul r12, rax
001d573cmov r8, rax
001d573fmov r13l, r14l
001d5742mov r10, rdx
001d5745imul r10, r13
001d5749mov rax, r11
001d574cimul rax, r13
001d5750mov [rbp-88], rax
001d5754mov rcx, r13
001d5757imul rcx, r15
001d575bimul r13, r8
001d575fmov rbx, rdi
001d5762mov rsi, rdi
001d5765shr rsi, 32
001d5769mov rax, rdx
001d576cimul rax, rsi
001d5770mov r14, r11
001d5773imul r14, rsi
001d5777mov rdi, r15
001d577aimul rdi, rsi
001d577eimul rsi, r8
001d5782mov ebx, ebx
001d5784imul rdx, rbx
001d5788imul r11, rbx
001d578cimul r15, rbx
001d5790imul r8, rbx
001d5794mov [rbp-80], r8
001d5798xor r9l, r9l
001d579badd r15, rsi
001d579esetb r9b
001d57a2xor r8l, r8l
001d57a5add rdi, r13
001d57a8setb r8b
001d57acxor r13l, r13l
001d57afadd rcx, r12
001d57b2setb r13b
001d57b6add rcx, rdx
001d57b9adc r13, 0
001d57bdadd rcx, r14
001d57c0adc r13, 0
001d57c4xor ebx, ebx
001d57c6add r10, [rbp-96]
001d57casetb bl
001d57cdshld r9, r15, 32
001d57d2shl r15, 32
001d57d6xor edx, edx
001d57d8add rax, [rbp-104]
001d57dcsetb dl
001d57dfadd rax, [rbp-88]
001d57e3adc rdx, 0
001d57e7add rdi, r11
001d57eaadc rax, r8
001d57edadc rdx, [rbp-112]
001d57f1xor esi, esi
001d57f3add rdi, r9
001d57f6setb sil
001d57fashld r13, rcx, 32
001d57ffshl rcx, 32
001d5803add r15, [rbp-80]
001d5807mov r14, rdi
001d580aadc r14, rcx
001d580dshld rbx, r10, 32
001d5812shl r10, 32
001d5816add r10, rax
001d5819adc rbx, rdx
001d581cadd r10, r13
001d581fadc rbx, 0
001d5823add rcx, rdi
001d5826adc r10, rsi
001d5829adc rbx, 0
001d582dmov rax, [rbp-72]
001d5831add eax, [rbp-64]
001d5834mov rcx, [rbp-56]
001d5838add eax, ecx
001d583aadd eax, -16383
001d583fbt rbx, 48
001d5844jb 0x1d58d2
001d584ashld rbx, r10, 1
001d584fshld r10, r14, 1
001d5854shld r14, r15, 1
001d5859add r15, r15
001d585ccmp eax, 32767
001d5861jge 0x1d58dc
001d5863
001d5863loc_1d5863:
001d5863test eax, eax
001d5865jle 0x1d5976
001d586bmov rcx, -1
001d5872and r10, rcx
001d5875mov rcx, 0xffffffffffff
001d587fand rbx, rcx
001d5882shl rax, 48
001d5886or rax, rbx
001d5889jmp 0x1d5a72
001d588e
001d588eloc_1d588e:
001d588emov r9, 0x7fffffffffffffff
001d5898mov r15, rdx
001d589band r15, r9
001d589ecmp r13, 1
001d58a2mov r10, 0x7fff000000000000
001d58acmov rdi, r15
001d58afsbb rdi, r10
001d58b2jb 0x1d590b
001d58b4mov [rbp-128], r13
001d58b8mov rax, 0x800000000000
001d58c2or rdx, rax
001d58c5mov [rbp-120], rdx
001d58c9movaps x0, [rbp-128]
001d58cdjmp 0x1d5ac2
001d58d2
001d58d2loc_1d58d2:
001d58d2add eax, 1
001d58d5cmp eax, 32767
001d58dajl 0x1d5863
001d58dc
001d58dcloc_1d58dc:
001d58dcmov rax, 0x7fff000000000000
001d58e6mov rcx, [rbp-48]
001d58eaor rcx, rax
001d58edmov [rbp-216], rcx
001d58f4mov [rbp-224], 0
001d58ffmovaps x0, [rbp-224]
001d5906jmp 0x1d5ac2
001d590b
001d590bloc_1d590b:
001d590band r9, rcx
001d590ecmp r8, 1
001d5912mov rdx, r9
001d5915sbb rdx, r10
001d5918jb 0x1d5941
001d591amov [rbp-144], r8
001d5921mov rax, 0x800000000000
001d592bor rcx, rax
001d592emov [rbp-136], rcx
001d5935movaps x0, [rbp-144]
001d593cjmp 0x1d5ac2
001d5941
001d5941loc_1d5941:
001d5941mov rcx, r15
001d5944xor rcx, r10
001d5947or rcx, r13
001d594ajne 0x1d59a7
001d594cor r9, r8
001d594fje 0x1d5ad1
001d5955or rsi, r10
001d5958mov [rbp-152], rsi
001d595fmov [rbp-160], 0
001d596amovaps x0, [rbp-160]
001d5971jmp 0x1d5ac2
001d5976
001d5976loc_1d5976:
001d5976mov r9l, 1
001d597csub r9l, eax
001d597fcmp r9l, 127
001d5983jbe 0x1d59e0
001d5985mov rax, [rbp-48]
001d5989mov [rbp-232], rax
001d5990mov [rbp-240], 0
001d599bmovaps x0, [rbp-240]
001d59a2jmp 0x1d5ac2
001d59a7
001d59a7loc_1d59a7:
001d59a7mov rcx, r9
001d59aaxor rcx, r10
001d59ador rcx, r8
001d59b0jne 0x1d5ada
001d59b6or r15, r13
001d59b9je 0x1d5ad1
001d59bfor rsi, r10
001d59c2mov [rbp-168], rsi
001d59c9mov [rbp-176], 0
001d59d4movaps x0, [rbp-176]
001d59dbjmp 0x1d5ac2
001d59e0
001d59e0loc_1d59e0:
001d59e0add al, -1
001d59e2mov rdx, r15
001d59e5mov ecx, eax
001d59e7shl rdx, cl
001d59eaxor edi, edi
001d59ectest al, 64
001d59eemov r8, rdx
001d59f1cmovne r8, rdi
001d59f5mov r12, r14
001d59f8shld r12, r15, cl
001d59fctest al, 64
001d59fecmovne r12, rdx
001d5a02mov rsi, r10
001d5a05shl rsi, cl
001d5a08test al, 64
001d5a0amov r11, rsi
001d5a0dcmovne r11, rdi
001d5a11mov rdx, rbx
001d5a14shld rdx, r10, cl
001d5a18test al, 64
001d5a1acmovne rdx, rsi
001d5a1emov rsi, rbx
001d5a21mov ecx, r9l
001d5a24shr rsi, cl
001d5a27test r9b, 64
001d5a2bmov rax, rsi
001d5a2ecmovne rax, rdi
001d5a32mov ecx, r9l
001d5a35shrd r10, rbx, cl
001d5a39test r9b, 64
001d5a3dcmovne r10, rsi
001d5a41mov rsi, r14
001d5a44shr rsi, cl
001d5a47test r9b, 64
001d5a4bcmove rdi, rsi
001d5a4fshrd r15, r14, cl
001d5a53test r9b, 64
001d5a57cmovne r15, rsi
001d5a5bor rdi, rdx
001d5a5exor ecx, ecx
001d5a60or r12, r8
001d5a63setne cl
001d5a66or rcx, r15
001d5a69or rcx, r11
001d5a6cmov r15, rcx
001d5a6fmov r14, rdi
001d5a72
001d5a72loc_1d5a72:
001d5a72mov rcx, r15
001d5a75neg rcx
001d5a78mov rdx, 0x8000000000000000
001d5a82mov rcx, rdx
001d5a85sbb rcx, r14
001d5a88adc r10, 0
001d5a8cadc rax, 0
001d5a90xor r14, rdx
001d5a93mov ecx, r10l
001d5a96and ecx, 1
001d5a99xor edx, edx
001d5a9bor r14, r15
001d5a9ecmove rdx, rcx
001d5aa2add rdx, r10
001d5aa5adc rax, 0
001d5aa9mov [rbp-256], rdx
001d5ab0or rax, [rbp-48]
001d5ab4mov [rbp-248], rax
001d5abbmovaps x0, [rbp-256]
001d5ac2
001d5ac2loc_1d5ac2:
001d5ac2add rsp, 120
001d5ac6pop rbx
001d5ac7pop r12
001d5ac9pop r13
001d5acbpop r14
001d5acdpop r15
001d5acfpop rbp
001d5ad0ret
001d5ad1
001d5ad1loc_1d5ad1:
001d5ad1movaps x0, [rip-0x1420d8]
001d5ad8jmp 0x1d5ac2
001d5ada
001d5adaloc_1d5ada:
001d5adamov rcx, r13
001d5addor rcx, r15
001d5ae0je 0x1d5bae
001d5ae6mov rcx, r8
001d5ae9or rcx, r9
001d5aecje 0x1d5bcc
001d5af2xor r10l, r10l
001d5af5shr r15, 48
001d5af9jne 0x1d5b48
001d5afbbsr rcx, r13
001d5affmov edx, 127
001d5b04cmovne rdx, rcx
001d5b08xor edx, 63
001d5b0badd dl, 64
001d5b0ebsr rdi, r14
001d5b12xor edi, 63
001d5b15test r14, r14
001d5b18movzx ecx, dl
001d5b1bcmovne ecx, edi
001d5b1eadd cl, -15
001d5b21shld r14, r13, cl
001d5b25shl r13, cl
001d5b28xor edx, edx
001d5b2atest cl, 64
001d5b2dcmovne r14, r13
001d5b31cmovne r13, rdx
001d5b35movzx ecx, cl
001d5b38mov r10l, 1
001d5b3esub r10l, ecx
001d5b41mov r12, r14
001d5b44shr r12, 32
001d5b48
001d5b48loc_1d5b48:
001d5b48shr r9, 48
001d5b4cmov [rbp-48], rsi
001d5b50mov [rbp-72], rax
001d5b54mov [rbp-64], rbx
001d5b58jne 0x1d5bea
001d5b5emov rdi, r13
001d5b61bsr rcx, r8
001d5b65mov edx, 127
001d5b6acmovne rdx, rcx
001d5b6exor edx, 63
001d5b71add dl, 64
001d5b74bsr rax, r11
001d5b78xor eax, 63
001d5b7btest r11, r11
001d5b7emovzx ecx, dl
001d5b81cmovne ecx, eax
001d5b84add cl, -15
001d5b87shld r11, r8, cl
001d5b8bshl r8, cl
001d5b8exor edx, edx
001d5b90test cl, 64
001d5b93cmovne r11, r8
001d5b97cmovne r8, rdx
001d5b9bmovzx ecx, cl
001d5b9esub r10l, ecx
001d5ba1add r10l, 1
001d5ba5mov [rbp-56], r10
001d5ba9jmp 0x1d56ed
001d5bae
001d5baeloc_1d5bae:
001d5baemov [rbp-184], rsi
001d5bb5mov [rbp-192], 0
001d5bc0movaps x0, [rbp-192]
001d5bc7jmp 0x1d5ac2
001d5bcc
001d5bccloc_1d5bcc:
001d5bccmov [rbp-200], rsi
001d5bd3mov [rbp-208], 0
001d5bdemovaps x0, [rbp-208]
001d5be5jmp 0x1d5ac2
001d5bea
001d5bealoc_1d5bea:
001d5beamov [rbp-56], r10
001d5beemov rdi, r13
001d5bf1jmp 0x1d56ed
001d5630
001d5bf6
001d5bf6 // align 0x10
001d5bf6 // align 0x10
001d5c00
001d5c00math.ldexp.ldexp__anon_3546:
001d5c00push rbp
001d5c01mov rbp, rsp
001d5c04ucomiss x0, x0
001d5c07jp 0x1d5ca8
001d5c0dmovd eax, x0
001d5c11mov ecx, eax
001d5c13and ecx, 0x7f800000
001d5c19cmp ecx, 0x7f800000
001d5c1fje 0x1d5ca8
001d5c25lea esi, [rax+rax]
001d5c28cmp esi, 0xffffff
001d5c2eja 0x1d5c3c
001d5c30test esi, esi
001d5c32je 0x1d5c64
001d5c34bsr ecx, esi
001d5c37xor ecx, 31
001d5c3ajmp 0x1d5c69
001d5c3c
001d5c3cloc_1d5c3c:
001d5c3cshr esi, 24
001d5c3fmov edx, eax
001d5c41and edx, 0xffffffff80000000
001d5c47test edi, edi
001d5c49jns 0x1d5c7c
001d5c4b
001d5c4bloc_1d5c4b:
001d5c4bmov ecx, esi
001d5c4dneg ecx
001d5c4fcmp ecx, edi
001d5c51jl 0x1d5c9f
001d5c53mov ecx, -23
001d5c58sub ecx, esi
001d5c5acmp ecx, edi
001d5c5cjle 0x1d5cb6
001d5c5emovd x0, edx
001d5c62pop rbp
001d5c63ret
001d5c64
001d5c64loc_1d5c64:
001d5c64mov ecx, 32
001d5c69
001d5c69loc_1d5c69:
001d5c69mov esi, 8
001d5c6esub esi, ecx
001d5c70mov edx, eax
001d5c72and edx, 0xffffffff80000000
001d5c78test edi, edi
001d5c7ajs 0x1d5c4b
001d5c7c
001d5c7cloc_1d5c7c:
001d5c7cmov ecx, 254
001d5c81sub ecx, esi
001d5c83cmp ecx, edi
001d5c85jge 0x1d5c93
001d5c87or edx, 0x7f800000
001d5c8dmovd x0, edx
001d5c91pop rbp
001d5c92ret
001d5c93
001d5c93loc_1d5c93:
001d5c93mov r8l, esi
001d5c96add r8l, edi
001d5c99jle 0x1d5caa
001d5c9btest esi, esi
001d5c9djle 0x1d5cd3
001d5c9f
001d5c9floc_1d5c9f:
001d5c9fshl edi, 23
001d5ca2add edi, eax
001d5ca4movd x0, edi
001d5ca8
001d5ca8loc_1d5ca8:
001d5ca8pop rbp
001d5ca9ret
001d5caa
001d5caaloc_1d5caa:
001d5caamov ecx, edi
001d5cacshl eax, cl
001d5caeor eax, edx
001d5cb0movd x0, eax
001d5cb4pop rbp
001d5cb5ret
001d5cb6
001d5cb6loc_1d5cb6:
001d5cb6lea r8l, [rsi+rdi]
001d5cbaneg edi
001d5cbcmov ecx, 1
001d5cc1sub ecx, r8l
001d5cc4cmp edi, ecx
001d5cc6cmovl ecx, edi
001d5cc9test eax, eax
001d5ccbje 0x1d5cee
001d5ccdbsf r8l, eax
001d5cd1jmp 0x1d5cf4
001d5cd3
001d5cd3loc_1d5cd3:
001d5cd3shl r8l, 23
001d5cd7mov cl, 1
001d5cd9sub cl, sil
001d5cdcshl eax, cl
001d5cdeand eax, 0x7fffff
001d5ce3or eax, r8l
001d5ce6or eax, edx
001d5ce8movd x0, eax
001d5cecpop rbp
001d5cedret
001d5cee
001d5ceeloc_1d5cee:
001d5ceemov r8l, 32
001d5cf4
001d5cf4loc_1d5cf4:
001d5cf4add cl, -1
001d5cf7mov r9l, ecx
001d5cfaand r9b, 31
001d5cfexor r10l, r10l
001d5d01cmp r8b, r9b
001d5d04sete r10b
001d5d08and eax, 0x7fffff
001d5d0dxor edi, edi
001d5d0ftest esi, esi
001d5d11setg dil
001d5d15shl edi, 23
001d5d18or edi, eax
001d5d1ashr edi, cl
001d5d1cadd edi, 1
001d5d1fshr edi, 1
001d5d21not r10l
001d5d24and r10l, edi
001d5d27or r10l, edx
001d5d2amovd x0, r10l
001d5d2fpop rbp
001d5d30ret
001d5c00
001d5c00math.ldexp.ldexp__anon_3546:
001d5c00push rbp
001d5c01mov rbp, rsp
001d5c04ucomiss x0, x0
001d5c07jp 0x1d5ca8
001d5c0dmovd eax, x0
001d5c11mov ecx, eax
001d5c13and ecx, 0x7f800000
001d5c19cmp ecx, 0x7f800000
001d5c1fje 0x1d5ca8
001d5c25lea esi, [rax+rax]
001d5c28cmp esi, 0xffffff
001d5c2eja 0x1d5c3c
001d5c30test esi, esi
001d5c32je 0x1d5c64
001d5c34bsr ecx, esi
001d5c37xor ecx, 31
001d5c3ajmp 0x1d5c69
001d5c3c
001d5c3cloc_1d5c3c:
001d5c3cshr esi, 24
001d5c3fmov edx, eax
001d5c41and edx, 0xffffffff80000000
001d5c47test edi, edi
001d5c49jns 0x1d5c7c
001d5c4b
001d5c4bloc_1d5c4b:
001d5c4bmov ecx, esi
001d5c4dneg ecx
001d5c4fcmp ecx, edi
001d5c51jl 0x1d5c9f
001d5c53mov ecx, -23
001d5c58sub ecx, esi
001d5c5acmp ecx, edi
001d5c5cjle 0x1d5cb6
001d5c5emovd x0, edx
001d5c62pop rbp
001d5c63ret
001d5c64
001d5c64loc_1d5c64:
001d5c64mov ecx, 32
001d5c69
001d5c69loc_1d5c69:
001d5c69mov esi, 8
001d5c6esub esi, ecx
001d5c70mov edx, eax
001d5c72and edx, 0xffffffff80000000
001d5c78test edi, edi
001d5c7ajs 0x1d5c4b
001d5c7c
001d5c7cloc_1d5c7c:
001d5c7cmov ecx, 254
001d5c81sub ecx, esi
001d5c83cmp ecx, edi
001d5c85jge 0x1d5c93
001d5c87or edx, 0x7f800000
001d5c8dmovd x0, edx
001d5c91pop rbp
001d5c92ret
001d5c93
001d5c93loc_1d5c93:
001d5c93mov r8l, esi
001d5c96add r8l, edi
001d5c99jle 0x1d5caa
001d5c9btest esi, esi
001d5c9djle 0x1d5cd3
001d5c9f
001d5c9floc_1d5c9f:
001d5c9fshl edi, 23
001d5ca2add edi, eax
001d5ca4movd x0, edi
001d5ca8
001d5ca8loc_1d5ca8:
001d5ca8pop rbp
001d5ca9ret
001d5caa
001d5caaloc_1d5caa:
001d5caamov ecx, edi
001d5cacshl eax, cl
001d5caeor eax, edx
001d5cb0movd x0, eax
001d5cb4pop rbp
001d5cb5ret
001d5cb6
001d5cb6loc_1d5cb6:
001d5cb6lea r8l, [rsi+rdi]
001d5cbaneg edi
001d5cbcmov ecx, 1
001d5cc1sub ecx, r8l
001d5cc4cmp edi, ecx
001d5cc6cmovl ecx, edi
001d5cc9test eax, eax
001d5ccbje 0x1d5cee
001d5ccdbsf r8l, eax
001d5cd1jmp 0x1d5cf4
001d5cd3
001d5cd3loc_1d5cd3:
001d5cd3shl r8l, 23
001d5cd7mov cl, 1
001d5cd9sub cl, sil
001d5cdcshl eax, cl
001d5cdeand eax, 0x7fffff
001d5ce3or eax, r8l
001d5ce6or eax, edx
001d5ce8movd x0, eax
001d5cecpop rbp
001d5cedret
001d5cee
001d5ceeloc_1d5cee:
001d5ceemov r8l, 32
001d5cf4
001d5cf4loc_1d5cf4:
001d5cf4add cl, -1
001d5cf7mov r9l, ecx
001d5cfaand r9b, 31
001d5cfexor r10l, r10l
001d5d01cmp r8b, r9b
001d5d04sete r10b
001d5d08and eax, 0x7fffff
001d5d0dxor edi, edi
001d5d0ftest esi, esi
001d5d11setg dil
001d5d15shl edi, 23
001d5d18or edi, eax
001d5d1ashr edi, cl
001d5d1cadd edi, 1
001d5d1fshr edi, 1
001d5d21not r10l
001d5d24and r10l, edi
001d5d27or r10l, edx
001d5d2amovd x0, r10l
001d5d2fpop rbp
001d5d30ret
001d5c00
001d5d31
001d5d31 // align 0x10
001d5d31 // align 0x10
001d5d40
001d5d40math.ldexp.ldexp__anon_3550:
001d5d40push rbp
001d5d41mov rbp, rsp
001d5d44ucomisd x0, x0
001d5d48jp 0x1d5e0d
001d5d4emov rcx, 0x7ff0000000000000
001d5d58movq rdx, x0
001d5d5dmov rax, rdx
001d5d60and rax, rcx
001d5d63cmp rax, rcx
001d5d66je 0x1d5e0d
001d5d6cmov r9, 0x8000000000000000
001d5d76lea rax, [rdx+rdx]
001d5d7amov rsi, rax
001d5d7dshr rsi, 53
001d5d81je 0x1d5d9f
001d5d83and r9, rdx
001d5d86test edi, edi
001d5d88js 0x1d5dd9
001d5d8a
001d5d8aloc_1d5d8a:
001d5d8amov eax, 2046
001d5d8fsub eax, esi
001d5d91cmp eax, edi
001d5d93jge 0x1d5dae
001d5d95or r9, rcx
001d5d98movq x0, r9
001d5d9dpop rbp
001d5d9eret
001d5d9f
001d5d9floc_1d5d9f:
001d5d9ftest rax, rax
001d5da2je 0x1d5dc6
001d5da4bsr rax, rax
001d5da8xor rax, 63
001d5dacjmp 0x1d5dcb
001d5dae
001d5daeloc_1d5dae:
001d5daemov eax, esi
001d5db0add eax, edi
001d5db2jle 0x1d5e00
001d5db4test esi, esi
001d5db6jle 0x1d5e32
001d5db8shl rdi, 52
001d5dbcadd rdi, rdx
001d5dbfmovq x0, rdi
001d5dc4pop rbp
001d5dc5ret
001d5dc6
001d5dc6loc_1d5dc6:
001d5dc6mov eax, 64
001d5dcb
001d5dcbloc_1d5dcb:
001d5dcbmov esi, 11
001d5dd0sub esi, eax
001d5dd2and r9, rdx
001d5dd5test edi, edi
001d5dd7jns 0x1d5d8a
001d5dd9
001d5dd9loc_1d5dd9:
001d5dd9mov eax, edi
001d5ddbneg eax
001d5dddmov ecx, esi
001d5ddfneg ecx
001d5de1cmp ecx, edi
001d5de3jge 0x1d5dee
001d5de5shl rax, 52
001d5de9sub rdx, rax
001d5decjmp 0x1d5e08
001d5dee
001d5deeloc_1d5dee:
001d5deemov ecx, -52
001d5df3sub ecx, esi
001d5df5cmp ecx, edi
001d5df7jle 0x1d5e0f
001d5df9movq x0, r9
001d5dfepop rbp
001d5dffret
001d5e00
001d5e00loc_1d5e00:
001d5e00mov ecx, edi
001d5e02shl rdx, cl
001d5e05or rdx, r9
001d5e08
001d5e08loc_1d5e08:
001d5e08movq x0, rdx
001d5e0d
001d5e0dloc_1d5e0d:
001d5e0dpop rbp
001d5e0eret
001d5e0f
001d5e0floc_1d5e0f:
001d5e0fmov r8, 0xfffffffffffff
001d5e19add edi, esi
001d5e1bmov ecx, 1
001d5e20sub ecx, edi
001d5e22cmp eax, ecx
001d5e24cmovl ecx, eax
001d5e27test rdx, rdx
001d5e2aje 0x1d5e58
001d5e2cbsf r10, rdx
001d5e30jmp 0x1d5e5e
001d5e32
001d5e32loc_1d5e32:
001d5e32shl rax, 52
001d5e36mov cl, 1
001d5e38sub cl, sil
001d5e3bshl rdx, cl
001d5e3emov rcx, 0xfffffffffffff
001d5e48and rcx, rdx
001d5e4bor rcx, rax
001d5e4eor rcx, r9
001d5e51movq x0, rcx
001d5e56pop rbp
001d5e57ret
001d5e58
001d5e58loc_1d5e58:
001d5e58mov r10l, 64
001d5e5e
001d5e5eloc_1d5e5e:
001d5e5eadd cl, -1
001d5e61mov eax, ecx
001d5e63and al, 63
001d5e65xor edi, edi
001d5e67cmp r10b, al
001d5e6asete dil
001d5e6eand rdx, r8
001d5e71add r8, 1
001d5e75xor eax, eax
001d5e77test esi, esi
001d5e79cmovg rax, r8
001d5e7dor rax, rdx
001d5e80shr rax, cl
001d5e83add rax, 1
001d5e87shr rax, 1
001d5e8anot rdi
001d5e8dand rdi, rax
001d5e90or rdi, r9
001d5e93movq x0, rdi
001d5e98pop rbp
001d5e99ret
001d5d40
001d5d40math.ldexp.ldexp__anon_3550:
001d5d40push rbp
001d5d41mov rbp, rsp
001d5d44ucomisd x0, x0
001d5d48jp 0x1d5e0d
001d5d4emov rcx, 0x7ff0000000000000
001d5d58movq rdx, x0
001d5d5dmov rax, rdx
001d5d60and rax, rcx
001d5d63cmp rax, rcx
001d5d66je 0x1d5e0d
001d5d6cmov r9, 0x8000000000000000
001d5d76lea rax, [rdx+rdx]
001d5d7amov rsi, rax
001d5d7dshr rsi, 53
001d5d81je 0x1d5d9f
001d5d83and r9, rdx
001d5d86test edi, edi
001d5d88js 0x1d5dd9
001d5d8a
001d5d8aloc_1d5d8a:
001d5d8amov eax, 2046
001d5d8fsub eax, esi
001d5d91cmp eax, edi
001d5d93jge 0x1d5dae
001d5d95or r9, rcx
001d5d98movq x0, r9
001d5d9dpop rbp
001d5d9eret
001d5d9f
001d5d9floc_1d5d9f:
001d5d9ftest rax, rax
001d5da2je 0x1d5dc6
001d5da4bsr rax, rax
001d5da8xor rax, 63
001d5dacjmp 0x1d5dcb
001d5dae
001d5daeloc_1d5dae:
001d5daemov eax, esi
001d5db0add eax, edi
001d5db2jle 0x1d5e00
001d5db4test esi, esi
001d5db6jle 0x1d5e32
001d5db8shl rdi, 52
001d5dbcadd rdi, rdx
001d5dbfmovq x0, rdi
001d5dc4pop rbp
001d5dc5ret
001d5dc6
001d5dc6loc_1d5dc6:
001d5dc6mov eax, 64
001d5dcb
001d5dcbloc_1d5dcb:
001d5dcbmov esi, 11
001d5dd0sub esi, eax
001d5dd2and r9, rdx
001d5dd5test edi, edi
001d5dd7jns 0x1d5d8a
001d5dd9
001d5dd9loc_1d5dd9:
001d5dd9mov eax, edi
001d5ddbneg eax
001d5dddmov ecx, esi
001d5ddfneg ecx
001d5de1cmp ecx, edi
001d5de3jge 0x1d5dee
001d5de5shl rax, 52
001d5de9sub rdx, rax
001d5decjmp 0x1d5e08
001d5dee
001d5deeloc_1d5dee:
001d5deemov ecx, -52
001d5df3sub ecx, esi
001d5df5cmp ecx, edi
001d5df7jle 0x1d5e0f
001d5df9movq x0, r9
001d5dfepop rbp
001d5dffret
001d5e00
001d5e00loc_1d5e00:
001d5e00mov ecx, edi
001d5e02shl rdx, cl
001d5e05or rdx, r9
001d5e08
001d5e08loc_1d5e08:
001d5e08movq x0, rdx
001d5e0d
001d5e0dloc_1d5e0d:
001d5e0dpop rbp
001d5e0eret
001d5e0f
001d5e0floc_1d5e0f:
001d5e0fmov r8, 0xfffffffffffff
001d5e19add edi, esi
001d5e1bmov ecx, 1
001d5e20sub ecx, edi
001d5e22cmp eax, ecx
001d5e24cmovl ecx, eax
001d5e27test rdx, rdx
001d5e2aje 0x1d5e58
001d5e2cbsf r10, rdx
001d5e30jmp 0x1d5e5e
001d5e32
001d5e32loc_1d5e32:
001d5e32shl rax, 52
001d5e36mov cl, 1
001d5e38sub cl, sil
001d5e3bshl rdx, cl
001d5e3emov rcx, 0xfffffffffffff
001d5e48and rcx, rdx
001d5e4bor rcx, rax
001d5e4eor rcx, r9
001d5e51movq x0, rcx
001d5e56pop rbp
001d5e57ret
001d5e58
001d5e58loc_1d5e58:
001d5e58mov r10l, 64
001d5e5e
001d5e5eloc_1d5e5e:
001d5e5eadd cl, -1
001d5e61mov eax, ecx
001d5e63and al, 63
001d5e65xor edi, edi
001d5e67cmp r10b, al
001d5e6asete dil
001d5e6eand rdx, r8
001d5e71add r8, 1
001d5e75xor eax, eax
001d5e77test esi, esi
001d5e79cmovg rax, r8
001d5e7dor rax, rdx
001d5e80shr rax, cl
001d5e83add rax, 1
001d5e87shr rax, 1
001d5e8anot rdi
001d5e8dand rdi, rax
001d5e90or rdi, r9
001d5e93movq x0, rdi
001d5e98pop rbp
001d5e99ret
001d5d40
001d5e9a
001d5e9a // align 0x10
001d5e9a // align 0x10
001d5ea0
001d5ea0math.ldexp.ldexp__anon_3558:
001d5ea0push rbp
001d5ea1mov rbp, rsp
001d5ea4movaps [rbp-128], x0
001d5ea8mov r10, [rbp-128]
001d5eacmov rsi, [rbp-120]
001d5eb0mov rax, 0x7fffffffffffffff
001d5ebaand rax, rsi
001d5ebdmov r11, 0x7fff000000000000
001d5ec7mov rdx, r10
001d5ecaneg rdx
001d5ecdmov rdx, r11
001d5ed0sbb rdx, rax
001d5ed3jb 0x1d5f7b
001d5ed9mov rax, rsi
001d5edcand rax, r11
001d5edfcmp rax, r11
001d5ee2je 0x1d5f7b
001d5ee8mov r8, 0x8000000000000000
001d5ef2mov rax, rsi
001d5ef5shld rax, r10, 1
001d5efamov rdx, rax
001d5efdshr rdx, 49
001d5f01je 0x1d5f2a
001d5f03and r8, rsi
001d5f06test edi, edi
001d5f08js 0x1d5f5c
001d5f0a
001d5f0aloc_1d5f0a:
001d5f0amov eax, 32766
001d5f0fsub eax, edx
001d5f11cmp eax, edi
001d5f13jge 0x1d5f7d
001d5f15or r8, r11
001d5f18mov [rbp-8], r8
001d5f1cmov [rbp-16], 0
001d5f24movaps x0, [rbp-16]
001d5f28pop rbp
001d5f29ret
001d5f2a
001d5f2aloc_1d5f2a:
001d5f2alea rdx, [r10+r10]
001d5f2ebsr r9, rdx
001d5f32mov edx, 127
001d5f37cmovne rdx, r9
001d5f3bxor edx, 63
001d5f3eadd edx, 64
001d5f41bsr rcx, rax
001d5f45xor ecx, 63
001d5f48test rax, rax
001d5f4bcmove ecx, edx
001d5f4emov edx, 15
001d5f53sub edx, ecx
001d5f55and r8, rsi
001d5f58test edi, edi
001d5f5ajns 0x1d5f0a
001d5f5c
001d5f5cloc_1d5f5c:
001d5f5cmov eax, edi
001d5f5eneg eax
001d5f60mov ecx, edx
001d5f62neg ecx
001d5f64cmp ecx, edi
001d5f66jge 0x1d5fa2
001d5f68shl rax, 48
001d5f6cmov [rbp-80], r10
001d5f70sub rsi, rax
001d5f73mov [rbp-72], rsi
001d5f77movaps x0, [rbp-80]
001d5f7b
001d5f7bloc_1d5f7b:
001d5f7bpop rbp
001d5f7cret
001d5f7d
001d5f7dloc_1d5f7d:
001d5f7dmov r9l, edx
001d5f80add r9l, edi
001d5f83jle 0x1d5fbf
001d5f85test edx, edx
001d5f87jle 0x1d6079
001d5f8dshl rdi, 48
001d5f91mov [rbp-64], r10
001d5f95add rdi, rsi
001d5f98mov [rbp-56], rdi
001d5f9cmovaps x0, [rbp-64]
001d5fa0pop rbp
001d5fa1ret
001d5fa2
001d5fa2loc_1d5fa2:
001d5fa2mov ecx, -112
001d5fa7sub ecx, edx
001d5fa9cmp ecx, edi
001d5fabjle 0x1d5fe7
001d5fadmov [rbp-88], r8
001d5fb1mov [rbp-96], 0
001d5fb9movaps x0, [rbp-96]
001d5fbdpop rbp
001d5fberet
001d5fbf
001d5fbfloc_1d5fbf:
001d5fbfmov ecx, edi
001d5fc1shld rsi, r10, cl
001d5fc5shl r10, cl
001d5fc8xor eax, eax
001d5fcatest dil, 64
001d5fcecmovne rsi, r10
001d5fd2cmove rax, r10
001d5fd6mov [rbp-32], rax
001d5fdaor rsi, r8
001d5fddmov [rbp-24], rsi
001d5fe1movaps x0, [rbp-32]
001d5fe5pop rbp
001d5fe6ret
001d5fe7
001d5fe7loc_1d5fe7:
001d5fe7add edi, edx
001d5fe9mov ecx, 1
001d5feesub ecx, edi
001d5ff0cmp eax, ecx
001d5ff2cmovl ecx, eax
001d5ff5bsf rax, rsi
001d5ff9mov edi, 64
001d5ffecmovne rdi, rax
001d6002add dil, 64
001d6006bsf r9, r10
001d600amovzx edi, dil
001d600ecmove r9l, edi
001d6012add cl, -1
001d6015mov eax, ecx
001d6017and al, 127
001d6019xor edi, edi
001d601bcmp r9b, al
001d601esete dil
001d6022mov rax, 0xffffffffffff
001d602cand rax, rsi
001d602fxor esi, esi
001d6031test edx, edx
001d6033setg sil
001d6037shl rsi, 48
001d603bor rsi, rax
001d603eshrd r10, rsi, cl
001d6042shr rsi, cl
001d6045xor eax, eax
001d6047test cl, 64
001d604acmovne r10, rsi
001d604ecmove rax, rsi
001d6052add r10, 1
001d6056adc rax, 0
001d605ashrd r10, rax, 1
001d605fshr rax, 1
001d6062not rdi
001d6065and rdi, r10
001d6068or rax, r8
001d606bmov [rbp-104], rax
001d606fmov [rbp-112], rdi
001d6073movaps x0, [rbp-112]
001d6077pop rbp
001d6078ret
001d6079
001d6079loc_1d6079:
001d6079mov cl, 1
001d607bsub cl, dl
001d607dshld rsi, r10, cl
001d6081shl r10, cl
001d6084shl r9, 48
001d6088xor eax, eax
001d608atest cl, 64
001d608dcmovne rsi, r10
001d6091cmove rax, r10
001d6095mov rcx, 0xffffffffffff
001d609fand rcx, rsi
001d60a2or rcx, r9
001d60a5mov [rbp-48], rax
001d60a9or rcx, r8
001d60acmov [rbp-40], rcx
001d60b0movaps x0, [rbp-48]
001d60b4pop rbp
001d60b5ret
001d5ea0
001d5ea0math.ldexp.ldexp__anon_3558:
001d5ea0push rbp
001d5ea1mov rbp, rsp
001d5ea4movaps [rbp-128], x0
001d5ea8mov r10, [rbp-128]
001d5eacmov rsi, [rbp-120]
001d5eb0mov rax, 0x7fffffffffffffff
001d5ebaand rax, rsi
001d5ebdmov r11, 0x7fff000000000000
001d5ec7mov rdx, r10
001d5ecaneg rdx
001d5ecdmov rdx, r11
001d5ed0sbb rdx, rax
001d5ed3jb 0x1d5f7b
001d5ed9mov rax, rsi
001d5edcand rax, r11
001d5edfcmp rax, r11
001d5ee2je 0x1d5f7b
001d5ee8mov r8, 0x8000000000000000
001d5ef2mov rax, rsi
001d5ef5shld rax, r10, 1
001d5efamov rdx, rax
001d5efdshr rdx, 49
001d5f01je 0x1d5f2a
001d5f03and r8, rsi
001d5f06test edi, edi
001d5f08js 0x1d5f5c
001d5f0a
001d5f0aloc_1d5f0a:
001d5f0amov eax, 32766
001d5f0fsub eax, edx
001d5f11cmp eax, edi
001d5f13jge 0x1d5f7d
001d5f15or r8, r11
001d5f18mov [rbp-8], r8
001d5f1cmov [rbp-16], 0
001d5f24movaps x0, [rbp-16]
001d5f28pop rbp
001d5f29ret
001d5f2a
001d5f2aloc_1d5f2a:
001d5f2alea rdx, [r10+r10]
001d5f2ebsr r9, rdx
001d5f32mov edx, 127
001d5f37cmovne rdx, r9
001d5f3bxor edx, 63
001d5f3eadd edx, 64
001d5f41bsr rcx, rax
001d5f45xor ecx, 63
001d5f48test rax, rax
001d5f4bcmove ecx, edx
001d5f4emov edx, 15
001d5f53sub edx, ecx
001d5f55and r8, rsi
001d5f58test edi, edi
001d5f5ajns 0x1d5f0a
001d5f5c
001d5f5cloc_1d5f5c:
001d5f5cmov eax, edi
001d5f5eneg eax
001d5f60mov ecx, edx
001d5f62neg ecx
001d5f64cmp ecx, edi
001d5f66jge 0x1d5fa2
001d5f68shl rax, 48
001d5f6cmov [rbp-80], r10
001d5f70sub rsi, rax
001d5f73mov [rbp-72], rsi
001d5f77movaps x0, [rbp-80]
001d5f7b
001d5f7bloc_1d5f7b:
001d5f7bpop rbp
001d5f7cret
001d5f7d
001d5f7dloc_1d5f7d:
001d5f7dmov r9l, edx
001d5f80add r9l, edi
001d5f83jle 0x1d5fbf
001d5f85test edx, edx
001d5f87jle 0x1d6079
001d5f8dshl rdi, 48
001d5f91mov [rbp-64], r10
001d5f95add rdi, rsi
001d5f98mov [rbp-56], rdi
001d5f9cmovaps x0, [rbp-64]
001d5fa0pop rbp
001d5fa1ret
001d5fa2
001d5fa2loc_1d5fa2:
001d5fa2mov ecx, -112
001d5fa7sub ecx, edx
001d5fa9cmp ecx, edi
001d5fabjle 0x1d5fe7
001d5fadmov [rbp-88], r8
001d5fb1mov [rbp-96], 0
001d5fb9movaps x0, [rbp-96]
001d5fbdpop rbp
001d5fberet
001d5fbf
001d5fbfloc_1d5fbf:
001d5fbfmov ecx, edi
001d5fc1shld rsi, r10, cl
001d5fc5shl r10, cl
001d5fc8xor eax, eax
001d5fcatest dil, 64
001d5fcecmovne rsi, r10
001d5fd2cmove rax, r10
001d5fd6mov [rbp-32], rax
001d5fdaor rsi, r8
001d5fddmov [rbp-24], rsi
001d5fe1movaps x0, [rbp-32]
001d5fe5pop rbp
001d5fe6ret
001d5fe7
001d5fe7loc_1d5fe7:
001d5fe7add edi, edx
001d5fe9mov ecx, 1
001d5feesub ecx, edi
001d5ff0cmp eax, ecx
001d5ff2cmovl ecx, eax
001d5ff5bsf rax, rsi
001d5ff9mov edi, 64
001d5ffecmovne rdi, rax
001d6002add dil, 64
001d6006bsf r9, r10
001d600amovzx edi, dil
001d600ecmove r9l, edi
001d6012add cl, -1
001d6015mov eax, ecx
001d6017and al, 127
001d6019xor edi, edi
001d601bcmp r9b, al
001d601esete dil
001d6022mov rax, 0xffffffffffff
001d602cand rax, rsi
001d602fxor esi, esi
001d6031test edx, edx
001d6033setg sil
001d6037shl rsi, 48
001d603bor rsi, rax
001d603eshrd r10, rsi, cl
001d6042shr rsi, cl
001d6045xor eax, eax
001d6047test cl, 64
001d604acmovne r10, rsi
001d604ecmove rax, rsi
001d6052add r10, 1
001d6056adc rax, 0
001d605ashrd r10, rax, 1
001d605fshr rax, 1
001d6062not rdi
001d6065and rdi, r10
001d6068or rax, r8
001d606bmov [rbp-104], rax
001d606fmov [rbp-112], rdi
001d6073movaps x0, [rbp-112]
001d6077pop rbp
001d6078ret
001d6079
001d6079loc_1d6079:
001d6079mov cl, 1
001d607bsub cl, dl
001d607dshld rsi, r10, cl
001d6081shl r10, cl
001d6084shl r9, 48
001d6088xor eax, eax
001d608atest cl, 64
001d608dcmovne rsi, r10
001d6091cmove rax, r10
001d6095mov rcx, 0xffffffffffff
001d609fand rcx, rsi
001d60a2or rcx, r9
001d60a5mov [rbp-48], rax
001d60a9or rcx, r8
001d60acmov [rbp-40], rcx
001d60b0movaps x0, [rbp-48]
001d60b4pop rbp
001d60b5ret
001d5ea0
001d60b6
001d60b6 // align 0x10
001d60b6 // align 0x10
001d60c0
001d60c0__divtf3:
001d60c0push rbp
001d60c1mov rbp, rsp
001d60c4push r15
001d60c6push r14
001d60c8push r13
001d60capush r12
001d60ccpush rbx
001d60cdsub rsp, 136
001d60d4mov rsi, 0xffffffffffff
001d60demovaps [rbp-304], x0
001d60e5mov r13, [rbp-304]
001d60ecmov rdi, [rbp-296]
001d60f3mov r11, rdi
001d60f6shr r11, 48
001d60faand r11l, 32767
001d6101movaps [rbp-288], x1
001d6108mov r10, [rbp-288]
001d610fmov rcx, [rbp-280]
001d6116mov rax, rcx
001d6119shr rax, 48
001d611dand eax, 32767
001d6122mov rdx, rcx
001d6125xor rdx, rdi
001d6128mov r9, 0x8000000000000000
001d6132and r9, rdx
001d6135mov r12, rdi
001d6138and r12, rsi
001d613bmov r14, rcx
001d613eand r14, rsi
001d6141lea edx, [r11-32767]
001d6148cmp edx, -32766
001d614ejb 0x1d658d
001d6154xor ebx, ebx
001d6156lea edx, [rax-32767]
001d615ccmp edx, -32767
001d6162jbe 0x1d658d
001d6168mov [rbp-48], r9
001d616c
001d616cloc_1d616c:
001d616cmov [rbp-80], r14
001d6170mov [rbp-56], r10
001d6174mov [rbp-88], r13
001d6178mov rcx, 0x1000000000000
001d6182or rcx, r14
001d6185sub r11l, eax
001d6188mov [rbp-72], rcx
001d618cshld rcx, r10, 15
001d6191add r11l, ebx
001d6194mov [rbp-96], r11
001d6198mov rsi, 0x7504f333f9de6484
001d61a2sub rsi, rcx
001d61a5mov rax, rcx
001d61a8mul rsi
001d61abmov rax, rdx
001d61aeneg rax
001d61b1mul rsi
001d61b4mov rsi, rax
001d61b7shrd rsi, rdx, 63
001d61bcmov rax, rsi
001d61bfmul rcx
001d61c2mov rdi, rdx
001d61c5neg rdi
001d61c8mov rax, rsi
001d61cbmul rdi
001d61cemov rsi, rax
001d61d1shrd rsi, rdx, 63
001d61d6mov rax, rsi
001d61d9mul rcx
001d61dcmov rdi, rdx
001d61dfneg rdi
001d61e2mov rax, rsi
001d61e5mul rdi
001d61e8mov rsi, rax
001d61ebshrd rsi, rdx, 63
001d61f0mov rax, rsi
001d61f3mul rcx
001d61f6mov rdi, rdx
001d61f9neg rdi
001d61fcmov rax, rsi
001d61ffmul rdi
001d6202mov rsi, rax
001d6205shrd rsi, rdx, 63
001d620amov rax, rsi
001d620dmul rcx
001d6210mov rdi, rdx
001d6213neg rdi
001d6216mov rax, rsi
001d6219mul rdi
001d621cshld rdx, rax, 1
001d6221add rdx, -1
001d6225mov rbx, r10
001d6228shl rbx, 15
001d622cmov r8l, ecx
001d622fshr rcx, 32
001d6233mov r9l, edx
001d6236shr rdx, 32
001d623amov rsi, rdx
001d623dimul rsi, rcx
001d6241mov rax, rdx
001d6244imul rax, r8
001d6248imul rcx, r9
001d624cimul r8, r9
001d6250xor r11l, r11l
001d6253add rcx, rax
001d6256setb r11b
001d625ashld r11, rcx, 32
001d625fshl rcx, 32
001d6263add r11, rsi
001d6266mov eax, ebx
001d6268shr rbx, 32
001d626cmov r10, rdx
001d626fimul r10, rbx
001d6273mov rsi, rdx
001d6276imul rsi, rax
001d627aimul rbx, r9
001d627eimul rax, r9
001d6282xor edi, edi
001d6284add rbx, rsi
001d6287setb dil
001d628bshld rdi, rbx, 32
001d6290shl rbx, 32
001d6294add rbx, rax
001d6297adc rdi, r10
001d629asetb al
001d629dmovzx eax, al
001d62a0xor esi, esi
001d62a2add rcx, r8
001d62a5setb sil
001d62a9add rcx, rdi
001d62acadc rsi, rax
001d62afadd rsi, r11
001d62b2xor edi, edi
001d62b4neg rcx
001d62b7sbb rdi, rsi
001d62bamov r10l, edi
001d62bdshr rdi, 32
001d62c1mov r8, rdi
001d62c4imul r8, rdx
001d62c8mov rax, r10
001d62cbimul rax, rdx
001d62cfimul rdi, r9
001d62d3imul r10, r9
001d62d7xor esi, esi
001d62d9add rdi, rax
001d62dcsetb sil
001d62e0shld rsi, rdi, 32
001d62e5shl rdi, 32
001d62e9mov eax, ecx
001d62ebshr rcx, 32
001d62efmov r11, rcx
001d62f2imul r11, rdx
001d62f6imul rdx, rax
001d62faimul rcx, r9
001d62feimul rax, r9
001d6302xor ebx, ebx
001d6304add rcx, rdx
001d6307setb bl
001d630ashld rbx, rcx, 32
001d630fshl rcx, 32
001d6313add rcx, rax
001d6316adc rbx, r11
001d6319setb al
001d631cadd rdi, r10
001d631fadc rsi, r8
001d6322movzx eax, al
001d6325add rdi, rbx
001d6328adc rsi, rax
001d632badd rdi, -2
001d632fadc rsi, -1
001d6333mov rcx, r12
001d6336shr rcx, 30
001d633aor ecx, 0x40000
001d6340mov r9, rcx
001d6343mov r15l, esi
001d6346mov rax, r15
001d6349imul rax, rcx
001d634dmov [rbp-64], rax
001d6351mov r10l, edi
001d6354shr rdi, 32
001d6358mov rax, rdi
001d635bimul rax, rcx
001d635fmov [rbp-112], rax
001d6363imul rcx, r10
001d6367shld r12, r13, 2
001d636cmov r12l, r12l
001d636fmov r14, r12
001d6372mov rax, r15
001d6375imul rax, r12
001d6379mov [rbp-104], rax
001d637dmov rdx, rdi
001d6380imul rdx, r12
001d6384imul r12, r10
001d6388lea r8, [4*r13]
001d6390mov r13, r8
001d6393shr r13, 32
001d6397mov rbx, r15
001d639aimul rbx, r13
001d639emov rax, rdi
001d63a1imul rax, r13
001d63a5mov r11, r13
001d63a8imul r13, r10
001d63acmov r8l, r8l
001d63afshr rsi, 32
001d63b3imul r9, rsi
001d63b7imul r14, rsi
001d63bbimul r11, rsi
001d63bfimul rsi, r8
001d63c3imul r15, r8
001d63c7imul rdi, r8
001d63cbxor r10l, r10l
001d63ceadd rdi, r13
001d63d1setb r10b
001d63d5xor r13l, r13l
001d63d8add rax, r12
001d63dbsetb r13b
001d63dfxor r12l, r12l
001d63e2add rdx, rcx
001d63e5setb r12b
001d63e9add rdx, rsi
001d63ecadc r12, 0
001d63f0add rdx, rbx
001d63f3adc r12, 0
001d63f7xor ecx, ecx
001d63f9add r14, [rbp-64]
001d63fdsetb cl
001d6400shld r10, rdi, 32
001d6405xor edi, edi
001d6407add r11, [rbp-112]
001d640bsetb dil
001d640fadd r11, [rbp-104]
001d6413adc rdi, 0
001d6417add rax, r15
001d641aadc r11, r13
001d641dadc rdi, r9
001d6420xor esi, esi
001d6422add rax, r10
001d6425setb sil
001d6429shld r12, rdx, 32
001d642eshl rdx, 32
001d6432shld rcx, r14, 32
001d6437shl r14, 32
001d643badd r14, r11
001d643eadc rcx, rdi
001d6441add r14, r12
001d6444adc rcx, 0
001d6448add rdx, rax
001d644badc r14, rsi
001d644eadc rcx, 0
001d6452mov rax, rcx
001d6455shr rax, 49
001d6459jne 0x1d65d5
001d645fmov r15, rcx
001d6462shr r15, 32
001d6466mov r9, [rbp-72]
001d646amov rax, r9
001d646dshr rax, 32
001d6471mov r8, [rbp-80]
001d6475mov esi, r8l
001d6478mov rdi, [rbp-56]
001d647cmov rdx, rdi
001d647fshr rdx, 32
001d6483mov ebx, edi
001d6485imul r15l, edi
001d6489mov r13l, ecx
001d648cmov r10l, edx
001d648fimul r10l, ecx
001d6493imul r13, rbx
001d6497mov rdi, r14
001d649ashr rdi, 32
001d649eimul r8l, edi
001d64a2mov r11, rdi
001d64a5imul r11, rdx
001d64a9imul rdi, rbx
001d64admov r12l, r14l
001d64b0imul eax, r14l
001d64b4imul rsi, r12
001d64b8imul rdx, r12
001d64bcimul r12, rbx
001d64c0xor ebx, ebx
001d64c2add rdx, rdi
001d64c5setb bl
001d64c8add eax, r15l
001d64cbadd eax, r8l
001d64ceadd eax, r10l
001d64d1add rsi, r11
001d64d4add rsi, r13
001d64d7shld rbx, rdx, 32
001d64dcadd rsi, rbx
001d64dfshl rdx, 32
001d64e3shl rax, 32
001d64e7add rax, rsi
001d64eamov rbx, [rbp-88]
001d64eeshl rbx, 49
001d64f2xor esi, esi
001d64f4add rdx, r12
001d64f7setb sil
001d64fbneg rdx
001d64fesbb rbx, rsi
001d6501sub rbx, rax
001d6504mov rsi, [rbp-96]
001d6508add esi, -1
001d650bmov r10, 0xffffffffffff
001d6515mov rdi, r9
001d6518cmp esi, 16384
001d651ejge 0x1d66a8
001d6524
001d6524loc_1d6524:
001d6524mov r8, -1
001d652blea eax, [rsi+16383]
001d6531cmp esi, -16383
001d6537jg 0x1d670d
001d653dtest eax, eax
001d653fjne 0x1d656b
001d6541shld rbx, rdx, 1
001d6546add rdx, rdx
001d6549and rcx, r10
001d654cand r14, r8
001d654fcmp [rbp-56], rdx
001d6553sbb rdi, rbx
001d6556adc r14, 0
001d655aadc rcx, 0
001d655emov rax, rcx
001d6561shr rax, 48
001d6565jne 0x1d6878
001d656b
001d656bloc_1d656b:
001d656bmov rax, [rbp-48]
001d656fmov [rbp-232], rax
001d6576mov [rbp-240], 0
001d6581movaps x0, [rbp-240]
001d6588jmp 0x1d68d3
001d658d
001d658dloc_1d658d:
001d658dmov rdx, 0x7fffffffffffffff
001d6597mov rsi, rdi
001d659aand rsi, rdx
001d659dcmp r13, 1
001d65a1mov r8, 0x7fff000000000000
001d65abmov rbx, rsi
001d65aesbb rbx, r8
001d65b1jb 0x1d66d7
001d65b7mov [rbp-128], r13
001d65bbmov rax, 0x800000000000
001d65c5or rdi, rax
001d65c8mov [rbp-120], rdi
001d65ccmovaps x0, [rbp-128]
001d65d0jmp 0x1d68d3
001d65d5
001d65d5loc_1d65d5:
001d65d5mov rsi, rcx
001d65d8shld rsi, r14, 63
001d65ddshr r14, 1
001d65e0mov r10, rcx
001d65e3shr r10, 1
001d65e6shr rcx, 33
001d65eamov r12, [rbp-72]
001d65eeshr r12, 32
001d65f2mov r8, [rbp-80]
001d65f6mov r11l, r8l
001d65f9mov rax, [rbp-56]
001d65fdmov rdx, rax
001d6600shr rdx, 32
001d6604mov r15l, eax
001d6607imul ecx, eax
001d660amov r9l, r10l
001d660dmov edi, edx
001d660fimul edi, r10l
001d6613imul r9, r15
001d6617mov [rbp-64], rsi
001d661bmov r13l, esi
001d661eshr rsi, 32
001d6622imul r8l, esi
001d6626imul r12l, r14l
001d662amov rbx, rsi
001d662dimul rbx, rdx
001d6631imul rsi, r15
001d6635imul r11, r13
001d6639imul rdx, r13
001d663dimul r13, r15
001d6641xor eax, eax
001d6643add rdx, rsi
001d6646setb al
001d6649add rbx, r9
001d664cadd rbx, r11
001d664fadd edi, ecx
001d6651add edi, r12l
001d6654shld rax, rdx, 32
001d6659add edi, r8l
001d665cadd rax, rbx
001d665fshl rdx, 32
001d6663shl rdi, 32
001d6667add rdi, rax
001d666amov rbx, [rbp-88]
001d666eshl rbx, 48
001d6672xor eax, eax
001d6674add rdx, r13
001d6677setb al
001d667aneg rdx
001d667dsbb rbx, rax
001d6680sub rbx, rdi
001d6683mov r14, [rbp-64]
001d6687mov rcx, r10
001d668amov r10, 0xffffffffffff
001d6694mov rsi, [rbp-96]
001d6698mov rdi, [rbp-72]
001d669ccmp esi, 16384
001d66a2jl 0x1d6524
001d66a8
001d66a8loc_1d66a8:
001d66a8mov rax, 0x7fff000000000000
001d66b2mov rcx, [rbp-48]
001d66b6or rcx, rax
001d66b9mov [rbp-216], rcx
001d66c0mov [rbp-224], 0
001d66cbmovaps x0, [rbp-224]
001d66d2jmp 0x1d68d3
001d66d7
001d66d7loc_1d66d7:
001d66d7and rdx, rcx
001d66dacmp r10, 1
001d66demov rdi, rdx
001d66e1sbb rdi, r8
001d66e4jb 0x1d6754
001d66e6mov [rbp-144], r10
001d66edmov rax, 0x800000000000
001d66f7or rcx, rax
001d66famov [rbp-136], rcx
001d6701movaps x0, [rbp-144]
001d6708jmp 0x1d68d3
001d670d
001d670dloc_1d670d:
001d670dshld rbx, rdx, 1
001d6712add rdx, rdx
001d6715cmp rdx, [rbp-56]
001d6719sbb rbx, rdi
001d671csetae dl
001d671fand r14, r8
001d6722and rcx, r10
001d6725shl rax, 48
001d6729or rax, rcx
001d672cmovzx ecx, dl
001d672fadd rcx, r14
001d6732adc rax, 0
001d6736mov [rbp-272], rcx
001d673dor rax, [rbp-48]
001d6741mov [rbp-264], rax
001d6748movaps x0, [rbp-272]
001d674fjmp 0x1d68d3
001d6754
001d6754loc_1d6754:
001d6754mov rcx, rsi
001d6757xor rcx, r8
001d675aor rcx, r13
001d675djne 0x1d6773
001d675fxor rdx, r8
001d6762or rdx, r10
001d6765jne 0x1d679c
001d6767
001d6767loc_1d6767:
001d6767movaps x0, [rip-0x142c6e]
001d676ejmp 0x1d68d3
001d6773
001d6773loc_1d6773:
001d6773mov rcx, rdx
001d6776xor rcx, r8
001d6779or rcx, r10
001d677cjne 0x1d67bd
001d677emov [rbp-168], r9
001d6785mov [rbp-176], 0
001d6790movaps x0, [rbp-176]
001d6797jmp 0x1d68d3
001d679c
001d679cloc_1d679c:
001d679cor r9, r8
001d679fmov [rbp-152], r9
001d67a6mov [rbp-160], 0
001d67b1movaps x0, [rbp-160]
001d67b8jmp 0x1d68d3
001d67bd
001d67bdloc_1d67bd:
001d67bdmov rcx, r13
001d67c0or rcx, rsi
001d67c3je 0x1d6893
001d67c9mov rcx, r10
001d67ccor rcx, rdx
001d67cfje 0x1d68b7
001d67d5xor ebx, ebx
001d67d7shr rsi, 48
001d67dbjne 0x1d6823
001d67ddbsr rcx, r13
001d67e1mov esi, 127
001d67e6cmovne rsi, rcx
001d67eaxor esi, 63
001d67edadd sil, 64
001d67f1bsr rdi, r12
001d67f5xor edi, 63
001d67f8test r12, r12
001d67fbmovzx ecx, sil
001d67ffcmovne ecx, edi
001d6802add cl, -15
001d6805shld r12, r13, cl
001d6809shl r13, cl
001d680cxor esi, esi
001d680etest cl, 64
001d6811cmovne r12, r13
001d6815cmovne r13, rsi
001d6819movzx ecx, cl
001d681cmov ebx, 1
001d6821sub ebx, ecx
001d6823
001d6823loc_1d6823:
001d6823mov [rbp-48], r9
001d6827shr rdx, 48
001d682bjne 0x1d616c
001d6831bsr rcx, r10
001d6835mov edx, 127
001d683acmovne rdx, rcx
001d683exor edx, 63
001d6841add dl, 64
001d6844bsr rsi, r14
001d6848xor esi, 63
001d684btest r14, r14
001d684emovzx ecx, dl
001d6851cmovne ecx, esi
001d6854add cl, -15
001d6857shld r14, r10, cl
001d685bshl r10, cl
001d685exor edx, edx
001d6860test cl, 64
001d6863cmovne r14, r10
001d6867cmovne r10, rdx
001d686bmovzx ecx, cl
001d686eadd ebx, ecx
001d6870add ebx, -1
001d6873jmp 0x1d616c
001d6878
001d6878loc_1d6878:
001d6878mov [rbp-256], r14
001d687for rcx, [rbp-48]
001d6883mov [rbp-248], rcx
001d688amovaps x0, [rbp-256]
001d6891jmp 0x1d68d3
001d6893
001d6893loc_1d6893:
001d6893or rdx, r10
001d6896mov [rbp-184], r9
001d689dmov [rbp-192], 0
001d68a8je 0x1d6767
001d68aemovaps x0, [rbp-192]
001d68b5jmp 0x1d68d3
001d68b7
001d68b7loc_1d68b7:
001d68b7or r9, r8
001d68bamov [rbp-200], r9
001d68c1mov [rbp-208], 0
001d68ccmovaps x0, [rbp-208]
001d68d3
001d68d3loc_1d68d3:
001d68d3add rsp, 136
001d68dapop rbx
001d68dbpop r12
001d68ddpop r13
001d68dfpop r14
001d68e1pop r15
001d68e3pop rbp
001d68e4ret
001d60c0
001d60c0__divtf3:
001d60c0push rbp
001d60c1mov rbp, rsp
001d60c4push r15
001d60c6push r14
001d60c8push r13
001d60capush r12
001d60ccpush rbx
001d60cdsub rsp, 136
001d60d4mov rsi, 0xffffffffffff
001d60demovaps [rbp-304], x0
001d60e5mov r13, [rbp-304]
001d60ecmov rdi, [rbp-296]
001d60f3mov r11, rdi
001d60f6shr r11, 48
001d60faand r11l, 32767
001d6101movaps [rbp-288], x1
001d6108mov r10, [rbp-288]
001d610fmov rcx, [rbp-280]
001d6116mov rax, rcx
001d6119shr rax, 48
001d611dand eax, 32767
001d6122mov rdx, rcx
001d6125xor rdx, rdi
001d6128mov r9, 0x8000000000000000
001d6132and r9, rdx
001d6135mov r12, rdi
001d6138and r12, rsi
001d613bmov r14, rcx
001d613eand r14, rsi
001d6141lea edx, [r11-32767]
001d6148cmp edx, -32766
001d614ejb 0x1d658d
001d6154xor ebx, ebx
001d6156lea edx, [rax-32767]
001d615ccmp edx, -32767
001d6162jbe 0x1d658d
001d6168mov [rbp-48], r9
001d616c
001d616cloc_1d616c:
001d616cmov [rbp-80], r14
001d6170mov [rbp-56], r10
001d6174mov [rbp-88], r13
001d6178mov rcx, 0x1000000000000
001d6182or rcx, r14
001d6185sub r11l, eax
001d6188mov [rbp-72], rcx
001d618cshld rcx, r10, 15
001d6191add r11l, ebx
001d6194mov [rbp-96], r11
001d6198mov rsi, 0x7504f333f9de6484
001d61a2sub rsi, rcx
001d61a5mov rax, rcx
001d61a8mul rsi
001d61abmov rax, rdx
001d61aeneg rax
001d61b1mul rsi
001d61b4mov rsi, rax
001d61b7shrd rsi, rdx, 63
001d61bcmov rax, rsi
001d61bfmul rcx
001d61c2mov rdi, rdx
001d61c5neg rdi
001d61c8mov rax, rsi
001d61cbmul rdi
001d61cemov rsi, rax
001d61d1shrd rsi, rdx, 63
001d61d6mov rax, rsi
001d61d9mul rcx
001d61dcmov rdi, rdx
001d61dfneg rdi
001d61e2mov rax, rsi
001d61e5mul rdi
001d61e8mov rsi, rax
001d61ebshrd rsi, rdx, 63
001d61f0mov rax, rsi
001d61f3mul rcx
001d61f6mov rdi, rdx
001d61f9neg rdi
001d61fcmov rax, rsi
001d61ffmul rdi
001d6202mov rsi, rax
001d6205shrd rsi, rdx, 63
001d620amov rax, rsi
001d620dmul rcx
001d6210mov rdi, rdx
001d6213neg rdi
001d6216mov rax, rsi
001d6219mul rdi
001d621cshld rdx, rax, 1
001d6221add rdx, -1
001d6225mov rbx, r10
001d6228shl rbx, 15
001d622cmov r8l, ecx
001d622fshr rcx, 32
001d6233mov r9l, edx
001d6236shr rdx, 32
001d623amov rsi, rdx
001d623dimul rsi, rcx
001d6241mov rax, rdx
001d6244imul rax, r8
001d6248imul rcx, r9
001d624cimul r8, r9
001d6250xor r11l, r11l
001d6253add rcx, rax
001d6256setb r11b
001d625ashld r11, rcx, 32
001d625fshl rcx, 32
001d6263add r11, rsi
001d6266mov eax, ebx
001d6268shr rbx, 32
001d626cmov r10, rdx
001d626fimul r10, rbx
001d6273mov rsi, rdx
001d6276imul rsi, rax
001d627aimul rbx, r9
001d627eimul rax, r9
001d6282xor edi, edi
001d6284add rbx, rsi
001d6287setb dil
001d628bshld rdi, rbx, 32
001d6290shl rbx, 32
001d6294add rbx, rax
001d6297adc rdi, r10
001d629asetb al
001d629dmovzx eax, al
001d62a0xor esi, esi
001d62a2add rcx, r8
001d62a5setb sil
001d62a9add rcx, rdi
001d62acadc rsi, rax
001d62afadd rsi, r11
001d62b2xor edi, edi
001d62b4neg rcx
001d62b7sbb rdi, rsi
001d62bamov r10l, edi
001d62bdshr rdi, 32
001d62c1mov r8, rdi
001d62c4imul r8, rdx
001d62c8mov rax, r10
001d62cbimul rax, rdx
001d62cfimul rdi, r9
001d62d3imul r10, r9
001d62d7xor esi, esi
001d62d9add rdi, rax
001d62dcsetb sil
001d62e0shld rsi, rdi, 32
001d62e5shl rdi, 32
001d62e9mov eax, ecx
001d62ebshr rcx, 32
001d62efmov r11, rcx
001d62f2imul r11, rdx
001d62f6imul rdx, rax
001d62faimul rcx, r9
001d62feimul rax, r9
001d6302xor ebx, ebx
001d6304add rcx, rdx
001d6307setb bl
001d630ashld rbx, rcx, 32
001d630fshl rcx, 32
001d6313add rcx, rax
001d6316adc rbx, r11
001d6319setb al
001d631cadd rdi, r10
001d631fadc rsi, r8
001d6322movzx eax, al
001d6325add rdi, rbx
001d6328adc rsi, rax
001d632badd rdi, -2
001d632fadc rsi, -1
001d6333mov rcx, r12
001d6336shr rcx, 30
001d633aor ecx, 0x40000
001d6340mov r9, rcx
001d6343mov r15l, esi
001d6346mov rax, r15
001d6349imul rax, rcx
001d634dmov [rbp-64], rax
001d6351mov r10l, edi
001d6354shr rdi, 32
001d6358mov rax, rdi
001d635bimul rax, rcx
001d635fmov [rbp-112], rax
001d6363imul rcx, r10
001d6367shld r12, r13, 2
001d636cmov r12l, r12l
001d636fmov r14, r12
001d6372mov rax, r15
001d6375imul rax, r12
001d6379mov [rbp-104], rax
001d637dmov rdx, rdi
001d6380imul rdx, r12
001d6384imul r12, r10
001d6388lea r8, [4*r13]
001d6390mov r13, r8
001d6393shr r13, 32
001d6397mov rbx, r15
001d639aimul rbx, r13
001d639emov rax, rdi
001d63a1imul rax, r13
001d63a5mov r11, r13
001d63a8imul r13, r10
001d63acmov r8l, r8l
001d63afshr rsi, 32
001d63b3imul r9, rsi
001d63b7imul r14, rsi
001d63bbimul r11, rsi
001d63bfimul rsi, r8
001d63c3imul r15, r8
001d63c7imul rdi, r8
001d63cbxor r10l, r10l
001d63ceadd rdi, r13
001d63d1setb r10b
001d63d5xor r13l, r13l
001d63d8add rax, r12
001d63dbsetb r13b
001d63dfxor r12l, r12l
001d63e2add rdx, rcx
001d63e5setb r12b
001d63e9add rdx, rsi
001d63ecadc r12, 0
001d63f0add rdx, rbx
001d63f3adc r12, 0
001d63f7xor ecx, ecx
001d63f9add r14, [rbp-64]
001d63fdsetb cl
001d6400shld r10, rdi, 32
001d6405xor edi, edi
001d6407add r11, [rbp-112]
001d640bsetb dil
001d640fadd r11, [rbp-104]
001d6413adc rdi, 0
001d6417add rax, r15
001d641aadc r11, r13
001d641dadc rdi, r9
001d6420xor esi, esi
001d6422add rax, r10
001d6425setb sil
001d6429shld r12, rdx, 32
001d642eshl rdx, 32
001d6432shld rcx, r14, 32
001d6437shl r14, 32
001d643badd r14, r11
001d643eadc rcx, rdi
001d6441add r14, r12
001d6444adc rcx, 0
001d6448add rdx, rax
001d644badc r14, rsi
001d644eadc rcx, 0
001d6452mov rax, rcx
001d6455shr rax, 49
001d6459jne 0x1d65d5
001d645fmov r15, rcx
001d6462shr r15, 32
001d6466mov r9, [rbp-72]
001d646amov rax, r9
001d646dshr rax, 32
001d6471mov r8, [rbp-80]
001d6475mov esi, r8l
001d6478mov rdi, [rbp-56]
001d647cmov rdx, rdi
001d647fshr rdx, 32
001d6483mov ebx, edi
001d6485imul r15l, edi
001d6489mov r13l, ecx
001d648cmov r10l, edx
001d648fimul r10l, ecx
001d6493imul r13, rbx
001d6497mov rdi, r14
001d649ashr rdi, 32
001d649eimul r8l, edi
001d64a2mov r11, rdi
001d64a5imul r11, rdx
001d64a9imul rdi, rbx
001d64admov r12l, r14l
001d64b0imul eax, r14l
001d64b4imul rsi, r12
001d64b8imul rdx, r12
001d64bcimul r12, rbx
001d64c0xor ebx, ebx
001d64c2add rdx, rdi
001d64c5setb bl
001d64c8add eax, r15l
001d64cbadd eax, r8l
001d64ceadd eax, r10l
001d64d1add rsi, r11
001d64d4add rsi, r13
001d64d7shld rbx, rdx, 32
001d64dcadd rsi, rbx
001d64dfshl rdx, 32
001d64e3shl rax, 32
001d64e7add rax, rsi
001d64eamov rbx, [rbp-88]
001d64eeshl rbx, 49
001d64f2xor esi, esi
001d64f4add rdx, r12
001d64f7setb sil
001d64fbneg rdx
001d64fesbb rbx, rsi
001d6501sub rbx, rax
001d6504mov rsi, [rbp-96]
001d6508add esi, -1
001d650bmov r10, 0xffffffffffff
001d6515mov rdi, r9
001d6518cmp esi, 16384
001d651ejge 0x1d66a8
001d6524
001d6524loc_1d6524:
001d6524mov r8, -1
001d652blea eax, [rsi+16383]
001d6531cmp esi, -16383
001d6537jg 0x1d670d
001d653dtest eax, eax
001d653fjne 0x1d656b
001d6541shld rbx, rdx, 1
001d6546add rdx, rdx
001d6549and rcx, r10
001d654cand r14, r8
001d654fcmp [rbp-56], rdx
001d6553sbb rdi, rbx
001d6556adc r14, 0
001d655aadc rcx, 0
001d655emov rax, rcx
001d6561shr rax, 48
001d6565jne 0x1d6878
001d656b
001d656bloc_1d656b:
001d656bmov rax, [rbp-48]
001d656fmov [rbp-232], rax
001d6576mov [rbp-240], 0
001d6581movaps x0, [rbp-240]
001d6588jmp 0x1d68d3
001d658d
001d658dloc_1d658d:
001d658dmov rdx, 0x7fffffffffffffff
001d6597mov rsi, rdi
001d659aand rsi, rdx
001d659dcmp r13, 1
001d65a1mov r8, 0x7fff000000000000
001d65abmov rbx, rsi
001d65aesbb rbx, r8
001d65b1jb 0x1d66d7
001d65b7mov [rbp-128], r13
001d65bbmov rax, 0x800000000000
001d65c5or rdi, rax
001d65c8mov [rbp-120], rdi
001d65ccmovaps x0, [rbp-128]
001d65d0jmp 0x1d68d3
001d65d5
001d65d5loc_1d65d5:
001d65d5mov rsi, rcx
001d65d8shld rsi, r14, 63
001d65ddshr r14, 1
001d65e0mov r10, rcx
001d65e3shr r10, 1
001d65e6shr rcx, 33
001d65eamov r12, [rbp-72]
001d65eeshr r12, 32
001d65f2mov r8, [rbp-80]
001d65f6mov r11l, r8l
001d65f9mov rax, [rbp-56]
001d65fdmov rdx, rax
001d6600shr rdx, 32
001d6604mov r15l, eax
001d6607imul ecx, eax
001d660amov r9l, r10l
001d660dmov edi, edx
001d660fimul edi, r10l
001d6613imul r9, r15
001d6617mov [rbp-64], rsi
001d661bmov r13l, esi
001d661eshr rsi, 32
001d6622imul r8l, esi
001d6626imul r12l, r14l
001d662amov rbx, rsi
001d662dimul rbx, rdx
001d6631imul rsi, r15
001d6635imul r11, r13
001d6639imul rdx, r13
001d663dimul r13, r15
001d6641xor eax, eax
001d6643add rdx, rsi
001d6646setb al
001d6649add rbx, r9
001d664cadd rbx, r11
001d664fadd edi, ecx
001d6651add edi, r12l
001d6654shld rax, rdx, 32
001d6659add edi, r8l
001d665cadd rax, rbx
001d665fshl rdx, 32
001d6663shl rdi, 32
001d6667add rdi, rax
001d666amov rbx, [rbp-88]
001d666eshl rbx, 48
001d6672xor eax, eax
001d6674add rdx, r13
001d6677setb al
001d667aneg rdx
001d667dsbb rbx, rax
001d6680sub rbx, rdi
001d6683mov r14, [rbp-64]
001d6687mov rcx, r10
001d668amov r10, 0xffffffffffff
001d6694mov rsi, [rbp-96]
001d6698mov rdi, [rbp-72]
001d669ccmp esi, 16384
001d66a2jl 0x1d6524
001d66a8
001d66a8loc_1d66a8:
001d66a8mov rax, 0x7fff000000000000
001d66b2mov rcx, [rbp-48]
001d66b6or rcx, rax
001d66b9mov [rbp-216], rcx
001d66c0mov [rbp-224], 0
001d66cbmovaps x0, [rbp-224]
001d66d2jmp 0x1d68d3
001d66d7
001d66d7loc_1d66d7:
001d66d7and rdx, rcx
001d66dacmp r10, 1
001d66demov rdi, rdx
001d66e1sbb rdi, r8
001d66e4jb 0x1d6754
001d66e6mov [rbp-144], r10
001d66edmov rax, 0x800000000000
001d66f7or rcx, rax
001d66famov [rbp-136], rcx
001d6701movaps x0, [rbp-144]
001d6708jmp 0x1d68d3
001d670d
001d670dloc_1d670d:
001d670dshld rbx, rdx, 1
001d6712add rdx, rdx
001d6715cmp rdx, [rbp-56]
001d6719sbb rbx, rdi
001d671csetae dl
001d671fand r14, r8
001d6722and rcx, r10
001d6725shl rax, 48
001d6729or rax, rcx
001d672cmovzx ecx, dl
001d672fadd rcx, r14
001d6732adc rax, 0
001d6736mov [rbp-272], rcx
001d673dor rax, [rbp-48]
001d6741mov [rbp-264], rax
001d6748movaps x0, [rbp-272]
001d674fjmp 0x1d68d3
001d6754
001d6754loc_1d6754:
001d6754mov rcx, rsi
001d6757xor rcx, r8
001d675aor rcx, r13
001d675djne 0x1d6773
001d675fxor rdx, r8
001d6762or rdx, r10
001d6765jne 0x1d679c
001d6767
001d6767loc_1d6767:
001d6767movaps x0, [rip-0x142c6e]
001d676ejmp 0x1d68d3
001d6773
001d6773loc_1d6773:
001d6773mov rcx, rdx
001d6776xor rcx, r8
001d6779or rcx, r10
001d677cjne 0x1d67bd
001d677emov [rbp-168], r9
001d6785mov [rbp-176], 0
001d6790movaps x0, [rbp-176]
001d6797jmp 0x1d68d3
001d679c
001d679cloc_1d679c:
001d679cor r9, r8
001d679fmov [rbp-152], r9
001d67a6mov [rbp-160], 0
001d67b1movaps x0, [rbp-160]
001d67b8jmp 0x1d68d3
001d67bd
001d67bdloc_1d67bd:
001d67bdmov rcx, r13
001d67c0or rcx, rsi
001d67c3je 0x1d6893
001d67c9mov rcx, r10
001d67ccor rcx, rdx
001d67cfje 0x1d68b7
001d67d5xor ebx, ebx
001d67d7shr rsi, 48
001d67dbjne 0x1d6823
001d67ddbsr rcx, r13
001d67e1mov esi, 127
001d67e6cmovne rsi, rcx
001d67eaxor esi, 63
001d67edadd sil, 64
001d67f1bsr rdi, r12
001d67f5xor edi, 63
001d67f8test r12, r12
001d67fbmovzx ecx, sil
001d67ffcmovne ecx, edi
001d6802add cl, -15
001d6805shld r12, r13, cl
001d6809shl r13, cl
001d680cxor esi, esi
001d680etest cl, 64
001d6811cmovne r12, r13
001d6815cmovne r13, rsi
001d6819movzx ecx, cl
001d681cmov ebx, 1
001d6821sub ebx, ecx
001d6823
001d6823loc_1d6823:
001d6823mov [rbp-48], r9
001d6827shr rdx, 48
001d682bjne 0x1d616c
001d6831bsr rcx, r10
001d6835mov edx, 127
001d683acmovne rdx, rcx
001d683exor edx, 63
001d6841add dl, 64
001d6844bsr rsi, r14
001d6848xor esi, 63
001d684btest r14, r14
001d684emovzx ecx, dl
001d6851cmovne ecx, esi
001d6854add cl, -15
001d6857shld r14, r10, cl
001d685bshl r10, cl
001d685exor edx, edx
001d6860test cl, 64
001d6863cmovne r14, r10
001d6867cmovne r10, rdx
001d686bmovzx ecx, cl
001d686eadd ebx, ecx
001d6870add ebx, -1
001d6873jmp 0x1d616c
001d6878
001d6878loc_1d6878:
001d6878mov [rbp-256], r14
001d687for rcx, [rbp-48]
001d6883mov [rbp-248], rcx
001d688amovaps x0, [rbp-256]
001d6891jmp 0x1d68d3
001d6893
001d6893loc_1d6893:
001d6893or rdx, r10
001d6896mov [rbp-184], r9
001d689dmov [rbp-192], 0
001d68a8je 0x1d6767
001d68aemovaps x0, [rbp-192]
001d68b5jmp 0x1d68d3
001d68b7
001d68b7loc_1d68b7:
001d68b7or r9, r8
001d68bamov [rbp-200], r9
001d68c1mov [rbp-208], 0
001d68ccmovaps x0, [rbp-208]
001d68d3
001d68d3loc_1d68d3:
001d68d3add rsp, 136
001d68dapop rbx
001d68dbpop r12
001d68ddpop r13
001d68dfpop r14
001d68e1pop r15
001d68e3pop rbp
001d68e4ret
001d60c0
001d68e5
001d68e5 // align 0x10
001d68e5 // align 0x10
001d68f0
001d68f0sinf:
001d68f0push rbp
001d68f1mov rbp, rsp
001d68f4push rbx
001d68f5sub rsp, 24
001d68f9movd ebx, x0
001d68fdmov eax, ebx
001d68ffand eax, 0x7fffffff
001d6904cmp eax, 0x3f490fda
001d6909ja 0x1d6942
001d690bcmp eax, 0x39800000
001d6910jb 0x1d6a08
001d6916cvtss2sd x0, x0
001d691amovaps x1, x0
001d691dmulsd x1, x0
001d6921movapd x2, x1
001d6925mulsd x2, x1
001d6929movapd x3, x1
001d692dunpcklpd x1, x1
001d6931mulpd x1, [rip-0x142e19]
001d6939mulsd x3, x0
001d693djmp 0x1d6a46
001d6942
001d6942loc_1d6942:
001d6942cmp eax, 0x407b53d1
001d6947ja 0x1d6969
001d6949cvtss2sd x0, x0
001d694dcmp eax, 0x4016cbe3
001d6952ja 0x1d6998
001d6954test ebx, ebx
001d6956js 0x1d6ade
001d695caddsd x0, [rip-0x143634]
001d6964jmp 0x1d6beb
001d6969
001d6969loc_1d6969:
001d6969cmp eax, 0x40e231d5
001d696eja 0x1d69fd
001d6974cvtss2sd x0, x0
001d6978cmp eax, 0x40afeddf
001d697dja 0x1d6a0f
001d6983test ebx, ebx
001d6985js 0x1d6b34
001d698baddsd x0, [rip-0x143673]
001d6993jmp 0x1d6b8d
001d6998
001d6998loc_1d6998:
001d6998xor eax, eax
001d699atest ebx, ebx
001d699csetns al
001d699flea rcx, [rip-0x142e46]
001d69a6addsd x0, [rcx+8*rax]
001d69ab
001d69abloc_1d69ab:
001d69abmovapd x1, [rip-0x142ea3]
001d69b3xorpd x1, x0
001d69b7movapd x2, x0
001d69bbmulsd x2, x0
001d69bfmovapd x3, x2
001d69c3mulsd x1, x2
001d69c7unpcklpd x2, x2
001d69cbmulpd x2, [rip-0x142eb3]
001d69d3mulsd x3, x3
001d69d7addpd x2, [rip-0x142eaf]
001d69dfmulsd x3, x1
001d69e3unpcklpd x3, x1
001d69e7mulpd x3, x2
001d69ebmovapd x1, x3
001d69efunpckhpd x1, x3
001d69f3subsd x1, x0
001d69f7addsd x1, x3
001d69fbjmp 0x1d6a6a
001d69fd
001d69fdloc_1d69fd:
001d69fdcmp eax, 0x7f800000
001d6a02jb 0x1d6a78
001d6a04subss x0, x0
001d6a08
001d6a08loc_1d6a08:
001d6a08add rsp, 24
001d6a0cpop rbx
001d6a0dpop rbp
001d6a0eret
001d6a0f
001d6a0floc_1d6a0f:
001d6a0fxor eax, eax
001d6a11test ebx, ebx
001d6a13setns al
001d6a16lea rcx, [rip-0x142ecd]
001d6a1daddsd x0, [rcx+8*rax]
001d6a22
001d6a22loc_1d6a22:
001d6a22movapd x1, x0
001d6a26mulsd x1, x0
001d6a2amovapd x2, x1
001d6a2emovapd x3, x0
001d6a32mulsd x3, x1
001d6a36unpcklpd x1, x1
001d6a3amulpd x1, [rip-0x142f22]
001d6a42mulsd x2, x2
001d6a46
001d6a46loc_1d6a46:
001d6a46addpd x1, [rip-0x142f1e]
001d6a4emulsd x2, x3
001d6a52unpcklpd x2, x3
001d6a56mulpd x2, x1
001d6a5amovapd x1, x2
001d6a5eunpckhpd x1, x2
001d6a62addsd x1, x0
001d6a66addsd x1, x2
001d6a6a
001d6a6aloc_1d6a6a:
001d6a6axorps x0, x0
001d6a6dcvtsd2ss x0, x1
001d6a71add rsp, 24
001d6a75pop rbx
001d6a76pop rbp
001d6a77ret
001d6a78
001d6a78loc_1d6a78:
001d6a78cmp eax, 0x4dc90fda
001d6a7dja 0x1d6aeb
001d6a7fcvtss2sd x2, x0
001d6a83movsd_xmm x1, [rip-0x1437db]
001d6a8bmulsd x1, x2
001d6a8faddsd x1, [rip-0x1437df]
001d6a97addsd x1, [rip-0x1437df]
001d6a9fcvttsd2si eax, x1
001d6aa3movsd_xmm x3, [rip-0x1437e3]
001d6aabmulsd x3, x1
001d6aafaddsd x3, x2
001d6ab3movsd_xmm x0, [rip-0x1437eb]
001d6abbmulsd x0, x1
001d6abfaddsd x0, x3
001d6ac3movsd_xmm x3, [rip-0x1437f3]
001d6acbucomisd x3, x0
001d6acfjbe 0x1d6b41
001d6ad1addsd x1, [rip-0x1437e9]
001d6ad9add eax, -1
001d6adcjmp 0x1d6b56
001d6ade
001d6adeloc_1d6ade:
001d6adeaddsd x0, [rip-0x1437be]
001d6ae6jmp 0x1d6b8d
001d6aeb
001d6aebloc_1d6aeb:
001d6aebmov edx, eax
001d6aedshr edx, 23
001d6af0add edx, -150
001d6af6mov ecx, edx
001d6af8shl ecx, 23
001d6afbsub eax, ecx
001d6afdmovd x0, eax
001d6b01cvtss2sd x0, x0
001d6b05movsd_xmm [rbp-16], x0
001d6b0alea rdi, [rbp-16]
001d6b0elea rsi, [rbp-24]
001d6b12mov ecx, 1
001d6b17xor r8l, r8l
001d6b1acall compiler_rt.rem_pio2_large.rem_pio2_large
001d6b1fmovsd_xmm x0, [rbp-24]
001d6b24test ebx, ebx
001d6b26jns 0x1d6b76
001d6b28xorpd x0, [rip-0x143020]
001d6b30neg eax
001d6b32jmp 0x1d6b76
001d6b34
001d6b34loc_1d6b34:
001d6b34addsd x0, [rip-0x143824]
001d6b3cjmp 0x1d6beb
001d6b41
001d6b41loc_1d6b41:
001d6b41ucomisd x0, [rip-0x143869]
001d6b49jbe 0x1d6b76
001d6b4baddsd x1, [rip-0x14386b]
001d6b53add eax, 1
001d6b56
001d6b56loc_1d6b56:
001d6b56movsd_xmm x0, [rip-0x143896]
001d6b5emulsd x0, x1
001d6b62addsd x2, x0
001d6b66mulsd x1, [rip-0x14389e]
001d6b6eaddsd x1, x2
001d6b72movapd x0, x1
001d6b76
001d6b76loc_1d6b76:
001d6b76and eax, 3
001d6b79je 0x1d6a22
001d6b7fcmp eax, 1
001d6b82je 0x1d6beb
001d6b84cmp eax, 2
001d6b87je 0x1d69ab
001d6b8d
001d6b8dloc_1d6b8d:
001d6b8dmulsd x0, x0
001d6b91movapd x1, x0
001d6b95movsd_xmm x2, [rip-0x1438a5]
001d6b9dmulsd x2, x0
001d6ba1addsd x2, [rip-0x1438a9]
001d6ba9movsd_xmm x3, [rip-0x1438a9]
001d6bb1mulsd x3, x0
001d6bb5addsd x3, [rip-0x1438d5]
001d6bbdmulsd x1, x0
001d6bc1mulsd x0, x1
001d6bc5mulsd x1, [rip-0x1438bd]
001d6bcdaddsd x1, x3
001d6bd1mulsd x0, x2
001d6bd5addsd x0, x1
001d6bd9cvtsd2ss x0, x0
001d6bddxorps x0, [rip-0x1430a4]
001d6be4add rsp, 24
001d6be8pop rbx
001d6be9pop rbp
001d6bearet
001d6beb
001d6bebloc_1d6beb:
001d6bebmulsd x0, x0
001d6befmovapd x1, x0
001d6bf3mulsd x1, x0
001d6bf7movsd_xmm x2, [rip-0x143907]
001d6bffmulsd x2, x0
001d6c03addsd x2, [rip-0x14390b]
001d6c0bmovsd_xmm x3, [rip-0x14390b]
001d6c13mulsd x3, x0
001d6c17addsd x3, [rip-0x143937]
001d6c1fmulsd x0, x1
001d6c23mulsd x1, [rip-0x14391b]
001d6c2baddsd x1, x3
001d6c2fmulsd x0, x2
001d6c33addsd x0, x1
001d6c37cvtsd2ss x0, x0
001d6c3badd rsp, 24
001d6c3fpop rbx
001d6c40pop rbp
001d6c41ret
001d68f0
001d68f0sinf:
001d68f0push rbp
001d68f1mov rbp, rsp
001d68f4push rbx
001d68f5sub rsp, 24
001d68f9movd ebx, x0
001d68fdmov eax, ebx
001d68ffand eax, 0x7fffffff
001d6904cmp eax, 0x3f490fda
001d6909ja 0x1d6942
001d690bcmp eax, 0x39800000
001d6910jb 0x1d6a08
001d6916cvtss2sd x0, x0
001d691amovaps x1, x0
001d691dmulsd x1, x0
001d6921movapd x2, x1
001d6925mulsd x2, x1
001d6929movapd x3, x1
001d692dunpcklpd x1, x1
001d6931mulpd x1, [rip-0x142e19]
001d6939mulsd x3, x0
001d693djmp 0x1d6a46
001d6942
001d6942loc_1d6942:
001d6942cmp eax, 0x407b53d1
001d6947ja 0x1d6969
001d6949cvtss2sd x0, x0
001d694dcmp eax, 0x4016cbe3
001d6952ja 0x1d6998
001d6954test ebx, ebx
001d6956js 0x1d6ade
001d695caddsd x0, [rip-0x143634]
001d6964jmp 0x1d6beb
001d6969
001d6969loc_1d6969:
001d6969cmp eax, 0x40e231d5
001d696eja 0x1d69fd
001d6974cvtss2sd x0, x0
001d6978cmp eax, 0x40afeddf
001d697dja 0x1d6a0f
001d6983test ebx, ebx
001d6985js 0x1d6b34
001d698baddsd x0, [rip-0x143673]
001d6993jmp 0x1d6b8d
001d6998
001d6998loc_1d6998:
001d6998xor eax, eax
001d699atest ebx, ebx
001d699csetns al
001d699flea rcx, [rip-0x142e46]
001d69a6addsd x0, [rcx+8*rax]
001d69ab
001d69abloc_1d69ab:
001d69abmovapd x1, [rip-0x142ea3]
001d69b3xorpd x1, x0
001d69b7movapd x2, x0
001d69bbmulsd x2, x0
001d69bfmovapd x3, x2
001d69c3mulsd x1, x2
001d69c7unpcklpd x2, x2
001d69cbmulpd x2, [rip-0x142eb3]
001d69d3mulsd x3, x3
001d69d7addpd x2, [rip-0x142eaf]
001d69dfmulsd x3, x1
001d69e3unpcklpd x3, x1
001d69e7mulpd x3, x2
001d69ebmovapd x1, x3
001d69efunpckhpd x1, x3
001d69f3subsd x1, x0
001d69f7addsd x1, x3
001d69fbjmp 0x1d6a6a
001d69fd
001d69fdloc_1d69fd:
001d69fdcmp eax, 0x7f800000
001d6a02jb 0x1d6a78
001d6a04subss x0, x0
001d6a08
001d6a08loc_1d6a08:
001d6a08add rsp, 24
001d6a0cpop rbx
001d6a0dpop rbp
001d6a0eret
001d6a0f
001d6a0floc_1d6a0f:
001d6a0fxor eax, eax
001d6a11test ebx, ebx
001d6a13setns al
001d6a16lea rcx, [rip-0x142ecd]
001d6a1daddsd x0, [rcx+8*rax]
001d6a22
001d6a22loc_1d6a22:
001d6a22movapd x1, x0
001d6a26mulsd x1, x0
001d6a2amovapd x2, x1
001d6a2emovapd x3, x0
001d6a32mulsd x3, x1
001d6a36unpcklpd x1, x1
001d6a3amulpd x1, [rip-0x142f22]
001d6a42mulsd x2, x2
001d6a46
001d6a46loc_1d6a46:
001d6a46addpd x1, [rip-0x142f1e]
001d6a4emulsd x2, x3
001d6a52unpcklpd x2, x3
001d6a56mulpd x2, x1
001d6a5amovapd x1, x2
001d6a5eunpckhpd x1, x2
001d6a62addsd x1, x0
001d6a66addsd x1, x2
001d6a6a
001d6a6aloc_1d6a6a:
001d6a6axorps x0, x0
001d6a6dcvtsd2ss x0, x1
001d6a71add rsp, 24
001d6a75pop rbx
001d6a76pop rbp
001d6a77ret
001d6a78
001d6a78loc_1d6a78:
001d6a78cmp eax, 0x4dc90fda
001d6a7dja 0x1d6aeb
001d6a7fcvtss2sd x2, x0
001d6a83movsd_xmm x1, [rip-0x1437db]
001d6a8bmulsd x1, x2
001d6a8faddsd x1, [rip-0x1437df]
001d6a97addsd x1, [rip-0x1437df]
001d6a9fcvttsd2si eax, x1
001d6aa3movsd_xmm x3, [rip-0x1437e3]
001d6aabmulsd x3, x1
001d6aafaddsd x3, x2
001d6ab3movsd_xmm x0, [rip-0x1437eb]
001d6abbmulsd x0, x1
001d6abfaddsd x0, x3
001d6ac3movsd_xmm x3, [rip-0x1437f3]
001d6acbucomisd x3, x0
001d6acfjbe 0x1d6b41
001d6ad1addsd x1, [rip-0x1437e9]
001d6ad9add eax, -1
001d6adcjmp 0x1d6b56
001d6ade
001d6adeloc_1d6ade:
001d6adeaddsd x0, [rip-0x1437be]
001d6ae6jmp 0x1d6b8d
001d6aeb
001d6aebloc_1d6aeb:
001d6aebmov edx, eax
001d6aedshr edx, 23
001d6af0add edx, -150
001d6af6mov ecx, edx
001d6af8shl ecx, 23
001d6afbsub eax, ecx
001d6afdmovd x0, eax
001d6b01cvtss2sd x0, x0
001d6b05movsd_xmm [rbp-16], x0
001d6b0alea rdi, [rbp-16]
001d6b0elea rsi, [rbp-24]
001d6b12mov ecx, 1
001d6b17xor r8l, r8l
001d6b1acall compiler_rt.rem_pio2_large.rem_pio2_large
001d6b1fmovsd_xmm x0, [rbp-24]
001d6b24test ebx, ebx
001d6b26jns 0x1d6b76
001d6b28xorpd x0, [rip-0x143020]
001d6b30neg eax
001d6b32jmp 0x1d6b76
001d6b34
001d6b34loc_1d6b34:
001d6b34addsd x0, [rip-0x143824]
001d6b3cjmp 0x1d6beb
001d6b41
001d6b41loc_1d6b41:
001d6b41ucomisd x0, [rip-0x143869]
001d6b49jbe 0x1d6b76
001d6b4baddsd x1, [rip-0x14386b]
001d6b53add eax, 1
001d6b56
001d6b56loc_1d6b56:
001d6b56movsd_xmm x0, [rip-0x143896]
001d6b5emulsd x0, x1
001d6b62addsd x2, x0
001d6b66mulsd x1, [rip-0x14389e]
001d6b6eaddsd x1, x2
001d6b72movapd x0, x1
001d6b76
001d6b76loc_1d6b76:
001d6b76and eax, 3
001d6b79je 0x1d6a22
001d6b7fcmp eax, 1
001d6b82je 0x1d6beb
001d6b84cmp eax, 2
001d6b87je 0x1d69ab
001d6b8d
001d6b8dloc_1d6b8d:
001d6b8dmulsd x0, x0
001d6b91movapd x1, x0
001d6b95movsd_xmm x2, [rip-0x1438a5]
001d6b9dmulsd x2, x0
001d6ba1addsd x2, [rip-0x1438a9]
001d6ba9movsd_xmm x3, [rip-0x1438a9]
001d6bb1mulsd x3, x0
001d6bb5addsd x3, [rip-0x1438d5]
001d6bbdmulsd x1, x0
001d6bc1mulsd x0, x1
001d6bc5mulsd x1, [rip-0x1438bd]
001d6bcdaddsd x1, x3
001d6bd1mulsd x0, x2
001d6bd5addsd x0, x1
001d6bd9cvtsd2ss x0, x0
001d6bddxorps x0, [rip-0x1430a4]
001d6be4add rsp, 24
001d6be8pop rbx
001d6be9pop rbp
001d6bearet
001d6beb
001d6bebloc_1d6beb:
001d6bebmulsd x0, x0
001d6befmovapd x1, x0
001d6bf3mulsd x1, x0
001d6bf7movsd_xmm x2, [rip-0x143907]
001d6bffmulsd x2, x0
001d6c03addsd x2, [rip-0x14390b]
001d6c0bmovsd_xmm x3, [rip-0x14390b]
001d6c13mulsd x3, x0
001d6c17addsd x3, [rip-0x143937]
001d6c1fmulsd x0, x1
001d6c23mulsd x1, [rip-0x14391b]
001d6c2baddsd x1, x3
001d6c2fmulsd x0, x2
001d6c33addsd x0, x1
001d6c37cvtsd2ss x0, x0
001d6c3badd rsp, 24
001d6c3fpop rbx
001d6c40pop rbp
001d6c41ret
001d68f0
001d6c42
001d6c42 // align 0x10
001d6c42 // align 0x10
001d6c50
001d6c50sin:
001d6c50push rbp
001d6c51mov rbp, rsp
001d6c54sub rsp, 32
001d6c58movq rax, x0
001d6c5dshr rax, 32
001d6c61and eax, 0x7fffffff
001d6c66cmp rax, 0x3fe921fb
001d6c6cja 0x1d6cdb
001d6c6ecmp eax, 0x3e500000
001d6c73jb 0x1d6cd5
001d6c75movapd x1, x0
001d6c79mulsd x1, x0
001d6c7dmovapd x2, x1
001d6c81mulsd x2, x1
001d6c85mulsd x2, x1
001d6c89movapd x3, x1
001d6c8dunpcklpd x3, x1
001d6c91mulpd x3, [rip-0x143129]
001d6c99addpd x3, [rip-0x143121]
001d6ca1unpcklpd x2, x1
001d6ca5mulpd x2, x3
001d6ca9movapd x3, x2
001d6cadunpckhpd x3, x2
001d6cb1addsd x3, [rip-0x143981]
001d6cb9addsd x3, x2
001d6cbdmulsd x3, x1
001d6cc1mulsd x1, x0
001d6cc5addsd x3, [rip-0x14396d]
001d6ccdmulsd x3, x1
001d6cd1addsd x0, x3
001d6cd5
001d6cd5loc_1d6cd5:
001d6cd5add rsp, 32
001d6cd9pop rbp
001d6cdaret
001d6cdb
001d6cdbloc_1d6cdb:
001d6cdbcmp eax, 0x7ff00000
001d6ce0jb 0x1d6cec
001d6ce2subsd x0, x0
001d6ce6add rsp, 32
001d6ceapop rbp
001d6cebret
001d6cec
001d6cecloc_1d6cec:
001d6ceclea rdi, [rbp-16]
001d6cf0call compiler_rt.rem_pio2.rem_pio2
001d6cf5and eax, 3
001d6cf8je 0x1d6da4
001d6cfecmp eax, 1
001d6d01je 0x1d6e30
001d6d07cmp eax, 2
001d6d0ajne 0x1d6edf
001d6d10movsd_xmm x0, [rbp-16]
001d6d15movapd x1, x0
001d6d19mulsd x1, x0
001d6d1dmovapd x2, x1
001d6d21mulsd x2, x1
001d6d25mulsd x2, x1
001d6d29movapd x3, x1
001d6d2dunpcklpd x3, x1
001d6d31mulpd x3, [rip-0x1431c9]
001d6d39addpd x3, [rip-0x1431c1]
001d6d41unpcklpd x2, x1
001d6d45mulpd x2, x3
001d6d49movapd x3, x2
001d6d4dunpckhpd x3, x2
001d6d51addsd x3, [rip-0x143a21]
001d6d59movsd_xmm x4, [rbp-8]
001d6d5eaddsd x3, x2
001d6d62movapd x2, x0
001d6d66mulsd x2, x1
001d6d6amovsd_xmm x5, [rip-0x143a32]
001d6d72mulsd x5, x4
001d6d76mulsd x3, x2
001d6d7asubsd x5, x3
001d6d7emulsd x5, x1
001d6d82subsd x5, x4
001d6d86mulsd x2, [rip-0x143a46]
001d6d8eaddsd x2, x5
001d6d92subsd x0, x2
001d6d96xorpd x0, [rip-0x14320e]
001d6d9eadd rsp, 32
001d6da2pop rbp
001d6da3ret
001d6da4
001d6da4loc_1d6da4:
001d6da4movsd_xmm x0, [rbp-16]
001d6da9movsd_xmm x1, [rbp-8]
001d6daemovapd x2, x0
001d6db2mulsd x2, x0
001d6db6movapd x3, x2
001d6dbamulsd x3, x2
001d6dbemovapd x4, x2
001d6dc2unpcklpd x4, x2
001d6dc6mulpd x4, [rip-0x14325e]
001d6dceaddpd x4, [rip-0x143256]
001d6dd6mulsd x3, x2
001d6ddaunpcklpd x3, x2
001d6ddemulpd x3, x4
001d6de2movapd x4, x3
001d6de6unpckhpd x4, x3
001d6deaaddsd x4, [rip-0x143aba]
001d6df2addsd x4, x3
001d6df6movapd x3, x0
001d6dfamulsd x3, x2
001d6dfemovsd_xmm x5, [rip-0x143ac6]
001d6e06mulsd x5, x1
001d6e0amulsd x4, x3
001d6e0esubsd x5, x4
001d6e12mulsd x5, x2
001d6e16subsd x5, x1
001d6e1amulsd x3, [rip-0x143ada]
001d6e22addsd x3, x5
001d6e26subsd x0, x3
001d6e2aadd rsp, 32
001d6e2epop rbp
001d6e2fret
001d6e30
001d6e30loc_1d6e30:
001d6e30movapd x0, [rbp-16]
001d6e35movapd x1, x0
001d6e39unpcklpd x1, x0
001d6e3dmulpd x1, x0
001d6e41movapd x0, x1
001d6e45mulpd x0, x1
001d6e49mulpd x0, x0
001d6e4dmovapd x2, x1
001d6e51unpcklpd x2, x1
001d6e55movapd x3, [rip-0x1432bd]
001d6e5dmulpd x3, x2
001d6e61movsd_xmm x4, [rip-0x143b19]
001d6e69addpd x4, x3
001d6e6dmovapd x5, [rip-0x1432c5]
001d6e75subpd x5, x3
001d6e79movsd_xmm x5, x4
001d6e7dmulpd x5, x2
001d6e81addpd x5, [rip-0x1432c9]
001d6e89movapd x2, x1
001d6e8dunpcklpd x2, x0
001d6e91mulpd x2, x5
001d6e95movsd_xmm x0, [rip-0x143b5d]
001d6e9dmulsd x0, x1
001d6ea1movsd_xmm x3, [rip-0x143b51]
001d6ea9movapd x4, x3
001d6eadsubsd x4, x0
001d6eb1subsd x3, x4
001d6eb5subsd x3, x0
001d6eb9movapd x0, x2
001d6ebdunpckhpd x0, x2
001d6ec1addsd x0, x2
001d6ec5mulsd x0, x1
001d6ec9unpckhpd x1, x1
001d6ecdsubsd x0, x1
001d6ed1addsd x0, x3
001d6ed5addsd x0, x4
001d6ed9add rsp, 32
001d6eddpop rbp
001d6ederet
001d6edf
001d6edfloc_1d6edf:
001d6edfmovapd x0, [rbp-16]
001d6ee4movapd x1, x0
001d6ee8unpcklpd x1, x0
001d6eecmulpd x1, x0
001d6ef0movapd x0, x1
001d6ef4mulpd x0, x1
001d6ef8mulpd x0, x0
001d6efcmovapd x2, x1
001d6f00unpcklpd x2, x1
001d6f04movapd x3, [rip-0x14336c]
001d6f0cmulpd x3, x2
001d6f10movsd_xmm x4, [rip-0x143bc8]
001d6f18addpd x4, x3
001d6f1cmovapd x5, [rip-0x143374]
001d6f24subpd x5, x3
001d6f28movsd_xmm x5, x4
001d6f2cmulpd x5, x2
001d6f30addpd x5, [rip-0x143378]
001d6f38movapd x2, x1
001d6f3cunpcklpd x2, x0
001d6f40mulpd x2, x5
001d6f44movsd_xmm x0, [rip-0x143c0c]
001d6f4cmulsd x0, x1
001d6f50movsd_xmm x3, [rip-0x143c00]
001d6f58movapd x4, x3
001d6f5csubsd x4, x0
001d6f60subsd x3, x4
001d6f64subsd x3, x0
001d6f68movapd x0, x2
001d6f6cunpckhpd x0, x2
001d6f70addsd x0, x2
001d6f74mulsd x0, x1
001d6f78unpckhpd x1, x1
001d6f7csubsd x0, x1
001d6f80addsd x0, x3
001d6f84addsd x0, x4
001d6f88xorpd x0, [rip-0x143400]
001d6f90add rsp, 32
001d6f94pop rbp
001d6f95ret
001d6c50
001d6c50sin:
001d6c50push rbp
001d6c51mov rbp, rsp
001d6c54sub rsp, 32
001d6c58movq rax, x0
001d6c5dshr rax, 32
001d6c61and eax, 0x7fffffff
001d6c66cmp rax, 0x3fe921fb
001d6c6cja 0x1d6cdb
001d6c6ecmp eax, 0x3e500000
001d6c73jb 0x1d6cd5
001d6c75movapd x1, x0
001d6c79mulsd x1, x0
001d6c7dmovapd x2, x1
001d6c81mulsd x2, x1
001d6c85mulsd x2, x1
001d6c89movapd x3, x1
001d6c8dunpcklpd x3, x1
001d6c91mulpd x3, [rip-0x143129]
001d6c99addpd x3, [rip-0x143121]
001d6ca1unpcklpd x2, x1
001d6ca5mulpd x2, x3
001d6ca9movapd x3, x2
001d6cadunpckhpd x3, x2
001d6cb1addsd x3, [rip-0x143981]
001d6cb9addsd x3, x2
001d6cbdmulsd x3, x1
001d6cc1mulsd x1, x0
001d6cc5addsd x3, [rip-0x14396d]
001d6ccdmulsd x3, x1
001d6cd1addsd x0, x3
001d6cd5
001d6cd5loc_1d6cd5:
001d6cd5add rsp, 32
001d6cd9pop rbp
001d6cdaret
001d6cdb
001d6cdbloc_1d6cdb:
001d6cdbcmp eax, 0x7ff00000
001d6ce0jb 0x1d6cec
001d6ce2subsd x0, x0
001d6ce6add rsp, 32
001d6ceapop rbp
001d6cebret
001d6cec
001d6cecloc_1d6cec:
001d6ceclea rdi, [rbp-16]
001d6cf0call compiler_rt.rem_pio2.rem_pio2
001d6cf5and eax, 3
001d6cf8je 0x1d6da4
001d6cfecmp eax, 1
001d6d01je 0x1d6e30
001d6d07cmp eax, 2
001d6d0ajne 0x1d6edf
001d6d10movsd_xmm x0, [rbp-16]
001d6d15movapd x1, x0
001d6d19mulsd x1, x0
001d6d1dmovapd x2, x1
001d6d21mulsd x2, x1
001d6d25mulsd x2, x1
001d6d29movapd x3, x1
001d6d2dunpcklpd x3, x1
001d6d31mulpd x3, [rip-0x1431c9]
001d6d39addpd x3, [rip-0x1431c1]
001d6d41unpcklpd x2, x1
001d6d45mulpd x2, x3
001d6d49movapd x3, x2
001d6d4dunpckhpd x3, x2
001d6d51addsd x3, [rip-0x143a21]
001d6d59movsd_xmm x4, [rbp-8]
001d6d5eaddsd x3, x2
001d6d62movapd x2, x0
001d6d66mulsd x2, x1
001d6d6amovsd_xmm x5, [rip-0x143a32]
001d6d72mulsd x5, x4
001d6d76mulsd x3, x2
001d6d7asubsd x5, x3
001d6d7emulsd x5, x1
001d6d82subsd x5, x4
001d6d86mulsd x2, [rip-0x143a46]
001d6d8eaddsd x2, x5
001d6d92subsd x0, x2
001d6d96xorpd x0, [rip-0x14320e]
001d6d9eadd rsp, 32
001d6da2pop rbp
001d6da3ret
001d6da4
001d6da4loc_1d6da4:
001d6da4movsd_xmm x0, [rbp-16]
001d6da9movsd_xmm x1, [rbp-8]
001d6daemovapd x2, x0
001d6db2mulsd x2, x0
001d6db6movapd x3, x2
001d6dbamulsd x3, x2
001d6dbemovapd x4, x2
001d6dc2unpcklpd x4, x2
001d6dc6mulpd x4, [rip-0x14325e]
001d6dceaddpd x4, [rip-0x143256]
001d6dd6mulsd x3, x2
001d6ddaunpcklpd x3, x2
001d6ddemulpd x3, x4
001d6de2movapd x4, x3
001d6de6unpckhpd x4, x3
001d6deaaddsd x4, [rip-0x143aba]
001d6df2addsd x4, x3
001d6df6movapd x3, x0
001d6dfamulsd x3, x2
001d6dfemovsd_xmm x5, [rip-0x143ac6]
001d6e06mulsd x5, x1
001d6e0amulsd x4, x3
001d6e0esubsd x5, x4
001d6e12mulsd x5, x2
001d6e16subsd x5, x1
001d6e1amulsd x3, [rip-0x143ada]
001d6e22addsd x3, x5
001d6e26subsd x0, x3
001d6e2aadd rsp, 32
001d6e2epop rbp
001d6e2fret
001d6e30
001d6e30loc_1d6e30:
001d6e30movapd x0, [rbp-16]
001d6e35movapd x1, x0
001d6e39unpcklpd x1, x0
001d6e3dmulpd x1, x0
001d6e41movapd x0, x1
001d6e45mulpd x0, x1
001d6e49mulpd x0, x0
001d6e4dmovapd x2, x1
001d6e51unpcklpd x2, x1
001d6e55movapd x3, [rip-0x1432bd]
001d6e5dmulpd x3, x2
001d6e61movsd_xmm x4, [rip-0x143b19]
001d6e69addpd x4, x3
001d6e6dmovapd x5, [rip-0x1432c5]
001d6e75subpd x5, x3
001d6e79movsd_xmm x5, x4
001d6e7dmulpd x5, x2
001d6e81addpd x5, [rip-0x1432c9]
001d6e89movapd x2, x1
001d6e8dunpcklpd x2, x0
001d6e91mulpd x2, x5
001d6e95movsd_xmm x0, [rip-0x143b5d]
001d6e9dmulsd x0, x1
001d6ea1movsd_xmm x3, [rip-0x143b51]
001d6ea9movapd x4, x3
001d6eadsubsd x4, x0
001d6eb1subsd x3, x4
001d6eb5subsd x3, x0
001d6eb9movapd x0, x2
001d6ebdunpckhpd x0, x2
001d6ec1addsd x0, x2
001d6ec5mulsd x0, x1
001d6ec9unpckhpd x1, x1
001d6ecdsubsd x0, x1
001d6ed1addsd x0, x3
001d6ed5addsd x0, x4
001d6ed9add rsp, 32
001d6eddpop rbp
001d6ederet
001d6edf
001d6edfloc_1d6edf:
001d6edfmovapd x0, [rbp-16]
001d6ee4movapd x1, x0
001d6ee8unpcklpd x1, x0
001d6eecmulpd x1, x0
001d6ef0movapd x0, x1
001d6ef4mulpd x0, x1
001d6ef8mulpd x0, x0
001d6efcmovapd x2, x1
001d6f00unpcklpd x2, x1
001d6f04movapd x3, [rip-0x14336c]
001d6f0cmulpd x3, x2
001d6f10movsd_xmm x4, [rip-0x143bc8]
001d6f18addpd x4, x3
001d6f1cmovapd x5, [rip-0x143374]
001d6f24subpd x5, x3
001d6f28movsd_xmm x5, x4
001d6f2cmulpd x5, x2
001d6f30addpd x5, [rip-0x143378]
001d6f38movapd x2, x1
001d6f3cunpcklpd x2, x0
001d6f40mulpd x2, x5
001d6f44movsd_xmm x0, [rip-0x143c0c]
001d6f4cmulsd x0, x1
001d6f50movsd_xmm x3, [rip-0x143c00]
001d6f58movapd x4, x3
001d6f5csubsd x4, x0
001d6f60subsd x3, x4
001d6f64subsd x3, x0
001d6f68movapd x0, x2
001d6f6cunpckhpd x0, x2
001d6f70addsd x0, x2
001d6f74mulsd x0, x1
001d6f78unpckhpd x1, x1
001d6f7csubsd x0, x1
001d6f80addsd x0, x3
001d6f84addsd x0, x4
001d6f88xorpd x0, [rip-0x143400]
001d6f90add rsp, 32
001d6f94pop rbp
001d6f95ret
001d6c50
001d6f96
001d6f96 // align 0x10
001d6f96 // align 0x10
001d6fa0
001d6fa0compiler_rt.rem_pio2.rem_pio2:
001d6fa0push rbp
001d6fa1mov rbp, rsp
001d6fa4push r14
001d6fa6push rbx
001d6fa7sub rsp, 64
001d6fabmov r14, rdi
001d6faemovq rbx, x0
001d6fb3mov rax, rbx
001d6fb6shr rax, 32
001d6fbamov edx, eax
001d6fbcand edx, 0x7fffffff
001d6fc2cmp edx, 0x400f6a7a
001d6fc8ja 0x1d7024
001d6fcaand eax, 0xfffff
001d6fcfcmp eax, 0x921fb
001d6fd4je 0x1d708e
001d6fdacmp edx, 0x4002d97c
001d6fe0ja 0x1d71df
001d6fe6test rbx, rbx
001d6fe9js 0x1d7476
001d6fefaddsd x0, [rip-0x143c6f]
001d6ff7movsd_xmm x1, [rip-0x143bbf]
001d6fffmovapd x2, x0
001d7003addsd x2, x1
001d7007movsd_xmm [r14], x2
001d700csubsd x0, x2
001d7010addsd x0, x1
001d7014movsd_xmm [r14+8], x0
001d701amov eax, 1
001d701fjmp 0x1d746d
001d7024
001d7024loc_1d7024:
001d7024cmp edx, 0x401c463b
001d702aja 0x1d7082
001d702ccmp edx, 0x4015fdbc
001d7032ja 0x1d721d
001d7038cmp edx, 0x4012d97c
001d703eje 0x1d7229
001d7044test rbx, rbx
001d7047js 0x1d74da
001d704daddsd x0, [rip-0x143c4d]
001d7055movsd_xmm x1, [rip-0x143c4d]
001d705dmovapd x2, x0
001d7061addsd x2, x1
001d7065movsd_xmm [r14], x2
001d706asubsd x0, x2
001d706eaddsd x0, x1
001d7072movsd_xmm [r14+8], x0
001d7078mov eax, 3
001d707djmp 0x1d746d
001d7082
001d7082loc_1d7082:
001d7082cmp edx, 0x413921fa
001d7088ja 0x1d728f
001d708e
001d708eloc_1d708e:
001d708emovsd_xmm x1, [rip-0x143d26]
001d7096mulsd x1, x0
001d709aaddsd x1, [rip-0x143d2a]
001d70a2addsd x1, [rip-0x143d2a]
001d70aacvttsd2si eax, x1
001d70aemovsd_xmm x2, [rip-0x143d2e]
001d70b6mulsd x2, x1
001d70baaddsd x2, x0
001d70bemovsd_xmm x3, [rip-0x143d36]
001d70c6mulsd x3, x1
001d70camovapd x4, x2
001d70cesubsd x4, x3
001d70d2movsd_xmm x5, [rip-0x143d42]
001d70daucomisd x5, x4
001d70dejbe 0x1d70ed
001d70e0add eax, -1
001d70e3addsd x1, [rip-0x143d3b]
001d70ebjmp 0x1d7102
001d70ed
001d70edloc_1d70ed:
001d70educomisd x4, [rip-0x143d55]
001d70f5jbe 0x1d7122
001d70f7add eax, 1
001d70faaddsd x1, [rip-0x143d5a]
001d7102
001d7102loc_1d7102:
001d7102movsd_xmm x2, [rip-0x143d82]
001d710amulsd x2, x1
001d710eaddsd x0, x2
001d7112movsd_xmm x3, [rip-0x143d8a]
001d711amulsd x3, x1
001d711emovapd x2, x0
001d7122
001d7122loc_1d7122:
001d7122movapd x0, x2
001d7126subsd x0, x3
001d712amovsd_xmm [r14], x0
001d712fmovq rcx, x0
001d7134shr rcx, 52
001d7138and ecx, 2047
001d713eshr edx, 20
001d7141mov esi, edx
001d7143sub esi, ecx
001d7145cmp esi, 17
001d7148jl 0x1d745f
001d714emovsd_xmm x0, [rip-0x143d9e]
001d7156mulsd x0, x1
001d715amovapd x4, x2
001d715esubsd x4, x0
001d7162movsd_xmm x3, [rip-0x143daa]
001d716amulsd x3, x1
001d716esubsd x2, x4
001d7172subsd x2, x0
001d7176subsd x3, x2
001d717amovapd x0, x4
001d717esubsd x0, x3
001d7182movsd_xmm [r14], x0
001d7187movq rcx, x0
001d718cshr rcx, 52
001d7190and ecx, 2047
001d7196sub edx, ecx
001d7198cmp edx, 50
001d719bjl 0x1d745b
001d71a1
001d71a1loc_1d71a1:
001d71a1movsd_xmm x0, [rip-0x143de1]
001d71a9mulsd x0, x1
001d71admovapd x2, x4
001d71b1mulsd x1, [rip-0x143de9]
001d71b9subsd x2, x0
001d71bdsubsd x4, x2
001d71c1subsd x4, x0
001d71c5subsd x1, x4
001d71c9movapd x0, x2
001d71cdsubsd x0, x1
001d71d1movsd_xmm [r14], x0
001d71d6movapd x3, x1
001d71dajmp 0x1d745f
001d71df
001d71dfloc_1d71df:
001d71dftest rbx, rbx
001d71e2js 0x1d74a8
001d71e8addsd x0, [rip-0x143dc8]
001d71f0movsd_xmm x1, [rip-0x143dc8]
001d71f8movapd x2, x0
001d71fcaddsd x2, x1
001d7200movsd_xmm [r14], x2
001d7205subsd x0, x2
001d7209addsd x0, x1
001d720dmovsd_xmm [r14+8], x0
001d7213mov eax, 2
001d7218jmp 0x1d746d
001d721d
001d721dloc_1d721d:
001d721dcmp edx, 0x401921fb
001d7223jne 0x1d72ad
001d7229
001d7229loc_1d7229:
001d7229movsd_xmm x1, [rip-0x143ec1]
001d7231mulsd x1, x0
001d7235addsd x1, [rip-0x143ec5]
001d723daddsd x1, [rip-0x143ec5]
001d7245cvttsd2si eax, x1
001d7249movsd_xmm x2, [rip-0x143ec9]
001d7251mulsd x2, x1
001d7255addsd x2, x0
001d7259movsd_xmm x3, [rip-0x143ed1]
001d7261mulsd x3, x1
001d7265movapd x4, x2
001d7269subsd x4, x3
001d726dmovsd_xmm x5, [rip-0x143edd]
001d7275ucomisd x5, x4
001d7279jbe 0x1d73b4
001d727fadd eax, -1
001d7282addsd x1, [rip-0x143eda]
001d728ajmp 0x1d73c9
001d728f
001d728floc_1d728f:
001d728fcmp edx, 0x7ff00000
001d7295jb 0x1d72eb
001d7297subsd x0, x0
001d729bmovsd_xmm [r14], x0
001d72a0movsd_xmm [r14+8], x0
001d72a6xor eax, eax
001d72a8jmp 0x1d746d
001d72ad
001d72adloc_1d72ad:
001d72adtest rbx, rbx
001d72b0js 0x1d750f
001d72b6addsd x0, [rip-0x143ed6]
001d72bemovsd_xmm x1, [rip-0x143ed6]
001d72c6movapd x2, x0
001d72caaddsd x2, x1
001d72cemovsd_xmm [r14], x2
001d72d3subsd x0, x2
001d72d7addsd x0, x1
001d72dbmovsd_xmm [r14+8], x0
001d72e1mov eax, 4
001d72e6jmp 0x1d746d
001d72eb
001d72ebloc_1d72eb:
001d72ebmov rax, 0xfffffffffffff
001d72f5and rax, rbx
001d72f8mov rcx, 0x4160000000000000
001d7302or rcx, rax
001d7305movq x0, rcx
001d730acvttpd2dq x1, x0
001d730ecvtdq2pd x1, x1
001d7312subsd x0, x1
001d7316movsd_xmm x2, [rip-0x143fb6]
001d731emulsd x0, x2
001d7322cvttpd2dq x3, x0
001d7326cvtdq2pd x3, x3
001d732aunpcklpd x1, x3
001d732emovupd [rbp-56], x1
001d7333subsd x0, x3
001d7337mulsd x0, x2
001d733bmovsd_xmm [rbp-40], x0
001d7340mov ecx, 2
001d7345xorpd x0, x0
001d7349nop [rax]
001d7350
001d7350loc_1d7350:
001d7350mov rax, [rbp-40]
001d7354mov [rbp-64], rax
001d7358movups x1, [rbp-56]
001d735cmovaps [rbp-80], x1
001d7360movsd_xmm x1, [rbp+8*rcx-80]
001d7366add rcx, -1
001d736aucomisd x1, x0
001d736ejne 0x1d7372
001d7370jnp 0x1d7350
001d7372
001d7372loc_1d7372:
001d7372shr edx, 20
001d7375add edx, -1046
001d737badd ecx, 2
001d737elea rdi, [rbp-56]
001d7382lea rsi, [rbp-32]
001d7386mov r8l, 1
001d738ccall compiler_rt.rem_pio2_large.rem_pio2_large
001d7391movsd_xmm x0, [rbp-32]
001d7396test rbx, rbx
001d7399js 0x1d7544
001d739fmovsd_xmm [r14], x0
001d73a4movsd_xmm x0, [rbp-24]
001d73a9movsd_xmm [r14+8], x0
001d73afjmp 0x1d746d
001d73b4
001d73b4loc_1d73b4:
001d73b4ucomisd x4, [rip-0x14401c]
001d73bcjbe 0x1d73e9
001d73beadd eax, 1
001d73c1addsd x1, [rip-0x144021]
001d73c9
001d73c9loc_1d73c9:
001d73c9movsd_xmm x2, [rip-0x144049]
001d73d1mulsd x2, x1
001d73d5addsd x0, x2
001d73d9movsd_xmm x3, [rip-0x144051]
001d73e1mulsd x3, x1
001d73e5movapd x2, x0
001d73e9
001d73e9loc_1d73e9:
001d73e9movapd x0, x2
001d73edsubsd x0, x3
001d73f1movsd_xmm [r14], x0
001d73f6movq rcx, x0
001d73fbshr rcx, 52
001d73ffand ecx, 2047
001d7405cmp ecx, 1008
001d740bja 0x1d745f
001d740dmovsd_xmm x0, [rip-0x14405d]
001d7415mulsd x0, x1
001d7419movapd x4, x2
001d741dsubsd x4, x0
001d7421movsd_xmm x3, [rip-0x144069]
001d7429mulsd x3, x1
001d742dsubsd x2, x4
001d7431subsd x2, x0
001d7435subsd x3, x2
001d7439movapd x0, x4
001d743dsubsd x0, x3
001d7441movsd_xmm [r14], x0
001d7446movq rcx, x0
001d744bshr rcx, 56
001d744fand ecx, 127
001d7452cmp ecx, 60
001d7455jbe 0x1d71a1
001d745b
001d745bloc_1d745b:
001d745bmovapd x2, x4
001d745f
001d745floc_1d745f:
001d745fsubsd x2, x0
001d7463subsd x2, x3
001d7467movsd_xmm [r14+8], x2
001d746d
001d746dloc_1d746d:
001d746dadd rsp, 64
001d7471pop rbx
001d7472pop r14
001d7474pop rbp
001d7475ret
001d7476
001d7476loc_1d7476:
001d7476addsd x0, [rip-0x144046]
001d747emovsd_xmm x1, [rip-0x1440f6]
001d7486movapd x2, x0
001d748aaddsd x2, x1
001d748emovsd_xmm [r14], x2
001d7493subsd x0, x2
001d7497addsd x0, x1
001d749bmovsd_xmm [r14+8], x0
001d74a1mov eax, -1
001d74a6jmp 0x1d746d
001d74a8
001d74a8loc_1d74a8:
001d74a8addsd x0, [rip-0x144098]
001d74b0movsd_xmm x1, [rip-0x144098]
001d74b8movapd x2, x0
001d74bcaddsd x2, x1
001d74c0movsd_xmm [r14], x2
001d74c5subsd x0, x2
001d74c9addsd x0, x1
001d74cdmovsd_xmm [r14+8], x0
001d74d3mov eax, -2
001d74d8jmp 0x1d746d
001d74da
001d74daloc_1d74da:
001d74daaddsd x0, [rip-0x1440ea]
001d74e2movsd_xmm x1, [rip-0x1440ea]
001d74eamovapd x2, x0
001d74eeaddsd x2, x1
001d74f2movsd_xmm [r14], x2
001d74f7subsd x0, x2
001d74fbaddsd x0, x1
001d74ffmovsd_xmm [r14+8], x0
001d7505mov eax, -3
001d750ajmp 0x1d746d
001d750f
001d750floc_1d750f:
001d750faddsd x0, [rip-0x14413f]
001d7517movsd_xmm x1, [rip-0x14413f]
001d751fmovapd x2, x0
001d7523addsd x2, x1
001d7527movsd_xmm [r14], x2
001d752csubsd x0, x2
001d7530addsd x0, x1
001d7534movsd_xmm [r14+8], x0
001d753amov eax, -4
001d753fjmp 0x1d746d
001d7544
001d7544loc_1d7544:
001d7544movhpd x0, [rbp-24]
001d7549xorpd x0, [rip-0x143981]
001d7551movupd [r14], x0
001d7556neg eax
001d7558jmp 0x1d746d
001d6fa0
001d6fa0compiler_rt.rem_pio2.rem_pio2:
001d6fa0push rbp
001d6fa1mov rbp, rsp
001d6fa4push r14
001d6fa6push rbx
001d6fa7sub rsp, 64
001d6fabmov r14, rdi
001d6faemovq rbx, x0
001d6fb3mov rax, rbx
001d6fb6shr rax, 32
001d6fbamov edx, eax
001d6fbcand edx, 0x7fffffff
001d6fc2cmp edx, 0x400f6a7a
001d6fc8ja 0x1d7024
001d6fcaand eax, 0xfffff
001d6fcfcmp eax, 0x921fb
001d6fd4je 0x1d708e
001d6fdacmp edx, 0x4002d97c
001d6fe0ja 0x1d71df
001d6fe6test rbx, rbx
001d6fe9js 0x1d7476
001d6fefaddsd x0, [rip-0x143c6f]
001d6ff7movsd_xmm x1, [rip-0x143bbf]
001d6fffmovapd x2, x0
001d7003addsd x2, x1
001d7007movsd_xmm [r14], x2
001d700csubsd x0, x2
001d7010addsd x0, x1
001d7014movsd_xmm [r14+8], x0
001d701amov eax, 1
001d701fjmp 0x1d746d
001d7024
001d7024loc_1d7024:
001d7024cmp edx, 0x401c463b
001d702aja 0x1d7082
001d702ccmp edx, 0x4015fdbc
001d7032ja 0x1d721d
001d7038cmp edx, 0x4012d97c
001d703eje 0x1d7229
001d7044test rbx, rbx
001d7047js 0x1d74da
001d704daddsd x0, [rip-0x143c4d]
001d7055movsd_xmm x1, [rip-0x143c4d]
001d705dmovapd x2, x0
001d7061addsd x2, x1
001d7065movsd_xmm [r14], x2
001d706asubsd x0, x2
001d706eaddsd x0, x1
001d7072movsd_xmm [r14+8], x0
001d7078mov eax, 3
001d707djmp 0x1d746d
001d7082
001d7082loc_1d7082:
001d7082cmp edx, 0x413921fa
001d7088ja 0x1d728f
001d708e
001d708eloc_1d708e:
001d708emovsd_xmm x1, [rip-0x143d26]
001d7096mulsd x1, x0
001d709aaddsd x1, [rip-0x143d2a]
001d70a2addsd x1, [rip-0x143d2a]
001d70aacvttsd2si eax, x1
001d70aemovsd_xmm x2, [rip-0x143d2e]
001d70b6mulsd x2, x1
001d70baaddsd x2, x0
001d70bemovsd_xmm x3, [rip-0x143d36]
001d70c6mulsd x3, x1
001d70camovapd x4, x2
001d70cesubsd x4, x3
001d70d2movsd_xmm x5, [rip-0x143d42]
001d70daucomisd x5, x4
001d70dejbe 0x1d70ed
001d70e0add eax, -1
001d70e3addsd x1, [rip-0x143d3b]
001d70ebjmp 0x1d7102
001d70ed
001d70edloc_1d70ed:
001d70educomisd x4, [rip-0x143d55]
001d70f5jbe 0x1d7122
001d70f7add eax, 1
001d70faaddsd x1, [rip-0x143d5a]
001d7102
001d7102loc_1d7102:
001d7102movsd_xmm x2, [rip-0x143d82]
001d710amulsd x2, x1
001d710eaddsd x0, x2
001d7112movsd_xmm x3, [rip-0x143d8a]
001d711amulsd x3, x1
001d711emovapd x2, x0
001d7122
001d7122loc_1d7122:
001d7122movapd x0, x2
001d7126subsd x0, x3
001d712amovsd_xmm [r14], x0
001d712fmovq rcx, x0
001d7134shr rcx, 52
001d7138and ecx, 2047
001d713eshr edx, 20
001d7141mov esi, edx
001d7143sub esi, ecx
001d7145cmp esi, 17
001d7148jl 0x1d745f
001d714emovsd_xmm x0, [rip-0x143d9e]
001d7156mulsd x0, x1
001d715amovapd x4, x2
001d715esubsd x4, x0
001d7162movsd_xmm x3, [rip-0x143daa]
001d716amulsd x3, x1
001d716esubsd x2, x4
001d7172subsd x2, x0
001d7176subsd x3, x2
001d717amovapd x0, x4
001d717esubsd x0, x3
001d7182movsd_xmm [r14], x0
001d7187movq rcx, x0
001d718cshr rcx, 52
001d7190and ecx, 2047
001d7196sub edx, ecx
001d7198cmp edx, 50
001d719bjl 0x1d745b
001d71a1
001d71a1loc_1d71a1:
001d71a1movsd_xmm x0, [rip-0x143de1]
001d71a9mulsd x0, x1
001d71admovapd x2, x4
001d71b1mulsd x1, [rip-0x143de9]
001d71b9subsd x2, x0
001d71bdsubsd x4, x2
001d71c1subsd x4, x0
001d71c5subsd x1, x4
001d71c9movapd x0, x2
001d71cdsubsd x0, x1
001d71d1movsd_xmm [r14], x0
001d71d6movapd x3, x1
001d71dajmp 0x1d745f
001d71df
001d71dfloc_1d71df:
001d71dftest rbx, rbx
001d71e2js 0x1d74a8
001d71e8addsd x0, [rip-0x143dc8]
001d71f0movsd_xmm x1, [rip-0x143dc8]
001d71f8movapd x2, x0
001d71fcaddsd x2, x1
001d7200movsd_xmm [r14], x2
001d7205subsd x0, x2
001d7209addsd x0, x1
001d720dmovsd_xmm [r14+8], x0
001d7213mov eax, 2
001d7218jmp 0x1d746d
001d721d
001d721dloc_1d721d:
001d721dcmp edx, 0x401921fb
001d7223jne 0x1d72ad
001d7229
001d7229loc_1d7229:
001d7229movsd_xmm x1, [rip-0x143ec1]
001d7231mulsd x1, x0
001d7235addsd x1, [rip-0x143ec5]
001d723daddsd x1, [rip-0x143ec5]
001d7245cvttsd2si eax, x1
001d7249movsd_xmm x2, [rip-0x143ec9]
001d7251mulsd x2, x1
001d7255addsd x2, x0
001d7259movsd_xmm x3, [rip-0x143ed1]
001d7261mulsd x3, x1
001d7265movapd x4, x2
001d7269subsd x4, x3
001d726dmovsd_xmm x5, [rip-0x143edd]
001d7275ucomisd x5, x4
001d7279jbe 0x1d73b4
001d727fadd eax, -1
001d7282addsd x1, [rip-0x143eda]
001d728ajmp 0x1d73c9
001d728f
001d728floc_1d728f:
001d728fcmp edx, 0x7ff00000
001d7295jb 0x1d72eb
001d7297subsd x0, x0
001d729bmovsd_xmm [r14], x0
001d72a0movsd_xmm [r14+8], x0
001d72a6xor eax, eax
001d72a8jmp 0x1d746d
001d72ad
001d72adloc_1d72ad:
001d72adtest rbx, rbx
001d72b0js 0x1d750f
001d72b6addsd x0, [rip-0x143ed6]
001d72bemovsd_xmm x1, [rip-0x143ed6]
001d72c6movapd x2, x0
001d72caaddsd x2, x1
001d72cemovsd_xmm [r14], x2
001d72d3subsd x0, x2
001d72d7addsd x0, x1
001d72dbmovsd_xmm [r14+8], x0
001d72e1mov eax, 4
001d72e6jmp 0x1d746d
001d72eb
001d72ebloc_1d72eb:
001d72ebmov rax, 0xfffffffffffff
001d72f5and rax, rbx
001d72f8mov rcx, 0x4160000000000000
001d7302or rcx, rax
001d7305movq x0, rcx
001d730acvttpd2dq x1, x0
001d730ecvtdq2pd x1, x1
001d7312subsd x0, x1
001d7316movsd_xmm x2, [rip-0x143fb6]
001d731emulsd x0, x2
001d7322cvttpd2dq x3, x0
001d7326cvtdq2pd x3, x3
001d732aunpcklpd x1, x3
001d732emovupd [rbp-56], x1
001d7333subsd x0, x3
001d7337mulsd x0, x2
001d733bmovsd_xmm [rbp-40], x0
001d7340mov ecx, 2
001d7345xorpd x0, x0
001d7349nop [rax]
001d7350
001d7350loc_1d7350:
001d7350mov rax, [rbp-40]
001d7354mov [rbp-64], rax
001d7358movups x1, [rbp-56]
001d735cmovaps [rbp-80], x1
001d7360movsd_xmm x1, [rbp+8*rcx-80]
001d7366add rcx, -1
001d736aucomisd x1, x0
001d736ejne 0x1d7372
001d7370jnp 0x1d7350
001d7372
001d7372loc_1d7372:
001d7372shr edx, 20
001d7375add edx, -1046
001d737badd ecx, 2
001d737elea rdi, [rbp-56]
001d7382lea rsi, [rbp-32]
001d7386mov r8l, 1
001d738ccall compiler_rt.rem_pio2_large.rem_pio2_large
001d7391movsd_xmm x0, [rbp-32]
001d7396test rbx, rbx
001d7399js 0x1d7544
001d739fmovsd_xmm [r14], x0
001d73a4movsd_xmm x0, [rbp-24]
001d73a9movsd_xmm [r14+8], x0
001d73afjmp 0x1d746d
001d73b4
001d73b4loc_1d73b4:
001d73b4ucomisd x4, [rip-0x14401c]
001d73bcjbe 0x1d73e9
001d73beadd eax, 1
001d73c1addsd x1, [rip-0x144021]
001d73c9
001d73c9loc_1d73c9:
001d73c9movsd_xmm x2, [rip-0x144049]
001d73d1mulsd x2, x1
001d73d5addsd x0, x2
001d73d9movsd_xmm x3, [rip-0x144051]
001d73e1mulsd x3, x1
001d73e5movapd x2, x0
001d73e9
001d73e9loc_1d73e9:
001d73e9movapd x0, x2
001d73edsubsd x0, x3
001d73f1movsd_xmm [r14], x0
001d73f6movq rcx, x0
001d73fbshr rcx, 52
001d73ffand ecx, 2047
001d7405cmp ecx, 1008
001d740bja 0x1d745f
001d740dmovsd_xmm x0, [rip-0x14405d]
001d7415mulsd x0, x1
001d7419movapd x4, x2
001d741dsubsd x4, x0
001d7421movsd_xmm x3, [rip-0x144069]
001d7429mulsd x3, x1
001d742dsubsd x2, x4
001d7431subsd x2, x0
001d7435subsd x3, x2
001d7439movapd x0, x4
001d743dsubsd x0, x3
001d7441movsd_xmm [r14], x0
001d7446movq rcx, x0
001d744bshr rcx, 56
001d744fand ecx, 127
001d7452cmp ecx, 60
001d7455jbe 0x1d71a1
001d745b
001d745bloc_1d745b:
001d745bmovapd x2, x4
001d745f
001d745floc_1d745f:
001d745fsubsd x2, x0
001d7463subsd x2, x3
001d7467movsd_xmm [r14+8], x2
001d746d
001d746dloc_1d746d:
001d746dadd rsp, 64
001d7471pop rbx
001d7472pop r14
001d7474pop rbp
001d7475ret
001d7476
001d7476loc_1d7476:
001d7476addsd x0, [rip-0x144046]
001d747emovsd_xmm x1, [rip-0x1440f6]
001d7486movapd x2, x0
001d748aaddsd x2, x1
001d748emovsd_xmm [r14], x2
001d7493subsd x0, x2
001d7497addsd x0, x1
001d749bmovsd_xmm [r14+8], x0
001d74a1mov eax, -1
001d74a6jmp 0x1d746d
001d74a8
001d74a8loc_1d74a8:
001d74a8addsd x0, [rip-0x144098]
001d74b0movsd_xmm x1, [rip-0x144098]
001d74b8movapd x2, x0
001d74bcaddsd x2, x1
001d74c0movsd_xmm [r14], x2
001d74c5subsd x0, x2
001d74c9addsd x0, x1
001d74cdmovsd_xmm [r14+8], x0
001d74d3mov eax, -2
001d74d8jmp 0x1d746d
001d74da
001d74daloc_1d74da:
001d74daaddsd x0, [rip-0x1440ea]
001d74e2movsd_xmm x1, [rip-0x1440ea]
001d74eamovapd x2, x0
001d74eeaddsd x2, x1
001d74f2movsd_xmm [r14], x2
001d74f7subsd x0, x2
001d74fbaddsd x0, x1
001d74ffmovsd_xmm [r14+8], x0
001d7505mov eax, -3
001d750ajmp 0x1d746d
001d750f
001d750floc_1d750f:
001d750faddsd x0, [rip-0x14413f]
001d7517movsd_xmm x1, [rip-0x14413f]
001d751fmovapd x2, x0
001d7523addsd x2, x1
001d7527movsd_xmm [r14], x2
001d752csubsd x0, x2
001d7530addsd x0, x1
001d7534movsd_xmm [r14+8], x0
001d753amov eax, -4
001d753fjmp 0x1d746d
001d7544
001d7544loc_1d7544:
001d7544movhpd x0, [rbp-24]
001d7549xorpd x0, [rip-0x143981]
001d7551movupd [r14], x0
001d7556neg eax
001d7558jmp 0x1d746d
001d6fa0
001d755d
001d755d // align 0x10
001d755d // align 0x10
001d7560
001d7560__sinx:
001d7560push rbp
001d7561mov rbp, rsp
001d7564push r15
001d7566push r14
001d7568push rbx
001d7569sub rsp, 56
001d756dmov r15, 0x8000000000000000
001d7577mov eax, [rbp+24]
001d757amov rdx, [rbp+16]
001d757emov edi, eax
001d7580mov r14, 0x7fff000000000000
001d758aand di, 32767
001d758fjne 0x1d75a1
001d7591xor esi, esi
001d7593mov ecx, 0
001d7598test rdx, rdx
001d759bje 0x1d7625
001d75a1
001d75a1loc_1d75a1:
001d75a1movzx ecx, di
001d75a4cmp ecx, 32767
001d75aajne 0x1d75bf
001d75acmov rsi, rdx
001d75afshl rsi, 49
001d75b3shr rdx, 15
001d75b7or rdx, r14
001d75bamov rcx, rdx
001d75bdjmp 0x1d7625
001d75bf
001d75bfloc_1d75bf:
001d75bftest rdx, rdx
001d75c2js 0x1d75d0
001d75c4je 0x1d75eb
001d75c6bsr rsi, rdx
001d75caxor rsi, 63
001d75cejmp 0x1d75f0
001d75d0
001d75d0loc_1d75d0:
001d75d0lea rsi, [r15-1]
001d75d4and rdx, rsi
001d75d7mov rsi, rdx
001d75dashl rsi, 49
001d75deshr rdx, 15
001d75e2shl rcx, 48
001d75e6or rcx, rdx
001d75e9jmp 0x1d7625
001d75eb
001d75ebloc_1d75eb:
001d75ebmov esi, 64
001d75f0
001d75f0loc_1d75f0:
001d75f0mov ecx, esi
001d75f2add cl, 50
001d75f5xor edi, edi
001d75f7shld rdi, rdx, cl
001d75fbshl rdx, cl
001d75fexor ebx, ebx
001d7600test cl, 64
001d7603cmovne rdi, rdx
001d7607cmovne rdx, rbx
001d760bmov rbx, 0x1000000000000
001d7615xor rbx, rdi
001d7618lea ecx, [rsi+1]
001d761bshl rcx, 48
001d761for rcx, rbx
001d7622mov rsi, rdx
001d7625
001d7625loc_1d7625:
001d7625and eax, 32768
001d762ashl rax, 48
001d762eor rax, rcx
001d7631mov [rbp-80], rsi
001d7635mov [rbp-72], rax
001d7639movaps x0, [rbp-80]
001d763dcall sinq
001d7642movaps [rbp-64], x0
001d7646mov rdi, [rbp-64]
001d764amov rax, [rbp-56]
001d764emov rbx, 0x7fffffffffffffff
001d7658mov rsi, rax
001d765bshld rsi, rdi, 15
001d7660and rbx, rax
001d7663mov rcx, rsi
001d7666or rcx, r15
001d7669mov rdx, rdi
001d766cneg rdx
001d766fsbb r14, rbx
001d7672mov dx, 32767
001d7676jb 0x1d76ea
001d7678shr rbx, 48
001d767cmov edx, ebx
001d767emov rbx, 0x1ffffffffffff
001d7688and rdi, rbx
001d768bmov rbx, 0x1000000000001
001d7695cmp rdi, rbx
001d7698jb 0x1d76b4
001d769amov rsi, rcx
001d769dadd rsi, 1
001d76a1adc dx, 0
001d76a5xor esi, esi
001d76a7add rcx, 1
001d76abcmove rsi, r15
001d76afor rcx, rsi
001d76b2jmp 0x1d76dc
001d76b4
001d76b4loc_1d76b4:
001d76b4mov rbx, 0x1000000000000
001d76becmp rdi, rbx
001d76c1jne 0x1d76dc
001d76c3and esi, 1
001d76c6mov rdi, rcx
001d76c9add rdi, rsi
001d76ccadc dx, 0
001d76d0xor edi, edi
001d76d2add rcx, rsi
001d76d5cmovb rdi, r15
001d76d9or rcx, rdi
001d76dc
001d76dcloc_1d76dc:
001d76dcadd r15, -1
001d76e0and r15, rcx
001d76e3test dx, dx
001d76e6cmove rcx, r15
001d76ea
001d76ealoc_1d76ea:
001d76eashr rax, 48
001d76eeand eax, 32768
001d76f3or edx, eax
001d76f5mov [rbp-48], rcx
001d76f9mov [rbp-40], dx
001d76fdfld [rbp-48]
001d7700add rsp, 56
001d7704pop rbx
001d7705pop r14
001d7707pop r15
001d7709pop rbp
001d770aret
001d7560
001d7560__sinx:
001d7560push rbp
001d7561mov rbp, rsp
001d7564push r15
001d7566push r14
001d7568push rbx
001d7569sub rsp, 56
001d756dmov r15, 0x8000000000000000
001d7577mov eax, [rbp+24]
001d757amov rdx, [rbp+16]
001d757emov edi, eax
001d7580mov r14, 0x7fff000000000000
001d758aand di, 32767
001d758fjne 0x1d75a1
001d7591xor esi, esi
001d7593mov ecx, 0
001d7598test rdx, rdx
001d759bje 0x1d7625
001d75a1
001d75a1loc_1d75a1:
001d75a1movzx ecx, di
001d75a4cmp ecx, 32767
001d75aajne 0x1d75bf
001d75acmov rsi, rdx
001d75afshl rsi, 49
001d75b3shr rdx, 15
001d75b7or rdx, r14
001d75bamov rcx, rdx
001d75bdjmp 0x1d7625
001d75bf
001d75bfloc_1d75bf:
001d75bftest rdx, rdx
001d75c2js 0x1d75d0
001d75c4je 0x1d75eb
001d75c6bsr rsi, rdx
001d75caxor rsi, 63
001d75cejmp 0x1d75f0
001d75d0
001d75d0loc_1d75d0:
001d75d0lea rsi, [r15-1]
001d75d4and rdx, rsi
001d75d7mov rsi, rdx
001d75dashl rsi, 49
001d75deshr rdx, 15
001d75e2shl rcx, 48
001d75e6or rcx, rdx
001d75e9jmp 0x1d7625
001d75eb
001d75ebloc_1d75eb:
001d75ebmov esi, 64
001d75f0
001d75f0loc_1d75f0:
001d75f0mov ecx, esi
001d75f2add cl, 50
001d75f5xor edi, edi
001d75f7shld rdi, rdx, cl
001d75fbshl rdx, cl
001d75fexor ebx, ebx
001d7600test cl, 64
001d7603cmovne rdi, rdx
001d7607cmovne rdx, rbx
001d760bmov rbx, 0x1000000000000
001d7615xor rbx, rdi
001d7618lea ecx, [rsi+1]
001d761bshl rcx, 48
001d761for rcx, rbx
001d7622mov rsi, rdx
001d7625
001d7625loc_1d7625:
001d7625and eax, 32768
001d762ashl rax, 48
001d762eor rax, rcx
001d7631mov [rbp-80], rsi
001d7635mov [rbp-72], rax
001d7639movaps x0, [rbp-80]
001d763dcall sinq
001d7642movaps [rbp-64], x0
001d7646mov rdi, [rbp-64]
001d764amov rax, [rbp-56]
001d764emov rbx, 0x7fffffffffffffff
001d7658mov rsi, rax
001d765bshld rsi, rdi, 15
001d7660and rbx, rax
001d7663mov rcx, rsi
001d7666or rcx, r15
001d7669mov rdx, rdi
001d766cneg rdx
001d766fsbb r14, rbx
001d7672mov dx, 32767
001d7676jb 0x1d76ea
001d7678shr rbx, 48
001d767cmov edx, ebx
001d767emov rbx, 0x1ffffffffffff
001d7688and rdi, rbx
001d768bmov rbx, 0x1000000000001
001d7695cmp rdi, rbx
001d7698jb 0x1d76b4
001d769amov rsi, rcx
001d769dadd rsi, 1
001d76a1adc dx, 0
001d76a5xor esi, esi
001d76a7add rcx, 1
001d76abcmove rsi, r15
001d76afor rcx, rsi
001d76b2jmp 0x1d76dc
001d76b4
001d76b4loc_1d76b4:
001d76b4mov rbx, 0x1000000000000
001d76becmp rdi, rbx
001d76c1jne 0x1d76dc
001d76c3and esi, 1
001d76c6mov rdi, rcx
001d76c9add rdi, rsi
001d76ccadc dx, 0
001d76d0xor edi, edi
001d76d2add rcx, rsi
001d76d5cmovb rdi, r15
001d76d9or rcx, rdi
001d76dc
001d76dcloc_1d76dc:
001d76dcadd r15, -1
001d76e0and r15, rcx
001d76e3test dx, dx
001d76e6cmove rcx, r15
001d76ea
001d76ealoc_1d76ea:
001d76eashr rax, 48
001d76eeand eax, 32768
001d76f3or edx, eax
001d76f5mov [rbp-48], rcx
001d76f9mov [rbp-40], dx
001d76fdfld [rbp-48]
001d7700add rsp, 56
001d7704pop rbx
001d7705pop r14
001d7707pop r15
001d7709pop rbp
001d770aret
001d7560
001d770b
001d770b // align 0x10
001d770b // align 0x10
001d7710
001d7710sinq:
001d7710push rbp
001d7711mov rbp, rsp
001d7714push rbx
001d7715sub rsp, 40
001d7719movaps [rbp-48], x0
001d771dmov rdi, [rbp-48]
001d7721mov rdx, [rbp-40]
001d7725mov rcx, 0x7fffffffffffffff
001d772fand rcx, rdx
001d7732mov rax, 0xc3ff000000000000
001d773cadd rax, rcx
001d773fmov rsi, 0xbc01000000000000
001d7749add rsi, rcx
001d774ccmp rax, rsi
001d774fjae 0x1d7790
001d7751mov rcx, 0x4000000000000000
001d775bmov rax, rdx
001d775eshld rax, rdi, 4
001d7763lea rsi, [rax+rcx]
001d7767mov rbx, 0xfffffffffffffff
001d7771and rbx, rdi
001d7774mov rdi, 0x800000000000000
001d777ecmp rbx, rdi
001d7781jbe 0x1d77c9
001d7783lea rsi, [rcx+rax]
001d7787add rsi, 1
001d778bjmp 0x1d78a1
001d7790
001d7790loc_1d7790:
001d7790mov rax, rdi
001d7793neg rax
001d7796mov rax, 0x7fff000000000000
001d77a0sbb rax, rcx
001d77a3jae 0x1d77da
001d77a5shrd rdi, rdx, 60
001d77aamov rax, 0x7ffffffffffff
001d77b4and rax, rdi
001d77b7mov rsi, 0x7ff8000000000000
001d77c1or rsi, rax
001d77c4jmp 0x1d78a1
001d77c9
001d77c9loc_1d77c9:
001d77c9jne 0x1d78a1
001d77cf
001d77cfloc_1d77cf:
001d77cfand eax, 1
001d77d2add rsi, rax
001d77d5jmp 0x1d78a1
001d77da
001d77daloc_1d77da:
001d77dashr rcx, 48
001d77decmp ecx, 17406
001d77e4jbe 0x1d77f9
001d77e6mov rsi, 0x7fefffffffffffff
001d77f0add rsi, 1
001d77f4jmp 0x1d78a1
001d77f9
001d77f9loc_1d77f9:
001d77f9mov eax, 15361
001d77fesub eax, ecx
001d7800cmp eax, 112
001d7803jbe 0x1d780c
001d7805xor esi, esi
001d7807jmp 0x1d78a1
001d780c
001d780cloc_1d780c:
001d780cmov rbx, 0xffffffffffff
001d7816and rbx, rdx
001d7819mov rsi, 0x1000000000000
001d7823or rsi, rbx
001d7826add cl, -1
001d7829mov r8, rsi
001d782cshld r8, rdi, cl
001d7830mov rbx, rdi
001d7833shl rbx, cl
001d7836xor r9l, r9l
001d7839test cl, 64
001d783ccmovne r8, rbx
001d7840cmovne rbx, r9
001d7844xor r10l, r10l
001d7847or rbx, r8
001d784asetne r10b
001d784emov ecx, eax
001d7850shrd rdi, rsi, cl
001d7854shr rsi, cl
001d7857test al, 64
001d7859cmovne rdi, rsi
001d785dcmovne rsi, r9
001d7861shld rsi, rdi, 4
001d7866mov rax, 0xfffffffffffffff
001d7870and rax, rdi
001d7873or rax, r10
001d7876mov rcx, 0x800000000000001
001d7880cmp rax, rcx
001d7883jb 0x1d788b
001d7885add rsi, 1
001d7889jmp 0x1d78a1
001d788b
001d788bloc_1d788b:
001d788bmov rcx, 0x800000000000000
001d7895cmp rax, rcx
001d7898jne 0x1d78a1
001d789amov eax, esi
001d789cjmp 0x1d77cf
001d78a1
001d78a1loc_1d78a1:
001d78a1mov rbx, 0x8000000000000000
001d78aband rdx, rbx
001d78aeor rdx, rsi
001d78b1movq x0, rdx
001d78b6call sin
001d78bbmovq rax, x0
001d78c0lea rdx, [rbx-1]
001d78c4and rdx, rax
001d78c7mov rcx, 0xfff0000000000000
001d78d1add rcx, rdx
001d78d4shr rcx, 53
001d78d8cmp ecx, 1022
001d78deja 0x1d78fa
001d78e0mov rcx, rdx
001d78e3shl rcx, 60
001d78e7shr rdx, 4
001d78ebmov rsi, 0x3c00000000000000
001d78f5add rsi, rdx
001d78f8jmp 0x1d7977
001d78fa
001d78faloc_1d78fa:
001d78famov rcx, rdx
001d78fdshr rcx, 52
001d7901cmp ecx, 2047
001d7907jb 0x1d7926
001d7909mov rcx, rax
001d790cshl rcx, 60
001d7910mov rdx, rax
001d7913shr rdx, 4
001d7917mov rsi, 0x7fff000000000000
001d7921or rsi, rdx
001d7924jmp 0x1d7977
001d7926
001d7926loc_1d7926:
001d7926test rdx, rdx
001d7929je 0x1d7973
001d792bbsr rcx, rdx
001d792fxor rcx, 63
001d7933lea edi, [rcx+117]
001d7936add cl, 49
001d7939xor esi, esi
001d793bshld rsi, rdx, cl
001d793fand edi, 127
001d7942xor r8l, r8l
001d7945shl rdx, cl
001d7948test cl, 64
001d794bcmovne rsi, rdx
001d794fcmovne rdx, r8
001d7953mov rcx, 0x1000000000000
001d795dxor rcx, rsi
001d7960mov esi, 15361
001d7965sub esi, edi
001d7967shl rsi, 48
001d796bor rsi, rcx
001d796emov rcx, rdx
001d7971jmp 0x1d7977
001d7973
001d7973loc_1d7973:
001d7973xor ecx, ecx
001d7975xor esi, esi
001d7977
001d7977loc_1d7977:
001d7977and rax, rbx
001d797aor rax, rsi
001d797dmov [rbp-32], rcx
001d7981mov [rbp-24], rax
001d7985movaps x0, [rbp-32]
001d7989add rsp, 40
001d798dpop rbx
001d798epop rbp
001d798fret
001d7710
001d7710sinq:
001d7710push rbp
001d7711mov rbp, rsp
001d7714push rbx
001d7715sub rsp, 40
001d7719movaps [rbp-48], x0
001d771dmov rdi, [rbp-48]
001d7721mov rdx, [rbp-40]
001d7725mov rcx, 0x7fffffffffffffff
001d772fand rcx, rdx
001d7732mov rax, 0xc3ff000000000000
001d773cadd rax, rcx
001d773fmov rsi, 0xbc01000000000000
001d7749add rsi, rcx
001d774ccmp rax, rsi
001d774fjae 0x1d7790
001d7751mov rcx, 0x4000000000000000
001d775bmov rax, rdx
001d775eshld rax, rdi, 4
001d7763lea rsi, [rax+rcx]
001d7767mov rbx, 0xfffffffffffffff
001d7771and rbx, rdi
001d7774mov rdi, 0x800000000000000
001d777ecmp rbx, rdi
001d7781jbe 0x1d77c9
001d7783lea rsi, [rcx+rax]
001d7787add rsi, 1
001d778bjmp 0x1d78a1
001d7790
001d7790loc_1d7790:
001d7790mov rax, rdi
001d7793neg rax
001d7796mov rax, 0x7fff000000000000
001d77a0sbb rax, rcx
001d77a3jae 0x1d77da
001d77a5shrd rdi, rdx, 60
001d77aamov rax, 0x7ffffffffffff
001d77b4and rax, rdi
001d77b7mov rsi, 0x7ff8000000000000
001d77c1or rsi, rax
001d77c4jmp 0x1d78a1
001d77c9
001d77c9loc_1d77c9:
001d77c9jne 0x1d78a1
001d77cf
001d77cfloc_1d77cf:
001d77cfand eax, 1
001d77d2add rsi, rax
001d77d5jmp 0x1d78a1
001d77da
001d77daloc_1d77da:
001d77dashr rcx, 48
001d77decmp ecx, 17406
001d77e4jbe 0x1d77f9
001d77e6mov rsi, 0x7fefffffffffffff
001d77f0add rsi, 1
001d77f4jmp 0x1d78a1
001d77f9
001d77f9loc_1d77f9:
001d77f9mov eax, 15361
001d77fesub eax, ecx
001d7800cmp eax, 112
001d7803jbe 0x1d780c
001d7805xor esi, esi
001d7807jmp 0x1d78a1
001d780c
001d780cloc_1d780c:
001d780cmov rbx, 0xffffffffffff
001d7816and rbx, rdx
001d7819mov rsi, 0x1000000000000
001d7823or rsi, rbx
001d7826add cl, -1
001d7829mov r8, rsi
001d782cshld r8, rdi, cl
001d7830mov rbx, rdi
001d7833shl rbx, cl
001d7836xor r9l, r9l
001d7839test cl, 64
001d783ccmovne r8, rbx
001d7840cmovne rbx, r9
001d7844xor r10l, r10l
001d7847or rbx, r8
001d784asetne r10b
001d784emov ecx, eax
001d7850shrd rdi, rsi, cl
001d7854shr rsi, cl
001d7857test al, 64
001d7859cmovne rdi, rsi
001d785dcmovne rsi, r9
001d7861shld rsi, rdi, 4
001d7866mov rax, 0xfffffffffffffff
001d7870and rax, rdi
001d7873or rax, r10
001d7876mov rcx, 0x800000000000001
001d7880cmp rax, rcx
001d7883jb 0x1d788b
001d7885add rsi, 1
001d7889jmp 0x1d78a1
001d788b
001d788bloc_1d788b:
001d788bmov rcx, 0x800000000000000
001d7895cmp rax, rcx
001d7898jne 0x1d78a1
001d789amov eax, esi
001d789cjmp 0x1d77cf
001d78a1
001d78a1loc_1d78a1:
001d78a1mov rbx, 0x8000000000000000
001d78aband rdx, rbx
001d78aeor rdx, rsi
001d78b1movq x0, rdx
001d78b6call sin
001d78bbmovq rax, x0
001d78c0lea rdx, [rbx-1]
001d78c4and rdx, rax
001d78c7mov rcx, 0xfff0000000000000
001d78d1add rcx, rdx
001d78d4shr rcx, 53
001d78d8cmp ecx, 1022
001d78deja 0x1d78fa
001d78e0mov rcx, rdx
001d78e3shl rcx, 60
001d78e7shr rdx, 4
001d78ebmov rsi, 0x3c00000000000000
001d78f5add rsi, rdx
001d78f8jmp 0x1d7977
001d78fa
001d78faloc_1d78fa:
001d78famov rcx, rdx
001d78fdshr rcx, 52
001d7901cmp ecx, 2047
001d7907jb 0x1d7926
001d7909mov rcx, rax
001d790cshl rcx, 60
001d7910mov rdx, rax
001d7913shr rdx, 4
001d7917mov rsi, 0x7fff000000000000
001d7921or rsi, rdx
001d7924jmp 0x1d7977
001d7926
001d7926loc_1d7926:
001d7926test rdx, rdx
001d7929je 0x1d7973
001d792bbsr rcx, rdx
001d792fxor rcx, 63
001d7933lea edi, [rcx+117]
001d7936add cl, 49
001d7939xor esi, esi
001d793bshld rsi, rdx, cl
001d793fand edi, 127
001d7942xor r8l, r8l
001d7945shl rdx, cl
001d7948test cl, 64
001d794bcmovne rsi, rdx
001d794fcmovne rdx, r8
001d7953mov rcx, 0x1000000000000
001d795dxor rcx, rsi
001d7960mov esi, 15361
001d7965sub esi, edi
001d7967shl rsi, 48
001d796bor rsi, rcx
001d796emov rcx, rdx
001d7971jmp 0x1d7977
001d7973
001d7973loc_1d7973:
001d7973xor ecx, ecx
001d7975xor esi, esi
001d7977
001d7977loc_1d7977:
001d7977and rax, rbx
001d797aor rax, rsi
001d797dmov [rbp-32], rcx
001d7981mov [rbp-24], rax
001d7985movaps x0, [rbp-32]
001d7989add rsp, 40
001d798dpop rbx
001d798epop rbp
001d798fret
001d7710
001d7990
001d7990sinl:
001d7990push rbp
001d7991mov rbp, rsp
001d7994pop rbp
001d7995jmp 0x1d7560
001d7990
001d7990sinl:
001d7990push rbp
001d7991mov rbp, rsp
001d7994pop rbp
001d7995jmp 0x1d7560
001d7990
001d799a
001d799a // align 0x10
001d799a // align 0x10
001d79a0
001d79a0cosf:
001d79a0push rbp
001d79a1mov rbp, rsp
001d79a4push rbx
001d79a5sub rsp, 24
001d79a9movd ebx, x0
001d79admov eax, ebx
001d79afand eax, 0x7fffffff
001d79b4cmp eax, 0x3f490fda
001d79b9ja 0x1d79d5
001d79bbcmp eax, 0x39800000
001d79c0jae 0x1d7a60
001d79c6movss x0, [rip-0x14486e]
001d79ceadd rsp, 24
001d79d2pop rbx
001d79d3pop rbp
001d79d4ret
001d79d5
001d79d5loc_1d79d5:
001d79d5cmp eax, 0x407b53d1
001d79daja 0x1d7ab5
001d79e0cvtss2sd x0, x0
001d79e4cmp eax, 0x4016cbe4
001d79e9jb 0x1d7adc
001d79efxor eax, eax
001d79f1test ebx, ebx
001d79f3setns al
001d79f6lea rcx, [rip-0x143dcd]
001d79fdaddsd x0, [rcx+8*rax]
001d7a02
001d7a02loc_1d7a02:
001d7a02mulsd x0, x0
001d7a06movapd x1, x0
001d7a0amovsd_xmm x2, [rip-0x144582]
001d7a12mulsd x2, x0
001d7a16addsd x2, [rip-0x144586]
001d7a1emovsd_xmm x3, [rip-0x144586]
001d7a26mulsd x3, x0
001d7a2aaddsd x3, [rip-0x1445b2]
001d7a32mulsd x1, x0
001d7a36mulsd x0, x1
001d7a3amulsd x1, [rip-0x14459a]
001d7a42addsd x1, x3
001d7a46mulsd x0, x2
001d7a4aaddsd x0, x1
001d7a4ecvtsd2ss x0, x0
001d7a52xorps x0, [rip-0x143e69]
001d7a59add rsp, 24
001d7a5dpop rbx
001d7a5epop rbp
001d7a5fret
001d7a60
001d7a60loc_1d7a60:
001d7a60cvtss2sd x0, x0
001d7a64
001d7a64loc_1d7a64:
001d7a64mulsd x0, x0
001d7a68movapd x1, x0
001d7a6cmulsd x1, x0
001d7a70movsd_xmm x2, [rip-0x1445e8]
001d7a78mulsd x2, x0
001d7a7caddsd x2, [rip-0x1445ec]
001d7a84movsd_xmm x3, [rip-0x1445ec]
001d7a8cmulsd x3, x0
001d7a90addsd x3, [rip-0x144618]
001d7a98mulsd x0, x1
001d7a9cmulsd x1, [rip-0x1445fc]
001d7aa4addsd x1, x3
001d7aa8mulsd x0, x2
001d7aacaddsd x0, x1
001d7ab0jmp 0x1d7c3a
001d7ab5
001d7ab5loc_1d7ab5:
001d7ab5cmp eax, 0x40e231d5
001d7abaja 0x1d7af1
001d7abccmp eax, 0x40afede0
001d7ac1jb 0x1d7b03
001d7ac3xor eax, eax
001d7ac5test ebx, ebx
001d7ac7setns al
001d7acacvtss2sd x0, x0
001d7acelea rcx, [rip-0x143eb5]
001d7ad5addsd x0, [rcx+8*rax]
001d7adajmp 0x1d7a64
001d7adc
001d7adcloc_1d7adc:
001d7adctest ebx, ebx
001d7adejs 0x1d7b89
001d7ae4movsd_xmm x1, [rip-0x144634]
001d7aecjmp 0x1d7bee
001d7af1
001d7af1loc_1d7af1:
001d7af1cmp eax, 0x7f800000
001d7af6jb 0x1d7b1c
001d7af8subss x0, x0
001d7afcadd rsp, 24
001d7b00pop rbx
001d7b01pop rbp
001d7b02ret
001d7b03
001d7b03loc_1d7b03:
001d7b03cvtss2sd x0, x0
001d7b07test ebx, ebx
001d7b09js 0x1d7be6
001d7b0faddsd x0, [rip-0x144667]
001d7b17jmp 0x1d7c91
001d7b1c
001d7b1cloc_1d7b1c:
001d7b1ccmp eax, 0x4dc90fda
001d7b21ja 0x1d7b96
001d7b23cvtss2sd x2, x0
001d7b27movsd_xmm x1, [rip-0x1446e7]
001d7b2fmulsd x1, x2
001d7b33addsd x1, [rip-0x1446eb]
001d7b3baddsd x1, [rip-0x1446eb]
001d7b43cvttsd2si eax, x1
001d7b47movsd_xmm x3, [rip-0x1446ef]
001d7b4fmulsd x3, x1
001d7b53addsd x3, x2
001d7b57movsd_xmm x0, [rip-0x1446f7]
001d7b5fmulsd x0, x1
001d7b63addsd x0, x3
001d7b67movsd_xmm x3, [rip-0x1446ff]
001d7b6fucomisd x3, x0
001d7b73jbe 0x1d7c45
001d7b79addsd x1, [rip-0x1446f9]
001d7b81add eax, -1
001d7b84jmp 0x1d7c5a
001d7b89
001d7b89loc_1d7b89:
001d7b89addsd x0, [rip-0x1446d9]
001d7b91jmp 0x1d7c91
001d7b96
001d7b96loc_1d7b96:
001d7b96mov edx, eax
001d7b98shr edx, 23
001d7b9badd edx, -150
001d7ba1mov ecx, edx
001d7ba3shl ecx, 23
001d7ba6sub eax, ecx
001d7ba8movd x0, eax
001d7baccvtss2sd x0, x0
001d7bb0movsd_xmm [rbp-16], x0
001d7bb5lea rdi, [rbp-16]
001d7bb9lea rsi, [rbp-24]
001d7bbdmov ecx, 1
001d7bc2xor r8l, r8l
001d7bc5call compiler_rt.rem_pio2_large.rem_pio2_large
001d7bcamovsd_xmm x0, [rbp-24]
001d7bcftest ebx, ebx
001d7bd1jns 0x1d7c7a
001d7bd7xorpd x0, [rip-0x143fff]
001d7bdfneg eax
001d7be1jmp 0x1d7c7a
001d7be6
001d7be6loc_1d7be6:
001d7be6movsd_xmm x1, [rip-0x14473e]
001d7bee
001d7beeloc_1d7bee:
001d7beesubsd x1, x0
001d7bf2movapd x0, x1
001d7bf6mulsd x0, x1
001d7bfamovapd x2, x0
001d7bfemovapd x3, x1
001d7c02mulsd x3, x0
001d7c06unpcklpd x0, x0
001d7c0amulpd x0, [rip-0x144012]
001d7c12mulsd x2, x2
001d7c16addpd x0, [rip-0x14400e]
001d7c1emulsd x2, x3
001d7c22unpcklpd x2, x3
001d7c26mulpd x2, x0
001d7c2amovapd x0, x2
001d7c2eunpckhpd x0, x2
001d7c32addsd x0, x1
001d7c36addsd x0, x2
001d7c3a
001d7c3aloc_1d7c3a:
001d7c3acvtsd2ss x0, x0
001d7c3eadd rsp, 24
001d7c42pop rbx
001d7c43pop rbp
001d7c44ret
001d7c45
001d7c45loc_1d7c45:
001d7c45ucomisd x0, [rip-0x1447d5]
001d7c4djbe 0x1d7c7a
001d7c4faddsd x1, [rip-0x1447d7]
001d7c57add eax, 1
001d7c5a
001d7c5aloc_1d7c5a:
001d7c5amovsd_xmm x0, [rip-0x144802]
001d7c62mulsd x0, x1
001d7c66addsd x2, x0
001d7c6amulsd x1, [rip-0x14480a]
001d7c72addsd x1, x2
001d7c76movapd x0, x1
001d7c7a
001d7c7aloc_1d7c7a:
001d7c7aand eax, 3
001d7c7dje 0x1d7a64
001d7c83cmp eax, 1
001d7c86je 0x1d7ce7
001d7c88cmp eax, 2
001d7c8bje 0x1d7a02
001d7c91
001d7c91loc_1d7c91:
001d7c91movapd x1, x0
001d7c95mulsd x1, x0
001d7c99movapd x2, x1
001d7c9dmovapd x3, x0
001d7ca1mulsd x3, x1
001d7ca5unpcklpd x1, x1
001d7ca9mulpd x1, [rip-0x1440b1]
001d7cb1mulsd x2, x2
001d7cb5addpd x1, [rip-0x1440ad]
001d7cbdmulsd x2, x3
001d7cc1unpcklpd x2, x3
001d7cc5mulpd x2, x1
001d7cc9movapd x1, x2
001d7ccdunpckhpd x1, x2
001d7cd1addsd x1, x0
001d7cd5addsd x1, x2
001d7cd9
001d7cd9loc_1d7cd9:
001d7cd9xorps x0, x0
001d7cdccvtsd2ss x0, x1
001d7ce0add rsp, 24
001d7ce4pop rbx
001d7ce5pop rbp
001d7ce6ret
001d7ce7
001d7ce7loc_1d7ce7:
001d7ce7movapd x1, [rip-0x14410f]
001d7cefxorpd x1, x0
001d7cf3movapd x2, x0
001d7cf7mulsd x2, x0
001d7cfbmovapd x3, x2
001d7cffmulsd x1, x2
001d7d03unpcklpd x2, x2
001d7d07mulpd x2, [rip-0x14410f]
001d7d0fmulsd x3, x3
001d7d13addpd x2, [rip-0x14410b]
001d7d1bmulsd x3, x1
001d7d1funpcklpd x3, x1
001d7d23mulpd x3, x2
001d7d27movapd x1, x3
001d7d2bunpckhpd x1, x3
001d7d2fsubsd x1, x0
001d7d33addsd x1, x3
001d7d37jmp 0x1d7cd9
001d79a0
001d79a0cosf:
001d79a0push rbp
001d79a1mov rbp, rsp
001d79a4push rbx
001d79a5sub rsp, 24
001d79a9movd ebx, x0
001d79admov eax, ebx
001d79afand eax, 0x7fffffff
001d79b4cmp eax, 0x3f490fda
001d79b9ja 0x1d79d5
001d79bbcmp eax, 0x39800000
001d79c0jae 0x1d7a60
001d79c6movss x0, [rip-0x14486e]
001d79ceadd rsp, 24
001d79d2pop rbx
001d79d3pop rbp
001d79d4ret
001d79d5
001d79d5loc_1d79d5:
001d79d5cmp eax, 0x407b53d1
001d79daja 0x1d7ab5
001d79e0cvtss2sd x0, x0
001d79e4cmp eax, 0x4016cbe4
001d79e9jb 0x1d7adc
001d79efxor eax, eax
001d79f1test ebx, ebx
001d79f3setns al
001d79f6lea rcx, [rip-0x143dcd]
001d79fdaddsd x0, [rcx+8*rax]
001d7a02
001d7a02loc_1d7a02:
001d7a02mulsd x0, x0
001d7a06movapd x1, x0
001d7a0amovsd_xmm x2, [rip-0x144582]
001d7a12mulsd x2, x0
001d7a16addsd x2, [rip-0x144586]
001d7a1emovsd_xmm x3, [rip-0x144586]
001d7a26mulsd x3, x0
001d7a2aaddsd x3, [rip-0x1445b2]
001d7a32mulsd x1, x0
001d7a36mulsd x0, x1
001d7a3amulsd x1, [rip-0x14459a]
001d7a42addsd x1, x3
001d7a46mulsd x0, x2
001d7a4aaddsd x0, x1
001d7a4ecvtsd2ss x0, x0
001d7a52xorps x0, [rip-0x143e69]
001d7a59add rsp, 24
001d7a5dpop rbx
001d7a5epop rbp
001d7a5fret
001d7a60
001d7a60loc_1d7a60:
001d7a60cvtss2sd x0, x0
001d7a64
001d7a64loc_1d7a64:
001d7a64mulsd x0, x0
001d7a68movapd x1, x0
001d7a6cmulsd x1, x0
001d7a70movsd_xmm x2, [rip-0x1445e8]
001d7a78mulsd x2, x0
001d7a7caddsd x2, [rip-0x1445ec]
001d7a84movsd_xmm x3, [rip-0x1445ec]
001d7a8cmulsd x3, x0
001d7a90addsd x3, [rip-0x144618]
001d7a98mulsd x0, x1
001d7a9cmulsd x1, [rip-0x1445fc]
001d7aa4addsd x1, x3
001d7aa8mulsd x0, x2
001d7aacaddsd x0, x1
001d7ab0jmp 0x1d7c3a
001d7ab5
001d7ab5loc_1d7ab5:
001d7ab5cmp eax, 0x40e231d5
001d7abaja 0x1d7af1
001d7abccmp eax, 0x40afede0
001d7ac1jb 0x1d7b03
001d7ac3xor eax, eax
001d7ac5test ebx, ebx
001d7ac7setns al
001d7acacvtss2sd x0, x0
001d7acelea rcx, [rip-0x143eb5]
001d7ad5addsd x0, [rcx+8*rax]
001d7adajmp 0x1d7a64
001d7adc
001d7adcloc_1d7adc:
001d7adctest ebx, ebx
001d7adejs 0x1d7b89
001d7ae4movsd_xmm x1, [rip-0x144634]
001d7aecjmp 0x1d7bee
001d7af1
001d7af1loc_1d7af1:
001d7af1cmp eax, 0x7f800000
001d7af6jb 0x1d7b1c
001d7af8subss x0, x0
001d7afcadd rsp, 24
001d7b00pop rbx
001d7b01pop rbp
001d7b02ret
001d7b03
001d7b03loc_1d7b03:
001d7b03cvtss2sd x0, x0
001d7b07test ebx, ebx
001d7b09js 0x1d7be6
001d7b0faddsd x0, [rip-0x144667]
001d7b17jmp 0x1d7c91
001d7b1c
001d7b1cloc_1d7b1c:
001d7b1ccmp eax, 0x4dc90fda
001d7b21ja 0x1d7b96
001d7b23cvtss2sd x2, x0
001d7b27movsd_xmm x1, [rip-0x1446e7]
001d7b2fmulsd x1, x2
001d7b33addsd x1, [rip-0x1446eb]
001d7b3baddsd x1, [rip-0x1446eb]
001d7b43cvttsd2si eax, x1
001d7b47movsd_xmm x3, [rip-0x1446ef]
001d7b4fmulsd x3, x1
001d7b53addsd x3, x2
001d7b57movsd_xmm x0, [rip-0x1446f7]
001d7b5fmulsd x0, x1
001d7b63addsd x0, x3
001d7b67movsd_xmm x3, [rip-0x1446ff]
001d7b6fucomisd x3, x0
001d7b73jbe 0x1d7c45
001d7b79addsd x1, [rip-0x1446f9]
001d7b81add eax, -1
001d7b84jmp 0x1d7c5a
001d7b89
001d7b89loc_1d7b89:
001d7b89addsd x0, [rip-0x1446d9]
001d7b91jmp 0x1d7c91
001d7b96
001d7b96loc_1d7b96:
001d7b96mov edx, eax
001d7b98shr edx, 23
001d7b9badd edx, -150
001d7ba1mov ecx, edx
001d7ba3shl ecx, 23
001d7ba6sub eax, ecx
001d7ba8movd x0, eax
001d7baccvtss2sd x0, x0
001d7bb0movsd_xmm [rbp-16], x0
001d7bb5lea rdi, [rbp-16]
001d7bb9lea rsi, [rbp-24]
001d7bbdmov ecx, 1
001d7bc2xor r8l, r8l
001d7bc5call compiler_rt.rem_pio2_large.rem_pio2_large
001d7bcamovsd_xmm x0, [rbp-24]
001d7bcftest ebx, ebx
001d7bd1jns 0x1d7c7a
001d7bd7xorpd x0, [rip-0x143fff]
001d7bdfneg eax
001d7be1jmp 0x1d7c7a
001d7be6
001d7be6loc_1d7be6:
001d7be6movsd_xmm x1, [rip-0x14473e]
001d7bee
001d7beeloc_1d7bee:
001d7beesubsd x1, x0
001d7bf2movapd x0, x1
001d7bf6mulsd x0, x1
001d7bfamovapd x2, x0
001d7bfemovapd x3, x1
001d7c02mulsd x3, x0
001d7c06unpcklpd x0, x0
001d7c0amulpd x0, [rip-0x144012]
001d7c12mulsd x2, x2
001d7c16addpd x0, [rip-0x14400e]
001d7c1emulsd x2, x3
001d7c22unpcklpd x2, x3
001d7c26mulpd x2, x0
001d7c2amovapd x0, x2
001d7c2eunpckhpd x0, x2
001d7c32addsd x0, x1
001d7c36addsd x0, x2
001d7c3a
001d7c3aloc_1d7c3a:
001d7c3acvtsd2ss x0, x0
001d7c3eadd rsp, 24
001d7c42pop rbx
001d7c43pop rbp
001d7c44ret
001d7c45
001d7c45loc_1d7c45:
001d7c45ucomisd x0, [rip-0x1447d5]
001d7c4djbe 0x1d7c7a
001d7c4faddsd x1, [rip-0x1447d7]
001d7c57add eax, 1
001d7c5a
001d7c5aloc_1d7c5a:
001d7c5amovsd_xmm x0, [rip-0x144802]
001d7c62mulsd x0, x1
001d7c66addsd x2, x0
001d7c6amulsd x1, [rip-0x14480a]
001d7c72addsd x1, x2
001d7c76movapd x0, x1
001d7c7a
001d7c7aloc_1d7c7a:
001d7c7aand eax, 3
001d7c7dje 0x1d7a64
001d7c83cmp eax, 1
001d7c86je 0x1d7ce7
001d7c88cmp eax, 2
001d7c8bje 0x1d7a02
001d7c91
001d7c91loc_1d7c91:
001d7c91movapd x1, x0
001d7c95mulsd x1, x0
001d7c99movapd x2, x1
001d7c9dmovapd x3, x0
001d7ca1mulsd x3, x1
001d7ca5unpcklpd x1, x1
001d7ca9mulpd x1, [rip-0x1440b1]
001d7cb1mulsd x2, x2
001d7cb5addpd x1, [rip-0x1440ad]
001d7cbdmulsd x2, x3
001d7cc1unpcklpd x2, x3
001d7cc5mulpd x2, x1
001d7cc9movapd x1, x2
001d7ccdunpckhpd x1, x2
001d7cd1addsd x1, x0
001d7cd5addsd x1, x2
001d7cd9
001d7cd9loc_1d7cd9:
001d7cd9xorps x0, x0
001d7cdccvtsd2ss x0, x1
001d7ce0add rsp, 24
001d7ce4pop rbx
001d7ce5pop rbp
001d7ce6ret
001d7ce7
001d7ce7loc_1d7ce7:
001d7ce7movapd x1, [rip-0x14410f]
001d7cefxorpd x1, x0
001d7cf3movapd x2, x0
001d7cf7mulsd x2, x0
001d7cfbmovapd x3, x2
001d7cffmulsd x1, x2
001d7d03unpcklpd x2, x2
001d7d07mulpd x2, [rip-0x14410f]
001d7d0fmulsd x3, x3
001d7d13addpd x2, [rip-0x14410b]
001d7d1bmulsd x3, x1
001d7d1funpcklpd x3, x1
001d7d23mulpd x3, x2
001d7d27movapd x1, x3
001d7d2bunpckhpd x1, x3
001d7d2fsubsd x1, x0
001d7d33addsd x1, x3
001d7d37jmp 0x1d7cd9
001d79a0
Loading..