File akira_3298d203c2acb68c474e5fdad8379181890b4403d6491c523c13730129be3f75.elf
Function:
Loading..
001dd100
001dd100log2:
001dd100push rbp
001dd101mov rbp, rsp
001dd104movq rax, x0
001dd109mov rcx, rax
001dd10cshr rcx, 32
001dd110cmp ecx, 0x100000
001dd116jb 0x1dd147
001dd118test rax, rax
001dd11bjs 0x1dd147
001dd11dmovdqa x1, x0
001dd121cmp ecx, 0x7ff00000
001dd127jae 0x1dd141
001dd129mov edx, eax
001dd12bmov esi, -1023
001dd130cmp ecx, 0x3ff00000
001dd136jne 0x1dd187
001dd138pxor x1, x1
001dd13ctest rdx, rdx
001dd13fjne 0x1dd187
001dd141
001dd141loc_1dd141:
001dd141movdqa x0, x1
001dd145pop rbp
001dd146ret
001dd147
001dd147loc_1dd147:
001dd147mov rcx, 0x7fffffffffffffff
001dd151xor edx, edx
001dd153and rcx, rax
001dd156sete dl
001dd159lea rsi, [rip-0x1491a0]
001dd160movq x1, [rsi+8*rdx]
001dd165test rax, rax
001dd168js 0x1dd141
001dd16atest rcx, rcx
001dd16dje 0x1dd141
001dd16fmulsd x0, [rip-0x149937]
001dd177movq rcx, x0
001dd17cshr rcx, 32
001dd180mov edx, eax
001dd182mov esi, -1077
001dd187
001dd187loc_1dd187:
001dd187add ecx, 0x95f62
001dd18dmov eax, ecx
001dd18fshr eax, 20
001dd192add eax, esi
001dd194and ecx, 0xfffff
001dd19aadd ecx, 0x3fe6a09e
001dd1a0shl rcx, 32
001dd1a4or rcx, rdx
001dd1a7movq x0, rcx
001dd1acaddsd x0, [rip-0x14996c]
001dd1b4movsd_xmm x1, [rip-0x14996c]
001dd1bcmovsd_xmm x3, [rip-0x14996c]
001dd1c4addsd x3, x0
001dd1c8movapd x2, x0
001dd1ccdivsd x2, x3
001dd1d0movapd x3, x2
001dd1d4mulsd x3, x2
001dd1d8movapd x4, x3
001dd1dcmulsd x4, x3
001dd1e0movsd_xmm x5, [rip-0x149988]
001dd1e8mulsd x5, x4
001dd1ecaddsd x5, [rip-0x14998c]
001dd1f4mulsd x1, x0
001dd1f8movapd x6, x4
001dd1fcunpcklpd x6, x4
001dd200movapd x7, [rip-0x149238]
001dd208unpcklpd x7, x5
001dd20cmulpd x7, x6
001dd210addpd x7, [rip-0x149238]
001dd218mulsd x1, x0
001dd21cmulpd x7, x6
001dd220addpd x7, [rip-0x149238]
001dd228unpcklpd x4, x3
001dd22cmulpd x4, x7
001dd230movapd x3, x4
001dd234unpckhpd x3, x4
001dd238addsd x3, x4
001dd23cmovapd x4, x0
001dd240subsd x4, x1
001dd244movsd_xmm x5, [rip-0x1499dc]
001dd24candpd x5, x4
001dd250subsd x0, x5
001dd254subsd x0, x1
001dd258addsd x3, x1
001dd25cmulsd x3, x2
001dd260addsd x3, x0
001dd264movapd x0, x5
001dd268addsd x0, x3
001dd26cmulsd x3, [rip-0x1499fc]
001dd274xorps x2, x2
001dd277cvtsi2sd x2, eax
001dd27bunpcklpd x5, x0
001dd27fmulpd x5, [rip-0x149287]
001dd287movapd x0, x2
001dd28bunpcklpd x0, x3
001dd28faddpd x0, x5
001dd293subsd x2, x0
001dd297addsd x2, x5
001dd29bmovapd x1, x0
001dd29funpckhpd x1, x0
001dd2a3addsd x1, x2
001dd2a7addsd x1, x0
001dd2abmovapd x0, x1
001dd2afpop rbp
001dd2b0ret
001dd100
001dd100log2:
001dd100push rbp
001dd101mov rbp, rsp
001dd104movq rax, x0
001dd109mov rcx, rax
001dd10cshr rcx, 32
001dd110cmp ecx, 0x100000
001dd116jb 0x1dd147
001dd118test rax, rax
001dd11bjs 0x1dd147
001dd11dmovdqa x1, x0
001dd121cmp ecx, 0x7ff00000
001dd127jae 0x1dd141
001dd129mov edx, eax
001dd12bmov esi, -1023
001dd130cmp ecx, 0x3ff00000
001dd136jne 0x1dd187
001dd138pxor x1, x1
001dd13ctest rdx, rdx
001dd13fjne 0x1dd187
001dd141
001dd141loc_1dd141:
001dd141movdqa x0, x1
001dd145pop rbp
001dd146ret
001dd147
001dd147loc_1dd147:
001dd147mov rcx, 0x7fffffffffffffff
001dd151xor edx, edx
001dd153and rcx, rax
001dd156sete dl
001dd159lea rsi, [rip-0x1491a0]
001dd160movq x1, [rsi+8*rdx]
001dd165test rax, rax
001dd168js 0x1dd141
001dd16atest rcx, rcx
001dd16dje 0x1dd141
001dd16fmulsd x0, [rip-0x149937]
001dd177movq rcx, x0
001dd17cshr rcx, 32
001dd180mov edx, eax
001dd182mov esi, -1077
001dd187
001dd187loc_1dd187:
001dd187add ecx, 0x95f62
001dd18dmov eax, ecx
001dd18fshr eax, 20
001dd192add eax, esi
001dd194and ecx, 0xfffff
001dd19aadd ecx, 0x3fe6a09e
001dd1a0shl rcx, 32
001dd1a4or rcx, rdx
001dd1a7movq x0, rcx
001dd1acaddsd x0, [rip-0x14996c]
001dd1b4movsd_xmm x1, [rip-0x14996c]
001dd1bcmovsd_xmm x3, [rip-0x14996c]
001dd1c4addsd x3, x0
001dd1c8movapd x2, x0
001dd1ccdivsd x2, x3
001dd1d0movapd x3, x2
001dd1d4mulsd x3, x2
001dd1d8movapd x4, x3
001dd1dcmulsd x4, x3
001dd1e0movsd_xmm x5, [rip-0x149988]
001dd1e8mulsd x5, x4
001dd1ecaddsd x5, [rip-0x14998c]
001dd1f4mulsd x1, x0
001dd1f8movapd x6, x4
001dd1fcunpcklpd x6, x4
001dd200movapd x7, [rip-0x149238]
001dd208unpcklpd x7, x5
001dd20cmulpd x7, x6
001dd210addpd x7, [rip-0x149238]
001dd218mulsd x1, x0
001dd21cmulpd x7, x6
001dd220addpd x7, [rip-0x149238]
001dd228unpcklpd x4, x3
001dd22cmulpd x4, x7
001dd230movapd x3, x4
001dd234unpckhpd x3, x4
001dd238addsd x3, x4
001dd23cmovapd x4, x0
001dd240subsd x4, x1
001dd244movsd_xmm x5, [rip-0x1499dc]
001dd24candpd x5, x4
001dd250subsd x0, x5
001dd254subsd x0, x1
001dd258addsd x3, x1
001dd25cmulsd x3, x2
001dd260addsd x3, x0
001dd264movapd x0, x5
001dd268addsd x0, x3
001dd26cmulsd x3, [rip-0x1499fc]
001dd274xorps x2, x2
001dd277cvtsi2sd x2, eax
001dd27bunpcklpd x5, x0
001dd27fmulpd x5, [rip-0x149287]
001dd287movapd x0, x2
001dd28bunpcklpd x0, x3
001dd28faddpd x0, x5
001dd293subsd x2, x0
001dd297addsd x2, x5
001dd29bmovapd x1, x0
001dd29funpckhpd x1, x0
001dd2a3addsd x1, x2
001dd2a7addsd x1, x0
001dd2abmovapd x0, x1
001dd2afpop rbp
001dd2b0ret
001dd100
001dd2b1
001dd2b1 // align 0x10
001dd2b1 // align 0x10
001dd2c0
001dd2c0__log2x:
001dd2c0push rbp
001dd2c1mov rbp, rsp
001dd2c4push r15
001dd2c6push r14
001dd2c8push rbx
001dd2c9sub rsp, 56
001dd2cdmov r15, 0x8000000000000000
001dd2d7mov eax, [rbp+24]
001dd2damov rdx, [rbp+16]
001dd2demov edi, eax
001dd2e0mov r14, 0x7fff000000000000
001dd2eaand di, 32767
001dd2efjne 0x1dd301
001dd2f1xor esi, esi
001dd2f3mov ecx, 0
001dd2f8test rdx, rdx
001dd2fbje 0x1dd385
001dd301
001dd301loc_1dd301:
001dd301movzx ecx, di
001dd304cmp ecx, 32767
001dd30ajne 0x1dd31f
001dd30cmov rsi, rdx
001dd30fshl rsi, 49
001dd313shr rdx, 15
001dd317or rdx, r14
001dd31amov rcx, rdx
001dd31djmp 0x1dd385
001dd31f
001dd31floc_1dd31f:
001dd31ftest rdx, rdx
001dd322js 0x1dd330
001dd324je 0x1dd34b
001dd326bsr rsi, rdx
001dd32axor rsi, 63
001dd32ejmp 0x1dd350
001dd330
001dd330loc_1dd330:
001dd330lea rsi, [r15-1]
001dd334and rdx, rsi
001dd337mov rsi, rdx
001dd33ashl rsi, 49
001dd33eshr rdx, 15
001dd342shl rcx, 48
001dd346or rcx, rdx
001dd349jmp 0x1dd385
001dd34b
001dd34bloc_1dd34b:
001dd34bmov esi, 64
001dd350
001dd350loc_1dd350:
001dd350mov ecx, esi
001dd352add cl, 50
001dd355xor edi, edi
001dd357shld rdi, rdx, cl
001dd35bshl rdx, cl
001dd35exor ebx, ebx
001dd360test cl, 64
001dd363cmovne rdi, rdx
001dd367cmovne rdx, rbx
001dd36bmov rbx, 0x1000000000000
001dd375xor rbx, rdi
001dd378lea ecx, [rsi+1]
001dd37bshl rcx, 48
001dd37for rcx, rbx
001dd382mov rsi, rdx
001dd385
001dd385loc_1dd385:
001dd385and eax, 32768
001dd38ashl rax, 48
001dd38eor rax, rcx
001dd391mov [rbp-80], rsi
001dd395mov [rbp-72], rax
001dd399movaps x0, [rbp-80]
001dd39dcall log2q
001dd3a2movaps [rbp-64], x0
001dd3a6mov rdi, [rbp-64]
001dd3aamov rax, [rbp-56]
001dd3aemov rbx, 0x7fffffffffffffff
001dd3b8mov rsi, rax
001dd3bbshld rsi, rdi, 15
001dd3c0and rbx, rax
001dd3c3mov rcx, rsi
001dd3c6or rcx, r15
001dd3c9mov rdx, rdi
001dd3ccneg rdx
001dd3cfsbb r14, rbx
001dd3d2mov dx, 32767
001dd3d6jb 0x1dd44a
001dd3d8shr rbx, 48
001dd3dcmov edx, ebx
001dd3demov rbx, 0x1ffffffffffff
001dd3e8and rdi, rbx
001dd3ebmov rbx, 0x1000000000001
001dd3f5cmp rdi, rbx
001dd3f8jb 0x1dd414
001dd3famov rsi, rcx
001dd3fdadd rsi, 1
001dd401adc dx, 0
001dd405xor esi, esi
001dd407add rcx, 1
001dd40bcmove rsi, r15
001dd40for rcx, rsi
001dd412jmp 0x1dd43c
001dd414
001dd414loc_1dd414:
001dd414mov rbx, 0x1000000000000
001dd41ecmp rdi, rbx
001dd421jne 0x1dd43c
001dd423and esi, 1
001dd426mov rdi, rcx
001dd429add rdi, rsi
001dd42cadc dx, 0
001dd430xor edi, edi
001dd432add rcx, rsi
001dd435cmovb rdi, r15
001dd439or rcx, rdi
001dd43c
001dd43cloc_1dd43c:
001dd43cadd r15, -1
001dd440and r15, rcx
001dd443test dx, dx
001dd446cmove rcx, r15
001dd44a
001dd44aloc_1dd44a:
001dd44ashr rax, 48
001dd44eand eax, 32768
001dd453or edx, eax
001dd455mov [rbp-48], rcx
001dd459mov [rbp-40], dx
001dd45dfld [rbp-48]
001dd460add rsp, 56
001dd464pop rbx
001dd465pop r14
001dd467pop r15
001dd469pop rbp
001dd46aret
001dd2c0
001dd2c0__log2x:
001dd2c0push rbp
001dd2c1mov rbp, rsp
001dd2c4push r15
001dd2c6push r14
001dd2c8push rbx
001dd2c9sub rsp, 56
001dd2cdmov r15, 0x8000000000000000
001dd2d7mov eax, [rbp+24]
001dd2damov rdx, [rbp+16]
001dd2demov edi, eax
001dd2e0mov r14, 0x7fff000000000000
001dd2eaand di, 32767
001dd2efjne 0x1dd301
001dd2f1xor esi, esi
001dd2f3mov ecx, 0
001dd2f8test rdx, rdx
001dd2fbje 0x1dd385
001dd301
001dd301loc_1dd301:
001dd301movzx ecx, di
001dd304cmp ecx, 32767
001dd30ajne 0x1dd31f
001dd30cmov rsi, rdx
001dd30fshl rsi, 49
001dd313shr rdx, 15
001dd317or rdx, r14
001dd31amov rcx, rdx
001dd31djmp 0x1dd385
001dd31f
001dd31floc_1dd31f:
001dd31ftest rdx, rdx
001dd322js 0x1dd330
001dd324je 0x1dd34b
001dd326bsr rsi, rdx
001dd32axor rsi, 63
001dd32ejmp 0x1dd350
001dd330
001dd330loc_1dd330:
001dd330lea rsi, [r15-1]
001dd334and rdx, rsi
001dd337mov rsi, rdx
001dd33ashl rsi, 49
001dd33eshr rdx, 15
001dd342shl rcx, 48
001dd346or rcx, rdx
001dd349jmp 0x1dd385
001dd34b
001dd34bloc_1dd34b:
001dd34bmov esi, 64
001dd350
001dd350loc_1dd350:
001dd350mov ecx, esi
001dd352add cl, 50
001dd355xor edi, edi
001dd357shld rdi, rdx, cl
001dd35bshl rdx, cl
001dd35exor ebx, ebx
001dd360test cl, 64
001dd363cmovne rdi, rdx
001dd367cmovne rdx, rbx
001dd36bmov rbx, 0x1000000000000
001dd375xor rbx, rdi
001dd378lea ecx, [rsi+1]
001dd37bshl rcx, 48
001dd37for rcx, rbx
001dd382mov rsi, rdx
001dd385
001dd385loc_1dd385:
001dd385and eax, 32768
001dd38ashl rax, 48
001dd38eor rax, rcx
001dd391mov [rbp-80], rsi
001dd395mov [rbp-72], rax
001dd399movaps x0, [rbp-80]
001dd39dcall log2q
001dd3a2movaps [rbp-64], x0
001dd3a6mov rdi, [rbp-64]
001dd3aamov rax, [rbp-56]
001dd3aemov rbx, 0x7fffffffffffffff
001dd3b8mov rsi, rax
001dd3bbshld rsi, rdi, 15
001dd3c0and rbx, rax
001dd3c3mov rcx, rsi
001dd3c6or rcx, r15
001dd3c9mov rdx, rdi
001dd3ccneg rdx
001dd3cfsbb r14, rbx
001dd3d2mov dx, 32767
001dd3d6jb 0x1dd44a
001dd3d8shr rbx, 48
001dd3dcmov edx, ebx
001dd3demov rbx, 0x1ffffffffffff
001dd3e8and rdi, rbx
001dd3ebmov rbx, 0x1000000000001
001dd3f5cmp rdi, rbx
001dd3f8jb 0x1dd414
001dd3famov rsi, rcx
001dd3fdadd rsi, 1
001dd401adc dx, 0
001dd405xor esi, esi
001dd407add rcx, 1
001dd40bcmove rsi, r15
001dd40for rcx, rsi
001dd412jmp 0x1dd43c
001dd414
001dd414loc_1dd414:
001dd414mov rbx, 0x1000000000000
001dd41ecmp rdi, rbx
001dd421jne 0x1dd43c
001dd423and esi, 1
001dd426mov rdi, rcx
001dd429add rdi, rsi
001dd42cadc dx, 0
001dd430xor edi, edi
001dd432add rcx, rsi
001dd435cmovb rdi, r15
001dd439or rcx, rdi
001dd43c
001dd43cloc_1dd43c:
001dd43cadd r15, -1
001dd440and r15, rcx
001dd443test dx, dx
001dd446cmove rcx, r15
001dd44a
001dd44aloc_1dd44a:
001dd44ashr rax, 48
001dd44eand eax, 32768
001dd453or edx, eax
001dd455mov [rbp-48], rcx
001dd459mov [rbp-40], dx
001dd45dfld [rbp-48]
001dd460add rsp, 56
001dd464pop rbx
001dd465pop r14
001dd467pop r15
001dd469pop rbp
001dd46aret
001dd2c0
001dd46b
001dd46b // align 0x10
001dd46b // align 0x10
001dd470
001dd470log2q:
001dd470push rbp
001dd471mov rbp, rsp
001dd474push rbx
001dd475sub rsp, 40
001dd479movaps [rbp-48], x0
001dd47dmov rdi, [rbp-48]
001dd481mov rdx, [rbp-40]
001dd485mov rcx, 0x7fffffffffffffff
001dd48fand rcx, rdx
001dd492mov rax, 0xc3ff000000000000
001dd49cadd rax, rcx
001dd49fmov rsi, 0xbc01000000000000
001dd4a9add rsi, rcx
001dd4accmp rax, rsi
001dd4afjae 0x1dd4f0
001dd4b1mov rcx, 0x4000000000000000
001dd4bbmov rax, rdx
001dd4beshld rax, rdi, 4
001dd4c3lea rsi, [rax+rcx]
001dd4c7mov rbx, 0xfffffffffffffff
001dd4d1and rbx, rdi
001dd4d4mov rdi, 0x800000000000000
001dd4decmp rbx, rdi
001dd4e1jbe 0x1dd529
001dd4e3lea rsi, [rcx+rax]
001dd4e7add rsi, 1
001dd4ebjmp 0x1dd601
001dd4f0
001dd4f0loc_1dd4f0:
001dd4f0mov rax, rdi
001dd4f3neg rax
001dd4f6mov rax, 0x7fff000000000000
001dd500sbb rax, rcx
001dd503jae 0x1dd53a
001dd505shrd rdi, rdx, 60
001dd50amov rax, 0x7ffffffffffff
001dd514and rax, rdi
001dd517mov rsi, 0x7ff8000000000000
001dd521or rsi, rax
001dd524jmp 0x1dd601
001dd529
001dd529loc_1dd529:
001dd529jne 0x1dd601
001dd52f
001dd52floc_1dd52f:
001dd52fand eax, 1
001dd532add rsi, rax
001dd535jmp 0x1dd601
001dd53a
001dd53aloc_1dd53a:
001dd53ashr rcx, 48
001dd53ecmp ecx, 17406
001dd544jbe 0x1dd559
001dd546mov rsi, 0x7fefffffffffffff
001dd550add rsi, 1
001dd554jmp 0x1dd601
001dd559
001dd559loc_1dd559:
001dd559mov eax, 15361
001dd55esub eax, ecx
001dd560cmp eax, 112
001dd563jbe 0x1dd56c
001dd565xor esi, esi
001dd567jmp 0x1dd601
001dd56c
001dd56cloc_1dd56c:
001dd56cmov rbx, 0xffffffffffff
001dd576and rbx, rdx
001dd579mov rsi, 0x1000000000000
001dd583or rsi, rbx
001dd586add cl, -1
001dd589mov r8, rsi
001dd58cshld r8, rdi, cl
001dd590mov rbx, rdi
001dd593shl rbx, cl
001dd596xor r9l, r9l
001dd599test cl, 64
001dd59ccmovne r8, rbx
001dd5a0cmovne rbx, r9
001dd5a4xor r10l, r10l
001dd5a7or rbx, r8
001dd5aasetne r10b
001dd5aemov ecx, eax
001dd5b0shrd rdi, rsi, cl
001dd5b4shr rsi, cl
001dd5b7test al, 64
001dd5b9cmovne rdi, rsi
001dd5bdcmovne rsi, r9
001dd5c1shld rsi, rdi, 4
001dd5c6mov rax, 0xfffffffffffffff
001dd5d0and rax, rdi
001dd5d3or rax, r10
001dd5d6mov rcx, 0x800000000000001
001dd5e0cmp rax, rcx
001dd5e3jb 0x1dd5eb
001dd5e5add rsi, 1
001dd5e9jmp 0x1dd601
001dd5eb
001dd5ebloc_1dd5eb:
001dd5ebmov rcx, 0x800000000000000
001dd5f5cmp rax, rcx
001dd5f8jne 0x1dd601
001dd5famov eax, esi
001dd5fcjmp 0x1dd52f
001dd601
001dd601loc_1dd601:
001dd601mov rbx, 0x8000000000000000
001dd60band rdx, rbx
001dd60eor rdx, rsi
001dd611movq x0, rdx
001dd616call log2
001dd61bmovq rax, x0
001dd620lea rdx, [rbx-1]
001dd624and rdx, rax
001dd627mov rcx, 0xfff0000000000000
001dd631add rcx, rdx
001dd634shr rcx, 53
001dd638cmp ecx, 1022
001dd63eja 0x1dd65a
001dd640mov rcx, rdx
001dd643shl rcx, 60
001dd647shr rdx, 4
001dd64bmov rsi, 0x3c00000000000000
001dd655add rsi, rdx
001dd658jmp 0x1dd6d7
001dd65a
001dd65aloc_1dd65a:
001dd65amov rcx, rdx
001dd65dshr rcx, 52
001dd661cmp ecx, 2047
001dd667jb 0x1dd686
001dd669mov rcx, rax
001dd66cshl rcx, 60
001dd670mov rdx, rax
001dd673shr rdx, 4
001dd677mov rsi, 0x7fff000000000000
001dd681or rsi, rdx
001dd684jmp 0x1dd6d7
001dd686
001dd686loc_1dd686:
001dd686test rdx, rdx
001dd689je 0x1dd6d3
001dd68bbsr rcx, rdx
001dd68fxor rcx, 63
001dd693lea edi, [rcx+117]
001dd696add cl, 49
001dd699xor esi, esi
001dd69bshld rsi, rdx, cl
001dd69fand edi, 127
001dd6a2xor r8l, r8l
001dd6a5shl rdx, cl
001dd6a8test cl, 64
001dd6abcmovne rsi, rdx
001dd6afcmovne rdx, r8
001dd6b3mov rcx, 0x1000000000000
001dd6bdxor rcx, rsi
001dd6c0mov esi, 15361
001dd6c5sub esi, edi
001dd6c7shl rsi, 48
001dd6cbor rsi, rcx
001dd6cemov rcx, rdx
001dd6d1jmp 0x1dd6d7
001dd6d3
001dd6d3loc_1dd6d3:
001dd6d3xor ecx, ecx
001dd6d5xor esi, esi
001dd6d7
001dd6d7loc_1dd6d7:
001dd6d7and rax, rbx
001dd6daor rax, rsi
001dd6ddmov [rbp-32], rcx
001dd6e1mov [rbp-24], rax
001dd6e5movaps x0, [rbp-32]
001dd6e9add rsp, 40
001dd6edpop rbx
001dd6eepop rbp
001dd6efret
001dd470
001dd470log2q:
001dd470push rbp
001dd471mov rbp, rsp
001dd474push rbx
001dd475sub rsp, 40
001dd479movaps [rbp-48], x0
001dd47dmov rdi, [rbp-48]
001dd481mov rdx, [rbp-40]
001dd485mov rcx, 0x7fffffffffffffff
001dd48fand rcx, rdx
001dd492mov rax, 0xc3ff000000000000
001dd49cadd rax, rcx
001dd49fmov rsi, 0xbc01000000000000
001dd4a9add rsi, rcx
001dd4accmp rax, rsi
001dd4afjae 0x1dd4f0
001dd4b1mov rcx, 0x4000000000000000
001dd4bbmov rax, rdx
001dd4beshld rax, rdi, 4
001dd4c3lea rsi, [rax+rcx]
001dd4c7mov rbx, 0xfffffffffffffff
001dd4d1and rbx, rdi
001dd4d4mov rdi, 0x800000000000000
001dd4decmp rbx, rdi
001dd4e1jbe 0x1dd529
001dd4e3lea rsi, [rcx+rax]
001dd4e7add rsi, 1
001dd4ebjmp 0x1dd601
001dd4f0
001dd4f0loc_1dd4f0:
001dd4f0mov rax, rdi
001dd4f3neg rax
001dd4f6mov rax, 0x7fff000000000000
001dd500sbb rax, rcx
001dd503jae 0x1dd53a
001dd505shrd rdi, rdx, 60
001dd50amov rax, 0x7ffffffffffff
001dd514and rax, rdi
001dd517mov rsi, 0x7ff8000000000000
001dd521or rsi, rax
001dd524jmp 0x1dd601
001dd529
001dd529loc_1dd529:
001dd529jne 0x1dd601
001dd52f
001dd52floc_1dd52f:
001dd52fand eax, 1
001dd532add rsi, rax
001dd535jmp 0x1dd601
001dd53a
001dd53aloc_1dd53a:
001dd53ashr rcx, 48
001dd53ecmp ecx, 17406
001dd544jbe 0x1dd559
001dd546mov rsi, 0x7fefffffffffffff
001dd550add rsi, 1
001dd554jmp 0x1dd601
001dd559
001dd559loc_1dd559:
001dd559mov eax, 15361
001dd55esub eax, ecx
001dd560cmp eax, 112
001dd563jbe 0x1dd56c
001dd565xor esi, esi
001dd567jmp 0x1dd601
001dd56c
001dd56cloc_1dd56c:
001dd56cmov rbx, 0xffffffffffff
001dd576and rbx, rdx
001dd579mov rsi, 0x1000000000000
001dd583or rsi, rbx
001dd586add cl, -1
001dd589mov r8, rsi
001dd58cshld r8, rdi, cl
001dd590mov rbx, rdi
001dd593shl rbx, cl
001dd596xor r9l, r9l
001dd599test cl, 64
001dd59ccmovne r8, rbx
001dd5a0cmovne rbx, r9
001dd5a4xor r10l, r10l
001dd5a7or rbx, r8
001dd5aasetne r10b
001dd5aemov ecx, eax
001dd5b0shrd rdi, rsi, cl
001dd5b4shr rsi, cl
001dd5b7test al, 64
001dd5b9cmovne rdi, rsi
001dd5bdcmovne rsi, r9
001dd5c1shld rsi, rdi, 4
001dd5c6mov rax, 0xfffffffffffffff
001dd5d0and rax, rdi
001dd5d3or rax, r10
001dd5d6mov rcx, 0x800000000000001
001dd5e0cmp rax, rcx
001dd5e3jb 0x1dd5eb
001dd5e5add rsi, 1
001dd5e9jmp 0x1dd601
001dd5eb
001dd5ebloc_1dd5eb:
001dd5ebmov rcx, 0x800000000000000
001dd5f5cmp rax, rcx
001dd5f8jne 0x1dd601
001dd5famov eax, esi
001dd5fcjmp 0x1dd52f
001dd601
001dd601loc_1dd601:
001dd601mov rbx, 0x8000000000000000
001dd60band rdx, rbx
001dd60eor rdx, rsi
001dd611movq x0, rdx
001dd616call log2
001dd61bmovq rax, x0
001dd620lea rdx, [rbx-1]
001dd624and rdx, rax
001dd627mov rcx, 0xfff0000000000000
001dd631add rcx, rdx
001dd634shr rcx, 53
001dd638cmp ecx, 1022
001dd63eja 0x1dd65a
001dd640mov rcx, rdx
001dd643shl rcx, 60
001dd647shr rdx, 4
001dd64bmov rsi, 0x3c00000000000000
001dd655add rsi, rdx
001dd658jmp 0x1dd6d7
001dd65a
001dd65aloc_1dd65a:
001dd65amov rcx, rdx
001dd65dshr rcx, 52
001dd661cmp ecx, 2047
001dd667jb 0x1dd686
001dd669mov rcx, rax
001dd66cshl rcx, 60
001dd670mov rdx, rax
001dd673shr rdx, 4
001dd677mov rsi, 0x7fff000000000000
001dd681or rsi, rdx
001dd684jmp 0x1dd6d7
001dd686
001dd686loc_1dd686:
001dd686test rdx, rdx
001dd689je 0x1dd6d3
001dd68bbsr rcx, rdx
001dd68fxor rcx, 63
001dd693lea edi, [rcx+117]
001dd696add cl, 49
001dd699xor esi, esi
001dd69bshld rsi, rdx, cl
001dd69fand edi, 127
001dd6a2xor r8l, r8l
001dd6a5shl rdx, cl
001dd6a8test cl, 64
001dd6abcmovne rsi, rdx
001dd6afcmovne rdx, r8
001dd6b3mov rcx, 0x1000000000000
001dd6bdxor rcx, rsi
001dd6c0mov esi, 15361
001dd6c5sub esi, edi
001dd6c7shl rsi, 48
001dd6cbor rsi, rcx
001dd6cemov rcx, rdx
001dd6d1jmp 0x1dd6d7
001dd6d3
001dd6d3loc_1dd6d3:
001dd6d3xor ecx, ecx
001dd6d5xor esi, esi
001dd6d7
001dd6d7loc_1dd6d7:
001dd6d7and rax, rbx
001dd6daor rax, rsi
001dd6ddmov [rbp-32], rcx
001dd6e1mov [rbp-24], rax
001dd6e5movaps x0, [rbp-32]
001dd6e9add rsp, 40
001dd6edpop rbx
001dd6eepop rbp
001dd6efret
001dd470
001dd6f0
001dd6f0log2l:
001dd6f0push rbp
001dd6f1mov rbp, rsp
001dd6f4pop rbp
001dd6f5jmp 0x1dd2c0
001dd6f0
001dd6f0log2l:
001dd6f0push rbp
001dd6f1mov rbp, rsp
001dd6f4pop rbp
001dd6f5jmp 0x1dd2c0
001dd6f0
001dd6fa
001dd6fa // align 0x10
001dd6fa // align 0x10
001dd700
001dd700roundf:
001dd700push rbp
001dd701mov rbp, rsp
001dd704movd eax, x0
001dd708mov ecx, eax
001dd70ashr ecx, 23
001dd70dmovzx ecx, cl
001dd710cmp ecx, 150
001dd716jae 0x1dd781
001dd718test eax, eax
001dd71ajns 0x1dd724
001dd71cpxor x0, [rip-0x149704]
001dd724
001dd724loc_1dd724:
001dd724cmp ecx, 125
001dd727ja 0x1dd72e
001dd729xorps x0, x0
001dd72cpop rbp
001dd72dret
001dd72e
001dd72eloc_1dd72e:
001dd72emovss x1, [rip-0x14a4c2]
001dd736addss x1, x0
001dd73aaddss x1, [rip-0x14a4ca]
001dd742subss x1, x0
001dd746ucomiss x1, [rip-0x14a4d1]
001dd74djbe 0x1dd75d
001dd74faddss x0, x1
001dd753addss x0, [rip-0x14a4d3]
001dd75bjmp 0x1dd776
001dd75d
001dd75dloc_1dd75d:
001dd75dmovss x2, [rip-0x14a4e5]
001dd765ucomiss x2, x1
001dd768addss x0, x1
001dd76cjb 0x1dd776
001dd76eaddss x0, [rip-0x14a4f2]
001dd776
001dd776loc_1dd776:
001dd776test eax, eax
001dd778jns 0x1dd781
001dd77axorps x0, [rip-0x149761]
001dd781
001dd781loc_1dd781:
001dd781pop rbp
001dd782ret
001dd700
001dd700roundf:
001dd700push rbp
001dd701mov rbp, rsp
001dd704movd eax, x0
001dd708mov ecx, eax
001dd70ashr ecx, 23
001dd70dmovzx ecx, cl
001dd710cmp ecx, 150
001dd716jae 0x1dd781
001dd718test eax, eax
001dd71ajns 0x1dd724
001dd71cpxor x0, [rip-0x149704]
001dd724
001dd724loc_1dd724:
001dd724cmp ecx, 125
001dd727ja 0x1dd72e
001dd729xorps x0, x0
001dd72cpop rbp
001dd72dret
001dd72e
001dd72eloc_1dd72e:
001dd72emovss x1, [rip-0x14a4c2]
001dd736addss x1, x0
001dd73aaddss x1, [rip-0x14a4ca]
001dd742subss x1, x0
001dd746ucomiss x1, [rip-0x14a4d1]
001dd74djbe 0x1dd75d
001dd74faddss x0, x1
001dd753addss x0, [rip-0x14a4d3]
001dd75bjmp 0x1dd776
001dd75d
001dd75dloc_1dd75d:
001dd75dmovss x2, [rip-0x14a4e5]
001dd765ucomiss x2, x1
001dd768addss x0, x1
001dd76cjb 0x1dd776
001dd76eaddss x0, [rip-0x14a4f2]
001dd776
001dd776loc_1dd776:
001dd776test eax, eax
001dd778jns 0x1dd781
001dd77axorps x0, [rip-0x149761]
001dd781
001dd781loc_1dd781:
001dd781pop rbp
001dd782ret
001dd700
001dd783
001dd783 // align 0x10
001dd783 // align 0x10
001dd790
001dd790round:
001dd790push rbp
001dd791mov rbp, rsp
001dd794movq rax, x0
001dd799mov rcx, rax
001dd79cshr rcx, 52
001dd7a0and ecx, 2047
001dd7a6cmp rcx, 1075
001dd7adjae 0x1dd821
001dd7aftest rax, rax
001dd7b2jns 0x1dd7bc
001dd7b4pxor x0, [rip-0x14978c]
001dd7bc
001dd7bcloc_1dd7bc:
001dd7bccmp ecx, 1021
001dd7c2ja 0x1dd7ca
001dd7c4xorpd x0, x0
001dd7c8pop rbp
001dd7c9ret
001dd7ca
001dd7caloc_1dd7ca:
001dd7camovsd_xmm x1, [rip-0x149f52]
001dd7d2addsd x1, x0
001dd7d6addsd x1, [rip-0x149f56]
001dd7desubsd x1, x0
001dd7e2ucomisd x1, [rip-0x149f5a]
001dd7eajbe 0x1dd7fa
001dd7ecaddsd x0, x1
001dd7f0addsd x0, [rip-0x149f50]
001dd7f8jmp 0x1dd814
001dd7fa
001dd7faloc_1dd7fa:
001dd7famovsd_xmm x2, [rip-0x149f6a]
001dd802ucomisd x2, x1
001dd806addsd x0, x1
001dd80ajb 0x1dd814
001dd80caddsd x0, [rip-0x149f74]
001dd814
001dd814loc_1dd814:
001dd814test rax, rax
001dd817jns 0x1dd821
001dd819xorpd x0, [rip-0x1497f1]
001dd821
001dd821loc_1dd821:
001dd821pop rbp
001dd822ret
001dd790
001dd790round:
001dd790push rbp
001dd791mov rbp, rsp
001dd794movq rax, x0
001dd799mov rcx, rax
001dd79cshr rcx, 52
001dd7a0and ecx, 2047
001dd7a6cmp rcx, 1075
001dd7adjae 0x1dd821
001dd7aftest rax, rax
001dd7b2jns 0x1dd7bc
001dd7b4pxor x0, [rip-0x14978c]
001dd7bc
001dd7bcloc_1dd7bc:
001dd7bccmp ecx, 1021
001dd7c2ja 0x1dd7ca
001dd7c4xorpd x0, x0
001dd7c8pop rbp
001dd7c9ret
001dd7ca
001dd7caloc_1dd7ca:
001dd7camovsd_xmm x1, [rip-0x149f52]
001dd7d2addsd x1, x0
001dd7d6addsd x1, [rip-0x149f56]
001dd7desubsd x1, x0
001dd7e2ucomisd x1, [rip-0x149f5a]
001dd7eajbe 0x1dd7fa
001dd7ecaddsd x0, x1
001dd7f0addsd x0, [rip-0x149f50]
001dd7f8jmp 0x1dd814
001dd7fa
001dd7faloc_1dd7fa:
001dd7famovsd_xmm x2, [rip-0x149f6a]
001dd802ucomisd x2, x1
001dd806addsd x0, x1
001dd80ajb 0x1dd814
001dd80caddsd x0, [rip-0x149f74]
001dd814
001dd814loc_1dd814:
001dd814test rax, rax
001dd817jns 0x1dd821
001dd819xorpd x0, [rip-0x1497f1]
001dd821
001dd821loc_1dd821:
001dd821pop rbp
001dd822ret
001dd790
001dd823
001dd823 // align 0x10
001dd823 // align 0x10
001dd830
001dd830__roundx:
001dd830push rbp
001dd831mov rbp, rsp
001dd834push r15
001dd836push r14
001dd838push rbx
001dd839sub rsp, 56
001dd83dmov r15, 0x8000000000000000
001dd847mov eax, [rbp+24]
001dd84amov rdx, [rbp+16]
001dd84emov edi, eax
001dd850mov r14, 0x7fff000000000000
001dd85aand di, 32767
001dd85fjne 0x1dd871
001dd861xor esi, esi
001dd863mov ecx, 0
001dd868test rdx, rdx
001dd86bje 0x1dd8f5
001dd871
001dd871loc_1dd871:
001dd871movzx ecx, di
001dd874cmp ecx, 32767
001dd87ajne 0x1dd88f
001dd87cmov rsi, rdx
001dd87fshl rsi, 49
001dd883shr rdx, 15
001dd887or rdx, r14
001dd88amov rcx, rdx
001dd88djmp 0x1dd8f5
001dd88f
001dd88floc_1dd88f:
001dd88ftest rdx, rdx
001dd892js 0x1dd8a0
001dd894je 0x1dd8bb
001dd896bsr rsi, rdx
001dd89axor rsi, 63
001dd89ejmp 0x1dd8c0
001dd8a0
001dd8a0loc_1dd8a0:
001dd8a0lea rsi, [r15-1]
001dd8a4and rdx, rsi
001dd8a7mov rsi, rdx
001dd8aashl rsi, 49
001dd8aeshr rdx, 15
001dd8b2shl rcx, 48
001dd8b6or rcx, rdx
001dd8b9jmp 0x1dd8f5
001dd8bb
001dd8bbloc_1dd8bb:
001dd8bbmov esi, 64
001dd8c0
001dd8c0loc_1dd8c0:
001dd8c0mov ecx, esi
001dd8c2add cl, 50
001dd8c5xor edi, edi
001dd8c7shld rdi, rdx, cl
001dd8cbshl rdx, cl
001dd8cexor ebx, ebx
001dd8d0test cl, 64
001dd8d3cmovne rdi, rdx
001dd8d7cmovne rdx, rbx
001dd8dbmov rbx, 0x1000000000000
001dd8e5xor rbx, rdi
001dd8e8lea ecx, [rsi+1]
001dd8ebshl rcx, 48
001dd8efor rcx, rbx
001dd8f2mov rsi, rdx
001dd8f5
001dd8f5loc_1dd8f5:
001dd8f5and eax, 32768
001dd8fashl rax, 48
001dd8feor rax, rcx
001dd901mov [rbp-80], rsi
001dd905mov [rbp-72], rax
001dd909movaps x0, [rbp-80]
001dd90dcall roundq
001dd912movaps [rbp-64], x0
001dd916mov rdi, [rbp-64]
001dd91amov rax, [rbp-56]
001dd91emov rbx, 0x7fffffffffffffff
001dd928mov rsi, rax
001dd92bshld rsi, rdi, 15
001dd930and rbx, rax
001dd933mov rcx, rsi
001dd936or rcx, r15
001dd939mov rdx, rdi
001dd93cneg rdx
001dd93fsbb r14, rbx
001dd942mov dx, 32767
001dd946jb 0x1dd9ba
001dd948shr rbx, 48
001dd94cmov edx, ebx
001dd94emov rbx, 0x1ffffffffffff
001dd958and rdi, rbx
001dd95bmov rbx, 0x1000000000001
001dd965cmp rdi, rbx
001dd968jb 0x1dd984
001dd96amov rsi, rcx
001dd96dadd rsi, 1
001dd971adc dx, 0
001dd975xor esi, esi
001dd977add rcx, 1
001dd97bcmove rsi, r15
001dd97for rcx, rsi
001dd982jmp 0x1dd9ac
001dd984
001dd984loc_1dd984:
001dd984mov rbx, 0x1000000000000
001dd98ecmp rdi, rbx
001dd991jne 0x1dd9ac
001dd993and esi, 1
001dd996mov rdi, rcx
001dd999add rdi, rsi
001dd99cadc dx, 0
001dd9a0xor edi, edi
001dd9a2add rcx, rsi
001dd9a5cmovb rdi, r15
001dd9a9or rcx, rdi
001dd9ac
001dd9acloc_1dd9ac:
001dd9acadd r15, -1
001dd9b0and r15, rcx
001dd9b3test dx, dx
001dd9b6cmove rcx, r15
001dd9ba
001dd9baloc_1dd9ba:
001dd9bashr rax, 48
001dd9beand eax, 32768
001dd9c3or edx, eax
001dd9c5mov [rbp-48], rcx
001dd9c9mov [rbp-40], dx
001dd9cdfld [rbp-48]
001dd9d0add rsp, 56
001dd9d4pop rbx
001dd9d5pop r14
001dd9d7pop r15
001dd9d9pop rbp
001dd9daret
001dd830
001dd830__roundx:
001dd830push rbp
001dd831mov rbp, rsp
001dd834push r15
001dd836push r14
001dd838push rbx
001dd839sub rsp, 56
001dd83dmov r15, 0x8000000000000000
001dd847mov eax, [rbp+24]
001dd84amov rdx, [rbp+16]
001dd84emov edi, eax
001dd850mov r14, 0x7fff000000000000
001dd85aand di, 32767
001dd85fjne 0x1dd871
001dd861xor esi, esi
001dd863mov ecx, 0
001dd868test rdx, rdx
001dd86bje 0x1dd8f5
001dd871
001dd871loc_1dd871:
001dd871movzx ecx, di
001dd874cmp ecx, 32767
001dd87ajne 0x1dd88f
001dd87cmov rsi, rdx
001dd87fshl rsi, 49
001dd883shr rdx, 15
001dd887or rdx, r14
001dd88amov rcx, rdx
001dd88djmp 0x1dd8f5
001dd88f
001dd88floc_1dd88f:
001dd88ftest rdx, rdx
001dd892js 0x1dd8a0
001dd894je 0x1dd8bb
001dd896bsr rsi, rdx
001dd89axor rsi, 63
001dd89ejmp 0x1dd8c0
001dd8a0
001dd8a0loc_1dd8a0:
001dd8a0lea rsi, [r15-1]
001dd8a4and rdx, rsi
001dd8a7mov rsi, rdx
001dd8aashl rsi, 49
001dd8aeshr rdx, 15
001dd8b2shl rcx, 48
001dd8b6or rcx, rdx
001dd8b9jmp 0x1dd8f5
001dd8bb
001dd8bbloc_1dd8bb:
001dd8bbmov esi, 64
001dd8c0
001dd8c0loc_1dd8c0:
001dd8c0mov ecx, esi
001dd8c2add cl, 50
001dd8c5xor edi, edi
001dd8c7shld rdi, rdx, cl
001dd8cbshl rdx, cl
001dd8cexor ebx, ebx
001dd8d0test cl, 64
001dd8d3cmovne rdi, rdx
001dd8d7cmovne rdx, rbx
001dd8dbmov rbx, 0x1000000000000
001dd8e5xor rbx, rdi
001dd8e8lea ecx, [rsi+1]
001dd8ebshl rcx, 48
001dd8efor rcx, rbx
001dd8f2mov rsi, rdx
001dd8f5
001dd8f5loc_1dd8f5:
001dd8f5and eax, 32768
001dd8fashl rax, 48
001dd8feor rax, rcx
001dd901mov [rbp-80], rsi
001dd905mov [rbp-72], rax
001dd909movaps x0, [rbp-80]
001dd90dcall roundq
001dd912movaps [rbp-64], x0
001dd916mov rdi, [rbp-64]
001dd91amov rax, [rbp-56]
001dd91emov rbx, 0x7fffffffffffffff
001dd928mov rsi, rax
001dd92bshld rsi, rdi, 15
001dd930and rbx, rax
001dd933mov rcx, rsi
001dd936or rcx, r15
001dd939mov rdx, rdi
001dd93cneg rdx
001dd93fsbb r14, rbx
001dd942mov dx, 32767
001dd946jb 0x1dd9ba
001dd948shr rbx, 48
001dd94cmov edx, ebx
001dd94emov rbx, 0x1ffffffffffff
001dd958and rdi, rbx
001dd95bmov rbx, 0x1000000000001
001dd965cmp rdi, rbx
001dd968jb 0x1dd984
001dd96amov rsi, rcx
001dd96dadd rsi, 1
001dd971adc dx, 0
001dd975xor esi, esi
001dd977add rcx, 1
001dd97bcmove rsi, r15
001dd97for rcx, rsi
001dd982jmp 0x1dd9ac
001dd984
001dd984loc_1dd984:
001dd984mov rbx, 0x1000000000000
001dd98ecmp rdi, rbx
001dd991jne 0x1dd9ac
001dd993and esi, 1
001dd996mov rdi, rcx
001dd999add rdi, rsi
001dd99cadc dx, 0
001dd9a0xor edi, edi
001dd9a2add rcx, rsi
001dd9a5cmovb rdi, r15
001dd9a9or rcx, rdi
001dd9ac
001dd9acloc_1dd9ac:
001dd9acadd r15, -1
001dd9b0and r15, rcx
001dd9b3test dx, dx
001dd9b6cmove rcx, r15
001dd9ba
001dd9baloc_1dd9ba:
001dd9bashr rax, 48
001dd9beand eax, 32768
001dd9c3or edx, eax
001dd9c5mov [rbp-48], rcx
001dd9c9mov [rbp-40], dx
001dd9cdfld [rbp-48]
001dd9d0add rsp, 56
001dd9d4pop rbx
001dd9d5pop r14
001dd9d7pop r15
001dd9d9pop rbp
001dd9daret
001dd830
001dd9db
001dd9db // align 0x10
001dd9db // align 0x10
001dd9e0
001dd9e0roundq:
001dd9e0push rbp
001dd9e1mov rbp, rsp
001dd9e4push r15
001dd9e6push r14
001dd9e8push rbx
001dd9e9sub rsp, 200
001dd9f0movaps [rbp-48], x0
001dd9f4movaps x0, [rip-0x1499bb]
001dd9fbmovaps x1, [rip-0x1499b2]
001dda02call __divtf3
001dda07movaps x1, x0
001dda0amovaps x0, [rbp-48]
001dda0emovaps [rbp-192], x0
001dda15mov r15, [rbp-184]
001dda1cmov rbx, r15
001dda1fshr rbx, 48
001dda23and ebx, 32767
001dda29cmp rbx, 16495
001dda30jae 0x1ddb7d
001dda36mov rax, [rbp-192]
001dda3dmov r14, 0x8000000000000000
001dda47mov rcx, r15
001dda4axor rcx, r14
001dda4dmov [rbp-176], rax
001dda54mov [rbp-168], rcx
001dda5btest r15, r15
001dda5ejns 0x1dda67
001dda60movaps x0, [rbp-176]
001dda67
001dda67loc_1dda67:
001dda67movaps [rbp-48], x0
001dda6bmovaps [rbp-208], x1
001dda72call __addtf3
001dda77cmp ebx, 16381
001dda7dja 0x1dda87
001dda7fxorps x0, x0
001dda82jmp 0x1ddb7d
001dda87
001dda87loc_1dda87:
001dda87movaps x1, [rbp-208]
001dda8emovaps [rbp-160], x1
001dda95mov rax, [rbp-160]
001dda9cmov rcx, [rbp-152]
001ddaa3xor rcx, r14
001ddaa6mov [rbp-136], rcx
001ddaadmov [rbp-144], rax
001ddab4movaps x1, [rbp-144]
001ddabbcall __addtf3
001ddac0movaps x1, [rbp-48]
001ddac4movaps [rbp-128], x1
001ddac8mov rax, [rbp-128]
001ddaccmov rcx, [rbp-120]
001ddad0xor rcx, r14
001ddad3mov [rbp-104], rcx
001ddad7mov [rbp-112], rax
001ddadbmovaps x1, [rbp-112]
001ddadfcall __addtf3
001ddae4movaps [rbp-96], x0
001ddae8mov rcx, [rbp-96]
001ddaecmov rax, [rbp-88]
001ddaf0mov rdx, 0x7fffffffffffffff
001ddafaand rdx, rax
001ddafdmov rsi, rcx
001ddb00neg rsi
001ddb03mov rsi, 0x7fff000000000000
001ddb0dsbb rsi, rdx
001ddb10jae 0x1ddb18
001ddb12
001ddb12loc_1ddb12:
001ddb12movaps x1, [rbp-48]
001ddb16jmp 0x1ddb5b
001ddb18
001ddb18loc_1ddb18:
001ddb18movaps x1, [rbp-48]
001ddb1ccmp rcx, 1
001ddb20mov rcx, 0x3ffe000000000000
001ddb2amov rdx, rax
001ddb2dsbb rdx, rcx
001ddb30jge 0x1ddb4f
001ddb32shr rax, 49
001ddb36cmp eax, 24575
001ddb3bjb 0x1ddb12
001ddb3dmovaps x1, [rbp-48]
001ddb41call __addtf3
001ddb46movaps x1, [rip-0x149b0d]
001ddb4djmp 0x1ddb5b
001ddb4f
001ddb4floc_1ddb4f:
001ddb4fcall __addtf3
001ddb54movaps x1, [rip-0x149afb]
001ddb5b
001ddb5bloc_1ddb5b:
001ddb5bcall __addtf3
001ddb60test r15, r15
001ddb63jns 0x1ddb7d
001ddb65movaps [rbp-80], x0
001ddb69xor r14, [rbp-72]
001ddb6dmov rax, [rbp-80]
001ddb71mov [rbp-56], r14
001ddb75mov [rbp-64], rax
001ddb79movaps x0, [rbp-64]
001ddb7d
001ddb7dloc_1ddb7d:
001ddb7dadd rsp, 200
001ddb84pop rbx
001ddb85pop r14
001ddb87pop r15
001ddb89pop rbp
001ddb8aret
001dd9e0
001dd9e0roundq:
001dd9e0push rbp
001dd9e1mov rbp, rsp
001dd9e4push r15
001dd9e6push r14
001dd9e8push rbx
001dd9e9sub rsp, 200
001dd9f0movaps [rbp-48], x0
001dd9f4movaps x0, [rip-0x1499bb]
001dd9fbmovaps x1, [rip-0x1499b2]
001dda02call __divtf3
001dda07movaps x1, x0
001dda0amovaps x0, [rbp-48]
001dda0emovaps [rbp-192], x0
001dda15mov r15, [rbp-184]
001dda1cmov rbx, r15
001dda1fshr rbx, 48
001dda23and ebx, 32767
001dda29cmp rbx, 16495
001dda30jae 0x1ddb7d
001dda36mov rax, [rbp-192]
001dda3dmov r14, 0x8000000000000000
001dda47mov rcx, r15
001dda4axor rcx, r14
001dda4dmov [rbp-176], rax
001dda54mov [rbp-168], rcx
001dda5btest r15, r15
001dda5ejns 0x1dda67
001dda60movaps x0, [rbp-176]
001dda67
001dda67loc_1dda67:
001dda67movaps [rbp-48], x0
001dda6bmovaps [rbp-208], x1
001dda72call __addtf3
001dda77cmp ebx, 16381
001dda7dja 0x1dda87
001dda7fxorps x0, x0
001dda82jmp 0x1ddb7d
001dda87
001dda87loc_1dda87:
001dda87movaps x1, [rbp-208]
001dda8emovaps [rbp-160], x1
001dda95mov rax, [rbp-160]
001dda9cmov rcx, [rbp-152]
001ddaa3xor rcx, r14
001ddaa6mov [rbp-136], rcx
001ddaadmov [rbp-144], rax
001ddab4movaps x1, [rbp-144]
001ddabbcall __addtf3
001ddac0movaps x1, [rbp-48]
001ddac4movaps [rbp-128], x1
001ddac8mov rax, [rbp-128]
001ddaccmov rcx, [rbp-120]
001ddad0xor rcx, r14
001ddad3mov [rbp-104], rcx
001ddad7mov [rbp-112], rax
001ddadbmovaps x1, [rbp-112]
001ddadfcall __addtf3
001ddae4movaps [rbp-96], x0
001ddae8mov rcx, [rbp-96]
001ddaecmov rax, [rbp-88]
001ddaf0mov rdx, 0x7fffffffffffffff
001ddafaand rdx, rax
001ddafdmov rsi, rcx
001ddb00neg rsi
001ddb03mov rsi, 0x7fff000000000000
001ddb0dsbb rsi, rdx
001ddb10jae 0x1ddb18
001ddb12
001ddb12loc_1ddb12:
001ddb12movaps x1, [rbp-48]
001ddb16jmp 0x1ddb5b
001ddb18
001ddb18loc_1ddb18:
001ddb18movaps x1, [rbp-48]
001ddb1ccmp rcx, 1
001ddb20mov rcx, 0x3ffe000000000000
001ddb2amov rdx, rax
001ddb2dsbb rdx, rcx
001ddb30jge 0x1ddb4f
001ddb32shr rax, 49
001ddb36cmp eax, 24575
001ddb3bjb 0x1ddb12
001ddb3dmovaps x1, [rbp-48]
001ddb41call __addtf3
001ddb46movaps x1, [rip-0x149b0d]
001ddb4djmp 0x1ddb5b
001ddb4f
001ddb4floc_1ddb4f:
001ddb4fcall __addtf3
001ddb54movaps x1, [rip-0x149afb]
001ddb5b
001ddb5bloc_1ddb5b:
001ddb5bcall __addtf3
001ddb60test r15, r15
001ddb63jns 0x1ddb7d
001ddb65movaps [rbp-80], x0
001ddb69xor r14, [rbp-72]
001ddb6dmov rax, [rbp-80]
001ddb71mov [rbp-56], r14
001ddb75mov [rbp-64], rax
001ddb79movaps x0, [rbp-64]
001ddb7d
001ddb7dloc_1ddb7d:
001ddb7dadd rsp, 200
001ddb84pop rbx
001ddb85pop r14
001ddb87pop r15
001ddb89pop rbp
001ddb8aret
001dd9e0
001ddb8b
001ddb8b // align 0x10
001ddb8b // align 0x10
001ddb90
001ddb90roundl:
001ddb90push rbp
001ddb91mov rbp, rsp
001ddb94pop rbp
001ddb95jmp 0x1dd830
001ddb90
001ddb90roundl:
001ddb90push rbp
001ddb91mov rbp, rsp
001ddb94pop rbp
001ddb95jmp 0x1dd830
001ddb90
001ddb9a
001ddb9a // align 0x10
001ddb9a // align 0x10
001ddba0
001ddba0sqrtf:
001ddba0push rbp
001ddba1mov rbp, rsp
001ddba4push r15
001ddba6push r14
001ddba8push r12
001ddbaapush rbx
001ddbabmovd edx, x0
001ddbafmov eax, edx
001ddbb1not eax
001ddbb3test eax, 0x7f800000
001ddbb8jne 0x1ddbcb
001ddbbamovdqa x1, x0
001ddbbemulss x1, x0
001ddbc2addss x0, x1
001ddbc6jmp 0x1ddfc0
001ddbcb
001ddbcbloc_1ddbcb:
001ddbcbtest edx, edx
001ddbcdjle 0x1ddbf2
001ddbcfcmp edx, 0x7fffff
001ddbd5ja 0x1ddc0b
001ddbd7mov eax, 1
001ddbdcmov ecx, edx
001ddbdenop
001ddbe0
001ddbe0loc_1ddbe0:
001ddbe0lea edx, [rcx+rcx]
001ddbe3add eax, -1
001ddbe6test ecx, 0x400000
001ddbecmov ecx, edx
001ddbeeje 0x1ddbe0
001ddbf0jmp 0x1ddc10
001ddbf2
001ddbf2loc_1ddbf2:
001ddbf2test edx, 0x7fffffff
001ddbf8je 0x1ddfc0
001ddbfemovd x0, [rip-0x14a97a]
001ddc06jmp 0x1ddfc0
001ddc0b
001ddc0bloc_1ddc0b:
001ddc0bmov eax, edx
001ddc0dshr eax, 23
001ddc10
001ddc10loc_1ddc10:
001ddc10add eax, -127
001ddc13and edx, 0x7fffff
001ddc19or edx, 0x800000
001ddc1fmov ecx, eax
001ddc21and cl, 1
001ddc24shl edx, cl
001ddc26lea ecx, [4*rdx]
001ddc2dlea edi, [4*rdx-0x2800000]
001ddc34xor r9l, r9l
001ddc37cmp edx, 0x1200000
001ddc3dcmovb edi, ecx
001ddc40setae r9b
001ddc44mov esi, r9l
001ddc47shl esi, 24
001ddc4alea edx, [rsi+0x2000000]
001ddc50lea ecx, [rdi+rdi]
001ddc53add ecx, 0xfffffffffc000000
001ddc59lea edi, [rsi+0x2400000]
001ddc5for esi, 0x2800000
001ddc65xor r8l, r8l
001ddc68xor r10l, r10l
001ddc6bcmp ecx, edi
001ddc6dcmovl esi, edx
001ddc70setge r10b
001ddc74cmovl edi, r8l
001ddc78sub ecx, edi
001ddc7aadd ecx, ecx
001ddc7clea edi, [rsi+0x200000]
001ddc82lea ebx, [rsi+0x400000]
001ddc88xor r14l, r14l
001ddc8bcmp ecx, edi
001ddc8dsetge r14b
001ddc91cmovl ebx, esi
001ddc94cmovl edi, r8l
001ddc98sub ecx, edi
001ddc9aadd ecx, ecx
001ddc9clea esi, [rbx+0x100000]
001ddca2lea edx, [rbx+0x200000]
001ddca8xor edi, edi
001ddcaacmp ecx, esi
001ddcaccmovl edx, ebx
001ddcafcmovl esi, r8l
001ddcb3setge dil
001ddcb7sub ecx, esi
001ddcb9add ecx, ecx
001ddcbblea ebx, [rdx+0x80000]
001ddcc1cmp ecx, ebx
001ddcc3mov r15l, ebx
001ddcc6cmovl r15l, r8l
001ddccalea r11l, [rdx+0x100000]
001ddcd1xor r12l, r12l
001ddcd4cmp ecx, ebx
001ddcd6setge r12b
001ddcdacmovl r11l, edx
001ddcdeshl r9l, 23
001ddce2shl r10l, 22
001ddce6or r10l, r9l
001ddce9shl r14l, 21
001ddcedor r14l, r10l
001ddcf0shl edi, 20
001ddcf3or edi, r14l
001ddcf6shl r12l, 19
001ddcfaor r12l, edi
001ddcfdsub ecx, r15l
001ddd00add ecx, ecx
001ddd02lea edx, [r11+0x40000]
001ddd09lea esi, [r11+0x80000]
001ddd10xor ebx, ebx
001ddd12cmp ecx, edx
001ddd14cmovl esi, r11l
001ddd18setge bl
001ddd1bcmovl edx, r8l
001ddd1fshl ebx, 18
001ddd22lea r9l, [rbx+r12]
001ddd26add r9l, 0x1000000
001ddd2dsub ecx, edx
001ddd2fadd ecx, ecx
001ddd31lea ebx, [rsi+0x20000]
001ddd37lea edi, [rsi+0x40000]
001ddd3dxor edx, edx
001ddd3fcmp ecx, ebx
001ddd41setge dl
001ddd44cmovl edi, esi
001ddd47cmovl ebx, r8l
001ddd4bshl edx, 17
001ddd4eor edx, r9l
001ddd51sub ecx, ebx
001ddd53add ecx, ecx
001ddd55lea ebx, [rdi+0x10000]
001ddd5blea r9l, [rdi+0x20000]
001ddd62xor esi, esi
001ddd64cmp ecx, ebx
001ddd66cmovl r9l, edi
001ddd6acmovl ebx, r8l
001ddd6esetge sil
001ddd72shl esi, 16
001ddd75add esi, edx
001ddd77sub ecx, ebx
001ddd79add ecx, ecx
001ddd7blea edi, [r9+32768]
001ddd82lea ebx, [r9+0x10000]
001ddd89xor edx, edx
001ddd8bcmp ecx, edi
001ddd8dsetge dl
001ddd90cmovl ebx, r9l
001ddd94cmovl edi, r8l
001ddd98shl edx, 15
001ddd9badd edx, esi
001ddd9dsub ecx, edi
001ddd9fadd ecx, ecx
001ddda1lea edi, [rbx+16384]
001ddda7lea r9l, [rbx+32768]
001dddaexor esi, esi
001dddb0cmp ecx, edi
001dddb2cmovl r9l, ebx
001dddb6setge sil
001dddbacmovl edi, r8l
001dddbeshl esi, 14
001dddc1add esi, edx
001dddc3sub ecx, edi
001dddc5add ecx, ecx
001dddc7lea edi, [r9+8192]
001dddcelea ebx, [r9+16384]
001dddd5xor edx, edx
001dddd7cmp ecx, edi
001dddd9setge dl
001ddddccmovl ebx, r9l
001ddde0cmovl edi, r8l
001ddde4shl edx, 13
001ddde7add edx, esi
001ddde9sub ecx, edi
001dddebadd ecx, ecx
001dddedlea edi, [rbx+4096]
001dddf3lea r9l, [rbx+8192]
001dddfaxor esi, esi
001dddfccmp ecx, edi
001dddfecmovl r9l, ebx
001dde02cmovl edi, r8l
001dde06setge sil
001dde0ashl esi, 12
001dde0dadd esi, edx
001dde0fsub ecx, edi
001dde11add ecx, ecx
001dde13lea edi, [r9+2048]
001dde1alea ebx, [r9+4096]
001dde21xor edx, edx
001dde23cmp ecx, edi
001dde25setge dl
001dde28cmovl ebx, r9l
001dde2ccmovl edi, r8l
001dde30shl edx, 11
001dde33add edx, esi
001dde35sub ecx, edi
001dde37add ecx, ecx
001dde39lea edi, [rbx+1024]
001dde3flea r9l, [rbx+2048]
001dde46xor esi, esi
001dde48cmp ecx, edi
001dde4acmovl r9l, ebx
001dde4esetge sil
001dde52cmovl edi, r8l
001dde56shl esi, 10
001dde59add esi, edx
001dde5bsub ecx, edi
001dde5dadd ecx, ecx
001dde5flea edi, [r9+512]
001dde66lea ebx, [r9+1024]
001dde6dxor edx, edx
001dde6fcmp ecx, edi
001dde71setge dl
001dde74cmovl ebx, r9l
001dde78cmovl edi, r8l
001dde7cshl edx, 9
001dde7fadd edx, esi
001dde81sub ecx, edi
001dde83add ecx, ecx
001dde85lea edi, [rbx+256]
001dde8blea r9l, [rbx+512]
001dde92xor esi, esi
001dde94cmp ecx, edi
001dde96cmovl r9l, ebx
001dde9acmovl edi, r8l
001dde9esetge sil
001ddea2shl esi, 8
001ddea5add esi, edx
001ddea7sub ecx, edi
001ddea9add ecx, ecx
001ddeablea edi, [r9+128]
001ddeb2lea ebx, [r9+256]
001ddeb9xor edx, edx
001ddebbcmp ecx, edi
001ddebdsetge dl
001ddec0cmovl ebx, r9l
001ddec4cmovl edi, r8l
001ddec8shl edx, 7
001ddecbadd edx, esi
001ddecdsub ecx, edi
001ddecfadd ecx, ecx
001dded1lea edi, [rbx+64]
001dded4lea r9l, [rbx+128]
001ddedbxor esi, esi
001ddeddcmp ecx, edi
001ddedfcmovl r9l, ebx
001ddee3setge sil
001ddee7cmovl edi, r8l
001ddeebshl esi, 6
001ddeeeadd esi, edx
001ddef0sub ecx, edi
001ddef2add ecx, ecx
001ddef4lea edi, [r9+32]
001ddef8lea ebx, [r9+64]
001ddefcxor edx, edx
001ddefecmp ecx, edi
001ddf00setge dl
001ddf03cmovl ebx, r9l
001ddf07cmovl edi, r8l
001ddf0bshl edx, 5
001ddf0eadd edx, esi
001ddf10sub ecx, edi
001ddf12add ecx, ecx
001ddf14lea esi, [rbx+16]
001ddf17lea r9l, [rbx+32]
001ddf1bxor edi, edi
001ddf1dcmp ecx, esi
001ddf1fcmovl r9l, ebx
001ddf23cmovl esi, r8l
001ddf27setge dil
001ddf2bshl edi, 4
001ddf2eadd edi, edx
001ddf30sub ecx, esi
001ddf32add ecx, ecx
001ddf34lea esi, [r9+8]
001ddf38lea edx, [r9+16]
001ddf3cxor ebx, ebx
001ddf3ecmp ecx, esi
001ddf40setge bl
001ddf43cmovl edx, r9l
001ddf47lea r9l, [rdi+8*rbx]
001ddf4bcmovl esi, r8l
001ddf4fsub ecx, esi
001ddf51add ecx, ecx
001ddf53lea ebx, [rdx+4]
001ddf56lea esi, [rdx+8]
001ddf59xor edi, edi
001ddf5bcmp ecx, ebx
001ddf5dsetge dil
001ddf61cmovl esi, edx
001ddf64lea r9l, [r9+4*rdi]
001ddf68cmovl ebx, r8l
001ddf6csub ecx, ebx
001ddf6eadd ecx, ecx
001ddf70lea ebx, [rsi+2]
001ddf73lea edx, [rsi+4]
001ddf76xor edi, edi
001ddf78cmp ecx, ebx
001ddf7asetge dil
001ddf7ecmovl edx, esi
001ddf81lea esi, [r9+2*rdi]
001ddf85cmovl ebx, r8l
001ddf89sub ecx, ebx
001ddf8badd ecx, ecx
001ddf8dxor edi, edi
001ddf8fcmp ecx, edx
001ddf91not edx
001ddf93setg dil
001ddf97cmovle edx, r8l
001ddf9badd edi, esi
001ddf9dadd edx, ecx
001ddf9fsetne cl
001ddfa2mov edx, edi
001ddfa4and dl, cl
001ddfa6movzx ecx, dl
001ddfa9add ecx, edi
001ddfabshr ecx, 1
001ddfadshl eax, 22
001ddfb0add eax, 0x3f000000
001ddfb5and eax, 0xffffffffff800000
001ddfbaadd eax, ecx
001ddfbcmovd x0, eax
001ddfc0
001ddfc0loc_1ddfc0:
001ddfc0pop rbx
001ddfc1pop r12
001ddfc3pop r14
001ddfc5pop r15
001ddfc7pop rbp
001ddfc8ret
001ddba0
001ddba0sqrtf:
001ddba0push rbp
001ddba1mov rbp, rsp
001ddba4push r15
001ddba6push r14
001ddba8push r12
001ddbaapush rbx
001ddbabmovd edx, x0
001ddbafmov eax, edx
001ddbb1not eax
001ddbb3test eax, 0x7f800000
001ddbb8jne 0x1ddbcb
001ddbbamovdqa x1, x0
001ddbbemulss x1, x0
001ddbc2addss x0, x1
001ddbc6jmp 0x1ddfc0
001ddbcb
001ddbcbloc_1ddbcb:
001ddbcbtest edx, edx
001ddbcdjle 0x1ddbf2
001ddbcfcmp edx, 0x7fffff
001ddbd5ja 0x1ddc0b
001ddbd7mov eax, 1
001ddbdcmov ecx, edx
001ddbdenop
001ddbe0
001ddbe0loc_1ddbe0:
001ddbe0lea edx, [rcx+rcx]
001ddbe3add eax, -1
001ddbe6test ecx, 0x400000
001ddbecmov ecx, edx
001ddbeeje 0x1ddbe0
001ddbf0jmp 0x1ddc10
001ddbf2
001ddbf2loc_1ddbf2:
001ddbf2test edx, 0x7fffffff
001ddbf8je 0x1ddfc0
001ddbfemovd x0, [rip-0x14a97a]
001ddc06jmp 0x1ddfc0
001ddc0b
001ddc0bloc_1ddc0b:
001ddc0bmov eax, edx
001ddc0dshr eax, 23
001ddc10
001ddc10loc_1ddc10:
001ddc10add eax, -127
001ddc13and edx, 0x7fffff
001ddc19or edx, 0x800000
001ddc1fmov ecx, eax
001ddc21and cl, 1
001ddc24shl edx, cl
001ddc26lea ecx, [4*rdx]
001ddc2dlea edi, [4*rdx-0x2800000]
001ddc34xor r9l, r9l
001ddc37cmp edx, 0x1200000
001ddc3dcmovb edi, ecx
001ddc40setae r9b
001ddc44mov esi, r9l
001ddc47shl esi, 24
001ddc4alea edx, [rsi+0x2000000]
001ddc50lea ecx, [rdi+rdi]
001ddc53add ecx, 0xfffffffffc000000
001ddc59lea edi, [rsi+0x2400000]
001ddc5for esi, 0x2800000
001ddc65xor r8l, r8l
001ddc68xor r10l, r10l
001ddc6bcmp ecx, edi
001ddc6dcmovl esi, edx
001ddc70setge r10b
001ddc74cmovl edi, r8l
001ddc78sub ecx, edi
001ddc7aadd ecx, ecx
001ddc7clea edi, [rsi+0x200000]
001ddc82lea ebx, [rsi+0x400000]
001ddc88xor r14l, r14l
001ddc8bcmp ecx, edi
001ddc8dsetge r14b
001ddc91cmovl ebx, esi
001ddc94cmovl edi, r8l
001ddc98sub ecx, edi
001ddc9aadd ecx, ecx
001ddc9clea esi, [rbx+0x100000]
001ddca2lea edx, [rbx+0x200000]
001ddca8xor edi, edi
001ddcaacmp ecx, esi
001ddcaccmovl edx, ebx
001ddcafcmovl esi, r8l
001ddcb3setge dil
001ddcb7sub ecx, esi
001ddcb9add ecx, ecx
001ddcbblea ebx, [rdx+0x80000]
001ddcc1cmp ecx, ebx
001ddcc3mov r15l, ebx
001ddcc6cmovl r15l, r8l
001ddccalea r11l, [rdx+0x100000]
001ddcd1xor r12l, r12l
001ddcd4cmp ecx, ebx
001ddcd6setge r12b
001ddcdacmovl r11l, edx
001ddcdeshl r9l, 23
001ddce2shl r10l, 22
001ddce6or r10l, r9l
001ddce9shl r14l, 21
001ddcedor r14l, r10l
001ddcf0shl edi, 20
001ddcf3or edi, r14l
001ddcf6shl r12l, 19
001ddcfaor r12l, edi
001ddcfdsub ecx, r15l
001ddd00add ecx, ecx
001ddd02lea edx, [r11+0x40000]
001ddd09lea esi, [r11+0x80000]
001ddd10xor ebx, ebx
001ddd12cmp ecx, edx
001ddd14cmovl esi, r11l
001ddd18setge bl
001ddd1bcmovl edx, r8l
001ddd1fshl ebx, 18
001ddd22lea r9l, [rbx+r12]
001ddd26add r9l, 0x1000000
001ddd2dsub ecx, edx
001ddd2fadd ecx, ecx
001ddd31lea ebx, [rsi+0x20000]
001ddd37lea edi, [rsi+0x40000]
001ddd3dxor edx, edx
001ddd3fcmp ecx, ebx
001ddd41setge dl
001ddd44cmovl edi, esi
001ddd47cmovl ebx, r8l
001ddd4bshl edx, 17
001ddd4eor edx, r9l
001ddd51sub ecx, ebx
001ddd53add ecx, ecx
001ddd55lea ebx, [rdi+0x10000]
001ddd5blea r9l, [rdi+0x20000]
001ddd62xor esi, esi
001ddd64cmp ecx, ebx
001ddd66cmovl r9l, edi
001ddd6acmovl ebx, r8l
001ddd6esetge sil
001ddd72shl esi, 16
001ddd75add esi, edx
001ddd77sub ecx, ebx
001ddd79add ecx, ecx
001ddd7blea edi, [r9+32768]
001ddd82lea ebx, [r9+0x10000]
001ddd89xor edx, edx
001ddd8bcmp ecx, edi
001ddd8dsetge dl
001ddd90cmovl ebx, r9l
001ddd94cmovl edi, r8l
001ddd98shl edx, 15
001ddd9badd edx, esi
001ddd9dsub ecx, edi
001ddd9fadd ecx, ecx
001ddda1lea edi, [rbx+16384]
001ddda7lea r9l, [rbx+32768]
001dddaexor esi, esi
001dddb0cmp ecx, edi
001dddb2cmovl r9l, ebx
001dddb6setge sil
001dddbacmovl edi, r8l
001dddbeshl esi, 14
001dddc1add esi, edx
001dddc3sub ecx, edi
001dddc5add ecx, ecx
001dddc7lea edi, [r9+8192]
001dddcelea ebx, [r9+16384]
001dddd5xor edx, edx
001dddd7cmp ecx, edi
001dddd9setge dl
001ddddccmovl ebx, r9l
001ddde0cmovl edi, r8l
001ddde4shl edx, 13
001ddde7add edx, esi
001ddde9sub ecx, edi
001dddebadd ecx, ecx
001dddedlea edi, [rbx+4096]
001dddf3lea r9l, [rbx+8192]
001dddfaxor esi, esi
001dddfccmp ecx, edi
001dddfecmovl r9l, ebx
001dde02cmovl edi, r8l
001dde06setge sil
001dde0ashl esi, 12
001dde0dadd esi, edx
001dde0fsub ecx, edi
001dde11add ecx, ecx
001dde13lea edi, [r9+2048]
001dde1alea ebx, [r9+4096]
001dde21xor edx, edx
001dde23cmp ecx, edi
001dde25setge dl
001dde28cmovl ebx, r9l
001dde2ccmovl edi, r8l
001dde30shl edx, 11
001dde33add edx, esi
001dde35sub ecx, edi
001dde37add ecx, ecx
001dde39lea edi, [rbx+1024]
001dde3flea r9l, [rbx+2048]
001dde46xor esi, esi
001dde48cmp ecx, edi
001dde4acmovl r9l, ebx
001dde4esetge sil
001dde52cmovl edi, r8l
001dde56shl esi, 10
001dde59add esi, edx
001dde5bsub ecx, edi
001dde5dadd ecx, ecx
001dde5flea edi, [r9+512]
001dde66lea ebx, [r9+1024]
001dde6dxor edx, edx
001dde6fcmp ecx, edi
001dde71setge dl
001dde74cmovl ebx, r9l
001dde78cmovl edi, r8l
001dde7cshl edx, 9
001dde7fadd edx, esi
001dde81sub ecx, edi
001dde83add ecx, ecx
001dde85lea edi, [rbx+256]
001dde8blea r9l, [rbx+512]
001dde92xor esi, esi
001dde94cmp ecx, edi
001dde96cmovl r9l, ebx
001dde9acmovl edi, r8l
001dde9esetge sil
001ddea2shl esi, 8
001ddea5add esi, edx
001ddea7sub ecx, edi
001ddea9add ecx, ecx
001ddeablea edi, [r9+128]
001ddeb2lea ebx, [r9+256]
001ddeb9xor edx, edx
001ddebbcmp ecx, edi
001ddebdsetge dl
001ddec0cmovl ebx, r9l
001ddec4cmovl edi, r8l
001ddec8shl edx, 7
001ddecbadd edx, esi
001ddecdsub ecx, edi
001ddecfadd ecx, ecx
001dded1lea edi, [rbx+64]
001dded4lea r9l, [rbx+128]
001ddedbxor esi, esi
001ddeddcmp ecx, edi
001ddedfcmovl r9l, ebx
001ddee3setge sil
001ddee7cmovl edi, r8l
001ddeebshl esi, 6
001ddeeeadd esi, edx
001ddef0sub ecx, edi
001ddef2add ecx, ecx
001ddef4lea edi, [r9+32]
001ddef8lea ebx, [r9+64]
001ddefcxor edx, edx
001ddefecmp ecx, edi
001ddf00setge dl
001ddf03cmovl ebx, r9l
001ddf07cmovl edi, r8l
001ddf0bshl edx, 5
001ddf0eadd edx, esi
001ddf10sub ecx, edi
001ddf12add ecx, ecx
001ddf14lea esi, [rbx+16]
001ddf17lea r9l, [rbx+32]
001ddf1bxor edi, edi
001ddf1dcmp ecx, esi
001ddf1fcmovl r9l, ebx
001ddf23cmovl esi, r8l
001ddf27setge dil
001ddf2bshl edi, 4
001ddf2eadd edi, edx
001ddf30sub ecx, esi
001ddf32add ecx, ecx
001ddf34lea esi, [r9+8]
001ddf38lea edx, [r9+16]
001ddf3cxor ebx, ebx
001ddf3ecmp ecx, esi
001ddf40setge bl
001ddf43cmovl edx, r9l
001ddf47lea r9l, [rdi+8*rbx]
001ddf4bcmovl esi, r8l
001ddf4fsub ecx, esi
001ddf51add ecx, ecx
001ddf53lea ebx, [rdx+4]
001ddf56lea esi, [rdx+8]
001ddf59xor edi, edi
001ddf5bcmp ecx, ebx
001ddf5dsetge dil
001ddf61cmovl esi, edx
001ddf64lea r9l, [r9+4*rdi]
001ddf68cmovl ebx, r8l
001ddf6csub ecx, ebx
001ddf6eadd ecx, ecx
001ddf70lea ebx, [rsi+2]
001ddf73lea edx, [rsi+4]
001ddf76xor edi, edi
001ddf78cmp ecx, ebx
001ddf7asetge dil
001ddf7ecmovl edx, esi
001ddf81lea esi, [r9+2*rdi]
001ddf85cmovl ebx, r8l
001ddf89sub ecx, ebx
001ddf8badd ecx, ecx
001ddf8dxor edi, edi
001ddf8fcmp ecx, edx
001ddf91not edx
001ddf93setg dil
001ddf97cmovle edx, r8l
001ddf9badd edi, esi
001ddf9dadd edx, ecx
001ddf9fsetne cl
001ddfa2mov edx, edi
001ddfa4and dl, cl
001ddfa6movzx ecx, dl
001ddfa9add ecx, edi
001ddfabshr ecx, 1
001ddfadshl eax, 22
001ddfb0add eax, 0x3f000000
001ddfb5and eax, 0xffffffffff800000
001ddfbaadd eax, ecx
001ddfbcmovd x0, eax
001ddfc0
001ddfc0loc_1ddfc0:
001ddfc0pop rbx
001ddfc1pop r12
001ddfc3pop r14
001ddfc5pop r15
001ddfc7pop rbp
001ddfc8ret
001ddba0
001ddfc9
001ddfc9 // align 0x10
001ddfc9 // align 0x10
001ddfd0
001ddfd0sqrt:
001ddfd0push rbp
001ddfd1mov rbp, rsp
001ddfd4push r14
001ddfd6push rbx
001ddfd7movq r14, x0
001ddfdcmov rdi, r14
001ddfdfshr rdi, 32
001ddfe3mov eax, edi
001ddfe5not eax
001ddfe7test eax, 0x7ff00000
001ddfecjne 0x1ddfff
001ddfeemovapd x1, x0
001ddff2mulsd x1, x0
001ddff6addsd x0, x1
001ddffa
001ddffaloc_1ddffa:
001ddffapop rbx
001ddffbpop r14
001ddffdpop rbp
001ddfferet
001ddfff
001ddfffloc_1ddfff:
001ddfffxorpd x1, x1
001de003ucomisd x0, x1
001de007jne 0x1de00b
001de009jnp 0x1ddffa
001de00b
001de00bloc_1de00b:
001de00btest r14, r14
001de00ejs 0x1de072
001de010cmp edi, 0xfffff
001de016ja 0x1de07f
001de018mov r8l, 1
001de01etest edi, edi
001de020jne 0x1de046
001de022mov r8l, 1
001de028nop [rax+rax]
001de030
001de030loc_1de030:
001de030mov edi, r14l
001de033shl r14l, 21
001de037add r8l, -21
001de03bcmp edi, 2048
001de041jb 0x1de030
001de043shr edi, 11
001de046
001de046loc_1de046:
001de046xor eax, eax
001de048test edi, 0x100000
001de04ejne 0x1de088
001de050xor eax, eax
001de052nop [rax+rax]
001de05cnop [rax]
001de060
001de060loc_1de060:
001de060lea edx, [rdi+rdi]
001de063add eax, 1
001de066test edi, 0x80000
001de06cmov edi, edx
001de06eje 0x1de060
001de070jmp 0x1de08a
001de072
001de072loc_1de072:
001de072movsd_xmm x0, [rip-0x14a7ca]
001de07apop rbx
001de07bpop r14
001de07dpop rbp
001de07eret
001de07f
001de07floc_1de07f:
001de07fmov r8l, edi
001de082shr r8l, 20
001de086jmp 0x1de09d
001de088
001de088loc_1de088:
001de088mov edx, edi
001de08a
001de08aloc_1de08a:
001de08asub r8l, eax
001de08dmov ecx, eax
001de08fneg cl
001de091mov edi, r14l
001de094shr edi, cl
001de096or edi, edx
001de098mov ecx, eax
001de09ashl r14l, cl
001de09d
001de09dloc_1de09d:
001de09dadd r8l, -1023
001de0a4and edi, 0xfffff
001de0aaor edi, 0x100000
001de0b0test r8b, 1
001de0b4je 0x1de0be
001de0b6shld edi, r14l, 1
001de0bbadd r14l, r14l
001de0be
001de0beloc_1de0be:
001de0beshld edi, r14l, 1
001de0c3add r14l, r14l
001de0c6xor r9l, r9l
001de0c9mov ecx, 0x200000
001de0cexor r11l, r11l
001de0d1xor edx, edx
001de0d3nop [rax+rax]
001de0ddnop [rax]
001de0e0
001de0e0loc_1de0e0:
001de0e0mov eax, edx
001de0e2lea esi, [rcx+rax]
001de0e5lea edx, [rsi+rcx]
001de0e8cmp edi, esi
001de0eacmovb edx, eax
001de0edmov eax, ecx
001de0efcmovb eax, r9l
001de0f3cmovb esi, r9l
001de0f7add r11l, eax
001de0fasub edi, esi
001de0fcshld edi, r14l, 1
001de101mov eax, ecx
001de103shr eax, 1
001de105add r14l, r14l
001de108cmp ecx, 1
001de10bmov ecx, eax
001de10dja 0x1de0e0
001de10fxor r9l, r9l
001de112mov ecx, 0xffffffff80000000
001de117xor r10l, r10l
001de11ajmp 0x1de154
001de11c
001de11c 0f 1f 40 00 ..@.
001de120
001de120loc_1de120:
001de120test eax, eax
001de122sets sil
001de126mov r10l, eax
001de129add r10l, ecx
001de12csetns bl
001de12fand bl, sil
001de132movzx esi, bl
001de135add esi, edx
001de137sub r14l, eax
001de13asbb edi, edx
001de13cadd r9l, ecx
001de13fmov edx, esi
001de141
001de141loc_1de141:
001de141shld edi, r14l, 1
001de146add r14l, r14l
001de149mov eax, ecx
001de14bshr eax, 1
001de14dcmp ecx, 1
001de150mov ecx, eax
001de152jbe 0x1de165
001de154
001de154loc_1de154:
001de154lea eax, [rcx+r10]
001de158cmp edi, edx
001de15aja 0x1de120
001de15cjne 0x1de141
001de15ecmp r14l, eax
001de161jae 0x1de120
001de163jmp 0x1de141
001de165
001de165loc_1de165:
001de165or edi, r14l
001de168je 0x1de185
001de16acmp r9l, -1
001de16eje 0x1de17e
001de170mov eax, r9l
001de173and eax, 1
001de176add eax, r9l
001de179mov r9l, eax
001de17cjmp 0x1de185
001de17e
001de17eloc_1de17e:
001de17eadd r11l, 1
001de182xor r9l, r9l
001de185
001de185loc_1de185:
001de185mov eax, r11l
001de188shrd r9l, r11l, 1
001de18dshr eax, 1
001de18fshl r8l, 19
001de193add r8l, 0x3fe00000
001de19aand r8l, 0xfffffffffff00000
001de1a1add r8l, eax
001de1a4shl r8, 32
001de1a8or r9, r8
001de1abmovq x0, r9
001de1b0pop rbx
001de1b1pop r14
001de1b3pop rbp
001de1b4ret
001ddfd0
001ddfd0sqrt:
001ddfd0push rbp
001ddfd1mov rbp, rsp
001ddfd4push r14
001ddfd6push rbx
001ddfd7movq r14, x0
001ddfdcmov rdi, r14
001ddfdfshr rdi, 32
001ddfe3mov eax, edi
001ddfe5not eax
001ddfe7test eax, 0x7ff00000
001ddfecjne 0x1ddfff
001ddfeemovapd x1, x0
001ddff2mulsd x1, x0
001ddff6addsd x0, x1
001ddffa
001ddffaloc_1ddffa:
001ddffapop rbx
001ddffbpop r14
001ddffdpop rbp
001ddfferet
001ddfff
001ddfffloc_1ddfff:
001ddfffxorpd x1, x1
001de003ucomisd x0, x1
001de007jne 0x1de00b
001de009jnp 0x1ddffa
001de00b
001de00bloc_1de00b:
001de00btest r14, r14
001de00ejs 0x1de072
001de010cmp edi, 0xfffff
001de016ja 0x1de07f
001de018mov r8l, 1
001de01etest edi, edi
001de020jne 0x1de046
001de022mov r8l, 1
001de028nop [rax+rax]
001de030
001de030loc_1de030:
001de030mov edi, r14l
001de033shl r14l, 21
001de037add r8l, -21
001de03bcmp edi, 2048
001de041jb 0x1de030
001de043shr edi, 11
001de046
001de046loc_1de046:
001de046xor eax, eax
001de048test edi, 0x100000
001de04ejne 0x1de088
001de050xor eax, eax
001de052nop [rax+rax]
001de05cnop [rax]
001de060
001de060loc_1de060:
001de060lea edx, [rdi+rdi]
001de063add eax, 1
001de066test edi, 0x80000
001de06cmov edi, edx
001de06eje 0x1de060
001de070jmp 0x1de08a
001de072
001de072loc_1de072:
001de072movsd_xmm x0, [rip-0x14a7ca]
001de07apop rbx
001de07bpop r14
001de07dpop rbp
001de07eret
001de07f
001de07floc_1de07f:
001de07fmov r8l, edi
001de082shr r8l, 20
001de086jmp 0x1de09d
001de088
001de088loc_1de088:
001de088mov edx, edi
001de08a
001de08aloc_1de08a:
001de08asub r8l, eax
001de08dmov ecx, eax
001de08fneg cl
001de091mov edi, r14l
001de094shr edi, cl
001de096or edi, edx
001de098mov ecx, eax
001de09ashl r14l, cl
001de09d
001de09dloc_1de09d:
001de09dadd r8l, -1023
001de0a4and edi, 0xfffff
001de0aaor edi, 0x100000
001de0b0test r8b, 1
001de0b4je 0x1de0be
001de0b6shld edi, r14l, 1
001de0bbadd r14l, r14l
001de0be
001de0beloc_1de0be:
001de0beshld edi, r14l, 1
001de0c3add r14l, r14l
001de0c6xor r9l, r9l
001de0c9mov ecx, 0x200000
001de0cexor r11l, r11l
001de0d1xor edx, edx
001de0d3nop [rax+rax]
001de0ddnop [rax]
001de0e0
001de0e0loc_1de0e0:
001de0e0mov eax, edx
001de0e2lea esi, [rcx+rax]
001de0e5lea edx, [rsi+rcx]
001de0e8cmp edi, esi
001de0eacmovb edx, eax
001de0edmov eax, ecx
001de0efcmovb eax, r9l
001de0f3cmovb esi, r9l
001de0f7add r11l, eax
001de0fasub edi, esi
001de0fcshld edi, r14l, 1
001de101mov eax, ecx
001de103shr eax, 1
001de105add r14l, r14l
001de108cmp ecx, 1
001de10bmov ecx, eax
001de10dja 0x1de0e0
001de10fxor r9l, r9l
001de112mov ecx, 0xffffffff80000000
001de117xor r10l, r10l
001de11ajmp 0x1de154
001de11c
001de11c 0f 1f 40 00 ..@.
001de120
001de120loc_1de120:
001de120test eax, eax
001de122sets sil
001de126mov r10l, eax
001de129add r10l, ecx
001de12csetns bl
001de12fand bl, sil
001de132movzx esi, bl
001de135add esi, edx
001de137sub r14l, eax
001de13asbb edi, edx
001de13cadd r9l, ecx
001de13fmov edx, esi
001de141
001de141loc_1de141:
001de141shld edi, r14l, 1
001de146add r14l, r14l
001de149mov eax, ecx
001de14bshr eax, 1
001de14dcmp ecx, 1
001de150mov ecx, eax
001de152jbe 0x1de165
001de154
001de154loc_1de154:
001de154lea eax, [rcx+r10]
001de158cmp edi, edx
001de15aja 0x1de120
001de15cjne 0x1de141
001de15ecmp r14l, eax
001de161jae 0x1de120
001de163jmp 0x1de141
001de165
001de165loc_1de165:
001de165or edi, r14l
001de168je 0x1de185
001de16acmp r9l, -1
001de16eje 0x1de17e
001de170mov eax, r9l
001de173and eax, 1
001de176add eax, r9l
001de179mov r9l, eax
001de17cjmp 0x1de185
001de17e
001de17eloc_1de17e:
001de17eadd r11l, 1
001de182xor r9l, r9l
001de185
001de185loc_1de185:
001de185mov eax, r11l
001de188shrd r9l, r11l, 1
001de18dshr eax, 1
001de18fshl r8l, 19
001de193add r8l, 0x3fe00000
001de19aand r8l, 0xfffffffffff00000
001de1a1add r8l, eax
001de1a4shl r8, 32
001de1a8or r9, r8
001de1abmovq x0, r9
001de1b0pop rbx
001de1b1pop r14
001de1b3pop rbp
001de1b4ret
001ddfd0
001de1b5
001de1b5 // align 0x10
001de1b5 // align 0x10
001de1c0
001de1c0__sqrtx:
001de1c0push rbp
001de1c1mov rbp, rsp
001de1c4push r15
001de1c6push r14
001de1c8push rbx
001de1c9sub rsp, 56
001de1cdmov r15, 0x8000000000000000
001de1d7mov eax, [rbp+24]
001de1damov rdx, [rbp+16]
001de1demov edi, eax
001de1e0mov r14, 0x7fff000000000000
001de1eaand di, 32767
001de1efjne 0x1de201
001de1f1xor esi, esi
001de1f3mov ecx, 0
001de1f8test rdx, rdx
001de1fbje 0x1de285
001de201
001de201loc_1de201:
001de201movzx ecx, di
001de204cmp ecx, 32767
001de20ajne 0x1de21f
001de20cmov rsi, rdx
001de20fshl rsi, 49
001de213shr rdx, 15
001de217or rdx, r14
001de21amov rcx, rdx
001de21djmp 0x1de285
001de21f
001de21floc_1de21f:
001de21ftest rdx, rdx
001de222js 0x1de230
001de224je 0x1de24b
001de226bsr rsi, rdx
001de22axor rsi, 63
001de22ejmp 0x1de250
001de230
001de230loc_1de230:
001de230lea rsi, [r15-1]
001de234and rdx, rsi
001de237mov rsi, rdx
001de23ashl rsi, 49
001de23eshr rdx, 15
001de242shl rcx, 48
001de246or rcx, rdx
001de249jmp 0x1de285
001de24b
001de24bloc_1de24b:
001de24bmov esi, 64
001de250
001de250loc_1de250:
001de250mov ecx, esi
001de252add cl, 50
001de255xor edi, edi
001de257shld rdi, rdx, cl
001de25bshl rdx, cl
001de25exor ebx, ebx
001de260test cl, 64
001de263cmovne rdi, rdx
001de267cmovne rdx, rbx
001de26bmov rbx, 0x1000000000000
001de275xor rbx, rdi
001de278lea ecx, [rsi+1]
001de27bshl rcx, 48
001de27for rcx, rbx
001de282mov rsi, rdx
001de285
001de285loc_1de285:
001de285and eax, 32768
001de28ashl rax, 48
001de28eor rax, rcx
001de291mov [rbp-80], rsi
001de295mov [rbp-72], rax
001de299movaps x0, [rbp-80]
001de29dcall sqrtq
001de2a2movaps [rbp-64], x0
001de2a6mov rdi, [rbp-64]
001de2aamov rax, [rbp-56]
001de2aemov rbx, 0x7fffffffffffffff
001de2b8mov rsi, rax
001de2bbshld rsi, rdi, 15
001de2c0and rbx, rax
001de2c3mov rcx, rsi
001de2c6or rcx, r15
001de2c9mov rdx, rdi
001de2ccneg rdx
001de2cfsbb r14, rbx
001de2d2mov dx, 32767
001de2d6jb 0x1de34a
001de2d8shr rbx, 48
001de2dcmov edx, ebx
001de2demov rbx, 0x1ffffffffffff
001de2e8and rdi, rbx
001de2ebmov rbx, 0x1000000000001
001de2f5cmp rdi, rbx
001de2f8jb 0x1de314
001de2famov rsi, rcx
001de2fdadd rsi, 1
001de301adc dx, 0
001de305xor esi, esi
001de307add rcx, 1
001de30bcmove rsi, r15
001de30for rcx, rsi
001de312jmp 0x1de33c
001de314
001de314loc_1de314:
001de314mov rbx, 0x1000000000000
001de31ecmp rdi, rbx
001de321jne 0x1de33c
001de323and esi, 1
001de326mov rdi, rcx
001de329add rdi, rsi
001de32cadc dx, 0
001de330xor edi, edi
001de332add rcx, rsi
001de335cmovb rdi, r15
001de339or rcx, rdi
001de33c
001de33cloc_1de33c:
001de33cadd r15, -1
001de340and r15, rcx
001de343test dx, dx
001de346cmove rcx, r15
001de34a
001de34aloc_1de34a:
001de34ashr rax, 48
001de34eand eax, 32768
001de353or edx, eax
001de355mov [rbp-48], rcx
001de359mov [rbp-40], dx
001de35dfld [rbp-48]
001de360add rsp, 56
001de364pop rbx
001de365pop r14
001de367pop r15
001de369pop rbp
001de36aret
001de1c0
001de1c0__sqrtx:
001de1c0push rbp
001de1c1mov rbp, rsp
001de1c4push r15
001de1c6push r14
001de1c8push rbx
001de1c9sub rsp, 56
001de1cdmov r15, 0x8000000000000000
001de1d7mov eax, [rbp+24]
001de1damov rdx, [rbp+16]
001de1demov edi, eax
001de1e0mov r14, 0x7fff000000000000
001de1eaand di, 32767
001de1efjne 0x1de201
001de1f1xor esi, esi
001de1f3mov ecx, 0
001de1f8test rdx, rdx
001de1fbje 0x1de285
001de201
001de201loc_1de201:
001de201movzx ecx, di
001de204cmp ecx, 32767
001de20ajne 0x1de21f
001de20cmov rsi, rdx
001de20fshl rsi, 49
001de213shr rdx, 15
001de217or rdx, r14
001de21amov rcx, rdx
001de21djmp 0x1de285
001de21f
001de21floc_1de21f:
001de21ftest rdx, rdx
001de222js 0x1de230
001de224je 0x1de24b
001de226bsr rsi, rdx
001de22axor rsi, 63
001de22ejmp 0x1de250
001de230
001de230loc_1de230:
001de230lea rsi, [r15-1]
001de234and rdx, rsi
001de237mov rsi, rdx
001de23ashl rsi, 49
001de23eshr rdx, 15
001de242shl rcx, 48
001de246or rcx, rdx
001de249jmp 0x1de285
001de24b
001de24bloc_1de24b:
001de24bmov esi, 64
001de250
001de250loc_1de250:
001de250mov ecx, esi
001de252add cl, 50
001de255xor edi, edi
001de257shld rdi, rdx, cl
001de25bshl rdx, cl
001de25exor ebx, ebx
001de260test cl, 64
001de263cmovne rdi, rdx
001de267cmovne rdx, rbx
001de26bmov rbx, 0x1000000000000
001de275xor rbx, rdi
001de278lea ecx, [rsi+1]
001de27bshl rcx, 48
001de27for rcx, rbx
001de282mov rsi, rdx
001de285
001de285loc_1de285:
001de285and eax, 32768
001de28ashl rax, 48
001de28eor rax, rcx
001de291mov [rbp-80], rsi
001de295mov [rbp-72], rax
001de299movaps x0, [rbp-80]
001de29dcall sqrtq
001de2a2movaps [rbp-64], x0
001de2a6mov rdi, [rbp-64]
001de2aamov rax, [rbp-56]
001de2aemov rbx, 0x7fffffffffffffff
001de2b8mov rsi, rax
001de2bbshld rsi, rdi, 15
001de2c0and rbx, rax
001de2c3mov rcx, rsi
001de2c6or rcx, r15
001de2c9mov rdx, rdi
001de2ccneg rdx
001de2cfsbb r14, rbx
001de2d2mov dx, 32767
001de2d6jb 0x1de34a
001de2d8shr rbx, 48
001de2dcmov edx, ebx
001de2demov rbx, 0x1ffffffffffff
001de2e8and rdi, rbx
001de2ebmov rbx, 0x1000000000001
001de2f5cmp rdi, rbx
001de2f8jb 0x1de314
001de2famov rsi, rcx
001de2fdadd rsi, 1
001de301adc dx, 0
001de305xor esi, esi
001de307add rcx, 1
001de30bcmove rsi, r15
001de30for rcx, rsi
001de312jmp 0x1de33c
001de314
001de314loc_1de314:
001de314mov rbx, 0x1000000000000
001de31ecmp rdi, rbx
001de321jne 0x1de33c
001de323and esi, 1
001de326mov rdi, rcx
001de329add rdi, rsi
001de32cadc dx, 0
001de330xor edi, edi
001de332add rcx, rsi
001de335cmovb rdi, r15
001de339or rcx, rdi
001de33c
001de33cloc_1de33c:
001de33cadd r15, -1
001de340and r15, rcx
001de343test dx, dx
001de346cmove rcx, r15
001de34a
001de34aloc_1de34a:
001de34ashr rax, 48
001de34eand eax, 32768
001de353or edx, eax
001de355mov [rbp-48], rcx
001de359mov [rbp-40], dx
001de35dfld [rbp-48]
001de360add rsp, 56
001de364pop rbx
001de365pop r14
001de367pop r15
001de369pop rbp
001de36aret
001de1c0
001de36b
001de36b // align 0x10
001de36b // align 0x10
001de370
001de370sqrtq:
001de370push rbp
001de371mov rbp, rsp
001de374push rbx
001de375sub rsp, 40
001de379movaps [rbp-48], x0
001de37dmov rdi, [rbp-48]
001de381mov rdx, [rbp-40]
001de385mov rcx, 0x7fffffffffffffff
001de38fand rcx, rdx
001de392mov rax, 0xc3ff000000000000
001de39cadd rax, rcx
001de39fmov rsi, 0xbc01000000000000
001de3a9add rsi, rcx
001de3accmp rax, rsi
001de3afjae 0x1de3f0
001de3b1mov rcx, 0x4000000000000000
001de3bbmov rax, rdx
001de3beshld rax, rdi, 4
001de3c3lea rsi, [rax+rcx]
001de3c7mov rbx, 0xfffffffffffffff
001de3d1and rbx, rdi
001de3d4mov rdi, 0x800000000000000
001de3decmp rbx, rdi
001de3e1jbe 0x1de429
001de3e3lea rsi, [rcx+rax]
001de3e7add rsi, 1
001de3ebjmp 0x1de501
001de3f0
001de3f0loc_1de3f0:
001de3f0mov rax, rdi
001de3f3neg rax
001de3f6mov rax, 0x7fff000000000000
001de400sbb rax, rcx
001de403jae 0x1de43a
001de405shrd rdi, rdx, 60
001de40amov rax, 0x7ffffffffffff
001de414and rax, rdi
001de417mov rsi, 0x7ff8000000000000
001de421or rsi, rax
001de424jmp 0x1de501
001de429
001de429loc_1de429:
001de429jne 0x1de501
001de42f
001de42floc_1de42f:
001de42fand eax, 1
001de432add rsi, rax
001de435jmp 0x1de501
001de43a
001de43aloc_1de43a:
001de43ashr rcx, 48
001de43ecmp ecx, 17406
001de444jbe 0x1de459
001de446mov rsi, 0x7fefffffffffffff
001de450add rsi, 1
001de454jmp 0x1de501
001de459
001de459loc_1de459:
001de459mov eax, 15361
001de45esub eax, ecx
001de460cmp eax, 112
001de463jbe 0x1de46c
001de465xor esi, esi
001de467jmp 0x1de501
001de46c
001de46cloc_1de46c:
001de46cmov rbx, 0xffffffffffff
001de476and rbx, rdx
001de479mov rsi, 0x1000000000000
001de483or rsi, rbx
001de486add cl, -1
001de489mov r8, rsi
001de48cshld r8, rdi, cl
001de490mov rbx, rdi
001de493shl rbx, cl
001de496xor r9l, r9l
001de499test cl, 64
001de49ccmovne r8, rbx
001de4a0cmovne rbx, r9
001de4a4xor r10l, r10l
001de4a7or rbx, r8
001de4aasetne r10b
001de4aemov ecx, eax
001de4b0shrd rdi, rsi, cl
001de4b4shr rsi, cl
001de4b7test al, 64
001de4b9cmovne rdi, rsi
001de4bdcmovne rsi, r9
001de4c1shld rsi, rdi, 4
001de4c6mov rax, 0xfffffffffffffff
001de4d0and rax, rdi
001de4d3or rax, r10
001de4d6mov rcx, 0x800000000000001
001de4e0cmp rax, rcx
001de4e3jb 0x1de4eb
001de4e5add rsi, 1
001de4e9jmp 0x1de501
001de4eb
001de4ebloc_1de4eb:
001de4ebmov rcx, 0x800000000000000
001de4f5cmp rax, rcx
001de4f8jne 0x1de501
001de4famov eax, esi
001de4fcjmp 0x1de42f
001de501
001de501loc_1de501:
001de501mov rbx, 0x8000000000000000
001de50band rdx, rbx
001de50eor rdx, rsi
001de511movq x0, rdx
001de516call sqrt
001de51bmovq rax, x0
001de520lea rdx, [rbx-1]
001de524and rdx, rax
001de527mov rcx, 0xfff0000000000000
001de531add rcx, rdx
001de534shr rcx, 53
001de538cmp ecx, 1022
001de53eja 0x1de55a
001de540mov rcx, rdx
001de543shl rcx, 60
001de547shr rdx, 4
001de54bmov rsi, 0x3c00000000000000
001de555add rsi, rdx
001de558jmp 0x1de5d7
001de55a
001de55aloc_1de55a:
001de55amov rcx, rdx
001de55dshr rcx, 52
001de561cmp ecx, 2047
001de567jb 0x1de586
001de569mov rcx, rax
001de56cshl rcx, 60
001de570mov rdx, rax
001de573shr rdx, 4
001de577mov rsi, 0x7fff000000000000
001de581or rsi, rdx
001de584jmp 0x1de5d7
001de586
001de586loc_1de586:
001de586test rdx, rdx
001de589je 0x1de5d3
001de58bbsr rcx, rdx
001de58fxor rcx, 63
001de593lea edi, [rcx+117]
001de596add cl, 49
001de599xor esi, esi
001de59bshld rsi, rdx, cl
001de59fand edi, 127
001de5a2xor r8l, r8l
001de5a5shl rdx, cl
001de5a8test cl, 64
001de5abcmovne rsi, rdx
001de5afcmovne rdx, r8
001de5b3mov rcx, 0x1000000000000
001de5bdxor rcx, rsi
001de5c0mov esi, 15361
001de5c5sub esi, edi
001de5c7shl rsi, 48
001de5cbor rsi, rcx
001de5cemov rcx, rdx
001de5d1jmp 0x1de5d7
001de5d3
001de5d3loc_1de5d3:
001de5d3xor ecx, ecx
001de5d5xor esi, esi
001de5d7
001de5d7loc_1de5d7:
001de5d7and rax, rbx
001de5daor rax, rsi
001de5ddmov [rbp-32], rcx
001de5e1mov [rbp-24], rax
001de5e5movaps x0, [rbp-32]
001de5e9add rsp, 40
001de5edpop rbx
001de5eepop rbp
001de5efret
001de370
001de370sqrtq:
001de370push rbp
001de371mov rbp, rsp
001de374push rbx
001de375sub rsp, 40
001de379movaps [rbp-48], x0
001de37dmov rdi, [rbp-48]
001de381mov rdx, [rbp-40]
001de385mov rcx, 0x7fffffffffffffff
001de38fand rcx, rdx
001de392mov rax, 0xc3ff000000000000
001de39cadd rax, rcx
001de39fmov rsi, 0xbc01000000000000
001de3a9add rsi, rcx
001de3accmp rax, rsi
001de3afjae 0x1de3f0
001de3b1mov rcx, 0x4000000000000000
001de3bbmov rax, rdx
001de3beshld rax, rdi, 4
001de3c3lea rsi, [rax+rcx]
001de3c7mov rbx, 0xfffffffffffffff
001de3d1and rbx, rdi
001de3d4mov rdi, 0x800000000000000
001de3decmp rbx, rdi
001de3e1jbe 0x1de429
001de3e3lea rsi, [rcx+rax]
001de3e7add rsi, 1
001de3ebjmp 0x1de501
001de3f0
001de3f0loc_1de3f0:
001de3f0mov rax, rdi
001de3f3neg rax
001de3f6mov rax, 0x7fff000000000000
001de400sbb rax, rcx
001de403jae 0x1de43a
001de405shrd rdi, rdx, 60
001de40amov rax, 0x7ffffffffffff
001de414and rax, rdi
001de417mov rsi, 0x7ff8000000000000
001de421or rsi, rax
001de424jmp 0x1de501
001de429
001de429loc_1de429:
001de429jne 0x1de501
001de42f
001de42floc_1de42f:
001de42fand eax, 1
001de432add rsi, rax
001de435jmp 0x1de501
001de43a
001de43aloc_1de43a:
001de43ashr rcx, 48
001de43ecmp ecx, 17406
001de444jbe 0x1de459
001de446mov rsi, 0x7fefffffffffffff
001de450add rsi, 1
001de454jmp 0x1de501
001de459
001de459loc_1de459:
001de459mov eax, 15361
001de45esub eax, ecx
001de460cmp eax, 112
001de463jbe 0x1de46c
001de465xor esi, esi
001de467jmp 0x1de501
001de46c
001de46cloc_1de46c:
001de46cmov rbx, 0xffffffffffff
001de476and rbx, rdx
001de479mov rsi, 0x1000000000000
001de483or rsi, rbx
001de486add cl, -1
001de489mov r8, rsi
001de48cshld r8, rdi, cl
001de490mov rbx, rdi
001de493shl rbx, cl
001de496xor r9l, r9l
001de499test cl, 64
001de49ccmovne r8, rbx
001de4a0cmovne rbx, r9
001de4a4xor r10l, r10l
001de4a7or rbx, r8
001de4aasetne r10b
001de4aemov ecx, eax
001de4b0shrd rdi, rsi, cl
001de4b4shr rsi, cl
001de4b7test al, 64
001de4b9cmovne rdi, rsi
001de4bdcmovne rsi, r9
001de4c1shld rsi, rdi, 4
001de4c6mov rax, 0xfffffffffffffff
001de4d0and rax, rdi
001de4d3or rax, r10
001de4d6mov rcx, 0x800000000000001
001de4e0cmp rax, rcx
001de4e3jb 0x1de4eb
001de4e5add rsi, 1
001de4e9jmp 0x1de501
001de4eb
001de4ebloc_1de4eb:
001de4ebmov rcx, 0x800000000000000
001de4f5cmp rax, rcx
001de4f8jne 0x1de501
001de4famov eax, esi
001de4fcjmp 0x1de42f
001de501
001de501loc_1de501:
001de501mov rbx, 0x8000000000000000
001de50band rdx, rbx
001de50eor rdx, rsi
001de511movq x0, rdx
001de516call sqrt
001de51bmovq rax, x0
001de520lea rdx, [rbx-1]
001de524and rdx, rax
001de527mov rcx, 0xfff0000000000000
001de531add rcx, rdx
001de534shr rcx, 53
001de538cmp ecx, 1022
001de53eja 0x1de55a
001de540mov rcx, rdx
001de543shl rcx, 60
001de547shr rdx, 4
001de54bmov rsi, 0x3c00000000000000
001de555add rsi, rdx
001de558jmp 0x1de5d7
001de55a
001de55aloc_1de55a:
001de55amov rcx, rdx
001de55dshr rcx, 52
001de561cmp ecx, 2047
001de567jb 0x1de586
001de569mov rcx, rax
001de56cshl rcx, 60
001de570mov rdx, rax
001de573shr rdx, 4
001de577mov rsi, 0x7fff000000000000
001de581or rsi, rdx
001de584jmp 0x1de5d7
001de586
001de586loc_1de586:
001de586test rdx, rdx
001de589je 0x1de5d3
001de58bbsr rcx, rdx
001de58fxor rcx, 63
001de593lea edi, [rcx+117]
001de596add cl, 49
001de599xor esi, esi
001de59bshld rsi, rdx, cl
001de59fand edi, 127
001de5a2xor r8l, r8l
001de5a5shl rdx, cl
001de5a8test cl, 64
001de5abcmovne rsi, rdx
001de5afcmovne rdx, r8
001de5b3mov rcx, 0x1000000000000
001de5bdxor rcx, rsi
001de5c0mov esi, 15361
001de5c5sub esi, edi
001de5c7shl rsi, 48
001de5cbor rsi, rcx
001de5cemov rcx, rdx
001de5d1jmp 0x1de5d7
001de5d3
001de5d3loc_1de5d3:
001de5d3xor ecx, ecx
001de5d5xor esi, esi
001de5d7
001de5d7loc_1de5d7:
001de5d7and rax, rbx
001de5daor rax, rsi
001de5ddmov [rbp-32], rcx
001de5e1mov [rbp-24], rax
001de5e5movaps x0, [rbp-32]
001de5e9add rsp, 40
001de5edpop rbx
001de5eepop rbp
001de5efret
001de370
001de5f0
001de5f0sqrtl:
001de5f0push rbp
001de5f1mov rbp, rsp
001de5f4pop rbp
001de5f5jmp 0x1de1c0
001de5f0
001de5f0sqrtl:
001de5f0push rbp
001de5f1mov rbp, rsp
001de5f4pop rbp
001de5f5jmp 0x1de1c0
001de5f0
001de5fa
001de5fa // align 0x10
001de5fa // align 0x10
001de600
001de600tanf:
001de600push rbp
001de601mov rbp, rsp
001de604push rbx
001de605sub rsp, 24
001de609movd ebx, x0
001de60dmov eax, ebx
001de60fand eax, 0x7fffffff
001de614cmp eax, 0x3f490fda
001de619ja 0x1de66e
001de61bcmp eax, 0x39800000
001de620jb 0x1de738
001de626cvtss2sd x0, x0
001de62amovaps x1, x0
001de62dmulsd x1, x0
001de631movapd x2, x1
001de635unpcklpd x2, x1
001de639mulpd x2, [rip-0x14a5c1]
001de641addpd x2, [rip-0x14a5b9]
001de649movapd x3, x1
001de64dmulsd x3, x1
001de651movapd x4, x1
001de655mulsd x1, [rip-0x14ad5d]
001de65daddsd x1, [rip-0x14ad5d]
001de665mulsd x4, x0
001de669jmp 0x1de7b8
001de66e
001de66eloc_1de66e:
001de66ecmp eax, 0x407b53d1
001de673ja 0x1de694
001de675cvtss2sd x0, x0
001de679cmp eax, 0x4016cbe3
001de67eja 0x1de73f
001de684xor eax, eax
001de686test ebx, ebx
001de688setns al
001de68blea rcx, [rip-0x14a5c2]
001de692jmp 0x1de6bc
001de694
001de694loc_1de694:
001de694cmp eax, 0x40e231d5
001de699ja 0x1de74f
001de69fcvtss2sd x0, x0
001de6a3cmp eax, 0x40afeddf
001de6a8ja 0x1de765
001de6aexor eax, eax
001de6b0test ebx, ebx
001de6b2setns al
001de6b5lea rcx, [rip-0x14a60c]
001de6bc
001de6bcloc_1de6bc:
001de6bcaddsd x0, [rcx+8*rax]
001de6c1movapd x1, x0
001de6c5mulsd x1, x0
001de6c9movapd x2, x1
001de6cdunpcklpd x2, x1
001de6d1mulpd x2, [rip-0x14a659]
001de6d9addpd x2, [rip-0x14a651]
001de6e1movapd x3, x1
001de6e5movapd x4, x0
001de6e9mulsd x4, x1
001de6edmulsd x1, [rip-0x14adf5]
001de6f5mulsd x3, x3
001de6f9addsd x1, [rip-0x14adf9]
001de701mulsd x1, x4
001de705addsd x1, x0
001de709mulsd x4, x3
001de70dmovapd x0, x2
001de711unpckhpd x0, x2
001de715mulsd x0, x3
001de719addsd x0, x2
001de71dmulsd x0, x4
001de721addsd x0, x1
001de725movsd_xmm x1, [rip-0x14ae35]
001de72ddivsd x1, x0
001de731xorps x0, x0
001de734cvtsd2ss x0, x1
001de738
001de738loc_1de738:
001de738add rsp, 24
001de73cpop rbx
001de73dpop rbp
001de73eret
001de73f
001de73floc_1de73f:
001de73fxor eax, eax
001de741test ebx, ebx
001de743setns al
001de746lea rcx, [rip-0x14a68d]
001de74djmp 0x1de773
001de74f
001de74floc_1de74f:
001de74fcmp eax, 0x7f800000
001de754jb 0x1de7e7
001de75asubss x0, x0
001de75eadd rsp, 24
001de762pop rbx
001de763pop rbp
001de764ret
001de765
001de765loc_1de765:
001de765xor eax, eax
001de767test ebx, ebx
001de769setns al
001de76clea rcx, [rip-0x14a6d3]
001de773
001de773loc_1de773:
001de773addsd x0, [rcx+8*rax]
001de778movapd x1, x0
001de77cmulsd x1, x0
001de780movapd x2, x1
001de784unpcklpd x2, x1
001de788mulpd x2, [rip-0x14a710]
001de790addpd x2, [rip-0x14a708]
001de798movapd x3, x1
001de79cmovapd x4, x0
001de7a0mulsd x4, x1
001de7a4mulsd x1, [rip-0x14aeac]
001de7acaddsd x1, [rip-0x14aeac]
001de7b4mulsd x3, x3
001de7b8
001de7b8loc_1de7b8:
001de7b8mulsd x1, x4
001de7bcaddsd x1, x0
001de7c0mulsd x4, x3
001de7c4movapd x0, x2
001de7c8unpckhpd x0, x2
001de7ccmulsd x0, x3
001de7d0addsd x0, x2
001de7d4mulsd x0, x4
001de7d8addsd x0, x1
001de7dc
001de7dcloc_1de7dc:
001de7dccvtsd2ss x0, x0
001de7e0add rsp, 24
001de7e4pop rbx
001de7e5pop rbp
001de7e6ret
001de7e7
001de7e7loc_1de7e7:
001de7e7cmp eax, 0x4dc90fda
001de7ecja 0x1de84d
001de7eecvtss2sd x2, x0
001de7f2movsd_xmm x1, [rip-0x14af42]
001de7famulsd x1, x2
001de7feaddsd x1, [rip-0x14af46]
001de806addsd x1, [rip-0x14af46]
001de80ecvttsd2si eax, x1
001de812movsd_xmm x3, [rip-0x14af4a]
001de81amulsd x3, x1
001de81eaddsd x3, x2
001de822movsd_xmm x0, [rip-0x14af52]
001de82amulsd x0, x1
001de82eaddsd x0, x3
001de832movsd_xmm x3, [rip-0x14af5a]
001de83aucomisd x3, x0
001de83ejbe 0x1de896
001de840addsd x1, [rip-0x14af50]
001de848add eax, -1
001de84bjmp 0x1de8ab
001de84d
001de84dloc_1de84d:
001de84dmov edx, eax
001de84fshr edx, 23
001de852add edx, -150
001de858mov ecx, edx
001de85ashl ecx, 23
001de85dsub eax, ecx
001de85fmovd x0, eax
001de863cvtss2sd x0, x0
001de867movsd_xmm [rbp-16], x0
001de86clea rdi, [rbp-16]
001de870lea rsi, [rbp-24]
001de874mov ecx, 1
001de879xor r8l, r8l
001de87ccall compiler_rt.rem_pio2_large.rem_pio2_large
001de881movsd_xmm x0, [rbp-24]
001de886test ebx, ebx
001de888jns 0x1de8cb
001de88axorpd x0, [rip-0x14a822]
001de892neg eax
001de894jmp 0x1de8cb
001de896
001de896loc_1de896:
001de896ucomisd x0, [rip-0x14afb6]
001de89ejbe 0x1de8cb
001de8a0addsd x1, [rip-0x14afb8]
001de8a8add eax, 1
001de8ab
001de8abloc_1de8ab:
001de8abmovsd_xmm x0, [rip-0x14afe3]
001de8b3mulsd x0, x1
001de8b7addsd x2, x0
001de8bbmulsd x1, [rip-0x14afeb]
001de8c3addsd x1, x2
001de8c7movapd x0, x1
001de8cb
001de8cbloc_1de8cb:
001de8cbmovapd x1, x0
001de8cfmulsd x1, x0
001de8d3movapd x2, x1
001de8d7unpcklpd x2, x1
001de8dbmulpd x2, [rip-0x14a863]
001de8e3addpd x2, [rip-0x14a85b]
001de8ebmovapd x3, x1
001de8efmulsd x3, x1
001de8f3movapd x4, x0
001de8f7mulsd x4, x1
001de8fbmulsd x1, [rip-0x14b003]
001de903addsd x1, [rip-0x14b003]
001de90bmulsd x1, x4
001de90faddsd x1, x0
001de913mulsd x4, x3
001de917movapd x0, x2
001de91bunpckhpd x0, x2
001de91fmulsd x0, x3
001de923addsd x0, x2
001de927mulsd x0, x4
001de92baddsd x0, x1
001de92ftest al, 1
001de931je 0x1de7dc
001de937movsd_xmm x1, [rip-0x14b047]
001de93fdivsd x1, x0
001de943movapd x0, x1
001de947jmp 0x1de7dc
001de600
001de600tanf:
001de600push rbp
001de601mov rbp, rsp
001de604push rbx
001de605sub rsp, 24
001de609movd ebx, x0
001de60dmov eax, ebx
001de60fand eax, 0x7fffffff
001de614cmp eax, 0x3f490fda
001de619ja 0x1de66e
001de61bcmp eax, 0x39800000
001de620jb 0x1de738
001de626cvtss2sd x0, x0
001de62amovaps x1, x0
001de62dmulsd x1, x0
001de631movapd x2, x1
001de635unpcklpd x2, x1
001de639mulpd x2, [rip-0x14a5c1]
001de641addpd x2, [rip-0x14a5b9]
001de649movapd x3, x1
001de64dmulsd x3, x1
001de651movapd x4, x1
001de655mulsd x1, [rip-0x14ad5d]
001de65daddsd x1, [rip-0x14ad5d]
001de665mulsd x4, x0
001de669jmp 0x1de7b8
001de66e
001de66eloc_1de66e:
001de66ecmp eax, 0x407b53d1
001de673ja 0x1de694
001de675cvtss2sd x0, x0
001de679cmp eax, 0x4016cbe3
001de67eja 0x1de73f
001de684xor eax, eax
001de686test ebx, ebx
001de688setns al
001de68blea rcx, [rip-0x14a5c2]
001de692jmp 0x1de6bc
001de694
001de694loc_1de694:
001de694cmp eax, 0x40e231d5
001de699ja 0x1de74f
001de69fcvtss2sd x0, x0
001de6a3cmp eax, 0x40afeddf
001de6a8ja 0x1de765
001de6aexor eax, eax
001de6b0test ebx, ebx
001de6b2setns al
001de6b5lea rcx, [rip-0x14a60c]
001de6bc
001de6bcloc_1de6bc:
001de6bcaddsd x0, [rcx+8*rax]
001de6c1movapd x1, x0
001de6c5mulsd x1, x0
001de6c9movapd x2, x1
001de6cdunpcklpd x2, x1
001de6d1mulpd x2, [rip-0x14a659]
001de6d9addpd x2, [rip-0x14a651]
001de6e1movapd x3, x1
001de6e5movapd x4, x0
001de6e9mulsd x4, x1
001de6edmulsd x1, [rip-0x14adf5]
001de6f5mulsd x3, x3
001de6f9addsd x1, [rip-0x14adf9]
001de701mulsd x1, x4
001de705addsd x1, x0
001de709mulsd x4, x3
001de70dmovapd x0, x2
001de711unpckhpd x0, x2
001de715mulsd x0, x3
001de719addsd x0, x2
001de71dmulsd x0, x4
001de721addsd x0, x1
001de725movsd_xmm x1, [rip-0x14ae35]
001de72ddivsd x1, x0
001de731xorps x0, x0
001de734cvtsd2ss x0, x1
001de738
001de738loc_1de738:
001de738add rsp, 24
001de73cpop rbx
001de73dpop rbp
001de73eret
001de73f
001de73floc_1de73f:
001de73fxor eax, eax
001de741test ebx, ebx
001de743setns al
001de746lea rcx, [rip-0x14a68d]
001de74djmp 0x1de773
001de74f
001de74floc_1de74f:
001de74fcmp eax, 0x7f800000
001de754jb 0x1de7e7
001de75asubss x0, x0
001de75eadd rsp, 24
001de762pop rbx
001de763pop rbp
001de764ret
001de765
001de765loc_1de765:
001de765xor eax, eax
001de767test ebx, ebx
001de769setns al
001de76clea rcx, [rip-0x14a6d3]
001de773
001de773loc_1de773:
001de773addsd x0, [rcx+8*rax]
001de778movapd x1, x0
001de77cmulsd x1, x0
001de780movapd x2, x1
001de784unpcklpd x2, x1
001de788mulpd x2, [rip-0x14a710]
001de790addpd x2, [rip-0x14a708]
001de798movapd x3, x1
001de79cmovapd x4, x0
001de7a0mulsd x4, x1
001de7a4mulsd x1, [rip-0x14aeac]
001de7acaddsd x1, [rip-0x14aeac]
001de7b4mulsd x3, x3
001de7b8
001de7b8loc_1de7b8:
001de7b8mulsd x1, x4
001de7bcaddsd x1, x0
001de7c0mulsd x4, x3
001de7c4movapd x0, x2
001de7c8unpckhpd x0, x2
001de7ccmulsd x0, x3
001de7d0addsd x0, x2
001de7d4mulsd x0, x4
001de7d8addsd x0, x1
001de7dc
001de7dcloc_1de7dc:
001de7dccvtsd2ss x0, x0
001de7e0add rsp, 24
001de7e4pop rbx
001de7e5pop rbp
001de7e6ret
001de7e7
001de7e7loc_1de7e7:
001de7e7cmp eax, 0x4dc90fda
001de7ecja 0x1de84d
001de7eecvtss2sd x2, x0
001de7f2movsd_xmm x1, [rip-0x14af42]
001de7famulsd x1, x2
001de7feaddsd x1, [rip-0x14af46]
001de806addsd x1, [rip-0x14af46]
001de80ecvttsd2si eax, x1
001de812movsd_xmm x3, [rip-0x14af4a]
001de81amulsd x3, x1
001de81eaddsd x3, x2
001de822movsd_xmm x0, [rip-0x14af52]
001de82amulsd x0, x1
001de82eaddsd x0, x3
001de832movsd_xmm x3, [rip-0x14af5a]
001de83aucomisd x3, x0
001de83ejbe 0x1de896
001de840addsd x1, [rip-0x14af50]
001de848add eax, -1
001de84bjmp 0x1de8ab
001de84d
001de84dloc_1de84d:
001de84dmov edx, eax
001de84fshr edx, 23
001de852add edx, -150
001de858mov ecx, edx
001de85ashl ecx, 23
001de85dsub eax, ecx
001de85fmovd x0, eax
001de863cvtss2sd x0, x0
001de867movsd_xmm [rbp-16], x0
001de86clea rdi, [rbp-16]
001de870lea rsi, [rbp-24]
001de874mov ecx, 1
001de879xor r8l, r8l
001de87ccall compiler_rt.rem_pio2_large.rem_pio2_large
001de881movsd_xmm x0, [rbp-24]
001de886test ebx, ebx
001de888jns 0x1de8cb
001de88axorpd x0, [rip-0x14a822]
001de892neg eax
001de894jmp 0x1de8cb
001de896
001de896loc_1de896:
001de896ucomisd x0, [rip-0x14afb6]
001de89ejbe 0x1de8cb
001de8a0addsd x1, [rip-0x14afb8]
001de8a8add eax, 1
001de8ab
001de8abloc_1de8ab:
001de8abmovsd_xmm x0, [rip-0x14afe3]
001de8b3mulsd x0, x1
001de8b7addsd x2, x0
001de8bbmulsd x1, [rip-0x14afeb]
001de8c3addsd x1, x2
001de8c7movapd x0, x1
001de8cb
001de8cbloc_1de8cb:
001de8cbmovapd x1, x0
001de8cfmulsd x1, x0
001de8d3movapd x2, x1
001de8d7unpcklpd x2, x1
001de8dbmulpd x2, [rip-0x14a863]
001de8e3addpd x2, [rip-0x14a85b]
001de8ebmovapd x3, x1
001de8efmulsd x3, x1
001de8f3movapd x4, x0
001de8f7mulsd x4, x1
001de8fbmulsd x1, [rip-0x14b003]
001de903addsd x1, [rip-0x14b003]
001de90bmulsd x1, x4
001de90faddsd x1, x0
001de913mulsd x4, x3
001de917movapd x0, x2
001de91bunpckhpd x0, x2
001de91fmulsd x0, x3
001de923addsd x0, x2
001de927mulsd x0, x4
001de92baddsd x0, x1
001de92ftest al, 1
001de931je 0x1de7dc
001de937movsd_xmm x1, [rip-0x14b047]
001de93fdivsd x1, x0
001de943movapd x0, x1
001de947jmp 0x1de7dc
001de600
001de94c
001de94c // align 0x10
001de94c // align 0x10
001de950
001de950tan:
001de950push rbp
001de951mov rbp, rsp
001de954push rbx
001de955sub rsp, 40
001de959movq rsi, x0
001de95emov rax, rsi
001de961shr rax, 32
001de965and eax, 0x7fffffff
001de96acmp rax, 0x3fe921fb
001de970ja 0x1de9ca
001de972cmp eax, 0x3e400000
001de977jb 0x1de9d5
001de979mov rcx, 0x3fe5942700000000
001de983mov rdx, 0x7ffffff800000000
001de98dand rdx, rsi
001de990cmp rdx, rcx
001de993jbe 0x1dea6a
001de999mov rax, rsi
001de99cshr rax, 63
001de9a0test rsi, rsi
001de9a3jns 0x1de9ad
001de9a5xorpd x0, [rip-0x14a8cd]
001de9ad
001de9adloc_1de9ad:
001de9admovsd_xmm x1, [rip-0x14b02d]
001de9b5subsd x1, x0
001de9b9addsd x1, [rip-0x14b031]
001de9c1movapd x0, x1
001de9c5jmp 0x1dea6e
001de9ca
001de9caloc_1de9ca:
001de9cacmp eax, 0x7ff00000
001de9cfjb 0x1de9dc
001de9d1subsd x0, x0
001de9d5
001de9d5loc_1de9d5:
001de9d5add rsp, 40
001de9d9pop rbx
001de9dapop rbp
001de9dbret
001de9dc
001de9dcloc_1de9dc:
001de9dcmov rbx, 0x3fe5942700000000
001de9e6lea rdi, [rbp-32]
001de9eacall compiler_rt.rem_pio2.rem_pio2
001de9efmovdqa x1, [rbp-32]
001de9f4movq rcx, x1
001de9f9mov rdx, 0x7ffffff800000000
001dea03and rdx, rcx
001dea06cmp rdx, rbx
001dea09jbe 0x1deb58
001dea0fmovdqa x0, [rip-0x14a937]
001dea17pxor x0, x1
001dea1bmovq x2, rcx
001dea20shr rcx, 63
001dea24pshufd x2, x2, 68
001dea29psrlq x2, 63
001dea2epsllq x2, 63
001dea33psrad x2, 31
001dea38pshufd x2, x2, -11
001dea3dpand x0, x2
001dea41pandn x2, x1
001dea45por x2, x0
001dea49movapd x0, [rip-0x14a961]
001dea51subpd x0, x2
001dea55movapd x1, x0
001dea59unpckhpd x1, x0
001dea5daddsd x1, x0
001dea61xorpd x0, x0
001dea65jmp 0x1deb60
001dea6a
001dea6aloc_1dea6a:
001dea6amovapd x1, x0
001dea6e
001dea6eloc_1dea6e:
001dea6emovapd x2, x1
001dea72mulsd x2, x1
001dea76movapd x4, x2
001dea7amulsd x4, x2
001dea7eunpcklpd x4, x4
001dea82movapd x3, [rip-0x14a97a]
001dea8amulpd x3, x4
001dea8emovsd_xmm x5, [rip-0x14b17e]
001dea96subpd x5, x3
001dea9aaddpd x3, [rip-0x14a982]
001deaa2movsd_xmm x3, x5
001deaa6mulpd x3, x4
001deaaaaddpd x3, [rip-0x14a982]
001deab2mulpd x3, x4
001deab6addpd x3, [rip-0x14a97e]
001deabemulpd x3, x4
001deac2addpd x3, [rip-0x14a97a]
001deacamulpd x3, x4
001deaceaddpd x3, [rip-0x14a976]
001dead6movapd x5, x3
001deadaunpckhpd x5, x3
001deademulsd x5, x2
001deae2movapd x4, x1
001deae6mulsd x4, x2
001deaeaaddsd x5, x3
001deaeemulsd x5, x4
001deaf2xorpd x3, x3
001deaf6addsd x5, x3
001deafamulsd x5, x2
001deafemulsd x4, [rip-0x14b196]
001deb06addsd x5, x3
001deb0aaddsd x4, x5
001deb0eaddsd x0, x4
001deb12cmp rdx, rcx
001deb15jbe 0x1de9d5
001deb1bmovapd x3, x0
001deb1fmulsd x3, x0
001deb23movsd_xmm x2, [rip-0x14b1ab]
001deb2baddsd x0, x2
001deb2fdivsd x3, x0
001deb33subsd x4, x3
001deb37addsd x1, x4
001deb3baddsd x1, x1
001deb3fsubsd x2, x1
001deb43test al, 1
001deb45je 0x1decd2
001deb4bxorpd x2, [rip-0x14aa73]
001deb53jmp 0x1decd2
001deb58
001deb58loc_1deb58:
001deb58movdqa x0, x1
001deb5cpunpckhqdq x0, x1
001deb60
001deb60loc_1deb60:
001deb60movapd x3, x1
001deb64mulsd x3, x1
001deb68movapd x4, x3
001deb6cmulsd x4, x3
001deb70movsd_xmm x2, [rip-0x14b268]
001deb78mulsd x2, x4
001deb7caddsd x2, [rip-0x14b26c]
001deb84mulsd x2, x4
001deb88addsd x2, [rip-0x14b270]
001deb90mulsd x2, x4
001deb94addsd x2, [rip-0x14b274]
001deb9cmulsd x2, x4
001deba0addsd x2, [rip-0x14b278]
001deba8mulsd x2, x4
001debacaddsd x2, [rip-0x14b27c]
001debb4movsd_xmm x5, [rip-0x14b27c]
001debbcmulsd x5, x4
001debc0addsd x5, [rip-0x14b280]
001debc8mulsd x5, x4
001debccaddsd x5, [rip-0x14b284]
001debd4mulsd x5, x4
001debd8addsd x5, [rip-0x14b288]
001debe0mulsd x5, x4
001debe4addsd x5, [rip-0x14b28c]
001debecmulsd x5, x4
001debf0addsd x5, [rip-0x14b290]
001debf8mulsd x5, x3
001debfcaddsd x5, x2
001dec00movapd x2, x1
001dec04mulsd x2, x3
001dec08mulsd x5, x2
001dec0caddsd x5, x0
001dec10mulsd x5, x3
001dec14addsd x5, x0
001dec18mulsd x2, [rip-0x14b2b0]
001dec20addsd x2, x5
001dec24movapd x0, x1
001dec28addsd x0, x2
001dec2ccmp rdx, rbx
001dec2fjbe 0x1dec85
001dec31movsd_xmm x3, [rip-0x14b2b9]
001dec39movapd x4, x3
001dec3dtest al, 1
001dec3fjne 0x1dec45
001dec41xorpd x4, x4
001dec45
001dec45loc_1dec45:
001dec45addsd x4, x4
001dec49subsd x3, x4
001dec4dmovapd x4, x3
001dec51addsd x4, x0
001dec55mulsd x0, x0
001dec59divsd x0, x4
001dec5dsubsd x2, x0
001dec61addsd x1, x2
001dec65addsd x1, x1
001dec69subsd x3, x1
001dec6dtest cl, 1
001dec70je 0x1dec7a
001dec72xorpd x3, [rip-0x14ab9a]
001dec7a
001dec7aloc_1dec7a:
001dec7amovapd x0, x3
001dec7eadd rsp, 40
001dec82pop rbx
001dec83pop rbp
001dec84ret
001dec85
001dec85loc_1dec85:
001dec85test al, 1
001dec87je 0x1de9d5
001dec8dmovsd_xmm x3, [rip-0x14b31d]
001dec95divsd x3, x0
001dec99unpcklpd x0, x3
001dec9dandpd x0, [rip-0x14aba5]
001deca5movapd x4, x0
001deca9subsd x4, x1
001decadsubsd x2, x4
001decb1pshufd x1, x0, -18
001decb6mulsd x0, x1
001decbaaddsd x0, [rip-0x14b342]
001decc2mulsd x2, x1
001decc6addsd x2, x0
001deccamulsd x2, x3
001decceaddsd x2, x1
001decd2
001decd2loc_1decd2:
001decd2movapd x0, x2
001decd6add rsp, 40
001decdapop rbx
001decdbpop rbp
001decdcret
001de950
001de950tan:
001de950push rbp
001de951mov rbp, rsp
001de954push rbx
001de955sub rsp, 40
001de959movq rsi, x0
001de95emov rax, rsi
001de961shr rax, 32
001de965and eax, 0x7fffffff
001de96acmp rax, 0x3fe921fb
001de970ja 0x1de9ca
001de972cmp eax, 0x3e400000
001de977jb 0x1de9d5
001de979mov rcx, 0x3fe5942700000000
001de983mov rdx, 0x7ffffff800000000
001de98dand rdx, rsi
001de990cmp rdx, rcx
001de993jbe 0x1dea6a
001de999mov rax, rsi
001de99cshr rax, 63
001de9a0test rsi, rsi
001de9a3jns 0x1de9ad
001de9a5xorpd x0, [rip-0x14a8cd]
001de9ad
001de9adloc_1de9ad:
001de9admovsd_xmm x1, [rip-0x14b02d]
001de9b5subsd x1, x0
001de9b9addsd x1, [rip-0x14b031]
001de9c1movapd x0, x1
001de9c5jmp 0x1dea6e
001de9ca
001de9caloc_1de9ca:
001de9cacmp eax, 0x7ff00000
001de9cfjb 0x1de9dc
001de9d1subsd x0, x0
001de9d5
001de9d5loc_1de9d5:
001de9d5add rsp, 40
001de9d9pop rbx
001de9dapop rbp
001de9dbret
001de9dc
001de9dcloc_1de9dc:
001de9dcmov rbx, 0x3fe5942700000000
001de9e6lea rdi, [rbp-32]
001de9eacall compiler_rt.rem_pio2.rem_pio2
001de9efmovdqa x1, [rbp-32]
001de9f4movq rcx, x1
001de9f9mov rdx, 0x7ffffff800000000
001dea03and rdx, rcx
001dea06cmp rdx, rbx
001dea09jbe 0x1deb58
001dea0fmovdqa x0, [rip-0x14a937]
001dea17pxor x0, x1
001dea1bmovq x2, rcx
001dea20shr rcx, 63
001dea24pshufd x2, x2, 68
001dea29psrlq x2, 63
001dea2epsllq x2, 63
001dea33psrad x2, 31
001dea38pshufd x2, x2, -11
001dea3dpand x0, x2
001dea41pandn x2, x1
001dea45por x2, x0
001dea49movapd x0, [rip-0x14a961]
001dea51subpd x0, x2
001dea55movapd x1, x0
001dea59unpckhpd x1, x0
001dea5daddsd x1, x0
001dea61xorpd x0, x0
001dea65jmp 0x1deb60
001dea6a
001dea6aloc_1dea6a:
001dea6amovapd x1, x0
001dea6e
001dea6eloc_1dea6e:
001dea6emovapd x2, x1
001dea72mulsd x2, x1
001dea76movapd x4, x2
001dea7amulsd x4, x2
001dea7eunpcklpd x4, x4
001dea82movapd x3, [rip-0x14a97a]
001dea8amulpd x3, x4
001dea8emovsd_xmm x5, [rip-0x14b17e]
001dea96subpd x5, x3
001dea9aaddpd x3, [rip-0x14a982]
001deaa2movsd_xmm x3, x5
001deaa6mulpd x3, x4
001deaaaaddpd x3, [rip-0x14a982]
001deab2mulpd x3, x4
001deab6addpd x3, [rip-0x14a97e]
001deabemulpd x3, x4
001deac2addpd x3, [rip-0x14a97a]
001deacamulpd x3, x4
001deaceaddpd x3, [rip-0x14a976]
001dead6movapd x5, x3
001deadaunpckhpd x5, x3
001deademulsd x5, x2
001deae2movapd x4, x1
001deae6mulsd x4, x2
001deaeaaddsd x5, x3
001deaeemulsd x5, x4
001deaf2xorpd x3, x3
001deaf6addsd x5, x3
001deafamulsd x5, x2
001deafemulsd x4, [rip-0x14b196]
001deb06addsd x5, x3
001deb0aaddsd x4, x5
001deb0eaddsd x0, x4
001deb12cmp rdx, rcx
001deb15jbe 0x1de9d5
001deb1bmovapd x3, x0
001deb1fmulsd x3, x0
001deb23movsd_xmm x2, [rip-0x14b1ab]
001deb2baddsd x0, x2
001deb2fdivsd x3, x0
001deb33subsd x4, x3
001deb37addsd x1, x4
001deb3baddsd x1, x1
001deb3fsubsd x2, x1
001deb43test al, 1
001deb45je 0x1decd2
001deb4bxorpd x2, [rip-0x14aa73]
001deb53jmp 0x1decd2
001deb58
001deb58loc_1deb58:
001deb58movdqa x0, x1
001deb5cpunpckhqdq x0, x1
001deb60
001deb60loc_1deb60:
001deb60movapd x3, x1
001deb64mulsd x3, x1
001deb68movapd x4, x3
001deb6cmulsd x4, x3
001deb70movsd_xmm x2, [rip-0x14b268]
001deb78mulsd x2, x4
001deb7caddsd x2, [rip-0x14b26c]
001deb84mulsd x2, x4
001deb88addsd x2, [rip-0x14b270]
001deb90mulsd x2, x4
001deb94addsd x2, [rip-0x14b274]
001deb9cmulsd x2, x4
001deba0addsd x2, [rip-0x14b278]
001deba8mulsd x2, x4
001debacaddsd x2, [rip-0x14b27c]
001debb4movsd_xmm x5, [rip-0x14b27c]
001debbcmulsd x5, x4
001debc0addsd x5, [rip-0x14b280]
001debc8mulsd x5, x4
001debccaddsd x5, [rip-0x14b284]
001debd4mulsd x5, x4
001debd8addsd x5, [rip-0x14b288]
001debe0mulsd x5, x4
001debe4addsd x5, [rip-0x14b28c]
001debecmulsd x5, x4
001debf0addsd x5, [rip-0x14b290]
001debf8mulsd x5, x3
001debfcaddsd x5, x2
001dec00movapd x2, x1
001dec04mulsd x2, x3
001dec08mulsd x5, x2
001dec0caddsd x5, x0
001dec10mulsd x5, x3
001dec14addsd x5, x0
001dec18mulsd x2, [rip-0x14b2b0]
001dec20addsd x2, x5
001dec24movapd x0, x1
001dec28addsd x0, x2
001dec2ccmp rdx, rbx
001dec2fjbe 0x1dec85
001dec31movsd_xmm x3, [rip-0x14b2b9]
001dec39movapd x4, x3
001dec3dtest al, 1
001dec3fjne 0x1dec45
001dec41xorpd x4, x4
001dec45
001dec45loc_1dec45:
001dec45addsd x4, x4
001dec49subsd x3, x4
001dec4dmovapd x4, x3
001dec51addsd x4, x0
001dec55mulsd x0, x0
001dec59divsd x0, x4
001dec5dsubsd x2, x0
001dec61addsd x1, x2
001dec65addsd x1, x1
001dec69subsd x3, x1
001dec6dtest cl, 1
001dec70je 0x1dec7a
001dec72xorpd x3, [rip-0x14ab9a]
001dec7a
001dec7aloc_1dec7a:
001dec7amovapd x0, x3
001dec7eadd rsp, 40
001dec82pop rbx
001dec83pop rbp
001dec84ret
001dec85
001dec85loc_1dec85:
001dec85test al, 1
001dec87je 0x1de9d5
001dec8dmovsd_xmm x3, [rip-0x14b31d]
001dec95divsd x3, x0
001dec99unpcklpd x0, x3
001dec9dandpd x0, [rip-0x14aba5]
001deca5movapd x4, x0
001deca9subsd x4, x1
001decadsubsd x2, x4
001decb1pshufd x1, x0, -18
001decb6mulsd x0, x1
001decbaaddsd x0, [rip-0x14b342]
001decc2mulsd x2, x1
001decc6addsd x2, x0
001deccamulsd x2, x3
001decceaddsd x2, x1
001decd2
001decd2loc_1decd2:
001decd2movapd x0, x2
001decd6add rsp, 40
001decdapop rbx
001decdbpop rbp
001decdcret
001de950
001decdd
001decdd // align 0x10
001decdd // align 0x10
001dece0
001dece0__tanx:
001dece0push rbp
001dece1mov rbp, rsp
001dece4push r15
001dece6push r14
001dece8push rbx
001dece9sub rsp, 56
001decedmov r15, 0x8000000000000000
001decf7mov eax, [rbp+24]
001decfamov rdx, [rbp+16]
001decfemov edi, eax
001ded00mov r14, 0x7fff000000000000
001ded0aand di, 32767
001ded0fjne 0x1ded21
001ded11xor esi, esi
001ded13mov ecx, 0
001ded18test rdx, rdx
001ded1bje 0x1deda5
001ded21
001ded21loc_1ded21:
001ded21movzx ecx, di
001ded24cmp ecx, 32767
001ded2ajne 0x1ded3f
001ded2cmov rsi, rdx
001ded2fshl rsi, 49
001ded33shr rdx, 15
001ded37or rdx, r14
001ded3amov rcx, rdx
001ded3djmp 0x1deda5
001ded3f
001ded3floc_1ded3f:
001ded3ftest rdx, rdx
001ded42js 0x1ded50
001ded44je 0x1ded6b
001ded46bsr rsi, rdx
001ded4axor rsi, 63
001ded4ejmp 0x1ded70
001ded50
001ded50loc_1ded50:
001ded50lea rsi, [r15-1]
001ded54and rdx, rsi
001ded57mov rsi, rdx
001ded5ashl rsi, 49
001ded5eshr rdx, 15
001ded62shl rcx, 48
001ded66or rcx, rdx
001ded69jmp 0x1deda5
001ded6b
001ded6bloc_1ded6b:
001ded6bmov esi, 64
001ded70
001ded70loc_1ded70:
001ded70mov ecx, esi
001ded72add cl, 50
001ded75xor edi, edi
001ded77shld rdi, rdx, cl
001ded7bshl rdx, cl
001ded7exor ebx, ebx
001ded80test cl, 64
001ded83cmovne rdi, rdx
001ded87cmovne rdx, rbx
001ded8bmov rbx, 0x1000000000000
001ded95xor rbx, rdi
001ded98lea ecx, [rsi+1]
001ded9bshl rcx, 48
001ded9for rcx, rbx
001deda2mov rsi, rdx
001deda5
001deda5loc_1deda5:
001deda5and eax, 32768
001dedaashl rax, 48
001dedaeor rax, rcx
001dedb1mov [rbp-80], rsi
001dedb5mov [rbp-72], rax
001dedb9movaps x0, [rbp-80]
001dedbdcall tanq
001dedc2movaps [rbp-64], x0
001dedc6mov rdi, [rbp-64]
001dedcamov rax, [rbp-56]
001dedcemov rbx, 0x7fffffffffffffff
001dedd8mov rsi, rax
001deddbshld rsi, rdi, 15
001dede0and rbx, rax
001dede3mov rcx, rsi
001dede6or rcx, r15
001dede9mov rdx, rdi
001dedecneg rdx
001dedefsbb r14, rbx
001dedf2mov dx, 32767
001dedf6jb 0x1dee6a
001dedf8shr rbx, 48
001dedfcmov edx, ebx
001dedfemov rbx, 0x1ffffffffffff
001dee08and rdi, rbx
001dee0bmov rbx, 0x1000000000001
001dee15cmp rdi, rbx
001dee18jb 0x1dee34
001dee1amov rsi, rcx
001dee1dadd rsi, 1
001dee21adc dx, 0
001dee25xor esi, esi
001dee27add rcx, 1
001dee2bcmove rsi, r15
001dee2for rcx, rsi
001dee32jmp 0x1dee5c
001dee34
001dee34loc_1dee34:
001dee34mov rbx, 0x1000000000000
001dee3ecmp rdi, rbx
001dee41jne 0x1dee5c
001dee43and esi, 1
001dee46mov rdi, rcx
001dee49add rdi, rsi
001dee4cadc dx, 0
001dee50xor edi, edi
001dee52add rcx, rsi
001dee55cmovb rdi, r15
001dee59or rcx, rdi
001dee5c
001dee5cloc_1dee5c:
001dee5cadd r15, -1
001dee60and r15, rcx
001dee63test dx, dx
001dee66cmove rcx, r15
001dee6a
001dee6aloc_1dee6a:
001dee6ashr rax, 48
001dee6eand eax, 32768
001dee73or edx, eax
001dee75mov [rbp-48], rcx
001dee79mov [rbp-40], dx
001dee7dfld [rbp-48]
001dee80add rsp, 56
001dee84pop rbx
001dee85pop r14
001dee87pop r15
001dee89pop rbp
001dee8aret
001dece0
001dece0__tanx:
001dece0push rbp
001dece1mov rbp, rsp
001dece4push r15
001dece6push r14
001dece8push rbx
001dece9sub rsp, 56
001decedmov r15, 0x8000000000000000
001decf7mov eax, [rbp+24]
001decfamov rdx, [rbp+16]
001decfemov edi, eax
001ded00mov r14, 0x7fff000000000000
001ded0aand di, 32767
001ded0fjne 0x1ded21
001ded11xor esi, esi
001ded13mov ecx, 0
001ded18test rdx, rdx
001ded1bje 0x1deda5
001ded21
001ded21loc_1ded21:
001ded21movzx ecx, di
001ded24cmp ecx, 32767
001ded2ajne 0x1ded3f
001ded2cmov rsi, rdx
001ded2fshl rsi, 49
001ded33shr rdx, 15
001ded37or rdx, r14
001ded3amov rcx, rdx
001ded3djmp 0x1deda5
001ded3f
001ded3floc_1ded3f:
001ded3ftest rdx, rdx
001ded42js 0x1ded50
001ded44je 0x1ded6b
001ded46bsr rsi, rdx
001ded4axor rsi, 63
001ded4ejmp 0x1ded70
001ded50
001ded50loc_1ded50:
001ded50lea rsi, [r15-1]
001ded54and rdx, rsi
001ded57mov rsi, rdx
001ded5ashl rsi, 49
001ded5eshr rdx, 15
001ded62shl rcx, 48
001ded66or rcx, rdx
001ded69jmp 0x1deda5
001ded6b
001ded6bloc_1ded6b:
001ded6bmov esi, 64
001ded70
001ded70loc_1ded70:
001ded70mov ecx, esi
001ded72add cl, 50
001ded75xor edi, edi
001ded77shld rdi, rdx, cl
001ded7bshl rdx, cl
001ded7exor ebx, ebx
001ded80test cl, 64
001ded83cmovne rdi, rdx
001ded87cmovne rdx, rbx
001ded8bmov rbx, 0x1000000000000
001ded95xor rbx, rdi
001ded98lea ecx, [rsi+1]
001ded9bshl rcx, 48
001ded9for rcx, rbx
001deda2mov rsi, rdx
001deda5
001deda5loc_1deda5:
001deda5and eax, 32768
001dedaashl rax, 48
001dedaeor rax, rcx
001dedb1mov [rbp-80], rsi
001dedb5mov [rbp-72], rax
001dedb9movaps x0, [rbp-80]
001dedbdcall tanq
001dedc2movaps [rbp-64], x0
001dedc6mov rdi, [rbp-64]
001dedcamov rax, [rbp-56]
001dedcemov rbx, 0x7fffffffffffffff
001dedd8mov rsi, rax
001deddbshld rsi, rdi, 15
001dede0and rbx, rax
001dede3mov rcx, rsi
001dede6or rcx, r15
001dede9mov rdx, rdi
001dedecneg rdx
001dedefsbb r14, rbx
001dedf2mov dx, 32767
001dedf6jb 0x1dee6a
001dedf8shr rbx, 48
001dedfcmov edx, ebx
001dedfemov rbx, 0x1ffffffffffff
001dee08and rdi, rbx
001dee0bmov rbx, 0x1000000000001
001dee15cmp rdi, rbx
001dee18jb 0x1dee34
001dee1amov rsi, rcx
001dee1dadd rsi, 1
001dee21adc dx, 0
001dee25xor esi, esi
001dee27add rcx, 1
001dee2bcmove rsi, r15
001dee2for rcx, rsi
001dee32jmp 0x1dee5c
001dee34
001dee34loc_1dee34:
001dee34mov rbx, 0x1000000000000
001dee3ecmp rdi, rbx
001dee41jne 0x1dee5c
001dee43and esi, 1
001dee46mov rdi, rcx
001dee49add rdi, rsi
001dee4cadc dx, 0
001dee50xor edi, edi
001dee52add rcx, rsi
001dee55cmovb rdi, r15
001dee59or rcx, rdi
001dee5c
001dee5cloc_1dee5c:
001dee5cadd r15, -1
001dee60and r15, rcx
001dee63test dx, dx
001dee66cmove rcx, r15
001dee6a
001dee6aloc_1dee6a:
001dee6ashr rax, 48
001dee6eand eax, 32768
001dee73or edx, eax
001dee75mov [rbp-48], rcx
001dee79mov [rbp-40], dx
001dee7dfld [rbp-48]
001dee80add rsp, 56
001dee84pop rbx
001dee85pop r14
001dee87pop r15
001dee89pop rbp
001dee8aret
001dece0
001dee8b
001dee8b // align 0x10
001dee8b // align 0x10
001dee90
001dee90tanq:
001dee90push rbp
001dee91mov rbp, rsp
001dee94push rbx
001dee95sub rsp, 40
001dee99movaps [rbp-48], x0
001dee9dmov rdi, [rbp-48]
001deea1mov rdx, [rbp-40]
001deea5mov rcx, 0x7fffffffffffffff
001deeafand rcx, rdx
001deeb2mov rax, 0xc3ff000000000000
001deebcadd rax, rcx
001deebfmov rsi, 0xbc01000000000000
001deec9add rsi, rcx
001deecccmp rax, rsi
001deecfjae 0x1def10
001deed1mov rcx, 0x4000000000000000
001deedbmov rax, rdx
001deedeshld rax, rdi, 4
001deee3lea rsi, [rax+rcx]
001deee7mov rbx, 0xfffffffffffffff
001deef1and rbx, rdi
001deef4mov rdi, 0x800000000000000
001deefecmp rbx, rdi
001def01jbe 0x1def49
001def03lea rsi, [rcx+rax]
001def07add rsi, 1
001def0bjmp 0x1df021
001def10
001def10loc_1def10:
001def10mov rax, rdi
001def13neg rax
001def16mov rax, 0x7fff000000000000
001def20sbb rax, rcx
001def23jae 0x1def5a
001def25shrd rdi, rdx, 60
001def2amov rax, 0x7ffffffffffff
001def34and rax, rdi
001def37mov rsi, 0x7ff8000000000000
001def41or rsi, rax
001def44jmp 0x1df021
001def49
001def49loc_1def49:
001def49jne 0x1df021
001def4f
001def4floc_1def4f:
001def4fand eax, 1
001def52add rsi, rax
001def55jmp 0x1df021
001def5a
001def5aloc_1def5a:
001def5ashr rcx, 48
001def5ecmp ecx, 17406
001def64jbe 0x1def79
001def66mov rsi, 0x7fefffffffffffff
001def70add rsi, 1
001def74jmp 0x1df021
001def79
001def79loc_1def79:
001def79mov eax, 15361
001def7esub eax, ecx
001def80cmp eax, 112
001def83jbe 0x1def8c
001def85xor esi, esi
001def87jmp 0x1df021
001def8c
001def8cloc_1def8c:
001def8cmov rbx, 0xffffffffffff
001def96and rbx, rdx
001def99mov rsi, 0x1000000000000
001defa3or rsi, rbx
001defa6add cl, -1
001defa9mov r8, rsi
001defacshld r8, rdi, cl
001defb0mov rbx, rdi
001defb3shl rbx, cl
001defb6xor r9l, r9l
001defb9test cl, 64
001defbccmovne r8, rbx
001defc0cmovne rbx, r9
001defc4xor r10l, r10l
001defc7or rbx, r8
001defcasetne r10b
001defcemov ecx, eax
001defd0shrd rdi, rsi, cl
001defd4shr rsi, cl
001defd7test al, 64
001defd9cmovne rdi, rsi
001defddcmovne rsi, r9
001defe1shld rsi, rdi, 4
001defe6mov rax, 0xfffffffffffffff
001deff0and rax, rdi
001deff3or rax, r10
001deff6mov rcx, 0x800000000000001
001df000cmp rax, rcx
001df003jb 0x1df00b
001df005add rsi, 1
001df009jmp 0x1df021
001df00b
001df00bloc_1df00b:
001df00bmov rcx, 0x800000000000000
001df015cmp rax, rcx
001df018jne 0x1df021
001df01amov eax, esi
001df01cjmp 0x1def4f
001df021
001df021loc_1df021:
001df021mov rbx, 0x8000000000000000
001df02band rdx, rbx
001df02eor rdx, rsi
001df031movq x0, rdx
001df036call tan
001df03bmovq rax, x0
001df040lea rdx, [rbx-1]
001df044and rdx, rax
001df047mov rcx, 0xfff0000000000000
001df051add rcx, rdx
001df054shr rcx, 53
001df058cmp ecx, 1022
001df05eja 0x1df07a
001df060mov rcx, rdx
001df063shl rcx, 60
001df067shr rdx, 4
001df06bmov rsi, 0x3c00000000000000
001df075add rsi, rdx
001df078jmp 0x1df0f7
001df07a
001df07aloc_1df07a:
001df07amov rcx, rdx
001df07dshr rcx, 52
001df081cmp ecx, 2047
001df087jb 0x1df0a6
001df089mov rcx, rax
001df08cshl rcx, 60
001df090mov rdx, rax
001df093shr rdx, 4
001df097mov rsi, 0x7fff000000000000
001df0a1or rsi, rdx
001df0a4jmp 0x1df0f7
001df0a6
001df0a6loc_1df0a6:
001df0a6test rdx, rdx
001df0a9je 0x1df0f3
001df0abbsr rcx, rdx
001df0afxor rcx, 63
001df0b3lea edi, [rcx+117]
001df0b6add cl, 49
001df0b9xor esi, esi
001df0bbshld rsi, rdx, cl
001df0bfand edi, 127
001df0c2xor r8l, r8l
001df0c5shl rdx, cl
001df0c8test cl, 64
001df0cbcmovne rsi, rdx
001df0cfcmovne rdx, r8
001df0d3mov rcx, 0x1000000000000
001df0ddxor rcx, rsi
001df0e0mov esi, 15361
001df0e5sub esi, edi
001df0e7shl rsi, 48
001df0ebor rsi, rcx
001df0eemov rcx, rdx
001df0f1jmp 0x1df0f7
001df0f3
001df0f3loc_1df0f3:
001df0f3xor ecx, ecx
001df0f5xor esi, esi
001df0f7
001df0f7loc_1df0f7:
001df0f7and rax, rbx
001df0faor rax, rsi
001df0fdmov [rbp-32], rcx
001df101mov [rbp-24], rax
001df105movaps x0, [rbp-32]
001df109add rsp, 40
001df10dpop rbx
001df10epop rbp
001df10fret
001dee90
001dee90tanq:
001dee90push rbp
001dee91mov rbp, rsp
001dee94push rbx
001dee95sub rsp, 40
001dee99movaps [rbp-48], x0
001dee9dmov rdi, [rbp-48]
001deea1mov rdx, [rbp-40]
001deea5mov rcx, 0x7fffffffffffffff
001deeafand rcx, rdx
001deeb2mov rax, 0xc3ff000000000000
001deebcadd rax, rcx
001deebfmov rsi, 0xbc01000000000000
001deec9add rsi, rcx
001deecccmp rax, rsi
001deecfjae 0x1def10
001deed1mov rcx, 0x4000000000000000
001deedbmov rax, rdx
001deedeshld rax, rdi, 4
001deee3lea rsi, [rax+rcx]
001deee7mov rbx, 0xfffffffffffffff
001deef1and rbx, rdi
001deef4mov rdi, 0x800000000000000
001deefecmp rbx, rdi
001def01jbe 0x1def49
001def03lea rsi, [rcx+rax]
001def07add rsi, 1
001def0bjmp 0x1df021
001def10
001def10loc_1def10:
001def10mov rax, rdi
001def13neg rax
001def16mov rax, 0x7fff000000000000
001def20sbb rax, rcx
001def23jae 0x1def5a
001def25shrd rdi, rdx, 60
001def2amov rax, 0x7ffffffffffff
001def34and rax, rdi
001def37mov rsi, 0x7ff8000000000000
001def41or rsi, rax
001def44jmp 0x1df021
001def49
001def49loc_1def49:
001def49jne 0x1df021
001def4f
001def4floc_1def4f:
001def4fand eax, 1
001def52add rsi, rax
001def55jmp 0x1df021
001def5a
001def5aloc_1def5a:
001def5ashr rcx, 48
001def5ecmp ecx, 17406
001def64jbe 0x1def79
001def66mov rsi, 0x7fefffffffffffff
001def70add rsi, 1
001def74jmp 0x1df021
001def79
001def79loc_1def79:
001def79mov eax, 15361
001def7esub eax, ecx
001def80cmp eax, 112
001def83jbe 0x1def8c
001def85xor esi, esi
001def87jmp 0x1df021
001def8c
001def8cloc_1def8c:
001def8cmov rbx, 0xffffffffffff
001def96and rbx, rdx
001def99mov rsi, 0x1000000000000
001defa3or rsi, rbx
001defa6add cl, -1
001defa9mov r8, rsi
001defacshld r8, rdi, cl
001defb0mov rbx, rdi
001defb3shl rbx, cl
001defb6xor r9l, r9l
001defb9test cl, 64
001defbccmovne r8, rbx
001defc0cmovne rbx, r9
001defc4xor r10l, r10l
001defc7or rbx, r8
001defcasetne r10b
001defcemov ecx, eax
001defd0shrd rdi, rsi, cl
001defd4shr rsi, cl
001defd7test al, 64
001defd9cmovne rdi, rsi
001defddcmovne rsi, r9
001defe1shld rsi, rdi, 4
001defe6mov rax, 0xfffffffffffffff
001deff0and rax, rdi
001deff3or rax, r10
001deff6mov rcx, 0x800000000000001
001df000cmp rax, rcx
001df003jb 0x1df00b
001df005add rsi, 1
001df009jmp 0x1df021
001df00b
001df00bloc_1df00b:
001df00bmov rcx, 0x800000000000000
001df015cmp rax, rcx
001df018jne 0x1df021
001df01amov eax, esi
001df01cjmp 0x1def4f
001df021
001df021loc_1df021:
001df021mov rbx, 0x8000000000000000
001df02band rdx, rbx
001df02eor rdx, rsi
001df031movq x0, rdx
001df036call tan
001df03bmovq rax, x0
001df040lea rdx, [rbx-1]
001df044and rdx, rax
001df047mov rcx, 0xfff0000000000000
001df051add rcx, rdx
001df054shr rcx, 53
001df058cmp ecx, 1022
001df05eja 0x1df07a
001df060mov rcx, rdx
001df063shl rcx, 60
001df067shr rdx, 4
001df06bmov rsi, 0x3c00000000000000
001df075add rsi, rdx
001df078jmp 0x1df0f7
001df07a
001df07aloc_1df07a:
001df07amov rcx, rdx
001df07dshr rcx, 52
001df081cmp ecx, 2047
001df087jb 0x1df0a6
001df089mov rcx, rax
001df08cshl rcx, 60
001df090mov rdx, rax
001df093shr rdx, 4
001df097mov rsi, 0x7fff000000000000
001df0a1or rsi, rdx
001df0a4jmp 0x1df0f7
001df0a6
001df0a6loc_1df0a6:
001df0a6test rdx, rdx
001df0a9je 0x1df0f3
001df0abbsr rcx, rdx
001df0afxor rcx, 63
001df0b3lea edi, [rcx+117]
001df0b6add cl, 49
001df0b9xor esi, esi
001df0bbshld rsi, rdx, cl
001df0bfand edi, 127
001df0c2xor r8l, r8l
001df0c5shl rdx, cl
001df0c8test cl, 64
001df0cbcmovne rsi, rdx
001df0cfcmovne rdx, r8
001df0d3mov rcx, 0x1000000000000
001df0ddxor rcx, rsi
001df0e0mov esi, 15361
001df0e5sub esi, edi
001df0e7shl rsi, 48
001df0ebor rsi, rcx
001df0eemov rcx, rdx
001df0f1jmp 0x1df0f7
001df0f3
001df0f3loc_1df0f3:
001df0f3xor ecx, ecx
001df0f5xor esi, esi
001df0f7
001df0f7loc_1df0f7:
001df0f7and rax, rbx
001df0faor rax, rsi
001df0fdmov [rbp-32], rcx
001df101mov [rbp-24], rax
001df105movaps x0, [rbp-32]
001df109add rsp, 40
001df10dpop rbx
001df10epop rbp
001df10fret
001dee90
001df110
001df110tanl:
001df110push rbp
001df111mov rbp, rsp
001df114pop rbp
001df115jmp 0x1dece0
001df110
001df110tanl:
001df110push rbp
001df111mov rbp, rsp
001df114pop rbp
001df115jmp 0x1dece0
001df110
001df11a
001df11a // align 0x10
001df11a // align 0x10
001df120
001df120truncf:
001df120push rbp
001df121mov rbp, rsp
001df124movd eax, x0
001df128mov ecx, eax
001df12ashr ecx, 23
001df12dmovzx edx, cl
001df130cmp edx, 150
001df136jae 0x1df159
001df138add cl, 10
001df13bmov esi, -1
001df140shr esi, cl
001df142cmp edx, 127
001df145mov ecx, 0x7fffffff
001df14acmovae ecx, esi
001df14dtest ecx, eax
001df14fje 0x1df159
001df151not ecx
001df153and ecx, eax
001df155movd x0, ecx
001df159
001df159loc_1df159:
001df159pop rbp
001df15aret
001df120
001df120truncf:
001df120push rbp
001df121mov rbp, rsp
001df124movd eax, x0
001df128mov ecx, eax
001df12ashr ecx, 23
001df12dmovzx edx, cl
001df130cmp edx, 150
001df136jae 0x1df159
001df138add cl, 10
001df13bmov esi, -1
001df140shr esi, cl
001df142cmp edx, 127
001df145mov ecx, 0x7fffffff
001df14acmovae ecx, esi
001df14dtest ecx, eax
001df14fje 0x1df159
001df151not ecx
001df153and ecx, eax
001df155movd x0, ecx
001df159
001df159loc_1df159:
001df159pop rbp
001df15aret
001df120
001df15b
001df15b // align 0x10
001df15b // align 0x10
001df160
001df160trunc:
001df160push rbp
001df161mov rbp, rsp
001df164movq rax, x0
001df169mov rcx, rax
001df16cshr rcx, 52
001df170mov edx, ecx
001df172and edx, 2047
001df178cmp edx, 1075
001df17ejae 0x1df1b1
001df180add cl, 13
001df183mov rsi, -1
001df18ashr rsi, cl
001df18dcmp edx, 1023
001df193mov rcx, 0x7fffffffffffffff
001df19dcmovae rcx, rsi
001df1a1test rcx, rax
001df1a4je 0x1df1b1
001df1a6not rcx
001df1a9and rcx, rax
001df1acmovq x0, rcx
001df1b1
001df1b1loc_1df1b1:
001df1b1pop rbp
001df1b2ret
001df160
001df160trunc:
001df160push rbp
001df161mov rbp, rsp
001df164movq rax, x0
001df169mov rcx, rax
001df16cshr rcx, 52
001df170mov edx, ecx
001df172and edx, 2047
001df178cmp edx, 1075
001df17ejae 0x1df1b1
001df180add cl, 13
001df183mov rsi, -1
001df18ashr rsi, cl
001df18dcmp edx, 1023
001df193mov rcx, 0x7fffffffffffffff
001df19dcmovae rcx, rsi
001df1a1test rcx, rax
001df1a4je 0x1df1b1
001df1a6not rcx
001df1a9and rcx, rax
001df1acmovq x0, rcx
001df1b1
001df1b1loc_1df1b1:
001df1b1pop rbp
001df1b2ret
001df160
001df1b3
001df1b3 // align 0x10
001df1b3 // align 0x10
001df1c0
001df1c0__truncx:
001df1c0push rbp
001df1c1mov rbp, rsp
001df1c4push r15
001df1c6push r14
001df1c8push r13
001df1capush r12
001df1ccpush rbx
001df1cdsub rsp, 56
001df1d1mov r14, 0x8000000000000000
001df1dbmov ebx, [rbp+24]
001df1demov rax, [rbp+16]
001df1e2mov edx, ebx
001df1e4mov rdi, 0x7fff000000000000
001df1eeand dx, 32767
001df1f3jne 0x1df206
001df1f5xor r12l, r12l
001df1f8mov ecx, 0
001df1fdtest rax, rax
001df200je 0x1df28e
001df206
001df206loc_1df206:
001df206movzx ecx, dx
001df209cmp ecx, 32767
001df20fjne 0x1df224
001df211mov r12, rax
001df214shl r12, 49
001df218shr rax, 15
001df21cor rax, rdi
001df21fmov rcx, rax
001df222jmp 0x1df28e
001df224
001df224loc_1df224:
001df224test rax, rax
001df227js 0x1df235
001df229je 0x1df250
001df22bbsr r9, rax
001df22fxor r9, 63
001df233jmp 0x1df256
001df235
001df235loc_1df235:
001df235lea rdx, [r14-1]
001df239and rax, rdx
001df23cmov r12, rax
001df23fshl r12, 49
001df243shr rax, 15
001df247shl rcx, 48
001df24bor rcx, rax
001df24ejmp 0x1df28e
001df250
001df250loc_1df250:
001df250mov r9l, 64
001df256
001df256loc_1df256:
001df256mov ecx, r9l
001df259add cl, 50
001df25cxor esi, esi
001df25eshld rsi, rax, cl
001df262shl rax, cl
001df265xor r8l, r8l
001df268test cl, 64
001df26bcmovne rsi, rax
001df26fcmovne rax, r8
001df273mov rdx, 0x1000000000000
001df27dxor rdx, rsi
001df280lea ecx, [r9+1]
001df284shl rcx, 48
001df288or rcx, rdx
001df28bmov r12, rax
001df28e
001df28eloc_1df28e:
001df28eand ebx, 32768
001df294shl rbx, 48
001df298or rbx, rcx
001df29bmov [rbp-80], r12
001df29fmov [rbp-72], rbx
001df2a3mov rax, rbx
001df2a6shr rax, 48
001df2aamov ecx, eax
001df2acand ecx, 32767
001df2b2cmp ecx, 16494
001df2b8ja 0x1df325
001df2baadd al, 17
001df2bcand al, 127
001df2becmp ecx, 16383
001df2c4movzx eax, al
001df2c7mov ecx, 1
001df2cccmovae ecx, eax
001df2cfmov r13, -1
001df2d6mov rax, -1
001df2ddshr rax, cl
001df2e0xor r15l, r15l
001df2e3test cl, 64
001df2e6cmovne r13, rax
001df2eacmove r15, rax
001df2eemov rax, r15
001df2f1and rax, rbx
001df2f4mov rcx, r13
001df2f7and rcx, r12
001df2faor rcx, rax
001df2fdje 0x1df325
001df2ffmovaps x0, [rbp-80]
001df303movaps x1, [rip-0x14b19a]
001df30acall __addtf3
001df30fmov rdi, 0x7fff000000000000
001df319not r15
001df31cnot r13
001df31fand r12, r13
001df322and rbx, r15
001df325
001df325loc_1df325:
001df325mov rsi, 0x7fffffffffffffff
001df32fmov rdx, rbx
001df332shld rdx, r12, 15
001df337and rsi, rbx
001df33amov rax, rdx
001df33dor rax, r14
001df340mov rcx, r12
001df343neg rcx
001df346sbb rdi, rsi
001df349mov cx, 32767
001df34djb 0x1df3c1
001df34fshr rsi, 48
001df353mov ecx, esi
001df355mov rsi, 0x1ffffffffffff
001df35fand r12, rsi
001df362mov rsi, 0x1000000000001
001df36ccmp r12, rsi
001df36fjb 0x1df38b
001df371mov rdx, rax
001df374add rdx, 1
001df378adc cx, 0
001df37cxor edx, edx
001df37eadd rax, 1
001df382cmove rdx, r14
001df386or rax, rdx
001df389jmp 0x1df3b3
001df38b
001df38bloc_1df38b:
001df38bmov rsi, 0x1000000000000
001df395cmp r12, rsi
001df398jne 0x1df3b3
001df39aand edx, 1
001df39dmov rsi, rax
001df3a0add rsi, rdx
001df3a3adc cx, 0
001df3a7xor esi, esi
001df3a9add rax, rdx
001df3accmovb rsi, r14
001df3b0or rax, rsi
001df3b3
001df3b3loc_1df3b3:
001df3b3add r14, -1
001df3b7and r14, rax
001df3batest cx, cx
001df3bdcmove rax, r14
001df3c1
001df3c1loc_1df3c1:
001df3c1shr rbx, 48
001df3c5and ebx, 32768
001df3cbor ecx, ebx
001df3cdmov [rbp-64], rax
001df3d1mov [rbp-56], cx
001df3d5fld [rbp-64]
001df3d8add rsp, 56
001df3dcpop rbx
001df3ddpop r12
001df3dfpop r13
001df3e1pop r14
001df3e3pop r15
001df3e5pop rbp
001df3e6ret
001df1c0
001df1c0__truncx:
001df1c0push rbp
001df1c1mov rbp, rsp
001df1c4push r15
001df1c6push r14
001df1c8push r13
001df1capush r12
001df1ccpush rbx
001df1cdsub rsp, 56
001df1d1mov r14, 0x8000000000000000
001df1dbmov ebx, [rbp+24]
001df1demov rax, [rbp+16]
001df1e2mov edx, ebx
001df1e4mov rdi, 0x7fff000000000000
001df1eeand dx, 32767
001df1f3jne 0x1df206
001df1f5xor r12l, r12l
001df1f8mov ecx, 0
001df1fdtest rax, rax
001df200je 0x1df28e
001df206
001df206loc_1df206:
001df206movzx ecx, dx
001df209cmp ecx, 32767
001df20fjne 0x1df224
001df211mov r12, rax
001df214shl r12, 49
001df218shr rax, 15
001df21cor rax, rdi
001df21fmov rcx, rax
001df222jmp 0x1df28e
001df224
001df224loc_1df224:
001df224test rax, rax
001df227js 0x1df235
001df229je 0x1df250
001df22bbsr r9, rax
001df22fxor r9, 63
001df233jmp 0x1df256
001df235
001df235loc_1df235:
001df235lea rdx, [r14-1]
001df239and rax, rdx
001df23cmov r12, rax
001df23fshl r12, 49
001df243shr rax, 15
001df247shl rcx, 48
001df24bor rcx, rax
001df24ejmp 0x1df28e
001df250
001df250loc_1df250:
001df250mov r9l, 64
001df256
001df256loc_1df256:
001df256mov ecx, r9l
001df259add cl, 50
001df25cxor esi, esi
001df25eshld rsi, rax, cl
001df262shl rax, cl
001df265xor r8l, r8l
001df268test cl, 64
001df26bcmovne rsi, rax
001df26fcmovne rax, r8
001df273mov rdx, 0x1000000000000
001df27dxor rdx, rsi
001df280lea ecx, [r9+1]
001df284shl rcx, 48
001df288or rcx, rdx
001df28bmov r12, rax
001df28e
001df28eloc_1df28e:
001df28eand ebx, 32768
001df294shl rbx, 48
001df298or rbx, rcx
001df29bmov [rbp-80], r12
001df29fmov [rbp-72], rbx
001df2a3mov rax, rbx
001df2a6shr rax, 48
001df2aamov ecx, eax
001df2acand ecx, 32767
001df2b2cmp ecx, 16494
001df2b8ja 0x1df325
001df2baadd al, 17
001df2bcand al, 127
001df2becmp ecx, 16383
001df2c4movzx eax, al
001df2c7mov ecx, 1
001df2cccmovae ecx, eax
001df2cfmov r13, -1
001df2d6mov rax, -1
001df2ddshr rax, cl
001df2e0xor r15l, r15l
001df2e3test cl, 64
001df2e6cmovne r13, rax
001df2eacmove r15, rax
001df2eemov rax, r15
001df2f1and rax, rbx
001df2f4mov rcx, r13
001df2f7and rcx, r12
001df2faor rcx, rax
001df2fdje 0x1df325
001df2ffmovaps x0, [rbp-80]
001df303movaps x1, [rip-0x14b19a]
001df30acall __addtf3
001df30fmov rdi, 0x7fff000000000000
001df319not r15
001df31cnot r13
001df31fand r12, r13
001df322and rbx, r15
001df325
001df325loc_1df325:
001df325mov rsi, 0x7fffffffffffffff
001df32fmov rdx, rbx
001df332shld rdx, r12, 15
001df337and rsi, rbx
001df33amov rax, rdx
001df33dor rax, r14
001df340mov rcx, r12
001df343neg rcx
001df346sbb rdi, rsi
001df349mov cx, 32767
001df34djb 0x1df3c1
001df34fshr rsi, 48
001df353mov ecx, esi
001df355mov rsi, 0x1ffffffffffff
001df35fand r12, rsi
001df362mov rsi, 0x1000000000001
001df36ccmp r12, rsi
001df36fjb 0x1df38b
001df371mov rdx, rax
001df374add rdx, 1
001df378adc cx, 0
001df37cxor edx, edx
001df37eadd rax, 1
001df382cmove rdx, r14
001df386or rax, rdx
001df389jmp 0x1df3b3
001df38b
001df38bloc_1df38b:
001df38bmov rsi, 0x1000000000000
001df395cmp r12, rsi
001df398jne 0x1df3b3
001df39aand edx, 1
001df39dmov rsi, rax
001df3a0add rsi, rdx
001df3a3adc cx, 0
001df3a7xor esi, esi
001df3a9add rax, rdx
001df3accmovb rsi, r14
001df3b0or rax, rsi
001df3b3
001df3b3loc_1df3b3:
001df3b3add r14, -1
001df3b7and r14, rax
001df3batest cx, cx
001df3bdcmove rax, r14
001df3c1
001df3c1loc_1df3c1:
001df3c1shr rbx, 48
001df3c5and ebx, 32768
001df3cbor ecx, ebx
001df3cdmov [rbp-64], rax
001df3d1mov [rbp-56], cx
001df3d5fld [rbp-64]
001df3d8add rsp, 56
001df3dcpop rbx
001df3ddpop r12
001df3dfpop r13
001df3e1pop r14
001df3e3pop r15
001df3e5pop rbp
001df3e6ret
001df1c0
Loading..