Similarity

00214bf0
00214bf0caml_MD5Transform:
00214bf0push r15
00214bf2mov r8, rdi
00214bf5mov rax, rsi
00214bf8push r14
00214bfapush r13
00214bfcpush r12
00214bfepush rbp
00214bffpush rbx
00214c00mov r15l, [rdi+4]
00214c04mov r14l, [rsi]
00214c07mov ebx, [rdi]
00214c09mov edi, [rdi+8]
00214c0cxor edi, [r8+12]
00214c10lea edx, [r14+rbx-0x28955b88]
00214c18and edi, r15l
00214c1bxor edi, [r8+12]
00214c1fmov ebx, [rsi+4]
00214c22add edi, edx
00214c24mov edx, [r8+8]
00214c28mov esi, [r8+12]
00214c2crol edi, 7
00214c2fmov r11l, [rax+12]
00214c33mov [rsp-44], ebx
00214c37add edi, r15l
00214c3axor edx, r15l
00214c3dlea ecx, [rbx+rsi-0x173848aa]
00214c44mov esi, [rax+8]
00214c47and edx, edi
00214c49xor edx, [r8+8]
00214c4dmov r10l, edi
00214c50mov [rsp-16], r11l
00214c55add edx, ecx
00214c57mov ecx, [r8+8]
00214c5bmov [rsp-40], esi
00214c5flea r9l, [r11+r15-0x3e423112]
00214c67rol edx, 12
00214c6alea esi, [rsi+rcx+0x242070db]
00214c71mov ecx, r15l
00214c74add edx, edi
00214c76xor ecx, edi
00214c78xor r10l, edx
00214c7bmov ebp, edx
00214c7dand ecx, edx
00214c7fxor ecx, r15l
00214c82add ecx, esi
00214c84mov esi, r10l
00214c87mov r10l, [rax+16]
00214c8bror ecx, 15
00214c8eadd ecx, edx
00214c90mov [rsp-36], r10l
00214c95and esi, ecx
00214c97xor ebp, ecx
00214c99xor esi, edi
00214c9badd esi, r9l
00214c9elea r9l, [r10+rdi-0xa83f051]
00214ca6mov edi, ebp
00214ca8mov ebp, [rax+20]
00214cabror esi, 10
00214caeadd esi, ecx
00214cb0and edi, esi
00214cb2xor edi, edx
00214cb4add edi, r9l
00214cb7lea r9l, [rbp+rdx+0x4787c62a]
00214cbfmov edx, ecx
00214cc1rol edi, 7
00214cc4xor edx, esi
00214cc6add edi, esi
00214cc8and edx, edi
00214ccamov r12l, edi
00214ccdxor edx, ecx
00214ccfadd edx, r9l
00214cd2mov r9l, [rax+24]
00214cd6rol edx, 12
00214cd9mov [rsp-32], r9l
00214cdelea r9l, [r9+rcx-0x57cfb9ed]
00214ce6mov ecx, esi
00214ce8add edx, edi
00214ceaxor ecx, edi
00214cecmov r13l, [rax+28]
00214cf0xor r12l, edx
00214cf3mov ebx, [rax+36]
00214cf6and ecx, edx
00214cf8xor ecx, esi
00214cfamov [rsp-24], ebx
00214cfeadd ecx, r9l
00214d01lea r9l, [r13+rsi-0x2b96aff]
00214d09mov esi, r12l
00214d0cmov r12l, [rax+32]
00214d10ror ecx, 15
00214d13add ecx, edx
00214d15mov [rsp-28], r12l
00214d1aand esi, ecx
00214d1cxor esi, edi
00214d1eadd esi, r9l
00214d21lea r9l, [r12+rdi+0x698098d8]
00214d29mov edi, edx
00214d2bmov r12l, [rax+56]
00214d2fror esi, 10
00214d32xor edi, ecx
00214d34add esi, ecx
00214d36and edi, esi
00214d38xor edi, edx
00214d3aadd edi, r9l
00214d3dlea r9l, [rbx+rdx-0x74bb0851]
00214d45mov edx, ecx
00214d47mov ebx, [rax+40]
00214d4arol edi, 7
00214d4dxor edx, esi
00214d4fadd edi, esi
00214d51mov [rsp-20], ebx
00214d55and edx, edi
00214d57xor edx, ecx
00214d59add edx, r9l
00214d5clea r9l, [rbx+rcx-42063]
00214d64mov ecx, esi
00214d66mov ebx, [rax+48]
00214d69rol edx, 12
00214d6cxor ecx, edi
00214d6eadd edx, edi
00214d70and ecx, edx
00214d72xor ecx, esi
00214d74add ecx, r9l
00214d77mov r9l, [rax+44]
00214d7bror ecx, 15
00214d7emov r11l, r9l
00214d81lea r9l, [r9+rsi-0x76a32842]
00214d89mov esi, edi
00214d8badd ecx, edx
00214d8dxor esi, edx
00214d8fmov [rsp-12], r11l
00214d94and esi, ecx
00214d96xor esi, edi
00214d98add esi, r9l
00214d9blea r9l, [rbx+rdi+0x6b901122]
00214da3mov edi, edx
00214da5ror esi, 10
00214da8xor edi, ecx
00214daaadd esi, ecx
00214dacand edi, esi
00214daexor edi, edx
00214db0add edi, r9l
00214db3mov r9l, [rax+52]
00214db7rol edi, 7
00214dbalea r10l, [r9+rdx-0x2678e6d]
00214dc2mov edx, ecx
00214dc4add edi, esi
00214dc6xor edx, esi
00214dc8and edx, edi
00214dcaxor edx, ecx
00214dccadd edx, r10l
00214dcflea r10l, [r12+rcx-0x5986bc72]
00214dd7mov ecx, esi
00214dd9rol edx, 12
00214ddcxor ecx, edi
00214ddeadd edx, edi
00214de0and ecx, edx
00214de2xor ecx, esi
00214de4add ecx, r10l
00214de7mov r10l, [rax+60]
00214debror ecx, 15
00214deelea eax, [r10+rsi+0x49b40821]
00214df6mov esi, edi
00214df8add ecx, edx
00214dfaxor esi, edx
00214dfcand esi, ecx
00214dfexor esi, edi
00214e00add esi, eax
00214e02mov eax, [rsp-44]
00214e06ror esi, 10
00214e09add esi, ecx
00214e0blea edi, [rax+rdi-0x9e1da9e]
00214e12mov eax, ecx
00214e14xor eax, esi
00214e16and eax, edx
00214e18xor eax, ecx
00214e1aadd eax, edi
00214e1cmov edi, [rsp-32]
00214e20rol eax, 5
00214e23add eax, esi
00214e25lea edi, [rdi+rdx-0x3fbf4cc0]
00214e2cmov edx, esi
00214e2exor edx, eax
00214e30and edx, ecx
00214e32xor edx, esi
00214e34add edx, edi
00214e36lea edi, [r11+rcx+0x265e5a51]
00214e3emov ecx, eax
00214e40rol edx, 9
00214e43add edx, eax
00214e45xor ecx, edx
00214e47and ecx, esi
00214e49xor ecx, eax
00214e4badd ecx, edi
00214e4dlea edi, [r14+rsi-0x16493856]
00214e55mov esi, edx
00214e57rol ecx, 14
00214e5aadd ecx, edx
00214e5cxor esi, ecx
00214e5eand esi, eax
00214e60xor esi, edx
00214e62add esi, edi
00214e64lea edi, [rbp+rax-0x29d0efa3]
00214e6bmov eax, ecx
00214e6dror esi, 12
00214e70add esi, ecx
00214e72xor eax, esi
00214e74and eax, edx
00214e76xor eax, ecx
00214e78add eax, edi
00214e7amov edi, [rsp-20]
00214e7erol eax, 5
00214e81add eax, esi
00214e83lea edi, [rdi+rdx+0x2441453]
00214e8amov edx, esi
00214e8cxor edx, eax
00214e8eand edx, ecx
00214e90xor edx, esi
00214e92add edx, edi
00214e94lea edi, [r10+rcx-0x275e197f]
00214e9cmov ecx, eax
00214e9erol edx, 9
00214ea1add edx, eax
00214ea3xor ecx, edx
00214ea5and ecx, esi
00214ea7xor ecx, eax
00214ea9add ecx, edi
00214eabmov edi, [rsp-36]
00214eafrol ecx, 14
00214eb2add ecx, edx
00214eb4lea edi, [rdi+rsi-0x182c0438]
00214ebbmov esi, edx
00214ebdxor esi, ecx
00214ebfand esi, eax
00214ec1xor esi, edx
00214ec3add esi, edi
00214ec5mov edi, [rsp-24]
00214ec9ror esi, 12
00214eccadd esi, ecx
00214ecelea edi, [rdi+rax+0x21e1cde6]
00214ed5mov eax, ecx
00214ed7xor eax, esi
00214ed9and eax, edx
00214edbxor eax, ecx
00214eddadd eax, edi
00214edflea edi, [r12+rdx-0x3cc8f82a]
00214ee7mov edx, esi
00214ee9rol eax, 5
00214eecadd eax, esi
00214eeexor edx, eax
00214ef0and edx, ecx
00214ef2xor edx, esi
00214ef4add edx, edi
00214ef6mov edi, [rsp-16]
00214efarol edx, 9
00214efdadd edx, eax
00214efflea edi, [rdi+rcx-0xb2af279]
00214f06mov ecx, eax
00214f08xor ecx, edx
00214f0aand ecx, esi
00214f0cxor ecx, eax
00214f0eadd ecx, edi
00214f10mov edi, [rsp-28]
00214f14rol ecx, 14
00214f17add ecx, edx
00214f19lea esi, [rdi+rsi+0x455a14ed]
00214f20mov edi, edx
00214f22xor edi, ecx
00214f24and edi, eax
00214f26xor edi, edx
00214f28add edi, esi
00214f2alea esi, [r9+rax-0x561c16fb]
00214f32mov eax, ecx
00214f34ror edi, 12
00214f37add edi, ecx
00214f39xor eax, edi
00214f3band eax, edx
00214f3dxor eax, ecx
00214f3fadd eax, esi
00214f41mov esi, [rsp-40]
00214f45rol eax, 5
00214f48add eax, edi
00214f4alea esi, [rsi+rdx-0x3105c08]
00214f51mov edx, edi
00214f53xor edx, eax
00214f55and edx, ecx
00214f57lea ecx, [r13+rcx+0x676f02d9]
00214f5fxor edx, edi
00214f61add edx, esi
00214f63mov esi, eax
00214f65rol edx, 9
00214f68add edx, eax
00214f6axor esi, edx
00214f6cand esi, edi
00214f6elea edi, [rbx+rdi-0x72d5b376]
00214f75xor esi, eax
00214f77mov r11l, edi
00214f7aadd esi, ecx
00214f7cmov ecx, edx
00214f7erol esi, 14
00214f81add esi, edx
00214f83xor ecx, esi
00214f85mov edi, ecx
00214f87and edi, eax
00214f89lea eax, [rbp+rax-0x5c6be]
00214f90xor edi, edx
00214f92add edi, r11l
00214f95mov r11l, [rsp-16]
00214f9aror edi, 12
00214f9dadd edi, esi
00214f9fxor ecx, edi
00214fa1add ecx, eax
00214fa3mov eax, [rsp-28]
00214fa7rol ecx, 4
00214faalea eax, [rax+rdx-0x788e097f]
00214fb1mov edx, esi
00214fb3add ecx, edi
00214fb5xor edx, edi
00214fb7xor edx, ecx
00214fb9add edx, eax
00214fbbmov eax, [rsp-12]
00214fbfrol edx, 11
00214fc2lea eax, [rax+rsi+0x6d9d6122]
00214fc9mov esi, edi
00214fcbadd edx, ecx
00214fcdxor esi, ecx
00214fcflea edi, [r12+rdi-0x21ac7f4]
00214fd7xor esi, edx
00214fd9add esi, eax
00214fdbmov eax, ecx
00214fddrol esi, 16
00214fe0xor eax, edx
00214fe2add esi, edx
00214fe4xor eax, esi
00214fe6add eax, edi
00214fe8mov edi, [rsp-44]
00214fecror eax, 9
00214feflea edi, [rdi+rcx-0x5b4115bc]
00214ff6mov ecx, edx
00214ff8add eax, esi
00214ffaxor ecx, esi
00214ffcxor ecx, eax
00214ffeadd ecx, edi
00215000mov edi, [rsp-36]
00215004rol ecx, 4
00215007lea edx, [rdi+rdx+0x4bdecfa9]
0021500emov edi, esi
00215010add ecx, eax
00215012xor edi, eax
00215014lea esi, [r13+rsi-0x944b4a0]
0021501cxor edi, ecx
0021501eadd edi, edx
00215020mov edx, eax
00215022rol edi, 11
00215025xor edx, ecx
00215027add edi, ecx
00215029xor edx, edi
0021502badd edx, esi
0021502dmov esi, [rsp-20]
00215031rol edx, 16
00215034lea eax, [rsi+rax-0x41404390]
0021503bmov esi, ecx
0021503dadd edx, edi
0021503fxor esi, edi
00215041xor esi, edx
00215043add esi, eax
00215045lea eax, [r9+rcx+0x289b7ec6]
0021504dmov ecx, edi
0021504fror esi, 9
00215052xor ecx, edx
00215054lea edi, [r14+rdi-0x155ed806]
0021505cadd esi, edx
0021505exor ecx, esi
00215060add ecx, eax
00215062mov eax, edx
00215064lea edx, [r11+rdx-0x2b10cf7b]
0021506crol ecx, 4
0021506fxor eax, esi
00215071add ecx, esi
00215073xor eax, ecx
00215075add eax, edi
00215077mov edi, esi
00215079rol eax, 11
0021507cxor edi, ecx
0021507eadd eax, ecx
00215080xor edi, eax
00215082add edi, edx
00215084mov edx, [rsp-32]
00215088rol edi, 16
0021508blea edx, [rdx+rsi+0x4881d05]
00215092mov esi, ecx
00215094add edi, eax
00215096xor esi, eax
00215098xor esi, edi
0021509aadd esi, edx
0021509cmov edx, [rsp-24]
002150a0ror esi, 9
002150a3lea ecx, [rdx+rcx-0x262b2fc7]
002150aamov edx, eax
002150acadd esi, edi
002150aexor edx, edi
002150b0lea eax, [rbx+rax-0x1924661b]
002150b7xor edx, esi
002150b9add edx, ecx
002150bbmov ecx, edi
002150bdrol edx, 4
002150c0add edx, esi
002150c2xor ecx, esi
002150c4xor ecx, edx
002150c6add ecx, eax
002150c8lea eax, [r10+rdi+0x1fa27cf8]
002150d0mov edi, esi
002150d2rol ecx, 11
002150d5xor edi, edx
002150d7add ecx, edx
002150d9xor edi, ecx
002150dbadd edi, eax
002150ddmov eax, [rsp-40]
002150e1rol edi, 16
002150e4lea esi, [rax+rsi-0x3b53a99b]
002150ebmov eax, edx
002150edadd edi, ecx
002150efxor eax, ecx
002150f1xor eax, edi
002150f3add eax, esi
002150f5lea esi, [r14+rdx-0xbd6ddbc]
002150fdmov edx, ecx
002150ffror eax, 9
00215102not edx
00215104add eax, edi
00215106or edx, eax
00215108xor edx, edi
0021510aadd edx, esi
0021510clea esi, [r13+rcx+0x432aff97]
00215114mov ecx, edi
00215116rol edx, 6
00215119not ecx
0021511blea edi, [r12+rdi-0x546bdc59]
00215123add edx, eax
00215125or ecx, edx
00215127xor ecx, eax
00215129add ecx, esi
0021512bmov esi, eax
0021512drol ecx, 10
00215130not esi
00215132add ecx, edx
00215134or esi, ecx
00215136xor esi, edx
00215138add esi, edi
0021513alea edi, [rbp+rax-0x36c5fc7]
00215141mov ebp, edx
00215143rol esi, 15
00215146not ebp
00215148add esi, ecx
0021514amov eax, ebp
0021514cmov ebp, ecx
0021514eor eax, esi
00215150not ebp
00215152xor eax, ecx
00215154add eax, edi
00215156lea edi, [rbx+rdx+0x655b59c3]
0021515dmov edx, ebp
0021515fmov ebx, [rsp-20]
00215163ror eax, 11
00215166add eax, esi
00215168or edx, eax
0021516axor edx, esi
0021516cadd edx, edi
0021516elea edi, [r11+rcx-0x70f3336e]
00215176mov ecx, esi
00215178rol edx, 6
0021517bnot ecx
0021517dadd edx, eax
0021517for ecx, edx
00215181mov ebp, edx
00215183xor ecx, eax
00215185not ebp
00215187add ecx, edi
00215189lea edi, [rbx+rsi-0x100b83]
00215190mov esi, eax
00215192rol ecx, 10
00215195not esi
00215197add ecx, edx
00215199or esi, ecx
0021519bxor esi, edx
0021519dadd esi, edi
0021519fmov edi, [rsp-44]
002151a3mov r11l, [rsp-28]
002151a8rol esi, 15
002151abmov r14l, [rsp-32]
002151b0mov ebx, [rsp-40]
002151b4add esi, ecx
002151b6lea edi, [rdi+rax-0x7a7ba22f]
002151bdmov eax, ebp
002151bfor eax, esi
002151c1xor eax, ecx
002151c3add eax, edi
002151c5lea edi, [r11+rdx+0x6fa87e4f]
002151cdmov r11l, ecx
002151d0ror eax, 11
002151d3not r11l
002151d6add eax, esi
002151d8mov edx, r11l
002151dbor edx, eax
002151ddxor edx, esi
002151dfadd edx, edi
002151e1lea edi, [r10+rcx-0x1d31920]
002151e9mov ecx, esi
002151ebmov r10l, [rsp-36]
002151f0rol edx, 6
002151f3not ecx
002151f5add edx, eax
002151f7or ecx, edx
002151f9mov r11l, edx
002151fcxor ecx, eax
002151fenot r11l
00215201add ecx, edi
00215203lea edi, [r14+rsi-0x5cfebcec]
0021520bmov esi, eax
0021520dmov r14l, [rsp-12]
00215212rol ecx, 10
00215215not esi
00215217lea eax, [r9+rax+0x4e0811a1]
0021521fadd ecx, edx
00215221or esi, ecx
00215223xor esi, edx
00215225lea edx, [r10+rdx-0x8ac817e]
0021522dadd esi, edi
0021522fmov edi, r11l
00215232mov r11l, ecx
00215235rol esi, 15
00215238not r11l
0021523badd esi, ecx
0021523dor edi, esi
0021523fxor edi, ecx
00215241lea ecx, [r14+rcx-0x42c50dcb]
00215249add edi, eax
0021524bmov eax, r11l
0021524eror edi, 11
00215251add edi, esi
00215253or eax, edi
00215255xor eax, esi
00215257add eax, edx
00215259mov edx, esi
0021525blea esi, [rbx+rsi+0x2ad7d2bb]
00215262mov ebx, [rsp-24]
00215266rol eax, 6
00215269not edx
0021526badd eax, edi
0021526dor edx, eax
0021526fxor edx, edi
00215271add edx, ecx
00215273mov ecx, edi
00215275lea edi, [rbx+rdi-0x14792c6f]
0021527cpop rbx
0021527drol edx, 10
00215280not ecx
00215282pop rbp
00215283pop r12
00215285add edx, eax
00215287pop r13
00215289pop r14
0021528bor ecx, edx
0021528dxor ecx, eax
0021528fadd ecx, esi
00215291mov esi, eax
00215293add eax, [r8]
00215296rol ecx, 15
00215299not esi
0021529bmovd x1, eax
0021529fadd ecx, edx
002152a1or esi, ecx
002152a3xor esi, edx
002152a5add esi, edi
002152a7mov eax, esi
002152a9lea esi, [r15+rcx]
002152adpop r15
002152afror eax, 11
002152b2add eax, esi
002152b4add ecx, [r8+8]
002152b8add edx, [r8+12]
002152bcmovd x0, ecx
002152c0movd x2, edx
002152c4movd x3, eax
002152c8punpckldq x0, x2
002152ccpunpckldq x1, x3
002152d0punpcklqdq x1, x0
002152d4movups [r8], x1
002152d8ret
002152d9db 0x0f
002152daadc [rax], ecx
002152dcret
00214bf0

002152dd
002152dd // align 0x10

002152e0
002152e0caml_MD5Update:
002152e0push r15
002152e2xor ecx, ecx
002152e4lea r15, [rdi+24]
002152e8push r14
002152eapush r13
002152ecmov r13, rsi
002152efpush r12
002152f1mov r12, rdx
002152f4shl edx, 3
002152f7push rbp
002152f8mov rbp, rdi
002152fbpush rbx
002152fcsub rsp, 24
00215300mov eax, [rdi+16]
00215303add edx, eax
00215305setb cl
00215308mov [rdi+16], edx
0021530bmov edx, [rdi+20]
0021530ecmp ecx, 1
00215311mov rcx, r12
00215314sbb edx, -1
00215317shr rcx, 29
0021531bshr eax, 3
0021531eadd edx, ecx
00215320and eax, 63
00215323mov [rdi+20], edx
00215326je 0x21537c
00215328mov ecx, 64
0021532dlea r15, [rdi+24]
00215331mov edi, eax
00215333sub ecx, eax
00215335add rdi, r15
00215338mov ebx, ecx
0021533acmp r12, rbx
0021533djb 0x215480
00215343cmp ecx, 8
00215346jae 0x2154a0
0021534ctest cl, 4
0021534fjne 0x215500
00215355test ecx, ecx
00215357je 0x21536b
00215359movzx edx, [rsi]
0021535cand ecx, 2
0021535fmov [rdi], dl
00215361jne 0x215511
00215367mov rsi, r15
0021536amov rdi, rbp
0021536dadd r13, rbx
00215370sub r12, rbx
00215373call caml_MD5Transform
00215378cmp r12, 63
0021537c
0021537cloc_21537c:
0021537cjbe 0x2153ec
0021537elea rax, [r12-64]
00215383mov rbx, r13
00215386mov rdx, rax
00215389mov [rsp+8], rax
0021538eand rdx, -64
00215392lea r14, [r13+rdx+64]
00215397nop [rax+rax]
0021539cmovdqu x0, [rbx]
002153a0
002153a0loc_2153a0:
002153a0mov rsi, r15
002153a3mov rdi, rbp
002153a6add rbx, 64
002153aamovups [r15], x0
002153aemovdqu x0, [rbx-48]
002153b3movups [r15+16], x0
002153b8movdqu x0, [rbx-32]
002153bdmovups [r15+32], x0
002153c2movdqu x0, [rbx-16]
002153c7movups [r15+48], x0
002153cccall caml_MD5Transform
002153d1cmp rbx, r14
002153d4jne 0x2153a0
002153d6mov rax, [rsp+8]
002153dband r12l, 63
002153dfand rax, -64
002153e3lea r13, [r13+rax+64]
002153e8mov edx, r12l
002153ebcmp r12l, 8
002153efjb 0x215450
002153f1mov rdx, [r13]
002153f5add rbp, 32
002153f9mov rax, r15
002153fcmov [rbp-8], rdx
00215400mov edx, r12l
00215403and rbp, -8
00215407mov rcx, [r13+rdx-8]
0021540csub rax, rbp
0021540fsub r13, rax
00215412mov [r15+rdx-8], rcx
00215417lea edx, [r12+rax]
0021541band edx, -8
0021541ecmp edx, 8
00215421jb 0x21543f
00215423and edx, -8
00215426xor eax, eax
00215428mov ecx, eax
0021542aadd eax, 8
0021542dmov rsi, [r13+rcx]
00215432mov [rbp+rcx], rsi
00215437cmp eax, edx
00215439jb 0x21542c
0021543badd rsp, 24
0021543f
0021543floc_21543f:
0021543fpop rbx
00215440pop rbp
00215441pop r12
00215443pop r13
00215445pop r14
00215447pop r15
00215449ret
0021544adb 0x5e
0021544bpop r15
0021544dret
0021544e
0021544e 66 90 f.
00215450
00215450loc_215450:
00215450test r12b, 4
00215454jne 0x2154ea
0021545atest r12l, r12l
0021545dje 0x21543f
0021545fmovzx edx, [r13]
00215464mov [rbp+24], dl
00215467test r12b, 2
0021546bje 0x21543f
0021546dmov r12l, r12l
00215470movzx edx, [r13+r12-2]
00215476mov [r15+r12-2], dx
0021547cjmp 0x21543f
0021547e
0021547e 66 90 f.
00215480
00215480loc_215480:
00215480add rsp, 24
00215484mov rdx, r12
00215487pop rbx
00215488pop rbp
00215489pop r12
0021548bpop r13
0021548dpop r14
0021548fpop r15
00215491jmp 0xf47d0
00215496
00215496 66 2e 0f 1f 84 00 00 00 00 00 f.........
002154a0
002154a0loc_2154a0:
002154a0mov rdx, [rsi]
002154a3mov r8, rsi
002154a6mov [rdi], rdx
002154a9mov rdx, [rsi+rbx-8]
002154aemov [rdi+rbx-8], rdx
002154b3lea rdx, [rdi+8]
002154b7and rdx, -8
002154bbsub rdi, rdx
002154beadd ecx, edi
002154c0sub r8, rdi
002154c3and ecx, -8
002154c6cmp ecx, 8
002154c9jb 0x21536b
002154cfand ecx, -8
002154d2xor esi, esi
002154d4
002154d4loc_2154d4:
002154d4mov edi, esi
002154d6add esi, 8
002154d9mov r9, [r8+rdi]
002154ddmov [rdx+rdi], r9
002154e1cmp esi, ecx
002154e3jb 0x2154d4
002154e5jmp 0x21536b
002154ea
002154ealoc_2154ea:
002154eamov ecx, [r13]
002154eemov [rbp+24], ecx
002154f1mov ecx, [r13+rdx-4]
002154f6mov [r15+rdx-4], ecx
002154fbjmp 0x21543f
00215500
00215500loc_215500:
00215500mov edx, [rsi]
00215502mov [rdi], edx
00215504mov edx, [rsi+rbx-4]
00215508mov [rdi+rbx-4], edx
0021550cjmp 0x21536b
00215511
00215511loc_215511:
00215511movzx edx, [rsi+rbx-2]
00215516mov [rdi+rbx-2], dx
0021551bjmp 0x21536b
002152e0

00215520
00215520caml_MD5Final:
00215520push rbp
00215521mov ecx, 63
00215526mov rbp, rdi
00215529push rbx
0021552amov rbx, rsi
0021552dadd rsi, 24
00215531sub rsp, 24
00215535mov eax, [rsi-8]
00215538shr eax, 3
0021553band eax, 63
0021553emov edx, eax
00215540sub ecx, eax
00215542add rdx, rsi
00215545mov [rdx], -128
00215548lea rdi, [rdx+1]
0021554ccmp ecx, 7
0021554fja 0x2155e0
00215555test ecx, ecx
00215557je 0x21556c
00215559xor eax, eax
0021555bmov edx, eax
0021555dadd eax, 1
00215560mov [rdi+rdx], 0
00215564cmp eax, ecx
00215566jb 0x21555f
00215568mov rdi, rbx
0021556bmov [rsp+8], rsi
00215570call caml_MD5Transform
00215575mov rsi, [rsp+8]
0021557apxor x0, x0
0021557emovups [rbx+24], x0
00215582mov [rsi+48], 0
0021558amovups [rsi+16], x0
0021558emovups [rsi+32], x0
00215592mov rax, [rbx+16]
00215596
00215596loc_215596:
00215596mov rdi, rbx
00215599mov [rbx+80], rax
0021559dcall caml_MD5Transform
002155a2movdqu x0, [rbx]
002155a6lea rdi, [rbx+8]
002155aaxor eax, eax
002155acand rdi, -8
002155b0movups [rbp], x0
002155b4mov [rbx], 0
002155bbmov [rbx+80], 0
002155c3sub rbx, rdi
002155c6lea ecx, [rbx+88]
002155c9shr ecx, 3
002155ccrep stosq [rdi], rax
002155cfadd rsp, 24
002155d3pop rbx
002155d4pop rbp
002155d5ret
002155d6db 0x18
002155d7pop rbx
002155d8pop rbp
002155d9ret
002155da
002155da 66 0f 1f 44 00 00 f..D..
002155e0
002155e0loc_2155e0:
002155e0mov ecx, 55
002155e5xor r8l, r8l
002155e8sub ecx, eax
002155eacmp ecx, 8
002155edjae 0x215610
002155eftest cl, 4
002155f2jne 0x215658
002155f4test ecx, ecx
002155f6je 0x215596
002155f8mov [rdx+1], 0
002155fctest cl, 2
002155ffje 0x215596
00215601xor eax, eax
00215603mov [rdi+rcx-2], ax
00215608jmp 0x215596
0021560a
0021560a 66 0f 1f 44 00 00 f..D..
00215610
00215610loc_215610:
00215610mov [rdx+1], 0
00215618add rdx, 9
0021561cmov eax, ecx
0021561emov [rdi+rax-8], 0
00215627and rdx, -8
0021562bsub rdi, rdx
0021562eadd ecx, edi
00215630and ecx, -8
00215633cmp ecx, 8
00215636jb 0x215596
0021563cand ecx, -8
0021563fxor eax, eax
00215641
00215641loc_215641:
00215641mov edi, eax
00215643add eax, 8
00215646mov [rdx+rdi], r8
0021564acmp eax, ecx
0021564cjb 0x215641
0021564ejmp 0x215596
00215653
00215653 0f 1f 44 00 00 ..D..
00215658
00215658loc_215658:
00215658mov [rdx+1], 0
0021565fmov [rdi+rcx-4], 0
00215667jmp 0x215596
00215520

0021566c
0021566c // align 0x10

00215670
00215670caml_md5_string:
00215670push rbp
00215671sar rsi, 1
00215674sar rdx, 1
00215677push rbx
00215678add rsi, rdi
0021567bsub rsp, 104
0021567fmovdqa x0, [rip+0x14ab5]
00215687mov rax, [0x28]
00215690mov [rsp+88], rax
00215695xor eax, eax
00215697mov rdi, rsp
0021569amov [rsp+16], 0
002156a3movaps [rsp], x0
002156a7call caml_MD5Update
002156acmov edi, 16
002156b1call caml_alloc_string
002156b6mov rsi, rsp
002156b9mov rdi, rax
002156bcmov rbx, rax
002156bfcall caml_MD5Final
002156c4mov rax, [rsp+88]
002156c9sub rax, [0x28]
002156d2jne 0x2156e2
002156d4add rsp, 104
002156d8mov rax, rbx
002156dbpop rbx
002156dcpop rbp
002156ddret
002156decall fn_f4590
002156e3db 0xa9
002156e4out dx, al
002156e5in eax, dx
002156e6db 0xff
00215670

002156e7
002156e7 // align 0x10

002156f0
002156f0caml_md5_channel:
002156f0push r15
002156f2push r14
002156f4push r13
002156f6push r12
002156f8push rbp
002156f9push rbx
002156fasub rsp, 4096
00215701or [rsp], 0
00215706sub rsp, 136
0021570dmov rax, [rip+0x608d0]
00215714mov r15, [0x28]
0021571dmov [rsp+4216], r15
00215725mov r15, rsi
00215728mov r12, rdi
0021572blea rbx, [rsp+112]
00215730lea r13, [rsp+16]
00215735mov rax, [rax]
00215739mov [rsp], rax
0021573dmov rax, [rax+160]
00215744mov [rsp+8], rax
00215749call caml_channel_lock
0021574emovdqa x0, [rip+0x149e6]
00215756mov [rsp+32], 0
0021575fmovaps [rsp+16], x0
00215764test r15, r15
00215767js 0x215826
0021576djle 0x21583c
00215773lea rbp, [rsp+16]
00215778nop [rax]
0021577cmov edx, 4096
00215781mov rsi, rbx
00215784mov rdi, r12
00215787cmp r15, rdx
0021578acmovbe rdx, r15
0021578ecall caml_getblock
00215793movsxd r14, eax
00215796test r14, r14
00215799je 0x215846
0021579fmov rdx, r14
002157a2mov rsi, rbx
002157a5mov rdi, rbp
002157a8sub r15, r14
002157abcall caml_MD5Update
002157b0mov r13, rbp
002157b3test r15, r15
002157b6jg 0x215780
002157b8mov edi, 16
002157bdcall caml_alloc_string
002157c2mov rsi, r13
002157c5mov rdi, rax
002157c8mov rbx, rax
002157cbcall caml_MD5Final
002157d0mov rdi, r12
002157d3call caml_channel_unlock
002157d8mov rax, [rsp]
002157dcmov rcx, [rsp+8]
002157e1mov [rax+160], rcx
002157e8mov rax, [rsp+4216]
002157f0sub rax, [0x28]
002157f9jne 0x21584b
002157fbadd rsp, 4232
00215802mov rax, rbx
00215805pop rbx
00215806pop rbp
00215807pop r12
00215809pop r13
0021580bpop r14
0021580dpop r15
0021580fret
00215810db 0x5e
00215811pop r15
00215813ret
00215814
00215814 0f 1f 40 00 ..@.
00215818
00215818loc_215818:
00215818movsxd rdx, eax
0021581bmov rsi, rbx
0021581emov rdi, r13
00215821call caml_MD5Update
00215826
00215826loc_215826:
00215826mov edx, 4096
0021582bmov rsi, rbx
0021582emov rdi, r12
00215831call caml_getblock
00215836test eax, eax
00215838jne 0x215818
0021583ajmp 0x2157bc
0021583c
0021583cloc_21583c:
0021583clea r13, [rsp+16]
00215841jmp 0x2157bc
00215846
00215846loc_215846:
00215846call caml_raise_end_of_file
0021584b
0021584bloc_21584b:
0021584bcall fn_f4590
002156f0

00215850
00215850caml_md5_chan:
00215850push rbp
00215851push rbx
00215852sub rsp, 104
00215856movdqa x0, [rip+0x1486e]
0021585emov [rsp], rsi
00215862movq x1, rsp
00215867sar rsi, 1
0021586amov [rsp+8], rdi
0021586fmov rax, [0x28]
00215878mov [rsp+88], rax
0021587dmov rax, [rip+0x60760]
00215884mov rbx, [rax]
00215888lea rax, [rsp+16]
0021588dmovups [rsp+24], x0
00215892mov rbp, [rbx+160]
00215899mov [rbx+160], rax
002158a0lea rax, [rsp+8]
002158a5movq x0, rax
002158aapunpcklqdq x0, x1
002158aemov [rsp+16], rbp
002158b3movups [rsp+40], x0
002158b8mov rdi, [rdi+8]
002158bccall caml_md5_channel
002158c1mov [rbx+160], rbp
002158c8mov rdx, [rsp+88]
002158cdsub rdx, [0x28]
002158d6jne 0x2158e3
002158d8add rsp, 104
002158dcpop rbx
002158ddpop rbp
002158deret
002158dfcall fn_f4590
002158e4db 0xa8
002158e5in al, dx
002158e6in eax, dx
002158e7db 0xff
00215850

002158e8
002158e8 // align 0x10

002158f0
002158f0caml_md5_block:
002158f0push rbp
002158f1push rbx
002158f2sub rsp, 104
002158f6movdqa x0, [rip+0x1483e]
002158femov rbx, [0x28]
00215907mov [rsp+88], rbx
0021590cmov rbx, rdi
0021590fmov rdi, rsp
00215912mov [rsp+16], 0
0021591bmovaps [rsp], x0
0021591fcall caml_MD5Update
00215924mov rsi, rsp
00215927mov rdi, rbx
0021592acall caml_MD5Final
0021592fmov rax, [rsp+88]
00215934sub rax, [0x28]
0021593djne 0x21594a
0021593fadd rsp, 104
00215943pop rbx
00215944pop rbp
00215945ret
00215946call fn_f4590
0021594bdb 0x41
0021594cin al, dx
0021594din eax, dx
0021594edb 0xff
002158f0

0021594f
0021594f // align 0x10

00215950
00215950caml_md5_bytes:
00215950push rbp
00215951sar rsi, 1
00215954sar rdx, 1
00215957push rbx
00215958add rsi, rdi
0021595bsub rsp, 104
0021595fmovdqa x0, [rip+0x147d5]
00215967mov rax, [0x28]
00215970mov [rsp+88], rax
00215975xor eax, eax
00215977mov rdi, rsp
0021597amov [rsp+16], 0
00215983movaps [rsp], x0
00215987call caml_MD5Update
0021598cmov edi, 16
00215991call caml_alloc_string
00215996mov rsi, rsp
00215999mov rdi, rax
0021599cmov rbx, rax
0021599fcall caml_MD5Final
002159a4mov rax, [rsp+88]
002159a9sub rax, [0x28]
002159b2jne 0x2159c2
002159b4add rsp, 104
002159b8mov rax, rbx
002159bbpop rbx
002159bcpop rbp
002159bdret
002159becall fn_f4590
002159c3db 0xc9
002159c4jmp 0x2159b3
002159c6db 0xff
00215950

002159c7
002159c7 // align 0x10

002159d0
002159d0fn_2159d0:
002159d0push rbp
002159d1lea rbp, [rip+0x163188]
002159d8push rbx
002159d9mov rbx, rdi
002159dcmov rdi, rbp
002159dfsub rsp, 8
002159e3call fn_f4710
002159e8test eax, eax
002159eajne 0x215a20
002159ecmov rax, [rip+0x163195]
002159f3mov rdi, rbp
002159f6movq x0, [rax]
002159famovq x1, rax
002159ffpunpcklqdq x0, x1
00215a03movaps [rbx], x0
00215a06mov rdx, [rax]
00215a09mov [rdx+8], rbx
00215a0dmov [rax], rbx
00215a10call fn_f47c0
00215a15test eax, eax
00215a17jne 0x215a2e
00215a19add rsp, 8
00215a1dpop rbx
00215a1epop rbp
00215a1fret
00215a20
00215a20loc_215a20:
00215a20mov esi, eax
00215a22lea rdi, [rip+0x19ae6]
00215a29call caml_plat_fatal_error
00215a2e
00215a2eloc_215a2e:
00215a2emov esi, eax
00215a30lea rdi, [rip+0x19ae3]
00215a37call caml_plat_fatal_error
002159d0

00215a3c
00215a3c // align 0x10

00215a40
00215a40caml_modify:
00215a40mov rax, [rip+0x162b7d]
00215a47push r12
00215a49push rbp
00215a4amov rbp, rsi
00215a4dpush rbx
00215a4emov rbx, rdi
00215a51mov rsi, [rdi]
00215a54cmp rdi, rax
00215a57jae 0x215a70
00215a59cmp [rip+0x162b6c], rdi
00215a60jae 0x215a70
00215a62mov [rbx], rbp
00215a65pop rbx
00215a66
00215a66loc_215a66:
00215a66pop rbp
00215a67pop r12
00215a69ret
00215a6adb 0x5d
00215a6bpop r12
00215a6dret
00215a6e
00215a6e 66 90 f.
00215a70
00215a70loc_215a70:
00215a70test sil, 1
00215a74jne 0x215a96
00215a76cmp rsi, rax
00215a79jae 0x215a84
00215a7bcmp [rip+0x162b4e], rsi
00215a82jb 0x215a66
00215a84
00215a84loc_215a84:
00215a84mov rax, [rip+0x6055d]
00215a8bxor edx, edx
00215a8dmov rdi, [rax]
00215a91call caml_darken
00215a96
00215a96loc_215a96:
00215a96test bpl, 1
00215a9ajne 0x215a66
00215a9ccmp rbp, [rip+0x162b25]
00215aa3jae 0x215a66
00215aa5cmp [rip+0x162b24], rbp
00215aacjae 0x215a66
00215aaemov rax, [rip+0x60533]
00215ab5mov rax, [rax]
00215ab9mov r12, [rax+96]
00215abdmov rax, [r12+24]
00215ac2cmp rax, [r12+32]
00215ac7jae 0x215ae0
00215ac9
00215ac9loc_215ac9:
00215ac9lea rdx, [rax+8]
00215acdmov [r12+24], rdx
00215ad2mov [rax], rbx
00215ad5jmp 0x215a66
00215ad7
00215ad7 66 0f 1f 84 00 00 00 00 00 f........
00215ae0
00215ae0loc_215ae0:
00215ae0mov rdi, r12
00215ae3call caml_realloc_ref_table
00215ae8mov rax, [r12+24]
00215aedjmp 0x215ac9
00215a40

00215aef
00215aef // align 0x10

00215af0
00215af0caml_alloc_dependent_memory:
00215af0mov rax, [rip+0x604ed]
00215af7shr rdi, 3
00215afbmovq x0, rdi
00215b00mov rax, [rax]
00215b04punpcklqdq x0, x0
00215b08movdqu x1, [rax+328]
00215b10paddq x0, x1
00215b14movups [rax+328], x0
00215b1bret
00215b1cdb 0x01
00215b1dadd [rax], al
00215b1fret
00215af0

00215b20
00215b20caml_free_dependent_memory:
00215b20mov rax, [rip+0x604bd]
00215b27shr rdi, 3
00215b2bmov rdx, [rax]
00215b2fmov rcx, [rdx+328]
00215b36mov rax, rcx
00215b39sub rax, rdi
00215b3ccmp rcx, rdi
00215b3fmov ecx, 0
00215b44cmovb rax, rcx
00215b48mov [rdx+328], rax
00215b4fret
00215b50db 0x01
00215b51add [rax], al
00215b53ret
00215b20

00215b54
00215b54 // align 0x10

00215b60
00215b60caml_adjust_gc_speed:
00215b60push rbx
00215b61mov rbx, rdi
00215b64test rsi, rsi
00215b67je 0x215c08
00215b6dcmp rsi, rbx
00215b70mov rax, [rip+0x6046d]
00215b77cmovbe rbx, rsi
00215b7bmov rax, [rax]
00215b7fmov rdi, rbx
00215b82test rbx, rbx
00215b85js 0x215bc8
00215b87pxor x0, x0
00215b8bcvtsi2sd x0, rbx
00215b90test rsi, rsi
00215b93js 0x215be6
00215b95pxor x1, x1
00215b99
00215b99loc_215b99:
00215b99cvtsi2sd x1, rsi
00215b9edivsd x0, x1
00215ba2
00215ba2loc_215ba2:
00215ba2addsd x0, [rax+312]
00215baacomisd x0, [rip+0x14c9a]
00215bb2movsd_xmm [rax+312], x0
00215bbaja 0x215c18
00215bbcpop rbx
00215bbdret
00215bbedb 0x77
00215bbfpop rax
00215bc0pop rbx
00215bc1ret
00215bc2
00215bc2 66 0f 1f 44 00 00 f..D..
00215bc8
00215bc8loc_215bc8:
00215bc8mov rdx, rbx
00215bcband edi, 1
00215bcepxor x0, x0
00215bd2shr rdx, 1
00215bd5or rdx, rdi
00215bd8cvtsi2sd x0, rdx
00215bddaddsd x0, x0
00215be1test rsi, rsi
00215be4jns 0x215b99
00215be6
00215be6loc_215be6:
00215be6mov rdx, rsi
00215be9and esi, 1
00215becpxor x1, x1
00215bf0shr rdx, 1
00215bf3or rdx, rsi
00215bf6cvtsi2sd x1, rdx
00215bfbaddsd x1, x1
00215bffjmp 0x215ba2
00215c01
00215c01 0f 1f 80 00 00 00 00 .......
00215c08
00215c08loc_215c08:
00215c08call caml_custom_get_max_major
00215c0dmov rsi, rax
00215c10jmp 0x215b71
00215c15
00215c15 0f 1f 00 ...
00215c18
00215c18loc_215c18:
00215c18mov edi, 7
00215c1dmov esi, 1
00215c22call caml_ev_counter
00215c27mov edi, 1
00215c2cpop rbx
00215c2djmp 0x21fc90
00215b60

00215c32
00215c32 // align 0x10

00215c40
00215c40caml_adjust_minor_gc_speed:
00215c40mov rax, [rip+0x6039d]
00215c47mov rax, [rax]
00215c4btest rdi, rdi
00215c4ejs 0x215cc8
00215c50pxor x0, x0
00215c54cvtsi2sd x0, rdi
00215c59test rsi, rsi
00215c5cmov edx, 1
00215c61cmove rsi, rdx
00215c65test rsi, rsi
00215c68js 0x215ca8
00215c6apxor x1, x1
00215c6ecvtsi2sd x1, rsi
00215c73divsd x0, x1
00215c77
00215c77loc_215c77:
00215c77addsd x0, [rax+320]
00215c7fcomisd x0, [rip+0x14b7d]
00215c87movsd_xmm [rax+320], x0
00215c8fja 0x215ca0
00215c91ret
00215c92db 0x00
00215c93ja 0x215ca0
00215c95ret
00215c96
00215c96 66 2e 0f 1f 84 00 00 00 00 00 f.........
00215ca0
00215ca0loc_215ca0:
00215ca0jmp 0x21fcd0
00215ca5
00215ca5 0f 1f 00 ...
00215ca8
00215ca8loc_215ca8:
00215ca8mov rdx, rsi
00215caband esi, 1
00215caepxor x1, x1
00215cb2shr rdx, 1
00215cb5or rdx, rsi
00215cb8cvtsi2sd x1, rdx
00215cbdaddsd x1, x1
00215cc1jmp 0x215c77
00215cc3
00215cc3 0f 1f 44 00 00 ..D..
00215cc8
00215cc8loc_215cc8:
00215cc8mov rdx, rdi
00215ccband edi, 1
00215ccepxor x0, x0
00215cd2shr rdx, 1
00215cd5or rdx, rdi
00215cd8cvtsi2sd x0, rdx
00215cddaddsd x0, x0
00215ce1jmp 0x215c5d
00215c40

00215ce6
00215ce6 // align 0x10

00215cf0
00215cf0caml_initialize:
00215cf0push rbp
00215cf1push rbx
00215cf2mov rbx, rdi
00215cf5sub rsp, 8
00215cf9mov [rdi], rsi
00215cfcmov rax, [rip+0x1628c1]
00215d03cmp rdi, rax
00215d06jae 0x215d20
00215d08cmp [rip+0x1628bd], rdi
00215d0fjae 0x215d20
00215d11add rsp, 8
00215d15
00215d15loc_215d15:
00215d15pop rbx
00215d16pop rbp
00215d17ret
00215d18db 0x08
00215d19pop rbx
00215d1apop rbp
00215d1bret
00215d1c
00215d1c 0f 1f 40 00 ..@.
00215d20
00215d20loc_215d20:
00215d20test sil, 1
00215d24jne 0x215d15
00215d26cmp rsi, rax
00215d29jae 0x215d15
00215d2bcmp [rip+0x16289e], rsi
00215d32jae 0x215d15
00215d34mov rax, [rip+0x602ad]
00215d3bmov rax, [rax]
00215d3fmov rbp, [rax+96]
00215d43mov rax, [rbp+24]
00215d47cmp rax, [rbp+32]
00215d4bjae 0x215d60
00215d4d
00215d4dloc_215d4d:
00215d4dlea rdx, [rax+8]
00215d51mov [rbp+24], rdx
00215d55mov [rax], rbx
00215d58jmp 0x215d15
00215d5a
00215d5a 66 0f 1f 44 00 00 f..D..
00215d60
00215d60loc_215d60:
00215d60mov rdi, rbp
00215d63call caml_realloc_ref_table
00215d68mov rax, [rbp+24]
00215d6cjmp 0x215d4d
00215cf0

00215d6e
00215d6e // align 0x10

00215d70
00215d70caml_atomic_cas_field:
00215d70push rbp
00215d71mov rax, rdx
00215d74lea rbp, [rdi+8*rsi]
00215d78push rbx
00215d79mov rbx, rcx
00215d7csub rsp, 8
00215d80mov rdx, [rip+0x162855]
00215d87cmp rdx, 1
00215d8bjne 0x215db0
00215d8dmov rdx, [rbp]
00215d91cmp rdx, rax
00215d94je 0x215e40
00215d9aadd rsp, 8
00215d9e
00215d9eloc_215d9e:
00215d9exor eax, eax
00215da0pop rbx
00215da1pop rbp
00215da2ret
00215da3db 0xc0
00215da4pop rbx
00215da5pop rbp
00215da6ret
00215da7
00215da7 66 0f 1f 84 00 00 00 00 00 f........
00215db0
00215db0loc_215db0:
00215db0lock cmpxchg [rbp], rcx
00215db6jne 0x215d9e
00215db8mov rdx, [rip+0x162809]
00215dbfcmp rdi, rdx
00215dc2jae 0x215dcd
00215dc4
00215dc4loc_215dc4:
00215dc4cmp [rip+0x162805], rdi
00215dcbjb 0x215e2f
00215dcd
00215dcdloc_215dcd:
00215dcdtest al, 1
00215dcfjne 0x215df4
00215dd1cmp rax, rdx
00215dd4jae 0x215ddf
00215dd6cmp [rip+0x1627f3], rax
00215dddjb 0x215e2f
00215ddf
00215ddfloc_215ddf:
00215ddfmov rdx, [rip+0x60202]
00215de6mov rsi, rax
00215de9mov rdi, [rdx]
00215dedxor edx, edx
00215defcall caml_darken
00215df4
00215df4loc_215df4:
00215df4test bl, 1
00215df7jne 0x215e2f
00215df9cmp rbx, [rip+0x1627c8]
00215e00jae 0x215e2f
00215e02cmp [rip+0x1627c7], rbx
00215e09jae 0x215e2f
00215e0bmov rax, [rip+0x601d6]
00215e12mov rax, [rax]
00215e16mov rbx, [rax+96]
00215e1amov rax, [rbx+24]
00215e1ecmp rax, [rbx+32]
00215e22jae 0x215e60
00215e24
00215e24loc_215e24:
00215e24lea rdx, [rax+8]
00215e28mov [rbx+24], rdx
00215e2cmov [rax], rbp
00215e2f
00215e2floc_215e2f:
00215e2fadd rsp, 8
00215e33mov eax, 1
00215e38pop rbx
00215e39pop rbp
00215e3aret
00215e3b
00215e3b 0f 1f 44 00 00 ..D..
00215e40
00215e40loc_215e40:
00215e40mov [rbp], rcx
00215e44mov rdx, [rip+0x16277d]
00215e4bcmp rdi, rdx
00215e4ejae 0x215dcd
00215e54jmp 0x215dc4
00215e59
00215e59 0f 1f 80 00 00 00 00 .......
00215e60
00215e60loc_215e60:
00215e60mov rdi, rbx
00215e63call caml_realloc_ref_table
00215e68mov rax, [rbx+24]
00215e6cjmp 0x215e24
00215d70

00215e6e
00215e6e // align 0x10

00215e70
00215e70caml_atomic_load:
00215e70mov rax, [rip+0x162765]
00215e77cmp rax, 1
00215e7bjne 0x215e88
00215e7dmov rax, [rdi]
00215e80ret
00215e81db 0x48
00215e82mov eax, [rdi]
00215e84ret
00215e85
00215e85 0f 1f 00 ...
00215e88
00215e88loc_215e88:
00215e88mov rax, [rdi]
00215e8bret
00215e70

00215e8c
00215e8c // align 0x10

00215e90
00215e90caml_atomic_exchange:
00215e90push r12
00215e92push rbp
00215e93mov rbp, rsi
00215e96push rbx
00215e97mov rax, [rip+0x16273e]
00215e9emov rbx, rdi
00215ea1cmp rax, 1
00215ea5jne 0x215f40
00215eabmov r12, [rdi]
00215eaemov [rbx], rsi
00215eb1mov rax, [rip+0x16270c]
00215eb8cmp rbx, rax
00215ebbjae 0x215ed8
00215ebdcmp [rip+0x162708], rbx
00215ec4jae 0x215ed8
00215ec6mov rax, r12
00215ec9pop rbx
00215eca
00215ecaloc_215eca:
00215ecapop rbp
00215ecbpop r12
00215ecdret
00215ecedb 0x5d
00215ecfpop r12
00215ed1ret
00215ed2
00215ed2 66 0f 1f 44 00 00 f..D..
00215ed8
00215ed8loc_215ed8:
00215ed8test r12b, 1
00215edcjne 0x215f01
00215edecmp r12, rax
00215ee1jae 0x215eec
00215ee3cmp [rip+0x1626e6], r12
00215eeajb 0x215eca
00215eec
00215eecloc_215eec:
00215eecmov rax, [rip+0x600f5]
00215ef3xor edx, edx
00215ef5mov rsi, r12
00215ef8mov rdi, [rax]
00215efccall caml_darken
00215f01
00215f01loc_215f01:
00215f01test bpl, 1
00215f05jne 0x215eca
00215f07cmp rbp, [rip+0x1626ba]
00215f0ejae 0x215eca
00215f10cmp [rip+0x1626b9], rbp
00215f17jae 0x215eca
00215f19mov rax, [rip+0x600c8]
00215f20mov rax, [rax]
00215f24mov rbp, [rax+96]
00215f28mov rax, [rbp+24]
00215f2ccmp rax, [rbp+32]
00215f30jae 0x215f50
00215f32
00215f32loc_215f32:
00215f32lea rdx, [rax+8]
00215f36mov [rbp+24], rdx
00215f3amov [rax], rbx
00215f3djmp 0x215eca
00215f3f
00215f3f 90 .
00215f40
00215f40loc_215f40:
00215f40mov r12, rsi
00215f43xchg [rdi], r12
00215f46jmp 0x215eb5
00215f4b
00215f4b 0f 1f 44 00 00 ..D..
00215f50
00215f50loc_215f50:
00215f50mov rdi, rbp
00215f53call caml_realloc_ref_table
00215f58mov rax, [rbp+24]
00215f5cjmp 0x215f32
00215e90

00215f5e
00215f5e // align 0x10

00215f60
00215f60caml_atomic_cas:
00215f60push rbp
00215f61mov rbp, rdx
00215f64push rbx
00215f65mov rbx, rdi
00215f68sub rsp, 8
00215f6cmov rdx, [rip+0x162669]
00215f73cmp rdx, 1
00215f77jne 0x215f98
00215f79cmp [rdi], rsi
00215f7cje 0x216030
00215f82add rsp, 8
00215f86
00215f86loc_215f86:
00215f86mov eax, 1
00215f8bpop rbx
00215f8cpop rbp
00215f8dret
00215f8edb 0x00
00215f8fpop rbx
00215f90pop rbp
00215f91ret
00215f92
00215f92 66 0f 1f 44 00 00 f..D..
00215f98
00215f98loc_215f98:
00215f98mov rax, rsi
00215f9block cmpxchg [rdi], rbp
00215fa0jne 0x215f86
00215fa2mov rdx, [rip+0x16261f]
00215fa9cmp rdi, rdx
00215facjae 0x215fc8
00215faecmp [rip+0x16261b], rdi
00215fb5jae 0x215fc8
00215fb7
00215fb7loc_215fb7:
00215fb7add rsp, 8
00215fbbmov eax, 3
00215fc0pop rbx
00215fc1pop rbp
00215fc2ret
00215fc3
00215fc3 0f 1f 44 00 00 ..D..
00215fc8
00215fc8loc_215fc8:
00215fc8test al, 1
00215fcajne 0x215fef
00215fcccmp rax, rdx
00215fcfjae 0x215fda
00215fd1cmp [rip+0x1625f8], rax
00215fd8jb 0x215fb7
00215fda
00215fdaloc_215fda:
00215fdamov rdx, [rip+0x60007]
00215fe1mov rsi, rax
00215fe4mov rdi, [rdx]
00215fe8xor edx, edx
00215feacall caml_darken
00215fef
00215fefloc_215fef:
00215feftest bpl, 1
00215ff3jne 0x215fb7
00215ff5cmp rbp, [rip+0x1625cc]
00215ffcjae 0x215fb7
00215ffecmp [rip+0x1625cb], rbp
00216005jae 0x215fb7
00216007mov rax, [rip+0x5ffda]
0021600emov rax, [rax]
00216012mov rbp, [rax+96]
00216016mov rax, [rbp+24]
0021601acmp rax, [rbp+32]
0021601ejae 0x216080
00216020
00216020loc_216020:
00216020lea rdx, [rax+8]
00216024mov [rbp+24], rdx
00216028mov [rax], rbx
0021602bjmp 0x215fb7
0021602d
0021602d 0f 1f 00 ...
00216030
00216030loc_216030:
00216030mov [rdi], rbp
00216033mov rdx, [rip+0x16258e]
0021603acmp rdi, rdx
0021603djb 0x216070
0021603f
0021603floc_21603f:
0021603ftest sil, 1
00216043jne 0x215fef
00216045cmp rsi, rdx
00216048jae 0x216057
0021604acmp [rip+0x16257f], rsi
00216051jb 0x215fb7
00216057
00216057loc_216057:
00216057mov rdx, [rip+0x5ff8a]
0021605emov rdi, [rdx]
00216062xor edx, edx
00216064call caml_darken
00216069jmp 0x215fef
0021606b
0021606b 0f 1f 44 00 00 ..D..
00216070
00216070loc_216070:
00216070cmp [rip+0x162559], rdi
00216077jb 0x215fb7
0021607djmp 0x21603f
0021607f
0021607f 90 .
00216080
00216080loc_216080:
00216080mov rdi, rbp
00216083call caml_realloc_ref_table
00216088mov rax, [rbp+24]
0021608cjmp 0x216020
00215f60

0021608e
0021608e // align 0x10

00216090
00216090caml_atomic_fetch_add:
00216090mov rax, [rip+0x162545]
00216097sar rsi, 1
0021609acmp rax, 1
0021609ejne 0x2160c0
002160a0mov rax, [rdi]
002160a3mov rdx, rax
002160a6sar rdx, 1
002160a9add rdx, rsi
002160aclea rdx, [rdx+rdx+1]
002160b1mov [rdi], rdx
002160b4ret
002160b5db 0x48
002160b6mov [rdi], edx
002160b8ret
002160b9
002160b9 0f 1f 80 00 00 00 00 .......
002160c0
002160c0loc_2160c0:
002160c0lea rax, [rsi+rsi]
002160c4lock xadd [rdi], rax
002160c9ret
00216090

002160ca
002160ca // align 0x10

002160d0
002160d0caml_set_fields:
002160d0push r13
002160d2lea r13, [rdi-8]
002160d6push r12
002160d8mov r12, rsi
002160dbpush rbp
002160dcmov rbp, rdi
002160dfpush rbx
002160e0xor ebx, ebx
002160e2sub rsp, 8
002160e6jmp 0x216100
002160e8db 0xec
002160e9or bl, ch
002160ebdb 0x14
002160ec
002160ec 0f 1f 40 00 ..@.
002160f0
002160f0loc_2160f0:
002160f0lea rdi, [rbp+8*rdx]
002160f5mov rsi, r12
002160f8add ebx, 1
002160fbcall caml_modify
00216100
00216100loc_216100:
00216100mov rax, [r13]
00216104movsxd rdx, ebx
00216107shr rax, 10
0021610bcmp rdx, rax
0021610ejb 0x2160f0
00216110add rsp, 8
00216114pop rbx
00216115pop rbp
00216116pop r12
00216118pop r13
0021611aret
002160d0

0021611b
0021611b // align 0x10

00216120
00216120caml_alloc_shr:
00216120mov rax, [rip+0x5febd]
00216127push r12
00216129push rbp
0021612apush rbx
0021612bmov r12, [rax]
0021612ftest r12, r12
00216132je 0x216200
00216138mov rbp, rdi
0021613bmov rdi, [r12+280]
00216143mov edx, esi
00216145xor ecx, ecx
00216147mov rsi, rbp
0021614acall caml_shared_try_alloc
0021614fmov rbx, rax
00216152test rax, rax
00216155je 0x2161f8
0021615bmov eax, 1
00216160mov rdx, [r12+272]
00216168movq x1, rbp
0021616dmovdqu x2, [r12+128]
00216177movq x0, rax
0021617cpunpcklqdq x1, x1
00216180mov rax, 0xcccccccccccccccd
0021618apunpcklqdq x0, x0
0021618emul rdx
00216191paddq x0, x2
00216195paddq x0, x1
00216199movups [r12+128], x0
002161a2movhlps x3, x0
002161a5shr rdx, 2
002161a9movq rcx, x3
002161aecmp rdx, rcx
002161b1jb 0x2161d8
002161b3add rbx, 8
002161b7
002161b7loc_2161b7:
002161b7lea rdx, [rbp+1]
002161bbmov rsi, rbp
002161bexor ecx, ecx
002161c0mov rdi, rbx
002161c3call caml_memprof_sample_block
002161c8mov rax, rbx
002161cbpop rbx
002161ccpop rbp
002161cdpop r12
002161cfret
002161d0db 0x5d
002161d1pop r12
002161d3ret
002161d4
002161d4 0f 1f 40 00 ..@.
002161d8
002161d8loc_2161d8:
002161d8mov esi, 1
002161ddmov edi, 6
002161e2call caml_ev_counter
002161e7mov edi, 1
002161eccall caml_request_major_slice
002161f1jmp 0x2161b7
002161f3
002161f3 0f 1f 44 00 00 ..D..
002161f8
002161f8loc_2161f8:
002161f8call caml_raise_out_of_memory
002161fdnop [rax]
00216200
00216200loc_216200:
00216200call caml_bad_caml_state
00216120

00216205
00216205 // align 0x10

00216210
00216210caml_alloc_shr_reserved:
00216210mov rax, [rip+0x5fdcd]
00216217push r12
00216219push rbp
0021621apush rbx
0021621bmov r12, [rax]
0021621ftest r12, r12
00216222je 0x2162f0
00216228mov rbp, rdi
0021622bmov rdi, [r12+280]
00216233mov rcx, rdx
00216236mov edx, esi
00216238mov rsi, rbp
0021623bcall caml_shared_try_alloc
00216240mov rbx, rax
00216243test rax, rax
00216246je 0x2162e8
0021624cmov eax, 1
00216251mov rdx, [r12+272]
00216259movq x1, rbp
0021625emovdqu x2, [r12+128]
00216268movq x0, rax
0021626dpunpcklqdq x1, x1
00216271mov rax, 0xcccccccccccccccd
0021627bpunpcklqdq x0, x0
0021627fmul rdx
00216282paddq x0, x2
00216286paddq x0, x1
0021628amovups [r12+128], x0
00216293movhlps x3, x0
00216296shr rdx, 2
0021629amovq rcx, x3
0021629fcmp rdx, rcx
002162a2jb 0x2162c8
002162a4add rbx, 8
002162a8
002162a8loc_2162a8:
002162a8lea rdx, [rbp+1]
002162acmov rsi, rbp
002162afxor ecx, ecx
002162b1mov rdi, rbx
002162b4call caml_memprof_sample_block
002162b9mov rax, rbx
002162bcpop rbx
002162bdpop rbp
002162bepop r12
002162c0ret
002162c1db 0x5d
002162c2pop r12
002162c4ret
002162c5
002162c5 0f 1f 00 ...
002162c8
002162c8loc_2162c8:
002162c8mov esi, 1
002162cdmov edi, 6
002162d2call caml_ev_counter
002162d7mov edi, 1
002162dccall caml_request_major_slice
002162e1jmp 0x2162a8
002162e3
002162e3 0f 1f 44 00 00 ..D..
002162e8
002162e8loc_2162e8:
002162e8call caml_raise_out_of_memory
002162ednop [rax]
002162f0
002162f0loc_2162f0:
002162f0call caml_bad_caml_state
00216210

002162f5
002162f5 // align 0x10

00216300
00216300caml_alloc_shr_noexc:
00216300push r13
00216302push r12
00216304push rbp
00216305push rbx
00216306sub rsp, 8
0021630amov rax, [rip+0x5fcd3]
00216311mov rbp, [rax]
00216315test rbp, rbp
00216318je 0x2163e0
0021631emov rbx, rdi
00216321mov rdi, [rbp+280]
00216328mov edx, esi
0021632axor ecx, ecx
0021632cmov rsi, rbx
0021632fxor r13l, r13l
00216332call caml_shared_try_alloc
00216337mov r12, rax
0021633atest rax, rax
0021633dje 0x2163ac
0021633fmov eax, 1
00216344movdqu x2, [rbp+128]
0021634cmovq x1, rbx
00216351mov rdx, [rbp+272]
00216358movq x0, rax
0021635dpunpcklqdq x1, x1
00216361mov rax, 0xcccccccccccccccd
0021636bpunpcklqdq x0, x0
0021636fmul rdx
00216372paddq x0, x2
00216376paddq x0, x1
0021637amovhlps x3, x0
0021637dshr rdx, 2
00216381movups [rbp+128], x0
00216388movq rcx, x3
0021638dcmp rdx, rcx
00216390jb 0x2163c0
00216392lea r13, [r12+8]
00216397lea rdx, [rbx+1]
0021639bxor ecx, ecx
0021639dmov rsi, rbx
002163a0mov rdi, r13
002163a3call caml_memprof_sample_block
002163a8add rsp, 8
002163ac
002163acloc_2163ac:
002163acmov rax, r13
002163afpop rbx
002163b0pop rbp
002163b1pop r12
002163b3pop r13
002163b5ret
002163b6db 0x5c
002163b7pop r13
002163b9ret
002163ba
002163ba 66 0f 1f 44 00 00 f..D..
002163c0
002163c0loc_2163c0:
002163c0mov esi, 1
002163c5mov edi, 6
002163cacall caml_ev_counter
002163cfmov edi, 1
002163d4call caml_request_major_slice
002163d9jmp 0x216396
002163db
002163db 0f 1f 44 00 00 ..D..
002163e0
002163e0loc_2163e0:
002163e0call caml_bad_caml_state
00216300

002163e5
002163e5 // align 0x10

002163f0
002163f0caml_stat_create_pool:
002163f0cmp [rip+0x16278c], 0
002163f8je 0x216400
002163faret
002163fbdb 0x00
002163fcje 0x216400
002163feret
002163ff
002163ff 90 .
00216400
00216400loc_216400:
00216400sub rsp, 8
00216404mov edi, 16
00216409call fn_f4250
0021640emovq x0, rax
00216413mov [rip+0x16276e], rax
0021641apunpcklqdq x0, x0
0021641etest rax, rax
00216421je 0x21642b
00216423movaps [rax], x0
00216426add rsp, 8
0021642aret
0021642b
0021642bloc_21642b:
0021642blea rdi, [rip+0x18de2]
00216432call caml_fatal_error
002163f0

00216437
00216437 // align 0x10

00216440
00216440caml_stat_destroy_pool:
00216440push rbp
00216441lea rbp, [rip+0x162714]
00216448push rbx
00216449mov rdi, rbp
0021644csub rsp, 8
00216450call fn_f4710
00216455test eax, eax
00216457jne 0x2164aa
00216459mov rbx, [rip+0x162724]
00216460test rbx, rbx
00216463je 0x216497
00216465mov rax, [rbx+8]
00216469mov [rax], 0
00216470nop [rax+rax]
0021647bnop
0021647cmov rdi, rbx
0021647fmov rbx, [rbx]
00216482call fn_f4370
00216487mov [rip+0x1626f6], rbx
0021648etest rbx, rbx
00216491jne 0x216480
00216493mov rdi, rbp
00216496call fn_f47c0
0021649btest eax, eax
0021649djne 0x2164b8
0021649fadd rsp, 8
002164a3pop rbx
002164a4pop rbp
002164a5ret
002164a6mov esi, eax
002164a8lea rdi, [rip+0x1905c]
002164afcall caml_plat_fatal_error
002164b4mov esi, eax
002164b6lea rdi, [rip+0x19059]
002164bdcall caml_plat_fatal_error
002164c2db 0x0a
002164c3push rbp
002164c4add [rax], al
00216440

002164c6
002164c6 // align 0x10

002164d0
002164d0caml_stat_alloc_noexc:
002164d0cmp [rip+0x1626ac], 0
002164d8je 0x216508
002164dapush rbx
002164dbadd rdi, 16
002164dfcall fn_f4250
002164e4mov rbx, rax
002164e7test rax, rax
002164eaje 0x2164fc
002164ecmov rdi, rax
002164efadd rbx, 16
002164f3call fn_2159d0
002164f8mov rax, rbx
002164fbpop rbx
002164fc
002164fcloc_2164fc:
002164fcret
002164fddb 0x89
002164fefcomp [rbx-61]
00216501
00216501 0f 1f 80 00 00 00 00 .......
00216508
00216508loc_216508:
00216508jmp 0xf4250
002164d0

0021650d
0021650d // align 0x10

00216510
00216510caml_stat_alloc_aligned_noexc:
00216510cmp [rip+0x16266c], 0
00216518push r12
0021651amov r12, rdx
0021651dpush rbp
0021651emovsxd rbp, esi
00216521push rbx
00216522je 0x216568
00216524add rdi, 4112
0021652bcall fn_f4250
00216530mov rbx, rax
00216533test rax, rax
00216536je 0x21657c
00216538mov rdi, rax
0021653badd rbx, 16
0021653fcall fn_2159d0
00216544mov [r12], rbx
00216548
00216548loc_216548:
00216548add rbx, rbp
0021654band rbx, -4096
00216552lea rax, [rbx+4096]
00216559sub rax, rbp
0021655cpop rbx
0021655dpop rbp
0021655epop r12
00216560
00216560loc_216560:
00216560ret
00216561db 0x5d
00216562pop r12
00216564ret
00216565
00216565 0f 1f 00 ...
00216568
00216568loc_216568:
00216568add rdi, 4096
0021656fcall fn_f4250
00216574mov rbx, rax
00216577test rax, rax
0021657ajne 0x216548
0021657c
0021657cloc_21657c:
0021657cxor eax, eax
0021657ejmp 0x216560
00216510

00216580
00216580caml_stat_alloc_aligned:
00216580push r13
00216582mov r13, rdx
00216585push r12
00216587movsxd r12, esi
0021658apush rbp
0021658bmov rbp, rdi
0021658epush rbx
0021658fsub rsp, 8
00216593cmp [rip+0x1625e9], 0
0021659bje 0x216600
0021659dlea rdi, [rdi+4112]
002165a4call fn_f4250
002165a9mov rbx, rax
002165actest rax, rax
002165afje 0x216614
002165b1mov rdi, rax
002165b4add rbx, 16
002165b8call fn_2159d0
002165bdmov [r13], rbx
002165c1
002165c1loc_2165c1:
002165c1add rbx, r12
002165c4and rbx, -4096
002165cblea rax, [rbx+4096]
002165d2mov rdx, rax
002165d5sub rdx, r12
002165d8cmp r12, rax
002165dbsete al
002165detest rbp, rbp
002165e1je 0x2165eb
002165e3test al, al
002165e5jne 0x21661d
002165e7add rsp, 8
002165eb
002165ebloc_2165eb:
002165ebmov rax, rdx
002165eepop rbx
002165efpop rbp
002165f0pop r12
002165f2pop r13
002165f4ret
002165f5db 0x5c
002165f6pop r13
002165f8ret
002165f9
002165f9 0f 1f 80 00 00 00 00 .......
00216600
00216600loc_216600:
00216600lea rdi, [rdi+4096]
00216607call fn_f4250
0021660cmov rbx, rax
0021660ftest rax, rax
00216612jne 0x2165c1
00216614
00216614loc_216614:
00216614mov eax, 1
00216619xor edx, edx
0021661bjmp 0x2165e2
0021661d
0021661dloc_21661d:
0021661dcall caml_raise_out_of_memory
00216580

00216622
00216622 // align 0x10

00216630
00216630caml_stat_alloc:
00216630push rbp
00216631mov rbp, rdi
00216634push rbx
00216635sub rsp, 8
00216639cmp [rip+0x162543], 0
00216641je 0x216670
00216643lea rdi, [rdi+16]
00216647call fn_f4250
0021664cmov rbx, rax
0021664ftest rax, rax
00216652je 0x21667d
00216654mov rdi, rax
00216657add rbx, 16
0021665bcall fn_2159d0
00216660add rsp, 8
00216664
00216664loc_216664:
00216664mov rax, rbx
00216667pop rbx
00216668pop rbp
00216669ret
0021666adb 0xd8
0021666bpop rbx
0021666cpop rbp
0021666dret
0021666e
0021666e 66 90 f.
00216670
00216670loc_216670:
00216670call fn_f4250
00216675mov rbx, rax
00216678test rax, rax
0021667bjne 0x216664
0021667d
0021667dloc_21667d:
0021667dtest rbp, rbp
00216680je 0x216664
00216682call caml_raise_out_of_memory
00216630

00216687
00216687 // align 0x10

00216690
00216690caml_stat_free:
00216690cmp [rip+0x1624ec], 0
00216698push r12
0021669apush rbp
0021669bpush rbx
0021669cmov rbx, rdi
0021669fje 0x2166f0
002166a1test rdi, rdi
002166a4je 0x216700
002166a6lea r12, [rip+0x1624af]
002166adlea rbp, [rdi-16]
002166b1mov rdi, r12
002166b4call fn_f4710
002166b9test eax, eax
002166bbjne 0x216705
002166bdmov rdx, [rbx-8]
002166c1mov rax, [rbx-16]
002166c5mov rdi, r12
002166c8mov [rdx], rax
002166cbmov rdx, [rbx-8]
002166cfmov [rax+8], rdx
002166d3call fn_f47c0
002166d8test eax, eax
002166dajne 0x216713
002166dcpop rbx
002166ddmov rdi, rbp
002166e0pop rbp
002166e1pop r12
002166e3jmp 0xf4370
002166e8db 0x84
002166e9fsub f5, f0
002166ebdb 0xff
002166ec
002166ec 0f 1f 40 00 ..@.
002166f0
002166f0loc_2166f0:
002166f0pop rbx
002166f1pop rbp
002166f2pop r12
002166f4jmp 0xf4370
002166f9
002166f9 0f 1f 80 00 00 00 00 .......
00216700
00216700loc_216700:
00216700pop rbx
00216701pop rbp
00216702pop r12
00216704ret
00216705
00216705loc_216705:
00216705mov esi, eax
00216707lea rdi, [rip+0x18e01]
0021670ecall caml_plat_fatal_error
00216713
00216713loc_216713:
00216713mov esi, eax
00216715lea rdi, [rip+0x18dfe]
0021671ccall caml_plat_fatal_error
00216690

00216721
00216721 // align 0x10

00216730
00216730caml_stat_resize_noexc:
00216730push r13
00216732push r12
00216734push rbp
00216735mov rbp, rsi
00216738push rbx
00216739sub rsp, 8
0021673dmov rax, [rip+0x162440]
00216744test rdi, rdi
00216747je 0x2167d0
0021674dmov rbx, rdi
00216750test rax, rax
00216753je 0x2167c0
00216755lea r13, [rip+0x162400]
0021675clea r12, [rdi-16]
00216760mov rdi, r13
00216763call fn_f4710
00216768test eax, eax
0021676ajne 0x216810
00216770mov rdx, [rbx-8]
00216774mov rax, [rbx-16]
00216778mov rdi, r13
0021677bmov [rdx], rax
0021677emov rdx, [rbx-8]
00216782mov [rax+8], rdx
00216786call fn_f47c0
0021678btest eax, eax
0021678djne 0x216802
0021678flea rsi, [rbp+16]
00216793mov rdi, r12
00216796call fn_f4720
0021679bmov rbx, rax
0021679etest rax, rax
002167a1je 0x21681e
002167a3mov rdi, rbx
002167a6call fn_2159d0
002167ablea rax, [rbx+16]
002167afadd rsp, 8
002167b3
002167b3loc_2167b3:
002167b3pop rbx
002167b4pop rbp
002167b5pop r12
002167b7pop r13
002167b9ret
002167badb 0x5c
002167bbpop r13
002167bdret
002167be
002167be 66 90 f.
002167c0
002167c0loc_2167c0:
002167c0add rsp, 8
002167c4pop rbx
002167c5pop rbp
002167c6pop r12
002167c8pop r13
002167cajmp 0xf4720
002167cf
002167cf 90 .
002167d0
002167d0loc_2167d0:
002167d0test rax, rax
002167d3je 0x2167f0
002167d5lea rdi, [rsi+16]
002167d9call fn_f4250
002167demov rbx, rax
002167e1test rax, rax
002167e4jne 0x2167a7
002167e6xor eax, eax
002167e8jmp 0x2167b3
002167ea
002167ea 66 0f 1f 44 00 00 f..D..
002167f0
002167f0loc_2167f0:
002167f0add rsp, 8
002167f4mov rdi, rsi
002167f7pop rbx
002167f8pop rbp
002167f9pop r12
002167fbpop r13
002167fdjmp 0xf4250
00216802
00216802loc_216802:
00216802mov esi, eax
00216804lea rdi, [rip+0x18d0f]
0021680bcall caml_plat_fatal_error
00216810
00216810loc_216810:
00216810mov esi, eax
00216812lea rdi, [rip+0x18cf6]
00216819call caml_plat_fatal_error
0021681e
0021681eloc_21681e:
0021681emov rdi, r12
00216821call fn_2159d0
00216826xor eax, eax
00216828jmp 0x2167b3
00216730

0021682a
0021682a // align 0x10

00216830
00216830caml_stat_resize:
00216830sub rsp, 8
00216834call caml_stat_resize_noexc
00216839test rax, rax
0021683cje 0x216847
0021683eadd rsp, 8
00216842ret
00216843call caml_raise_out_of_memory
00216848db 0xf4
00216849add edi, edi
0021684bdb 0xff
00216830

0021684c
0021684c // align 0x10

00216850
00216850caml_stat_calloc_noexc:
00216850mov rax, rsi
00216853mul rdi
00216856jo 0x2168d0
00216858push rbp
00216859mov rbp, rax
0021685cpush rbx
0021685dsub rsp, 8
00216861cmp [rip+0x16231b], 0
00216869je 0x2168b0
0021686blea rdi, [rax+16]
0021686fcall fn_f4250
00216874mov rbx, rax
00216877test rax, rax
0021687aje 0x2168c0
0021687cmov rdi, rax
0021687fcall fn_2159d0
00216884lea rcx, [rbx+16]
00216888mov rdx, rbp
0021688bmov rdi, rcx
0021688exor esi, esi
00216890call fn_f40e0
00216895add rsp, 8
00216899mov rcx, rax
0021689cpop rbx
0021689dpop rbp
0021689emov rax, rcx
002168a1ret
002168a2db 0x48
002168a3mov eax, ecx
002168a5ret
002168a6
002168a6 66 2e 0f 1f 84 00 00 00 00 00 f.........
002168b0
002168b0loc_2168b0:
002168b0mov rdi, rax
002168b3call fn_f4250
002168b8mov rcx, rax
002168bbtest rax, rax
002168bejne 0x21688c
002168c0
002168c0loc_2168c0:
002168c0add rsp, 8
002168c4xor ecx, ecx
002168c6mov rax, rcx
002168c9pop rbx
002168capop rbp
002168cbret
002168cc
002168cc 0f 1f 40 00 ..@.
002168d0
002168d0loc_2168d0:
002168d0xor eax, eax
002168d2ret
00216850

002168d3
002168d3 // align 0x10

002168e0
002168e0caml_stat_strdup_noexc:
002168e0push r12
002168e2push rbp
002168e3mov rbp, rdi
002168e6push rbx
002168e7call fn_f43a0
002168eccmp [rip+0x162290], 0
002168f4lea r12, [rax+1]
002168f8je 0x216938
002168falea rdi, [rax+17]
002168fecall fn_f4250
00216903mov rbx, rax
00216906test rax, rax
00216909je 0x216948
0021690bmov rdi, rax
0021690eadd rbx, 16
00216912call fn_2159d0
00216917mov rdx, r12
0021691amov rsi, rbp
0021691dmov rdi, rbx
00216920call fn_f47d0
00216925mov rax, rbx
00216928pop rbx
00216929pop rbp
0021692apop r12
0021692cret
0021692ddb 0x5d
0021692epop r12
00216930ret
00216931
00216931 0f 1f 80 00 00 00 00 .......
00216938
00216938loc_216938:
00216938mov rdi, r12
0021693bcall fn_f4250
00216940mov rbx, rax
00216943test rax, rax
00216946jne 0x21691b
00216948
00216948loc_216948:
00216948xor ebx, ebx
0021694amov rax, rbx
0021694dpop rbx
0021694epop rbp
0021694fpop r12
00216951ret
002168e0

00216952
00216952 // align 0x10

00216960
00216960caml_stat_strdup:
00216960push r12
00216962push rbp
00216963mov rbp, rdi
00216966push rbx
00216967call fn_f43a0
0021696ccmp [rip+0x162210], 0
00216974lea r12, [rax+1]
00216978je 0x2169b0
0021697alea rdi, [rax+17]
0021697ecall fn_f4250
00216983mov rbx, rax
00216986test rax, rax
00216989je 0x2169c0
0021698bmov rdi, rax
0021698eadd rbx, 16
00216992call fn_2159d0
00216997mov rdx, r12
0021699amov rsi, rbp
0021699dmov rdi, rbx
002169a0call fn_f47d0
002169a5pop rbx
002169a6pop rbp
002169a7pop r12
002169a9ret
002169aadb 0x5d
002169abpop r12
002169adret
002169ae
002169ae 66 90 f.
002169b0
002169b0loc_2169b0:
002169b0mov rdi, r12
002169b3call fn_f4250
002169b8mov rbx, rax
002169bbtest rax, rax
002169bejne 0x21699b
002169c0
002169c0loc_2169c0:
002169c0call caml_raise_out_of_memory
00216960

002169c5
002169c5 // align 0x10

002169d0
002169d0caml_stat_strconcat:
002169d0push r15
002169d2push r14
002169d4push r13
002169d6push r12
002169d8mov r12l, edi
002169dbpush rbp
002169dcpush rbx
002169ddsub rsp, 88
002169e1mov [rsp+40], rsi
002169e6mov [rsp+48], rdx
002169ebmov [rsp+56], rcx
002169f0mov [rsp+64], r8
002169f5mov [rsp+72], r9
002169famov rax, [0x28]
00216a03mov [rsp+24], rax
00216a08xor eax, eax
00216a0alea rax, [rsp+144]
00216a12mov [rsp], 8
00216a19mov [rsp+8], rax
00216a1elea rax, [rsp+32]
00216a23mov [rsp+16], rax
00216a28test edi, edi
00216a2ajle 0x216b88
00216a30mov rbp, rax
00216a33xor r13l, r13l
00216a36xor ebx, ebx
00216a38jmp 0x216a5f
00216a3adb 0x31
00216a3bfucomi f3
00216a3ddb 0x21
00216a3e
00216a3e 66 90 f.
00216a40
00216a40loc_216a40:
00216a40mov edx, eax
00216a42add eax, 8
00216a45mov [rsp], eax
00216a48add rdx, rbp
00216a4b
00216a4bloc_216a4b:
00216a4bmov rdi, [rdx]
00216a4eadd r13l, 1
00216a52call fn_f43a0
00216a57add rbx, rax
00216a5acmp r12l, r13l
00216a5dje 0x216a80
00216a5f
00216a5floc_216a5f:
00216a5fmov eax, [rsp]
00216a62cmp eax, 47
00216a65jbe 0x216a40
00216a67mov rdx, [rsp+8]
00216a6clea rax, [rdx+8]
00216a70mov [rsp+8], rax
00216a75jmp 0x216a4b
00216a77
00216a77 66 0f 1f 84 00 00 00 00 00 f........
00216a80
00216a80loc_216a80:
00216a80lea rbp, [rbx+1]
00216a84
00216a84loc_216a84:
00216a84cmp [rip+0x1620fc], 0
00216a8cje 0x216b60
00216a92lea rdi, [rbx+17]
00216a96call fn_f4250
00216a9bmov r13, rax
00216a9etest rax, rax
00216aa1je 0x216b74
00216aa7mov rdi, rax
00216aaaadd r13, 16
00216aaecall fn_2159d0
00216ab3
00216ab3loc_216ab3:
00216ab3lea rax, [rsp+144]
00216abbmov [rsp], 8
00216ac2mov rbp, r13
00216ac5mov [rsp+8], rax
00216acalea rax, [rsp+32]
00216acfmov [rsp+16], rax
00216ad4test r12l, r12l
00216ad7jle 0x216b30
00216ad9xor r14l, r14l
00216adcjmp 0x216b15
00216ade
00216ade 66 90 f.
00216ae0
00216ae0loc_216ae0:
00216ae0mov edx, eax
00216ae2add eax, 8
00216ae5add rdx, [rsp+16]
00216aeamov [rsp], eax
00216aed
00216aedloc_216aed:
00216aedmov r15, [rdx]
00216af0add r14l, 1
00216af4mov rdi, r15
00216af7call fn_f43a0
00216afcmov rdi, rbp
00216affmov rsi, r15
00216b02mov rbx, rax
00216b05mov rdx, rax
00216b08call fn_f47d0
00216b0dadd rbp, rbx
00216b10cmp r12l, r14l
00216b13je 0x216b30
00216b15
00216b15loc_216b15:
00216b15mov eax, [rsp]
00216b18cmp eax, 47
00216b1bjbe 0x216ae0
00216b1dmov rdx, [rsp+8]
00216b22lea rax, [rdx+8]
00216b26mov [rsp+8], rax
00216b2bjmp 0x216aed
00216b2d
00216b2d 0f 1f 00 ...
00216b30
00216b30loc_216b30:
00216b30mov [rbp], 0
00216b34mov rax, [rsp+24]
00216b39sub rax, [0x28]
00216b42jne 0x216b94
00216b44add rsp, 88
00216b48mov rax, r13
00216b4bpop rbx
00216b4cpop rbp
00216b4dpop r12
00216b4fpop r13
00216b51pop r14
00216b53pop r15
00216b55ret
00216b56
00216b56 66 2e 0f 1f 84 00 00 00 00 00 f.........
00216b60
00216b60loc_216b60:
00216b60mov rdi, rbp
00216b63call fn_f4250
00216b68mov r13, rax
00216b6btest rax, rax
00216b6ejne 0x216ab3
00216b74
00216b74loc_216b74:
00216b74test rbp, rbp
00216b77je 0x216ab3
00216b7dcall caml_raise_out_of_memory
00216b82nop [rax+rax]
00216b88
00216b88loc_216b88:
00216b88mov ebp, 1
00216b8dxor ebx, ebx
00216b8fjmp 0x216a84
00216b94
00216b94loc_216b94:
00216b94call fn_f4590
002169d0

00216b99
00216b99 // align 0x10

00216ba0
00216ba0fn_216ba0:
00216ba0sub rsp, 536
00216ba7pxor x5, x5
00216babmov rsi, [0x28]
00216bb4mov [rsp+520], rsi
00216bbcmov rsi, rdi
00216bbfmov rdx, rsp
00216bc2mov rdi, rsp
00216bc5lea rcx, [rsp+256]
00216bcdmov rax, [rsi+64]
00216bd1mov rax, [rax+16]
00216bd5cvtsd2ss x5, [rax]
00216bd9lea rax, [rsi+120]
00216bddnop [rax]
00216be0
00216be0loc_216be0:
00216be0movdqu x4, [rax+768]
00216be8movdqu x1, [rax]
00216becadd rdx, 16
00216bf0add rax, 16
00216bf4movdqu x0, [rax+240]
00216bfcmovdqu x3, [rax+496]
00216c04movdqa x2, x4
00216c08pxor x2, x0
00216c0cpxor x3, x1
00216c10movdqa x6, x0
00216c14pslld x0, 9
00216c19pxor x6, x3
00216c1dpxor x0, x3
00216c21movups [rax+240], x6
00216c28movdqa x6, x1
00216c2cpaddd x1, x4
00216c30movups [rax+496], x0
00216c37movdqa x0, x2
00216c3bpxor x6, x2
00216c3fpsrld x0, 21
00216c44pslld x2, 11
00216c49movups [rax-16], x6
00216c4dpor x0, x2
00216c51movups [rax+752], x0
00216c58movaps [rdx-16], x1
00216c5ccmp rdx, rcx
00216c5fjne 0x216be0
00216c65mov edx, 65535
00216c6axor eax, eax
00216c6cshufps x5, x5, 0
00216c70movss x13, [rip+0x1338f]
00216c79movd x4, edx
00216c7dmov edx, 0x7fffff
00216c82movss x12, [rip+0x13381]
00216c8bmovss x11, [rip+0x1337c]
00216c94movd x3, edx
00216c98mov edx, 0x3f800000
00216c9dmovss x10, [rip+0x1336e]
00216ca6movss x9, [rip+0x13369]
00216cafmovd x2, edx
00216cb3shufps x13, x13, 0
00216cb8shufps x12, x12, 0
00216cbdmovss x8, [rip+0x13356]
00216cc6shufps x11, x11, 0
00216ccbshufps x10, x10, 0
00216cd0shufps x9, x9, 0
00216cd5movss x7, [rip+0x13343]
00216cddshufps x8, x8, 0
00216ce2pshufd x4, x4, 0
00216ce7pshufd x3, x3, 0
00216cecmovss x6, [rip+0x13330]
00216cf4shufps x7, x7, 0
00216cf8pshufd x2, x2, 0
00216cfdshufps x6, x6, 0
00216d01nop [rax+rax]
00216d0cnop [rax]
00216d10
00216d10loc_216d10:
00216d10movdqa x0, [rdi+rax]
00216d15movdqa x14, x3
00216d1amovdqa x1, x0
00216d1epsrld x0, 16
00216d23cvtdq2ps x0, x0
00216d26mulps x0, x13
00216d2apand x1, x4
00216d2ecvtdq2ps x1, x1
00216d31addps x1, x0
00216d34movaps x0, x11
00216d38addps x1, x12
00216d3cpand x14, x1
00216d41psrad x1, 23
00216d46por x14, x2
00216d4bcvtdq2ps x1, x1
00216d4emulps x0, x14
00216d52mulps x1, x7
00216d55addps x0, x10
00216d59mulps x0, x14
00216d5daddps x0, x9
00216d61mulps x0, x14
00216d65addps x0, x8
00216d69addps x0, x1
00216d6cmulps x0, x5
00216d6faddps x0, x6
00216d72movaps [rcx+rax], x0
00216d76add rax, 16
00216d7acmp rax, 256
00216d80jne 0x216d10
00216d82movss x1, [rip+0x132a2]
00216d8axor eax, eax
00216d8cmov rdi, 0x8000000000000000
00216d96jmp 0x216db7
00216d98
00216d98 0f 1f 84 00 00 00 00 00 ........
00216da0
00216da0loc_216da0:
00216da0cvttss2si rdx, x0
00216da5
00216da5loc_216da5:
00216da5mov [rsi+8*rax+1144], rdx
00216dadadd rax, 1
00216db1cmp rax, 64
00216db5je 0x216df0
00216db7
00216db7loc_216db7:
00216db7mov rdx, 0x3fffffffffffffff
00216dc1movss x0, [rcx+4*rax]
00216dc6comiss x0, [rip+0x1325b]
00216dcdjae 0x216da5
00216dcfcomiss x0, [rip+0x13256]
00216dd6jb 0x216da0
00216dd8subss x0, x1
00216ddccvttss2si rdx, x0
00216de1xor rdx, rdi
00216de4jmp 0x216da5
00216de6
00216de6 66 2e 0f 1f 84 00 00 00 00 00 f.........
00216df0
00216df0loc_216df0:
00216df0mov [rsi+1656], 0
00216dfamov rax, [rsp+520]
00216e02sub rax, [0x28]
00216e0bjne 0x216e15
00216e0dadd rsp, 536
00216e14ret
00216e15
00216e15loc_216e15:
00216e15call fn_f4590
00216ba0