File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001df3e0
001df3e0Stdlib.Digest.substring:
001df3e0mov rdx, rdi
001df3e3cmp rbx, 1
001df3e7jl 0x1df42c
001df3e9cmp rdx, 1
001df3edjl 0x1df42c
001df3efmov rdi, [rax-8]
001df3f3shr rdi, 10
001df3f7lea rdi, [8*rdi-1]
001df3ffmovzx rsi, [rax+rdi]
001df404sub rdi, rsi
001df407shl rdi, 1
001df40asub rdi, rdx
001df40dadd rdi, 2
001df411cmp rbx, rdi
001df414jg 0x1df42c
001df416mov rdi, rax
001df419mov rsi, rbx
001df41clea rax, [rip+0x3624d]
001df423call caml_c_call
001df428ret
001df429
001df429 0f 1f 00 ...
001df42c
001df42cloc_1df42c:
001df42clea rax, [rip+0x1855ed]
001df433jmp 0x195ab0
001df3e0
001df3e0Stdlib.Digest.substring:
001df3e0mov rdx, rdi
001df3e3cmp rbx, 1
001df3e7jl 0x1df42c
001df3e9cmp rdx, 1
001df3edjl 0x1df42c
001df3efmov rdi, [rax-8]
001df3f3shr rdi, 10
001df3f7lea rdi, [8*rdi-1]
001df3ffmovzx rsi, [rax+rdi]
001df404sub rdi, rsi
001df407shl rdi, 1
001df40asub rdi, rdx
001df40dadd rdi, 2
001df411cmp rbx, rdi
001df414jg 0x1df42c
001df416mov rdi, rax
001df419mov rsi, rbx
001df41clea rax, [rip+0x3624d]
001df423call caml_c_call
001df428ret
001df429
001df429 0f 1f 00 ...
001df42c
001df42cloc_1df42c:
001df42clea rax, [rip+0x1855ed]
001df433jmp 0x195ab0
001df3e0
001df438
001df438 // align 0x10
001df438 // align 0x10
001df440
001df440Stdlib.Digest.subbytes:
001df440mov rdx, rdi
001df443cmp rbx, 1
001df447jl 0x1df48c
001df449cmp rdx, 1
001df44djl 0x1df48c
001df44fmov rdi, [rax-8]
001df453shr rdi, 10
001df457lea rdi, [8*rdi-1]
001df45fmovzx rsi, [rax+rdi]
001df464sub rdi, rsi
001df467shl rdi, 1
001df46asub rdi, rdx
001df46dadd rdi, 2
001df471cmp rbx, rdi
001df474jg 0x1df48c
001df476mov rdi, rax
001df479mov rsi, rbx
001df47clea rax, [rip+0x364cd]
001df483call caml_c_call
001df488ret
001df489
001df489 0f 1f 00 ...
001df48c
001df48cloc_1df48c:
001df48clea rax, [rip+0x185575]
001df493jmp 0x195ab0
001df440
001df440Stdlib.Digest.subbytes:
001df440mov rdx, rdi
001df443cmp rbx, 1
001df447jl 0x1df48c
001df449cmp rdx, 1
001df44djl 0x1df48c
001df44fmov rdi, [rax-8]
001df453shr rdi, 10
001df457lea rdi, [8*rdi-1]
001df45fmovzx rsi, [rax+rdi]
001df464sub rdi, rsi
001df467shl rdi, 1
001df46asub rdi, rdx
001df46dadd rdi, 2
001df471cmp rbx, rdi
001df474jg 0x1df48c
001df476mov rdi, rax
001df479mov rsi, rbx
001df47clea rax, [rip+0x364cd]
001df483call caml_c_call
001df488ret
001df489
001df489 0f 1f 00 ...
001df48c
001df48cloc_1df48c:
001df48clea rax, [rip+0x185575]
001df493jmp 0x195ab0
001df440
001df498
001df498 // align 0x10
001df498 // align 0x10
001df4a0
001df4a0Stdlib.Digest.file:
001df4a0mov rbx, rax
001df4a3lea rdi, [rip+0x18528e]
001df4aalea rax, [rip+0x14e167]
001df4b1mov rax, [rax+632]
001df4b8jmp 0x1dd5e0
001df4a0
001df4a0Stdlib.Digest.file:
001df4a0mov rbx, rax
001df4a3lea rdi, [rip+0x18528e]
001df4aalea rax, [rip+0x14e167]
001df4b1mov rax, [rax+632]
001df4b8jmp 0x1dd5e0
001df4a0
001df4bd
001df4bd // align 0x10
001df4bd // align 0x10
001df4c0
001df4c0Stdlib.Digest.fun:
001df4c0mov rsi, -1
001df4c7mov rdi, rax
001df4calea rax, [rip+0x3637f]
001df4d1call caml_c_call
001df4d6ret
001df4c0
001df4c0Stdlib.Digest.fun:
001df4c0mov rsi, -1
001df4c7mov rdi, rax
001df4calea rax, [rip+0x3637f]
001df4d1call caml_c_call
001df4d6ret
001df4c0
001df4d7
001df4d7 // align 0x10
001df4d7 // align 0x10
001df4e5
001df4e5 // align 0x10
001df4e5 // align 0x10
001df4fa
001df4fa // align 0x10
001df4fa // align 0x10
001df500
001df500Stdlib.Digest.to_hex:
001df500lea r10, [rsp-328]
001df508cmp r10, [r14+40]
001df50cjb 0x1df552
001df50e
001df50eloc_1df50e:
001df50esub rsp, 8
001df512mov [rsp], rax
001df516mov rbx, [rax-8]
001df51ashr rbx, 10
001df51elea rbx, [8*rbx-1]
001df526movzx rax, [rax+rbx]
001df52bsub rbx, rax
001df52elea rax, [rbx+rbx+1]
001df533cmp rax, 33
001df537je 0x1df545
001df539lea rax, [rip+0x185580]
001df540call camlStdlib.invalid_arg_10
001df545
001df545loc_1df545:
001df545mov rax, [rsp]
001df549add rsp, 8
001df54djmp 0x1de700
001df552
001df552loc_1df552:
001df552push 34
001df554call caml_call_realloc_stack
001df559pop r10
001df55bjmp 0x1df50e
001df500
001df500Stdlib.Digest.to_hex:
001df500lea r10, [rsp-328]
001df508cmp r10, [r14+40]
001df50cjb 0x1df552
001df50e
001df50eloc_1df50e:
001df50esub rsp, 8
001df512mov [rsp], rax
001df516mov rbx, [rax-8]
001df51ashr rbx, 10
001df51elea rbx, [8*rbx-1]
001df526movzx rax, [rax+rbx]
001df52bsub rbx, rax
001df52elea rax, [rbx+rbx+1]
001df533cmp rax, 33
001df537je 0x1df545
001df539lea rax, [rip+0x185580]
001df540call camlStdlib.invalid_arg_10
001df545
001df545loc_1df545:
001df545mov rax, [rsp]
001df549add rsp, 8
001df54djmp 0x1de700
001df552
001df552loc_1df552:
001df552push 34
001df554call caml_call_realloc_stack
001df559pop r10
001df55bjmp 0x1df50e
001df500
001df55d
001df55d // align 0x10
001df55d // align 0x10
001df560
001df560Stdlib.Digest.of_hex:
001df560lea r10, [rsp-328]
001df568cmp r10, [r14+40]
001df56cjb 0x1df5b2
001df56e
001df56eloc_1df56e:
001df56esub rsp, 8
001df572mov [rsp], rax
001df576mov rbx, [rax-8]
001df57ashr rbx, 10
001df57elea rbx, [8*rbx-1]
001df586movzx rax, [rax+rbx]
001df58bsub rbx, rax
001df58elea rax, [rbx+rbx+1]
001df593cmp rax, 65
001df597je 0x1df5a5
001df599lea rax, [rip+0x1854d8]
001df5a0call camlStdlib.invalid_arg_10
001df5a5
001df5a5loc_1df5a5:
001df5a5mov rax, [rsp]
001df5a9add rsp, 8
001df5adjmp 0x1de860
001df5b2
001df5b2loc_1df5b2:
001df5b2push 34
001df5b4call caml_call_realloc_stack
001df5b9pop r10
001df5bbjmp 0x1df56e
001df560
001df560Stdlib.Digest.of_hex:
001df560lea r10, [rsp-328]
001df568cmp r10, [r14+40]
001df56cjb 0x1df5b2
001df56e
001df56eloc_1df56e:
001df56esub rsp, 8
001df572mov [rsp], rax
001df576mov rbx, [rax-8]
001df57ashr rbx, 10
001df57elea rbx, [8*rbx-1]
001df586movzx rax, [rax+rbx]
001df58bsub rbx, rax
001df58elea rax, [rbx+rbx+1]
001df593cmp rax, 65
001df597je 0x1df5a5
001df599lea rax, [rip+0x1854d8]
001df5a0call camlStdlib.invalid_arg_10
001df5a5
001df5a5loc_1df5a5:
001df5a5mov rax, [rsp]
001df5a9add rsp, 8
001df5adjmp 0x1de860
001df5b2
001df5b2loc_1df5b2:
001df5b2push 34
001df5b4call caml_call_realloc_stack
001df5b9pop r10
001df5bbjmp 0x1df56e
001df560
001df5bd
001df5bd // align 0x10
001df5bd // align 0x10
001df5c0
001df5c0Stdlib.Digest.entry:
001df5c0lea r10, [rsp-320]
001df5c8cmp r10, [r14+40]
001df5ccjb 0x1dfb6f
001df5d2
001df5d2loc_1df5d2:
001df5d2lea rsi, [rip+0x185197]
001df5d9lea rdi, [rip+0x185308]
001df5e0add rdi, 48
001df5e4mov rbx, rsp
001df5e7mov rsp, [r14+64]
001df5ebcall caml_initialize
001df5f0mov rsp, rbx
001df5f3lea rsi, [rip+0x185196]
001df5falea rdi, [rip+0x1852e7]
001df601add rdi, 136
001df608mov rbx, rsp
001df60bmov rsp, [r14+64]
001df60fcall caml_initialize
001df614mov rsp, rbx
001df617lea rsi, [rip+0x18518a]
001df61elea rdi, [rip+0x1852c3]
001df625add rdi, 144
001df62cmov rbx, rsp
001df62fmov rsp, [r14+64]
001df633call caml_initialize
001df638mov rsp, rbx
001df63blea rsi, [rip+0x18528e]
001df642lea rdi, [rip+0x18529f]
001df649add rdi, 152
001df650mov rbx, rsp
001df653mov rsp, [r14+64]
001df657call caml_initialize
001df65cmov rsp, rbx
001df65flea rax, [rip+0x18544a]
001df666call Stdlib.Digest.BLAKE2
001df66blea rdi, [rip+0x185276]
001df672add rdi, 104
001df676mov rsi, rax
001df679mov rbx, rsp
001df67cmov rsp, [r14+64]
001df680call caml_initialize
001df685mov rsp, rbx
001df688lea rax, [rip+0x185411]
001df68fcall Stdlib.Digest.BLAKE2
001df694lea rdi, [rip+0x18524d]
001df69badd rdi, 112
001df69fmov rsi, rax
001df6a2mov rbx, rsp
001df6a5mov rsp, [r14+64]
001df6a9call caml_initialize
001df6aemov rsp, rbx
001df6b1lea rax, [rip+0x1853d8]
001df6b8call Stdlib.Digest.BLAKE2
001df6bdlea rdi, [rip+0x185224]
001df6c4add rdi, 120
001df6c8mov rsi, rax
001df6cbmov rbx, rsp
001df6cemov rsp, [r14+64]
001df6d2call caml_initialize
001df6d7mov rsp, rbx
001df6damov esi, 33
001df6dflea rdi, [rip+0x185202]
001df6e6add rdi, 168
001df6edmov rbx, rsp
001df6f0mov rsp, [r14+64]
001df6f4call caml_initialize
001df6f9mov rsp, rbx
001df6fclea rax, [rip+0x15cafd]
001df703mov rsi, [rax+72]
001df707lea rdi, [rip+0x1851da]
001df70eadd rdi, 176
001df715mov rbx, rsp
001df718mov rsp, [r14+64]
001df71ccall caml_initialize
001df721mov rsp, rbx
001df724lea rax, [rip+0x15cad5]
001df72bmov rsi, [rax+64]
001df72flea rdi, [rip+0x1851b2]
001df736add rdi, 184
001df73dmov rbx, rsp
001df740mov rsp, [r14+64]
001df744call caml_initialize
001df749mov rsp, rbx
001df74clea rsi, [rip+0x18506d]
001df753lea rdi, [rip+0x18518e]
001df75aadd rdi, 192
001df761mov rbx, rsp
001df764mov rsp, [r14+64]
001df768call caml_initialize
001df76dmov rsp, rbx
001df770lea rsi, [rip+0x185061]
001df777lea rdi, [rip+0x18516a]
001df77eadd rdi, 200
001df785mov rbx, rsp
001df788mov rsp, [r14+64]
001df78ccall caml_initialize
001df791mov rsp, rbx
001df794lea rsi, [rip+0x185055]
001df79blea rdi, [rip+0x185146]
001df7a2add rdi, 208
001df7a9mov rbx, rsp
001df7acmov rsp, [r14+64]
001df7b0call caml_initialize
001df7b5mov rsp, rbx
001df7b8lea rsi, [rip+0x185051]
001df7bflea rdi, [rip+0x185122]
001df7c6add rdi, 216
001df7cdmov rbx, rsp
001df7d0mov rsp, [r14+64]
001df7d4call caml_initialize
001df7d9mov rsp, rbx
001df7dclea rsi, [rip+0x18504d]
001df7e3lea rdi, [rip+0x1850fe]
001df7eaadd rdi, 224
001df7f1mov rbx, rsp
001df7f4mov rsp, [r14+64]
001df7f8call caml_initialize
001df7fdmov rsp, rbx
001df800lea rsi, [rip+0x185041]
001df807lea rdi, [rip+0x1850da]
001df80eadd rdi, 232
001df815mov rbx, rsp
001df818mov rsp, [r14+64]
001df81ccall caml_initialize
001df821mov rsp, rbx
001df824lea rsi, [rip+0x18503d]
001df82blea rdi, [rip+0x1850b6]
001df832add rdi, 240
001df839mov rbx, rsp
001df83cmov rsp, [r14+64]
001df840call caml_initialize
001df845mov rsp, rbx
001df848lea rsi, [rip+0x185031]
001df84flea rdi, [rip+0x185092]
001df856add rdi, 248
001df85dmov rbx, rsp
001df860mov rsp, [r14+64]
001df864call caml_initialize
001df869mov rsp, rbx
001df86clea rsi, [rip+0x185025]
001df873lea rdi, [rip+0x18506e]
001df87aadd rdi, 256
001df881mov rbx, rsp
001df884mov rsp, [r14+64]
001df888call caml_initialize
001df88dmov rsp, rbx
001df890sub r15, 216
001df897call caml_allocN
001df89clea r12, [r15+8]
001df8a0add r12, 112
001df8a4mov [r12-8], 12288
001df8admov [r12], 33
001df8b5lea rdi, [rip+0x18502c]
001df8bcmov rax, [rdi+176]
001df8c3mov [r12+8], rax
001df8c8mov rax, [rdi+184]
001df8cfmov [r12+16], rax
001df8d4mov rax, [rdi+192]
001df8dbmov [r12+24], rax
001df8e0mov rax, [rdi+200]
001df8e7mov [r12+32], rax
001df8ecmov rax, [rdi+208]
001df8f3mov [r12+40], rax
001df8f8mov rax, [rdi+216]
001df8ffmov [r12+48], rax
001df904mov rax, [rdi+224]
001df90bmov [r12+56], rax
001df910mov rax, [rdi+232]
001df917mov [r12+64], rax
001df91cmov rax, [rdi+240]
001df923mov [r12+72], rax
001df928mov rax, [rdi+248]
001df92fmov [r12+80], rax
001df934mov rax, [rdi+256]
001df93bmov [r12+88], rax
001df940lea rsi, [r12-112]
001df945mov [rsi-8], 13312
001df94dmov [rsi], 33
001df954mov rax, [r12+8]
001df959mov [rsi+8], rax
001df95dmov rax, [r12+16]
001df962mov [rsi+16], rax
001df966mov rax, [r12+24]
001df96bmov [rsi+24], rax
001df96fmov rax, [r12+32]
001df974mov [rsi+32], rax
001df978mov rax, [r12+40]
001df97dmov [rsi+40], rax
001df981mov rax, [r12+48]
001df986mov [rsi+48], rax
001df98alea rax, [rip+0x184f1f]
001df991mov [rsi+56], rax
001df995mov rax, [r12+56]
001df99amov [rsi+64], rax
001df99emov rax, [r12+64]
001df9a3mov [rsi+72], rax
001df9a7mov rax, [r12+72]
001df9acmov [rsi+80], rax
001df9b0mov rax, [r12+80]
001df9b5mov [rsi+88], rax
001df9b9mov rax, [r12+88]
001df9bemov [rsi+96], rax
001df9c2add rdi, 128
001df9c9mov rbx, rsp
001df9ccmov rsp, [r14+64]
001df9d0call caml_initialize
001df9d5mov rsp, rbx
001df9d8mov esi, 33
001df9ddlea rdi, [rip+0x184f04]
001df9e4add rdi, 160
001df9ebmov rbx, rsp
001df9eemov rsp, [r14+64]
001df9f2call caml_initialize
001df9f7mov rsp, rbx
001df9famov rsi, [r12+8]
001df9fflea rdi, [rip+0x184ee2]
001dfa06mov rbx, rsp
001dfa09mov rsp, [r14+64]
001dfa0dcall caml_initialize
001dfa12mov rsp, rbx
001dfa15mov rsi, [r12+16]
001dfa1alea rdi, [rip+0x184ec7]
001dfa21add rdi, 8
001dfa25mov rbx, rsp
001dfa28mov rsp, [r14+64]
001dfa2ccall caml_initialize
001dfa31mov rsp, rbx
001dfa34mov rsi, [r12+24]
001dfa39lea rdi, [rip+0x184ea8]
001dfa40add rdi, 16
001dfa44mov rbx, rsp
001dfa47mov rsp, [r14+64]
001dfa4bcall caml_initialize
001dfa50mov rsp, rbx
001dfa53mov rsi, [r12+32]
001dfa58lea rdi, [rip+0x184e89]
001dfa5fadd rdi, 24
001dfa63mov rbx, rsp
001dfa66mov rsp, [r14+64]
001dfa6acall caml_initialize
001dfa6fmov rsp, rbx
001dfa72mov rsi, [r12+40]
001dfa77lea rdi, [rip+0x184e6a]
001dfa7eadd rdi, 32
001dfa82mov rbx, rsp
001dfa85mov rsp, [r14+64]
001dfa89call caml_initialize
001dfa8emov rsp, rbx
001dfa91mov rsi, [r12+48]
001dfa96lea rdi, [rip+0x184e4b]
001dfa9dadd rdi, 40
001dfaa1mov rbx, rsp
001dfaa4mov rsp, [r14+64]
001dfaa8call caml_initialize
001dfaadmov rsp, rbx
001dfab0mov rsi, [r12+56]
001dfab5lea rdi, [rip+0x184e2c]
001dfabcadd rdi, 56
001dfac0mov rbx, rsp
001dfac3mov rsp, [r14+64]
001dfac7call caml_initialize
001dfaccmov rsp, rbx
001dfacfmov rsi, [r12+64]
001dfad4lea rdi, [rip+0x184e0d]
001dfadbadd rdi, 64
001dfadfmov rbx, rsp
001dfae2mov rsp, [r14+64]
001dfae6call caml_initialize
001dfaebmov rsp, rbx
001dfaeemov rsi, [r12+72]
001dfaf3lea rdi, [rip+0x184dee]
001dfafaadd rdi, 72
001dfafemov rbx, rsp
001dfb01mov rsp, [r14+64]
001dfb05call caml_initialize
001dfb0amov rsp, rbx
001dfb0dmov rsi, [r12+80]
001dfb12lea rdi, [rip+0x184dcf]
001dfb19add rdi, 80
001dfb1dmov rbx, rsp
001dfb20mov rsp, [r14+64]
001dfb24call caml_initialize
001dfb29mov rsp, rbx
001dfb2cmov rsi, [r12+88]
001dfb31lea rdi, [rip+0x184db0]
001dfb38add rdi, 88
001dfb3cmov rbx, rsp
001dfb3fmov rsp, [r14+64]
001dfb43call caml_initialize
001dfb48mov rsp, rbx
001dfb4blea rdi, [rip+0x184d96]
001dfb52mov rsi, [rdi+88]
001dfb56add rdi, 96
001dfb5amov rbx, rsp
001dfb5dmov rsp, [r14+64]
001dfb61call caml_initialize
001dfb66mov rsp, rbx
001dfb69mov eax, 1
001dfb6eret
001dfb6f
001dfb6floc_1dfb6f:
001dfb6fpush 33
001dfb71call caml_call_realloc_stack
001dfb76pop r10
001dfb78jmp 0x1df5d2
001df5c0
001df5c0Stdlib.Digest.entry:
001df5c0lea r10, [rsp-320]
001df5c8cmp r10, [r14+40]
001df5ccjb 0x1dfb6f
001df5d2
001df5d2loc_1df5d2:
001df5d2lea rsi, [rip+0x185197]
001df5d9lea rdi, [rip+0x185308]
001df5e0add rdi, 48
001df5e4mov rbx, rsp
001df5e7mov rsp, [r14+64]
001df5ebcall caml_initialize
001df5f0mov rsp, rbx
001df5f3lea rsi, [rip+0x185196]
001df5falea rdi, [rip+0x1852e7]
001df601add rdi, 136
001df608mov rbx, rsp
001df60bmov rsp, [r14+64]
001df60fcall caml_initialize
001df614mov rsp, rbx
001df617lea rsi, [rip+0x18518a]
001df61elea rdi, [rip+0x1852c3]
001df625add rdi, 144
001df62cmov rbx, rsp
001df62fmov rsp, [r14+64]
001df633call caml_initialize
001df638mov rsp, rbx
001df63blea rsi, [rip+0x18528e]
001df642lea rdi, [rip+0x18529f]
001df649add rdi, 152
001df650mov rbx, rsp
001df653mov rsp, [r14+64]
001df657call caml_initialize
001df65cmov rsp, rbx
001df65flea rax, [rip+0x18544a]
001df666call Stdlib.Digest.BLAKE2
001df66blea rdi, [rip+0x185276]
001df672add rdi, 104
001df676mov rsi, rax
001df679mov rbx, rsp
001df67cmov rsp, [r14+64]
001df680call caml_initialize
001df685mov rsp, rbx
001df688lea rax, [rip+0x185411]
001df68fcall Stdlib.Digest.BLAKE2
001df694lea rdi, [rip+0x18524d]
001df69badd rdi, 112
001df69fmov rsi, rax
001df6a2mov rbx, rsp
001df6a5mov rsp, [r14+64]
001df6a9call caml_initialize
001df6aemov rsp, rbx
001df6b1lea rax, [rip+0x1853d8]
001df6b8call Stdlib.Digest.BLAKE2
001df6bdlea rdi, [rip+0x185224]
001df6c4add rdi, 120
001df6c8mov rsi, rax
001df6cbmov rbx, rsp
001df6cemov rsp, [r14+64]
001df6d2call caml_initialize
001df6d7mov rsp, rbx
001df6damov esi, 33
001df6dflea rdi, [rip+0x185202]
001df6e6add rdi, 168
001df6edmov rbx, rsp
001df6f0mov rsp, [r14+64]
001df6f4call caml_initialize
001df6f9mov rsp, rbx
001df6fclea rax, [rip+0x15cafd]
001df703mov rsi, [rax+72]
001df707lea rdi, [rip+0x1851da]
001df70eadd rdi, 176
001df715mov rbx, rsp
001df718mov rsp, [r14+64]
001df71ccall caml_initialize
001df721mov rsp, rbx
001df724lea rax, [rip+0x15cad5]
001df72bmov rsi, [rax+64]
001df72flea rdi, [rip+0x1851b2]
001df736add rdi, 184
001df73dmov rbx, rsp
001df740mov rsp, [r14+64]
001df744call caml_initialize
001df749mov rsp, rbx
001df74clea rsi, [rip+0x18506d]
001df753lea rdi, [rip+0x18518e]
001df75aadd rdi, 192
001df761mov rbx, rsp
001df764mov rsp, [r14+64]
001df768call caml_initialize
001df76dmov rsp, rbx
001df770lea rsi, [rip+0x185061]
001df777lea rdi, [rip+0x18516a]
001df77eadd rdi, 200
001df785mov rbx, rsp
001df788mov rsp, [r14+64]
001df78ccall caml_initialize
001df791mov rsp, rbx
001df794lea rsi, [rip+0x185055]
001df79blea rdi, [rip+0x185146]
001df7a2add rdi, 208
001df7a9mov rbx, rsp
001df7acmov rsp, [r14+64]
001df7b0call caml_initialize
001df7b5mov rsp, rbx
001df7b8lea rsi, [rip+0x185051]
001df7bflea rdi, [rip+0x185122]
001df7c6add rdi, 216
001df7cdmov rbx, rsp
001df7d0mov rsp, [r14+64]
001df7d4call caml_initialize
001df7d9mov rsp, rbx
001df7dclea rsi, [rip+0x18504d]
001df7e3lea rdi, [rip+0x1850fe]
001df7eaadd rdi, 224
001df7f1mov rbx, rsp
001df7f4mov rsp, [r14+64]
001df7f8call caml_initialize
001df7fdmov rsp, rbx
001df800lea rsi, [rip+0x185041]
001df807lea rdi, [rip+0x1850da]
001df80eadd rdi, 232
001df815mov rbx, rsp
001df818mov rsp, [r14+64]
001df81ccall caml_initialize
001df821mov rsp, rbx
001df824lea rsi, [rip+0x18503d]
001df82blea rdi, [rip+0x1850b6]
001df832add rdi, 240
001df839mov rbx, rsp
001df83cmov rsp, [r14+64]
001df840call caml_initialize
001df845mov rsp, rbx
001df848lea rsi, [rip+0x185031]
001df84flea rdi, [rip+0x185092]
001df856add rdi, 248
001df85dmov rbx, rsp
001df860mov rsp, [r14+64]
001df864call caml_initialize
001df869mov rsp, rbx
001df86clea rsi, [rip+0x185025]
001df873lea rdi, [rip+0x18506e]
001df87aadd rdi, 256
001df881mov rbx, rsp
001df884mov rsp, [r14+64]
001df888call caml_initialize
001df88dmov rsp, rbx
001df890sub r15, 216
001df897call caml_allocN
001df89clea r12, [r15+8]
001df8a0add r12, 112
001df8a4mov [r12-8], 12288
001df8admov [r12], 33
001df8b5lea rdi, [rip+0x18502c]
001df8bcmov rax, [rdi+176]
001df8c3mov [r12+8], rax
001df8c8mov rax, [rdi+184]
001df8cfmov [r12+16], rax
001df8d4mov rax, [rdi+192]
001df8dbmov [r12+24], rax
001df8e0mov rax, [rdi+200]
001df8e7mov [r12+32], rax
001df8ecmov rax, [rdi+208]
001df8f3mov [r12+40], rax
001df8f8mov rax, [rdi+216]
001df8ffmov [r12+48], rax
001df904mov rax, [rdi+224]
001df90bmov [r12+56], rax
001df910mov rax, [rdi+232]
001df917mov [r12+64], rax
001df91cmov rax, [rdi+240]
001df923mov [r12+72], rax
001df928mov rax, [rdi+248]
001df92fmov [r12+80], rax
001df934mov rax, [rdi+256]
001df93bmov [r12+88], rax
001df940lea rsi, [r12-112]
001df945mov [rsi-8], 13312
001df94dmov [rsi], 33
001df954mov rax, [r12+8]
001df959mov [rsi+8], rax
001df95dmov rax, [r12+16]
001df962mov [rsi+16], rax
001df966mov rax, [r12+24]
001df96bmov [rsi+24], rax
001df96fmov rax, [r12+32]
001df974mov [rsi+32], rax
001df978mov rax, [r12+40]
001df97dmov [rsi+40], rax
001df981mov rax, [r12+48]
001df986mov [rsi+48], rax
001df98alea rax, [rip+0x184f1f]
001df991mov [rsi+56], rax
001df995mov rax, [r12+56]
001df99amov [rsi+64], rax
001df99emov rax, [r12+64]
001df9a3mov [rsi+72], rax
001df9a7mov rax, [r12+72]
001df9acmov [rsi+80], rax
001df9b0mov rax, [r12+80]
001df9b5mov [rsi+88], rax
001df9b9mov rax, [r12+88]
001df9bemov [rsi+96], rax
001df9c2add rdi, 128
001df9c9mov rbx, rsp
001df9ccmov rsp, [r14+64]
001df9d0call caml_initialize
001df9d5mov rsp, rbx
001df9d8mov esi, 33
001df9ddlea rdi, [rip+0x184f04]
001df9e4add rdi, 160
001df9ebmov rbx, rsp
001df9eemov rsp, [r14+64]
001df9f2call caml_initialize
001df9f7mov rsp, rbx
001df9famov rsi, [r12+8]
001df9fflea rdi, [rip+0x184ee2]
001dfa06mov rbx, rsp
001dfa09mov rsp, [r14+64]
001dfa0dcall caml_initialize
001dfa12mov rsp, rbx
001dfa15mov rsi, [r12+16]
001dfa1alea rdi, [rip+0x184ec7]
001dfa21add rdi, 8
001dfa25mov rbx, rsp
001dfa28mov rsp, [r14+64]
001dfa2ccall caml_initialize
001dfa31mov rsp, rbx
001dfa34mov rsi, [r12+24]
001dfa39lea rdi, [rip+0x184ea8]
001dfa40add rdi, 16
001dfa44mov rbx, rsp
001dfa47mov rsp, [r14+64]
001dfa4bcall caml_initialize
001dfa50mov rsp, rbx
001dfa53mov rsi, [r12+32]
001dfa58lea rdi, [rip+0x184e89]
001dfa5fadd rdi, 24
001dfa63mov rbx, rsp
001dfa66mov rsp, [r14+64]
001dfa6acall caml_initialize
001dfa6fmov rsp, rbx
001dfa72mov rsi, [r12+40]
001dfa77lea rdi, [rip+0x184e6a]
001dfa7eadd rdi, 32
001dfa82mov rbx, rsp
001dfa85mov rsp, [r14+64]
001dfa89call caml_initialize
001dfa8emov rsp, rbx
001dfa91mov rsi, [r12+48]
001dfa96lea rdi, [rip+0x184e4b]
001dfa9dadd rdi, 40
001dfaa1mov rbx, rsp
001dfaa4mov rsp, [r14+64]
001dfaa8call caml_initialize
001dfaadmov rsp, rbx
001dfab0mov rsi, [r12+56]
001dfab5lea rdi, [rip+0x184e2c]
001dfabcadd rdi, 56
001dfac0mov rbx, rsp
001dfac3mov rsp, [r14+64]
001dfac7call caml_initialize
001dfaccmov rsp, rbx
001dfacfmov rsi, [r12+64]
001dfad4lea rdi, [rip+0x184e0d]
001dfadbadd rdi, 64
001dfadfmov rbx, rsp
001dfae2mov rsp, [r14+64]
001dfae6call caml_initialize
001dfaebmov rsp, rbx
001dfaeemov rsi, [r12+72]
001dfaf3lea rdi, [rip+0x184dee]
001dfafaadd rdi, 72
001dfafemov rbx, rsp
001dfb01mov rsp, [r14+64]
001dfb05call caml_initialize
001dfb0amov rsp, rbx
001dfb0dmov rsi, [r12+80]
001dfb12lea rdi, [rip+0x184dcf]
001dfb19add rdi, 80
001dfb1dmov rbx, rsp
001dfb20mov rsp, [r14+64]
001dfb24call caml_initialize
001dfb29mov rsp, rbx
001dfb2cmov rsi, [r12+88]
001dfb31lea rdi, [rip+0x184db0]
001dfb38add rdi, 88
001dfb3cmov rbx, rsp
001dfb3fmov rsp, [r14+64]
001dfb43call caml_initialize
001dfb48mov rsp, rbx
001dfb4blea rdi, [rip+0x184d96]
001dfb52mov rsi, [rdi+88]
001dfb56add rdi, 96
001dfb5amov rbx, rsp
001dfb5dmov rsp, [r14+64]
001dfb61call caml_initialize
001dfb66mov rsp, rbx
001dfb69mov eax, 1
001dfb6eret
001dfb6f
001dfb6floc_1dfb6f:
001dfb6fpush 33
001dfb71call caml_call_realloc_stack
001dfb76pop r10
001dfb78jmp 0x1df5d2
001df5c0
001dfb7d
001dfb7d // align 0x10
001dfb7d // align 0x10
001dfb80
001dfb80Stdlib.Bigarray.fun:
001dfb80mov rdi, rax
001dfb83mov rsi, rbx
001dfb86lea rax, [rip+0x1eb53]
001dfb8dcall caml_c_call
001dfb92ret
001dfb80
001dfb80Stdlib.Bigarray.fun:
001dfb80mov rdi, rax
001dfb83mov rsi, rbx
001dfb86lea rax, [rip+0x1eb53]
001dfb8dcall caml_c_call
001dfb92ret
001dfb80
001dfb93
001dfb93 // align 0x10
001dfb93 // align 0x10
001dfba0
001dfba0Stdlib.Bigarray.kind_size_in_bytes:
001dfba0sar rax, 1
001dfba3lea rdx, [rip+0x4ebae]
001dfbaamovsxd rax, [rdx+4*rax]
001dfbaeadd rdx, rax
001dfbb1jmp rdx
001dfbb3nop
001dfbb4mov eax, 33
001dfbb9ret
001dfbbanop
001dfbbcmov eax, 9
001dfbc1ret
001dfbc2nop
001dfbc4mov eax, 17
001dfbc9ret
001dfbcanop
001dfbccmov eax, 3
001dfbd1ret
001dfbd2nop
001dfbd4mov eax, 5
001dfbd9ret
001dfbdanop
001dfbdcmov eax, 17
001dfbe1ret
001dfba0
001dfba0Stdlib.Bigarray.kind_size_in_bytes:
001dfba0sar rax, 1
001dfba3lea rdx, [rip+0x4ebae]
001dfbaamovsxd rax, [rdx+4*rax]
001dfbaeadd rdx, rax
001dfbb1jmp rdx
001dfbb3nop
001dfbb4mov eax, 33
001dfbb9ret
001dfbbanop
001dfbbcmov eax, 9
001dfbc1ret
001dfbc2nop
001dfbc4mov eax, 17
001dfbc9ret
001dfbcanop
001dfbccmov eax, 3
001dfbd1ret
001dfbd2nop
001dfbd4mov eax, 5
001dfbd9ret
001dfbdanop
001dfbdcmov eax, 17
001dfbe1ret
001dfba0
001dfbe2
001dfbe2 // align 0x10
001dfbe2 // align 0x10
001dfbf0
001dfbf0Stdlib.Bigarray.cloop:
001dfbf0lea r10, [rsp-376]
001dfbf8cmp r10, [r14+40]
001dfbfcjb 0x1dfd06
001dfc02
001dfc02loc_1dfc02:
001dfc02sub rsp, 56
001dfc06mov r8, rax
001dfc09mov rax, rbx
001dfc0cmov rbx, rdi
001dfc0fmov rdi, [rax-8]
001dfc13shr rdi, 9
001dfc17or rdi, 1
001dfc1bcmp rsi, rdi
001dfc1ejne 0x1dfc50
001dfc20mov [rsp+48], rax
001dfc25mov [rsp+40], r8
001dfc2amov rdi, [rbx]
001dfc2dcall rdi
001dfc2fmov rdi, [rsp+40]
001dfc34mov rsi, [rsp+48]
001dfc39mov rdx, rax
001dfc3clea rax, [rip+0x1d63d]
001dfc43call caml_c_call
001dfc48add rsp, 56
001dfc4cret
001dfc4d
001dfc4d 0f 1f 00 ...
001dfc50
001dfc50loc_1dfc50:
001dfc50mov ecx, 1
001dfc55mov rdi, [rdx-8]
001dfc59shr rdi, 9
001dfc5dcmp rdi, rsi
001dfc60jbe 0x1dfd01
001dfc66mov rdi, [rdx+4*rsi-4]
001dfc6badd rdi, -2
001dfc6fcmp rcx, rdi
001dfc72jg 0x1dfceb
001dfc74mov [rsp+32], rdi
001dfc79mov [rsp+24], rcx
001dfc7emov [rsp+16], rdx
001dfc83mov [rsp], rsi
001dfc87mov [rsp+8], rbx
001dfc8cmov [rsp+48], rax
001dfc91mov [rsp+40], r8
001dfc96
001dfc96loc_1dfc96:
001dfc96mov rbx, [rsp+48]
001dfc9bmov rax, [rbx-8]
001dfc9fshr rax, 9
001dfca3mov rsi, [rsp]
001dfca7cmp rax, rsi
001dfcaajbe 0x1dfcfc
001dfcacmov [rbx+4*rsi-4], rcx
001dfcb1add rsi, 2
001dfcb5mov rax, [rsp+40]
001dfcbamov rdi, [rsp+8]
001dfcbfmov rdx, [rsp+16]
001dfcc4call Stdlib.Bigarray.cloop
001dfcc9mov rcx, [rsp+24]
001dfccemov rax, rcx
001dfcd1add rcx, 2
001dfcd5mov [rsp+24], rcx
001dfcdamov rbx, [rsp+32]
001dfcdfcmp rax, rbx
001dfce2je 0x1dfceb
001dfce4cmp r15, [r14]
001dfce7ja 0x1dfc96
001dfce9jmp 0x1dfcf5
001dfceb
001dfcebloc_1dfceb:
001dfcebmov eax, 1
001dfcf0add rsp, 56
001dfcf4ret
001dfcf5
001dfcf5loc_1dfcf5:
001dfcf5call caml_call_gc
001dfcfajmp 0x1dfc96
001dfcfc
001dfcfcloc_1dfcfc:
001dfcfccall caml_ml_array_bound_error
001dfd01
001dfd01loc_1dfd01:
001dfd01call caml_ml_array_bound_error
001dfd06
001dfd06loc_1dfd06:
001dfd06push 40
001dfd08call caml_call_realloc_stack
001dfd0dpop r10
001dfd0fjmp 0x1dfc02
001dfbf0
001dfbf0Stdlib.Bigarray.cloop:
001dfbf0lea r10, [rsp-376]
001dfbf8cmp r10, [r14+40]
001dfbfcjb 0x1dfd06
001dfc02
001dfc02loc_1dfc02:
001dfc02sub rsp, 56
001dfc06mov r8, rax
001dfc09mov rax, rbx
001dfc0cmov rbx, rdi
001dfc0fmov rdi, [rax-8]
001dfc13shr rdi, 9
001dfc17or rdi, 1
001dfc1bcmp rsi, rdi
001dfc1ejne 0x1dfc50
001dfc20mov [rsp+48], rax
001dfc25mov [rsp+40], r8
001dfc2amov rdi, [rbx]
001dfc2dcall rdi
001dfc2fmov rdi, [rsp+40]
001dfc34mov rsi, [rsp+48]
001dfc39mov rdx, rax
001dfc3clea rax, [rip+0x1d63d]
001dfc43call caml_c_call
001dfc48add rsp, 56
001dfc4cret
001dfc4d
001dfc4d 0f 1f 00 ...
001dfc50
001dfc50loc_1dfc50:
001dfc50mov ecx, 1
001dfc55mov rdi, [rdx-8]
001dfc59shr rdi, 9
001dfc5dcmp rdi, rsi
001dfc60jbe 0x1dfd01
001dfc66mov rdi, [rdx+4*rsi-4]
001dfc6badd rdi, -2
001dfc6fcmp rcx, rdi
001dfc72jg 0x1dfceb
001dfc74mov [rsp+32], rdi
001dfc79mov [rsp+24], rcx
001dfc7emov [rsp+16], rdx
001dfc83mov [rsp], rsi
001dfc87mov [rsp+8], rbx
001dfc8cmov [rsp+48], rax
001dfc91mov [rsp+40], r8
001dfc96
001dfc96loc_1dfc96:
001dfc96mov rbx, [rsp+48]
001dfc9bmov rax, [rbx-8]
001dfc9fshr rax, 9
001dfca3mov rsi, [rsp]
001dfca7cmp rax, rsi
001dfcaajbe 0x1dfcfc
001dfcacmov [rbx+4*rsi-4], rcx
001dfcb1add rsi, 2
001dfcb5mov rax, [rsp+40]
001dfcbamov rdi, [rsp+8]
001dfcbfmov rdx, [rsp+16]
001dfcc4call Stdlib.Bigarray.cloop
001dfcc9mov rcx, [rsp+24]
001dfccemov rax, rcx
001dfcd1add rcx, 2
001dfcd5mov [rsp+24], rcx
001dfcdamov rbx, [rsp+32]
001dfcdfcmp rax, rbx
001dfce2je 0x1dfceb
001dfce4cmp r15, [r14]
001dfce7ja 0x1dfc96
001dfce9jmp 0x1dfcf5
001dfceb
001dfcebloc_1dfceb:
001dfcebmov eax, 1
001dfcf0add rsp, 56
001dfcf4ret
001dfcf5
001dfcf5loc_1dfcf5:
001dfcf5call caml_call_gc
001dfcfajmp 0x1dfc96
001dfcfc
001dfcfcloc_1dfcfc:
001dfcfccall caml_ml_array_bound_error
001dfd01
001dfd01loc_1dfd01:
001dfd01call caml_ml_array_bound_error
001dfd06
001dfd06loc_1dfd06:
001dfd06push 40
001dfd08call caml_call_realloc_stack
001dfd0dpop r10
001dfd0fjmp 0x1dfc02
001dfbf0
001dfd14
001dfd14 // align 0x10
001dfd14 // align 0x10
001dfd20
001dfd20Stdlib.Bigarray.floop:
001dfd20lea r10, [rsp-376]
001dfd28cmp r10, [r14+40]
001dfd2cjb 0x1dfe26
001dfd32
001dfd32loc_1dfd32:
001dfd32sub rsp, 56
001dfd36mov r8, rax
001dfd39mov rax, rbx
001dfd3cmov rbx, rdi
001dfd3fcmp rsi, 1
001dfd43jge 0x1dfd74
001dfd45mov [rsp+48], rax
001dfd4amov [rsp+40], r8
001dfd4fmov rdi, [rbx]
001dfd52call rdi
001dfd54mov rdi, [rsp+40]
001dfd59mov rsi, [rsp+48]
001dfd5emov rdx, rax
001dfd61lea rax, [rip+0x1d518]
001dfd68call caml_c_call
001dfd6dadd rsp, 56
001dfd71ret
001dfd72
001dfd72 66 90 f.
001dfd74
001dfd74loc_1dfd74:
001dfd74mov ecx, 3
001dfd79mov rdi, [rdx-8]
001dfd7dshr rdi, 9
001dfd81cmp rdi, rsi
001dfd84jbe 0x1dfe21
001dfd8amov rdi, [rdx+4*rsi-4]
001dfd8fcmp rcx, rdi
001dfd92jg 0x1dfe0b
001dfd94mov [rsp+32], rdi
001dfd99mov [rsp+24], rcx
001dfd9emov [rsp+16], rdx
001dfda3mov [rsp], rsi
001dfda7mov [rsp+8], rbx
001dfdacmov [rsp+48], rax
001dfdb1mov [rsp+40], r8
001dfdb6
001dfdb6loc_1dfdb6:
001dfdb6mov rbx, [rsp+48]
001dfdbbmov rax, [rbx-8]
001dfdbfshr rax, 9
001dfdc3mov rsi, [rsp]
001dfdc7cmp rax, rsi
001dfdcajbe 0x1dfe1c
001dfdccmov [rbx+4*rsi-4], rcx
001dfdd1add rsi, -2
001dfdd5mov rax, [rsp+40]
001dfddamov rdi, [rsp+8]
001dfddfmov rdx, [rsp+16]
001dfde4call Stdlib.Bigarray.floop
001dfde9mov rcx, [rsp+24]
001dfdeemov rax, rcx
001dfdf1add rcx, 2
001dfdf5mov [rsp+24], rcx
001dfdfamov rbx, [rsp+32]
001dfdffcmp rax, rbx
001dfe02je 0x1dfe0b
001dfe04cmp r15, [r14]
001dfe07ja 0x1dfdb6
001dfe09jmp 0x1dfe15
001dfe0b
001dfe0bloc_1dfe0b:
001dfe0bmov eax, 1
001dfe10add rsp, 56
001dfe14ret
001dfe15
001dfe15loc_1dfe15:
001dfe15call caml_call_gc
001dfe1ajmp 0x1dfdb6
001dfe1c
001dfe1cloc_1dfe1c:
001dfe1ccall caml_ml_array_bound_error
001dfe21
001dfe21loc_1dfe21:
001dfe21call caml_ml_array_bound_error
001dfe26
001dfe26loc_1dfe26:
001dfe26push 40
001dfe28call caml_call_realloc_stack
001dfe2dpop r10
001dfe2fjmp 0x1dfd32
001dfd20
001dfd20Stdlib.Bigarray.floop:
001dfd20lea r10, [rsp-376]
001dfd28cmp r10, [r14+40]
001dfd2cjb 0x1dfe26
001dfd32
001dfd32loc_1dfd32:
001dfd32sub rsp, 56
001dfd36mov r8, rax
001dfd39mov rax, rbx
001dfd3cmov rbx, rdi
001dfd3fcmp rsi, 1
001dfd43jge 0x1dfd74
001dfd45mov [rsp+48], rax
001dfd4amov [rsp+40], r8
001dfd4fmov rdi, [rbx]
001dfd52call rdi
001dfd54mov rdi, [rsp+40]
001dfd59mov rsi, [rsp+48]
001dfd5emov rdx, rax
001dfd61lea rax, [rip+0x1d518]
001dfd68call caml_c_call
001dfd6dadd rsp, 56
001dfd71ret
001dfd72
001dfd72 66 90 f.
001dfd74
001dfd74loc_1dfd74:
001dfd74mov ecx, 3
001dfd79mov rdi, [rdx-8]
001dfd7dshr rdi, 9
001dfd81cmp rdi, rsi
001dfd84jbe 0x1dfe21
001dfd8amov rdi, [rdx+4*rsi-4]
001dfd8fcmp rcx, rdi
001dfd92jg 0x1dfe0b
001dfd94mov [rsp+32], rdi
001dfd99mov [rsp+24], rcx
001dfd9emov [rsp+16], rdx
001dfda3mov [rsp], rsi
001dfda7mov [rsp+8], rbx
001dfdacmov [rsp+48], rax
001dfdb1mov [rsp+40], r8
001dfdb6
001dfdb6loc_1dfdb6:
001dfdb6mov rbx, [rsp+48]
001dfdbbmov rax, [rbx-8]
001dfdbfshr rax, 9
001dfdc3mov rsi, [rsp]
001dfdc7cmp rax, rsi
001dfdcajbe 0x1dfe1c
001dfdccmov [rbx+4*rsi-4], rcx
001dfdd1add rsi, -2
001dfdd5mov rax, [rsp+40]
001dfddamov rdi, [rsp+8]
001dfddfmov rdx, [rsp+16]
001dfde4call Stdlib.Bigarray.floop
001dfde9mov rcx, [rsp+24]
001dfdeemov rax, rcx
001dfdf1add rcx, 2
001dfdf5mov [rsp+24], rcx
001dfdfamov rbx, [rsp+32]
001dfdffcmp rax, rbx
001dfe02je 0x1dfe0b
001dfe04cmp r15, [r14]
001dfe07ja 0x1dfdb6
001dfe09jmp 0x1dfe15
001dfe0b
001dfe0bloc_1dfe0b:
001dfe0bmov eax, 1
001dfe10add rsp, 56
001dfe14ret
001dfe15
001dfe15loc_1dfe15:
001dfe15call caml_call_gc
001dfe1ajmp 0x1dfdb6
001dfe1c
001dfe1cloc_1dfe1c:
001dfe1ccall caml_ml_array_bound_error
001dfe21
001dfe21loc_1dfe21:
001dfe21call caml_ml_array_bound_error
001dfe26
001dfe26loc_1dfe26:
001dfe26push 40
001dfe28call caml_call_realloc_stack
001dfe2dpop r10
001dfe2fjmp 0x1dfd32
001dfd20
001dfe34
001dfe34 // align 0x10
001dfe34 // align 0x10
001dfe40
001dfe40Stdlib.Bigarray.init:
001dfe40lea r10, [rsp-352]
001dfe48cmp r10, [r14+40]
001dfe4cjb 0x1dff0f
001dfe52
001dfe52loc_1dfe52:
001dfe52sub rsp, 32
001dfe56mov [rsp], rbx
001dfe5amov rdx, rdi
001dfe5dmov [rsp+16], rdx
001dfe62mov [rsp+8], rsi
001dfe67mov rdi, rax
001dfe6amov rsi, rbx
001dfe6dlea rax, [rip+0x1cd6c]
001dfe74call caml_c_call
001dfe79mov [rsp+24], rax
001dfe7emov rax, [rsp+16]
001dfe83mov rdi, [rax-8]
001dfe87shr rdi, 9
001dfe8bor rdi, 1
001dfe8fmov rax, [rsp]
001dfe93cmp rax, 1
001dfe97je 0x1dfed8
001dfe99mov [rsp], rdi
001dfe9dmov esi, 3
001dfea2lea rax, [rip+0x19df7]
001dfea9call caml_c_call
001dfeaemov rbx, rax
001dfeb1mov rsi, [rsp]
001dfeb5add rsi, -2
001dfeb9mov rax, [rsp+24]
001dfebemov rdi, [rsp+8]
001dfec3mov rdx, [rsp+16]
001dfec8call Stdlib.Bigarray.floop
001dfecdmov rax, [rsp+24]
001dfed2add rsp, 32
001dfed6ret
001dfed7
001dfed7 90 .
001dfed8
001dfed8loc_1dfed8:
001dfed8mov esi, 1
001dfeddlea rax, [rip+0x19dbc]
001dfee4call caml_c_call
001dfee9mov rbx, rax
001dfeecmov esi, 1
001dfef1mov rax, [rsp+24]
001dfef6mov rdi, [rsp+8]
001dfefbmov rdx, [rsp+16]
001dff00call Stdlib.Bigarray.cloop
001dff05mov rax, [rsp+24]
001dff0aadd rsp, 32
001dff0eret
001dff0f
001dff0floc_1dff0f:
001dff0fpush 37
001dff11call caml_call_realloc_stack
001dff16pop r10
001dff18jmp 0x1dfe52
001dfe40
001dfe40Stdlib.Bigarray.init:
001dfe40lea r10, [rsp-352]
001dfe48cmp r10, [r14+40]
001dfe4cjb 0x1dff0f
001dfe52
001dfe52loc_1dfe52:
001dfe52sub rsp, 32
001dfe56mov [rsp], rbx
001dfe5amov rdx, rdi
001dfe5dmov [rsp+16], rdx
001dfe62mov [rsp+8], rsi
001dfe67mov rdi, rax
001dfe6amov rsi, rbx
001dfe6dlea rax, [rip+0x1cd6c]
001dfe74call caml_c_call
001dfe79mov [rsp+24], rax
001dfe7emov rax, [rsp+16]
001dfe83mov rdi, [rax-8]
001dfe87shr rdi, 9
001dfe8bor rdi, 1
001dfe8fmov rax, [rsp]
001dfe93cmp rax, 1
001dfe97je 0x1dfed8
001dfe99mov [rsp], rdi
001dfe9dmov esi, 3
001dfea2lea rax, [rip+0x19df7]
001dfea9call caml_c_call
001dfeaemov rbx, rax
001dfeb1mov rsi, [rsp]
001dfeb5add rsi, -2
001dfeb9mov rax, [rsp+24]
001dfebemov rdi, [rsp+8]
001dfec3mov rdx, [rsp+16]
001dfec8call Stdlib.Bigarray.floop
001dfecdmov rax, [rsp+24]
001dfed2add rsp, 32
001dfed6ret
001dfed7
001dfed7 90 .
001dfed8
001dfed8loc_1dfed8:
001dfed8mov esi, 1
001dfeddlea rax, [rip+0x19dbc]
001dfee4call caml_c_call
001dfee9mov rbx, rax
001dfeecmov esi, 1
001dfef1mov rax, [rsp+24]
001dfef6mov rdi, [rsp+8]
001dfefbmov rdx, [rsp+16]
001dff00call Stdlib.Bigarray.cloop
001dff05mov rax, [rsp+24]
001dff0aadd rsp, 32
001dff0eret
001dff0f
001dff0floc_1dff0f:
001dff0fpush 37
001dff11call caml_call_realloc_stack
001dff16pop r10
001dff18jmp 0x1dfe52
001dfe40
001dff1d
001dff1d // align 0x10
001dff1d // align 0x10
001dff20
001dff20Stdlib.Bigarray.dims:
001dff20sub rsp, 32
001dff24mov [rsp+8], rax
001dff29mov rdi, rax
001dff2clea rax, [rip+0x1d4ad]
001dff33call caml_c_call
001dff38mov [rsp], rax
001dff3cmov esi, 1
001dff41mov rdi, rax
001dff44lea rax, [rip+0x19d55]
001dff4bcall caml_c_call
001dff50mov rbx, rax
001dff53mov esi, 1
001dff58mov rax, [rsp]
001dff5cadd rax, -2
001dff60cmp rsi, rax
001dff63jg 0x1dffbc
001dff65mov [rsp+24], rax
001dff6amov [rsp+16], rsi
001dff6fmov [rsp], rbx
001dff73
001dff73loc_1dff73:
001dff73mov rdi, [rsp+8]
001dff78lea rax, [rip+0x1d471]
001dff7fcall caml_c_call
001dff84mov rbx, [rsp]
001dff88mov rdi, [rbx-8]
001dff8cshr rdi, 9
001dff90mov rsi, [rsp+16]
001dff95cmp rdi, rsi
001dff98jbe 0x1dffcb
001dff9amov [rbx+4*rsi-4], rax
001dff9fmov rax, rsi
001dffa2add rsi, 2
001dffa6mov [rsp+16], rsi
001dffabmov rdi, [rsp+24]
001dffb0cmp rax, rdi
001dffb3je 0x1dffbc
001dffb5cmp r15, [r14]
001dffb8ja 0x1dff73
001dffbajmp 0x1dffc4
001dffbc
001dffbcloc_1dffbc:
001dffbcmov rax, rbx
001dffbfadd rsp, 32
001dffc3ret
001dffc4
001dffc4loc_1dffc4:
001dffc4call caml_call_gc
001dffc9jmp 0x1dff73
001dffcb
001dffcbloc_1dffcb:
001dffcbcall caml_ml_array_bound_error
001dff20
001dff20Stdlib.Bigarray.dims:
001dff20sub rsp, 32
001dff24mov [rsp+8], rax
001dff29mov rdi, rax
001dff2clea rax, [rip+0x1d4ad]
001dff33call caml_c_call
001dff38mov [rsp], rax
001dff3cmov esi, 1
001dff41mov rdi, rax
001dff44lea rax, [rip+0x19d55]
001dff4bcall caml_c_call
001dff50mov rbx, rax
001dff53mov esi, 1
001dff58mov rax, [rsp]
001dff5cadd rax, -2
001dff60cmp rsi, rax
001dff63jg 0x1dffbc
001dff65mov [rsp+24], rax
001dff6amov [rsp+16], rsi
001dff6fmov [rsp], rbx
001dff73
001dff73loc_1dff73:
001dff73mov rdi, [rsp+8]
001dff78lea rax, [rip+0x1d471]
001dff7fcall caml_c_call
001dff84mov rbx, [rsp]
001dff88mov rdi, [rbx-8]
001dff8cshr rdi, 9
001dff90mov rsi, [rsp+16]
001dff95cmp rdi, rsi
001dff98jbe 0x1dffcb
001dff9amov [rbx+4*rsi-4], rax
001dff9fmov rax, rsi
001dffa2add rsi, 2
001dffa6mov [rsp+16], rsi
001dffabmov rdi, [rsp+24]
001dffb0cmp rax, rdi
001dffb3je 0x1dffbc
001dffb5cmp r15, [r14]
001dffb8ja 0x1dff73
001dffbajmp 0x1dffc4
001dffbc
001dffbcloc_1dffbc:
001dffbcmov rax, rbx
001dffbfadd rsp, 32
001dffc3ret
001dffc4
001dffc4loc_1dffc4:
001dffc4call caml_call_gc
001dffc9jmp 0x1dff73
001dffcb
001dffcbloc_1dffcb:
001dffcbcall caml_ml_array_bound_error
001dff20
001dffd0
001dffd0Stdlib.Bigarray.size_in_bytes:
001dffd0lea r10, [rsp-336]
001dffd8cmp r10, [r14+40]
001dffdcjb 0x1e0030
001dffde
001dffdeloc_1dffde:
001dffdesub rsp, 16
001dffe2mov [rsp], rax
001dffe6call Stdlib.Bigarray.dims
001dffebmov rdi, rax
001dffeemov ebx, 3
001dfff3lea rax, [rip+0x185616]
001dfffacall Stdlib.Array.fold_left
001dffffsar rax, 1
001e0002mov [rsp+8], rax
001e0007mov rdi, [rsp]
001e000blea rax, [rip+0x1d49e]
001e0012call caml_c_call
001e0017call Stdlib.Bigarray.kind_size_in_bytes
001e001cdec rax
001e001fmov rbx, [rsp+8]
001e0024imul rax, rbx
001e0028inc rax
001e002badd rsp, 16
001e002fret
001e0030
001e0030loc_1e0030:
001e0030push 35
001e0032call caml_call_realloc_stack
001e0037pop r10
001e0039jmp 0x1dffde
001dffd0
001dffd0Stdlib.Bigarray.size_in_bytes:
001dffd0lea r10, [rsp-336]
001dffd8cmp r10, [r14+40]
001dffdcjb 0x1e0030
001dffde
001dffdeloc_1dffde:
001dffdesub rsp, 16
001dffe2mov [rsp], rax
001dffe6call Stdlib.Bigarray.dims
001dffebmov rdi, rax
001dffeemov ebx, 3
001dfff3lea rax, [rip+0x185616]
001dfffacall Stdlib.Array.fold_left
001dffffsar rax, 1
001e0002mov [rsp+8], rax
001e0007mov rdi, [rsp]
001e000blea rax, [rip+0x1d49e]
001e0012call caml_c_call
001e0017call Stdlib.Bigarray.kind_size_in_bytes
001e001cdec rax
001e001fmov rbx, [rsp+8]
001e0024imul rax, rbx
001e0028inc rax
001e002badd rsp, 16
001e002fret
001e0030
001e0030loc_1e0030:
001e0030push 35
001e0032call caml_call_realloc_stack
001e0037pop r10
001e0039jmp 0x1dffde
001dffd0
001e003b
001e003b // align 0x10
001e003b // align 0x10
001e0040
001e0040Stdlib.Bigarray.fun:
001e0040sar rbx, 1
001e0043dec rax
001e0046imul rax, rbx
001e004ainc rax
001e004dret
001e0040
001e0040Stdlib.Bigarray.fun:
001e0040sar rbx, 1
001e0043dec rax
001e0046imul rax, rbx
001e004ainc rax
001e004dret
001e0040
001e004e
001e004e // align 0x10
001e004e // align 0x10
001e0050
001e0050Stdlib.Bigarray.fun:
001e0050mov rdi, rax
001e0053mov rsi, rbx
001e0056lea rax, [rip+0x1d783]
001e005dcall caml_c_call
001e0062ret
001e0050
001e0050Stdlib.Bigarray.fun:
001e0050mov rdi, rax
001e0053mov rsi, rbx
001e0056lea rax, [rip+0x1d783]
001e005dcall caml_c_call
001e0062ret
001e0050
001e0063
001e0063 // align 0x10
001e0063 // align 0x10
001e0070
001e0070Stdlib.Bigarray.create:
001e0070lea rdx, [rip+0x185f09]
001e0077mov rdi, rax
001e007amov rsi, rbx
001e007dlea rax, [rip+0x1cb5c]
001e0084call caml_c_call
001e0089ret
001e0070
001e0070Stdlib.Bigarray.create:
001e0070lea rdx, [rip+0x185f09]
001e0077mov rdi, rax
001e007amov rsi, rbx
001e007dlea rax, [rip+0x1cb5c]
001e0084call caml_c_call
001e0089ret
001e0070
001e008a
001e008a // align 0x10
001e008a // align 0x10
001e0090
001e0090Stdlib.Bigarray.get:
001e0090lea rsi, [rip+0x185ee9]
001e0097mov rdi, rax
001e009alea rax, [rip+0x1cfaf]
001e00a1call caml_c_call
001e00a6ret
001e0090
001e0090Stdlib.Bigarray.get:
001e0090lea rsi, [rip+0x185ee9]
001e0097mov rdi, rax
001e009alea rax, [rip+0x1cfaf]
001e00a1call caml_c_call
001e00a6ret
001e0090
001e00a7
001e00a7 // align 0x10
001e00a7 // align 0x10
001e00b0
001e00b0Stdlib.Bigarray.fun:
001e00b0mov rdx, rdi
001e00b3mov rdi, rax
001e00b6mov rsi, rbx
001e00b9lea rax, [rip+0x1d1c0]
001e00c0call caml_c_call
001e00c5ret
001e00b0
001e00b0Stdlib.Bigarray.fun:
001e00b0mov rdx, rdi
001e00b3mov rdi, rax
001e00b6mov rsi, rbx
001e00b9lea rax, [rip+0x1d1c0]
001e00c0call caml_c_call
001e00c5ret
001e00b0
001e00c6
001e00c6 // align 0x10
001e00c6 // align 0x10
001e00d0
001e00d0Stdlib.Bigarray.set:
001e00d0lea rbx, [rip+0x185ea9]
001e00d7lea rdi, [rip+0x185552]
001e00desub r15, 48
001e00e2cmp r15, [r14]
001e00e5jb 0x1e011b
001e00e7
001e00e7loc_1e00e7:
001e00e7lea rsi, [r15+8]
001e00ebmov [rsi-8], 5367
001e00f3lea rdx, [rip+54]
001e00famov [rsi], rdx
001e00fdmov rdx, 0x100000000000005
001e0107mov [rsi+8], rdx
001e010bmov [rsi+16], rax
001e010fmov [rsi+24], rbx
001e0113mov [rsi+32], rdi
001e0117mov rax, rsi
001e011aret
001e011b
001e011bloc_1e011b:
001e011bcall caml_call_gc
001e0120jmp 0x1e00e7
001e00d0
001e00d0Stdlib.Bigarray.set:
001e00d0lea rbx, [rip+0x185ea9]
001e00d7lea rdi, [rip+0x185552]
001e00desub r15, 48
001e00e2cmp r15, [r14]
001e00e5jb 0x1e011b
001e00e7
001e00e7loc_1e00e7:
001e00e7lea rsi, [r15+8]
001e00ebmov [rsi-8], 5367
001e00f3lea rdx, [rip+54]
001e00famov [rsi], rdx
001e00fdmov rdx, 0x100000000000005
001e0107mov [rsi+8], rdx
001e010bmov [rsi+16], rax
001e010fmov [rsi+24], rbx
001e0113mov [rsi+32], rdi
001e0117mov rax, rsi
001e011aret
001e011b
001e011bloc_1e011b:
001e011bcall caml_call_gc
001e0120jmp 0x1e00e7
001e00d0
001e0122
001e0122 // align 0x10
001e0122 // align 0x10
001e0130
001e0130Stdlib.Bigarray.fun:
001e0130mov rsi, [rbx+24]
001e0134mov rdi, [rbx+16]
001e0138mov rdx, rax
001e013blea rax, [rip+0x1d13e]
001e0142call caml_c_call
001e0147ret
001e0130
001e0130Stdlib.Bigarray.fun:
001e0130mov rsi, [rbx+24]
001e0134mov rdi, [rbx+16]
001e0138mov rdx, rax
001e013blea rax, [rip+0x1d13e]
001e0142call caml_c_call
001e0147ret
001e0130
001e0148
001e0148 // align 0x10
001e0148 // align 0x10
001e0150
001e0150Stdlib.Bigarray.size_in_bytes:
001e0150mov rdi, rax
001e0153lea rax, [rip+0x1d356]
001e015acall caml_c_call
001e015fjmp 0x1dfba0
001e0150
001e0150Stdlib.Bigarray.size_in_bytes:
001e0150mov rdi, rax
001e0153lea rax, [rip+0x1d356]
001e015acall caml_c_call
001e015fjmp 0x1dfba0
001e0150
001e0164
001e0164 // align 0x10
001e0164 // align 0x10
001e0170
001e0170Stdlib.Bigarray.of_value:
001e0170lea r10, [rsp-336]
001e0178cmp r10, [r14+40]
001e017cjb 0x1e01b3
001e017e
001e017eloc_1e017e:
001e017esub rsp, 16
001e0182mov [rsp], rdi
001e0186call Stdlib.Bigarray.create
001e018bmov [rsp+8], rax
001e0190mov rbx, [rsp]
001e0194mov [rsp], rbx
001e0198call Stdlib.Bigarray.set
001e019dmov rbx, rax
001e01a0mov rdi, [rbx]
001e01a3mov rax, [rsp]
001e01a7call rdi
001e01a9mov rax, [rsp+8]
001e01aeadd rsp, 16
001e01b2ret
001e01b3
001e01b3loc_1e01b3:
001e01b3push 35
001e01b5call caml_call_realloc_stack
001e01bapop r10
001e01bcjmp 0x1e017e
001e0170
001e0170Stdlib.Bigarray.of_value:
001e0170lea r10, [rsp-336]
001e0178cmp r10, [r14+40]
001e017cjb 0x1e01b3
001e017e
001e017eloc_1e017e:
001e017esub rsp, 16
001e0182mov [rsp], rdi
001e0186call Stdlib.Bigarray.create
001e018bmov [rsp+8], rax
001e0190mov rbx, [rsp]
001e0194mov [rsp], rbx
001e0198call Stdlib.Bigarray.set
001e019dmov rbx, rax
001e01a0mov rdi, [rbx]
001e01a3mov rax, [rsp]
001e01a7call rdi
001e01a9mov rax, [rsp+8]
001e01aeadd rsp, 16
001e01b2ret
001e01b3
001e01b3loc_1e01b3:
001e01b3push 35
001e01b5call caml_call_realloc_stack
001e01bapop r10
001e01bcjmp 0x1e017e
001e0170
001e01be
001e01be // align 0x10
001e01be // align 0x10
001e01c0
001e01c0Stdlib.Bigarray.fun:
001e01c0mov rdi, rax
001e01c3mov rsi, rbx
001e01c6lea rax, [rip+0x1d613]
001e01cdcall caml_c_call
001e01d2ret
001e01c0
001e01c0Stdlib.Bigarray.fun:
001e01c0mov rdi, rax
001e01c3mov rsi, rbx
001e01c6lea rax, [rip+0x1d613]
001e01cdcall caml_c_call
001e01d2ret
001e01c0
001e01d3
001e01d3 // align 0x10
001e01d3 // align 0x10
001e01e0
001e01e0Stdlib.Bigarray.create:
001e01e0sub r15, 16
001e01e4cmp r15, [r14]
001e01e7jb 0x1e020b
001e01e9
001e01e9loc_1e01e9:
001e01e9lea rdx, [r15+8]
001e01edmov [rdx-8], 1024
001e01f5mov [rdx], rdi
001e01f8mov rdi, rax
001e01fbmov rsi, rbx
001e01felea rax, [rip+0x1c9db]
001e0205call caml_c_call
001e020aret
001e020b
001e020bloc_1e020b:
001e020bcall caml_call_gc
001e0210jmp 0x1e01e9
001e01e0
001e01e0Stdlib.Bigarray.create:
001e01e0sub r15, 16
001e01e4cmp r15, [r14]
001e01e7jb 0x1e020b
001e01e9
001e01e9loc_1e01e9:
001e01e9lea rdx, [r15+8]
001e01edmov [rdx-8], 1024
001e01f5mov [rdx], rdi
001e01f8mov rdi, rax
001e01fbmov rsi, rbx
001e01felea rax, [rip+0x1c9db]
001e0205call caml_c_call
001e020aret
001e020b
001e020bloc_1e020b:
001e020bcall caml_call_gc
001e0210jmp 0x1e01e9
001e01e0
001e0212
001e0212 // align 0x10
001e0212 // align 0x10
001e0220
001e0220Stdlib.Bigarray.size_in_bytes:
001e0220lea r10, [rsp-328]
001e0228cmp r10, [r14+40]
001e022cjb 0x1e0267
001e022e
001e022eloc_1e022e:
001e022esub rsp, 8
001e0232mov rbx, [rax+40]
001e0236shl rbx, 1
001e0239sar rbx, 1
001e023cmov [rsp], rbx
001e0240mov rdi, rax
001e0243lea rax, [rip+0x1d266]
001e024acall caml_c_call
001e024fcall Stdlib.Bigarray.kind_size_in_bytes
001e0254dec rax
001e0257mov rbx, [rsp]
001e025bimul rax, rbx
001e025finc rax
001e0262add rsp, 8
001e0266ret
001e0267
001e0267loc_1e0267:
001e0267push 34
001e0269call caml_call_realloc_stack
001e026epop r10
001e0270jmp 0x1e022e
001e0220
001e0220Stdlib.Bigarray.size_in_bytes:
001e0220lea r10, [rsp-328]
001e0228cmp r10, [r14+40]
001e022cjb 0x1e0267
001e022e
001e022eloc_1e022e:
001e022esub rsp, 8
001e0232mov rbx, [rax+40]
001e0236shl rbx, 1
001e0239sar rbx, 1
001e023cmov [rsp], rbx
001e0240mov rdi, rax
001e0243lea rax, [rip+0x1d266]
001e024acall caml_c_call
001e024fcall Stdlib.Bigarray.kind_size_in_bytes
001e0254dec rax
001e0257mov rbx, [rsp]
001e025bimul rax, rbx
001e025finc rax
001e0262add rsp, 8
001e0266ret
001e0267
001e0267loc_1e0267:
001e0267push 34
001e0269call caml_call_realloc_stack
001e026epop r10
001e0270jmp 0x1e022e
001e0220
001e0272
001e0272 // align 0x10
001e0272 // align 0x10
001e0280
001e0280Stdlib.Bigarray.slice:
001e0280sub rsp, 16
001e0284mov [rsp+8], rax
001e0289mov [rsp], rbx
001e028dmov rdi, rax
001e0290lea rax, [rip+0x1d239]
001e0297call caml_c_call
001e029csub r15, 16
001e02a0cmp r15, [r14]
001e02a3jb 0x1e02ce
001e02a5
001e02a5loc_1e02a5:
001e02a5lea rsi, [r15+8]
001e02a9mov [rsi-8], 1024
001e02b1mov rax, [rsp]
001e02b5mov [rsi], rax
001e02b8mov rdi, [rsp+8]
001e02bdlea rax, [rip+0x1d23c]
001e02c4call caml_c_call
001e02c9add rsp, 16
001e02cdret
001e02ce
001e02celoc_1e02ce:
001e02cecall caml_call_gc
001e02d3jmp 0x1e02a5
001e0280
001e0280Stdlib.Bigarray.slice:
001e0280sub rsp, 16
001e0284mov [rsp+8], rax
001e0289mov [rsp], rbx
001e028dmov rdi, rax
001e0290lea rax, [rip+0x1d239]
001e0297call caml_c_call
001e029csub r15, 16
001e02a0cmp r15, [r14]
001e02a3jb 0x1e02ce
001e02a5
001e02a5loc_1e02a5:
001e02a5lea rsi, [r15+8]
001e02a9mov [rsi-8], 1024
001e02b1mov rax, [rsp]
001e02b5mov [rsi], rax
001e02b8mov rdi, [rsp+8]
001e02bdlea rax, [rip+0x1d23c]
001e02c4call caml_c_call
001e02c9add rsp, 16
001e02cdret
001e02ce
001e02celoc_1e02ce:
001e02cecall caml_call_gc
001e02d3jmp 0x1e02a5
001e0280
001e02d5
001e02d5 // align 0x10
001e02d5 // align 0x10
001e02e0
001e02e0Stdlib.Bigarray.c_init:
001e02e0lea r10, [rsp-352]
001e02e8cmp r10, [r14+40]
001e02ecjb 0x1e036b
001e02ee
001e02eeloc_1e02ee:
001e02eesub rsp, 32
001e02f2mov rsi, rax
001e02f5mov eax, 1
001e02faadd rbx, -2
001e02fecmp rax, rbx
001e0301jg 0x1e035a
001e0303mov [rsp+24], rbx
001e0308mov [rsp+16], rax
001e030dmov [rsp], rdi
001e0311mov [rsp+8], rsi
001e0316
001e0316loc_1e0316:
001e0316mov rbx, [rsp]
001e031amov rdi, [rbx]
001e031dcall rdi
001e031fmov rdi, [rsp+8]
001e0324mov rsi, [rsp+16]
001e0329mov rdx, rax
001e032clea rax, [rip+0x1ce4d]
001e0333call caml_c_call
001e0338mov rax, [rsp+16]
001e033dmov rbx, rax
001e0340add rax, 2
001e0344mov [rsp+16], rax
001e0349mov rdi, [rsp+24]
001e034ecmp rbx, rdi
001e0351je 0x1e035a
001e0353cmp r15, [r14]
001e0356ja 0x1e0316
001e0358jmp 0x1e0364
001e035a
001e035aloc_1e035a:
001e035amov eax, 1
001e035fadd rsp, 32
001e0363ret
001e0364
001e0364loc_1e0364:
001e0364call caml_call_gc
001e0369jmp 0x1e0316
001e036b
001e036bloc_1e036b:
001e036bpush 37
001e036dcall caml_call_realloc_stack
001e0372pop r10
001e0374jmp 0x1e02ee
001e02e0
001e02e0Stdlib.Bigarray.c_init:
001e02e0lea r10, [rsp-352]
001e02e8cmp r10, [r14+40]
001e02ecjb 0x1e036b
001e02ee
001e02eeloc_1e02ee:
001e02eesub rsp, 32
001e02f2mov rsi, rax
001e02f5mov eax, 1
001e02faadd rbx, -2
001e02fecmp rax, rbx
001e0301jg 0x1e035a
001e0303mov [rsp+24], rbx
001e0308mov [rsp+16], rax
001e030dmov [rsp], rdi
001e0311mov [rsp+8], rsi
001e0316
001e0316loc_1e0316:
001e0316mov rbx, [rsp]
001e031amov rdi, [rbx]
001e031dcall rdi
001e031fmov rdi, [rsp+8]
001e0324mov rsi, [rsp+16]
001e0329mov rdx, rax
001e032clea rax, [rip+0x1ce4d]
001e0333call caml_c_call
001e0338mov rax, [rsp+16]
001e033dmov rbx, rax
001e0340add rax, 2
001e0344mov [rsp+16], rax
001e0349mov rdi, [rsp+24]
001e034ecmp rbx, rdi
001e0351je 0x1e035a
001e0353cmp r15, [r14]
001e0356ja 0x1e0316
001e0358jmp 0x1e0364
001e035a
001e035aloc_1e035a:
001e035amov eax, 1
001e035fadd rsp, 32
001e0363ret
001e0364
001e0364loc_1e0364:
001e0364call caml_call_gc
001e0369jmp 0x1e0316
001e036b
001e036bloc_1e036b:
001e036bpush 37
001e036dcall caml_call_realloc_stack
001e0372pop r10
001e0374jmp 0x1e02ee
001e02e0
001e0379
001e0379 // align 0x10
001e0379 // align 0x10
001e0380
001e0380Stdlib.Bigarray.fortran_init:
001e0380lea r10, [rsp-352]
001e0388cmp r10, [r14+40]
001e038cjb 0x1e0407
001e038e
001e038eloc_1e038e:
001e038esub rsp, 32
001e0392mov rsi, rax
001e0395mov eax, 3
001e039acmp rax, rbx
001e039djg 0x1e03f6
001e039fmov [rsp+24], rbx
001e03a4mov [rsp+16], rax
001e03a9mov [rsp], rdi
001e03admov [rsp+8], rsi
001e03b2
001e03b2loc_1e03b2:
001e03b2mov rbx, [rsp]
001e03b6mov rdi, [rbx]
001e03b9call rdi
001e03bbmov rdi, [rsp+8]
001e03c0mov rsi, [rsp+16]
001e03c5mov rdx, rax
001e03c8lea rax, [rip+0x1cdb1]
001e03cfcall caml_c_call
001e03d4mov rax, [rsp+16]
001e03d9mov rbx, rax
001e03dcadd rax, 2
001e03e0mov [rsp+16], rax
001e03e5mov rdi, [rsp+24]
001e03eacmp rbx, rdi
001e03edje 0x1e03f6
001e03efcmp r15, [r14]
001e03f2ja 0x1e03b2
001e03f4jmp 0x1e0400
001e03f6
001e03f6loc_1e03f6:
001e03f6mov eax, 1
001e03fbadd rsp, 32
001e03ffret
001e0400
001e0400loc_1e0400:
001e0400call caml_call_gc
001e0405jmp 0x1e03b2
001e0407
001e0407loc_1e0407:
001e0407push 37
001e0409call caml_call_realloc_stack
001e040epop r10
001e0410jmp 0x1e038e
001e0380
001e0380Stdlib.Bigarray.fortran_init:
001e0380lea r10, [rsp-352]
001e0388cmp r10, [r14+40]
001e038cjb 0x1e0407
001e038e
001e038eloc_1e038e:
001e038esub rsp, 32
001e0392mov rsi, rax
001e0395mov eax, 3
001e039acmp rax, rbx
001e039djg 0x1e03f6
001e039fmov [rsp+24], rbx
001e03a4mov [rsp+16], rax
001e03a9mov [rsp], rdi
001e03admov [rsp+8], rsi
001e03b2
001e03b2loc_1e03b2:
001e03b2mov rbx, [rsp]
001e03b6mov rdi, [rbx]
001e03b9call rdi
001e03bbmov rdi, [rsp+8]
001e03c0mov rsi, [rsp+16]
001e03c5mov rdx, rax
001e03c8lea rax, [rip+0x1cdb1]
001e03cfcall caml_c_call
001e03d4mov rax, [rsp+16]
001e03d9mov rbx, rax
001e03dcadd rax, 2
001e03e0mov [rsp+16], rax
001e03e5mov rdi, [rsp+24]
001e03eacmp rbx, rdi
001e03edje 0x1e03f6
001e03efcmp r15, [r14]
001e03f2ja 0x1e03b2
001e03f4jmp 0x1e0400
001e03f6
001e03f6loc_1e03f6:
001e03f6mov eax, 1
001e03fbadd rsp, 32
001e03ffret
001e0400
001e0400loc_1e0400:
001e0400call caml_call_gc
001e0405jmp 0x1e03b2
001e0407
001e0407loc_1e0407:
001e0407push 37
001e0409call caml_call_realloc_stack
001e040epop r10
001e0410jmp 0x1e038e
001e0380
001e0415
001e0415 // align 0x10
001e0415 // align 0x10
001e0420
001e0420Stdlib.Bigarray.init:
001e0420lea r10, [rsp-352]
001e0428cmp r10, [r14+40]
001e042cjb 0x1e0489
001e042e
001e042eloc_1e042e:
001e042esub rsp, 32
001e0432mov [rsp], rbx
001e0436mov [rsp+8], rdi
001e043bmov [rsp+16], rsi
001e0440call Stdlib.Bigarray.create
001e0445mov [rsp+24], rax
001e044amov rbx, [rsp]
001e044ecmp rbx, 1
001e0452je 0x1e0470
001e0454mov rbx, [rsp+8]
001e0459mov rdi, [rsp+16]
001e045ecall Stdlib.Bigarray.fortran_init
001e0463mov rax, [rsp+24]
001e0468add rsp, 32
001e046cret
001e046d
001e046d 0f 1f 00 ...
001e0470
001e0470loc_1e0470:
001e0470mov rbx, [rsp+8]
001e0475mov rdi, [rsp+16]
001e047acall Stdlib.Bigarray.c_init
001e047fmov rax, [rsp+24]
001e0484add rsp, 32
001e0488ret
001e0489
001e0489loc_1e0489:
001e0489push 37
001e048bcall caml_call_realloc_stack
001e0490pop r10
001e0492jmp 0x1e042e
001e0420
001e0420Stdlib.Bigarray.init:
001e0420lea r10, [rsp-352]
001e0428cmp r10, [r14+40]
001e042cjb 0x1e0489
001e042e
001e042eloc_1e042e:
001e042esub rsp, 32
001e0432mov [rsp], rbx
001e0436mov [rsp+8], rdi
001e043bmov [rsp+16], rsi
001e0440call Stdlib.Bigarray.create
001e0445mov [rsp+24], rax
001e044amov rbx, [rsp]
001e044ecmp rbx, 1
001e0452je 0x1e0470
001e0454mov rbx, [rsp+8]
001e0459mov rdi, [rsp+16]
001e045ecall Stdlib.Bigarray.fortran_init
001e0463mov rax, [rsp+24]
001e0468add rsp, 32
001e046cret
001e046d
001e046d 0f 1f 00 ...
001e0470
001e0470loc_1e0470:
001e0470mov rbx, [rsp+8]
001e0475mov rdi, [rsp+16]
001e047acall Stdlib.Bigarray.c_init
001e047fmov rax, [rsp+24]
001e0484add rsp, 32
001e0488ret
001e0489
001e0489loc_1e0489:
001e0489push 37
001e048bcall caml_call_realloc_stack
001e0490pop r10
001e0492jmp 0x1e042e
001e0420
001e0494
001e0494 // align 0x10
001e0494 // align 0x10
001e04a0
001e04a0Stdlib.Bigarray.of_array:
001e04a0lea r10, [rsp-360]
001e04a8cmp r10, [r14+40]
001e04acjb 0x1e05bf
001e04b2
001e04b2loc_1e04b2:
001e04b2sub rsp, 40
001e04b6mov [rsp], rbx
001e04bamov [rsp+8], rdi
001e04bfmov rdi, [rdi-8]
001e04c3shr rdi, 9
001e04c7or rdi, 1
001e04cbcall Stdlib.Bigarray.create
001e04d0mov [rsp+16], rax
001e04d5mov rbx, [rsp]
001e04d9mov eax, 1
001e04demov rsi, [rsp+8]
001e04e3mov rdi, [rsi-8]
001e04e7shr rdi, 9
001e04ebor rdi, 1
001e04efadd rdi, -2
001e04f3cmp rax, rdi
001e04f6jg 0x1e059f
001e04fcmov [rsp+32], rdi
001e0501mov [rsp+24], rax
001e0506mov [rsp], rbx
001e050amov [rsp+8], rsi
001e050f
001e050floc_1e050f:
001e050fmov rsi, [rsp+8]
001e0514mov rbx, [rsi-8]
001e0518mov rdi, rbx
001e051bshr rdi, 9
001e051fcmp rdi, rax
001e0522jbe 0x1e05ba
001e0528and rbx, 255
001e052fcmp rbx, 254
001e0536je 0x1e0540
001e0538mov rdx, [rsi+4*rax-4]
001e053djmp 0x1e055f
001e053f
001e053f 90 .
001e0540
001e0540loc_1e0540:
001e0540sub r15, 16
001e0544cmp r15, [r14]
001e0547jb 0x1e05b3
001e0549
001e0549loc_1e0549:
001e0549lea rdx, [r15+8]
001e054dmov [rdx-8], 1277
001e0555movsd_xmm x0, [rsi+4*rax-4]
001e055bmovsd_xmm [rdx], x0
001e055f
001e055floc_1e055f:
001e055fmov rbx, [rsp]
001e0563lea rsi, [rax+rbx-1]
001e0568mov rdi, [rsp+16]
001e056dlea rax, [rip+0x1cc0c]
001e0574call caml_c_call
001e0579mov rax, [rsp+24]
001e057emov rbx, rax
001e0581add rax, 2
001e0585mov [rsp+24], rax
001e058amov rdi, [rsp+32]
001e058fcmp rbx, rdi
001e0592je 0x1e059f
001e0594cmp r15, [r14]
001e0597ja 0x1e050f
001e059djmp 0x1e05a9
001e059f
001e059floc_1e059f:
001e059fmov rax, [rsp+16]
001e05a4add rsp, 40
001e05a8ret
001e05a9
001e05a9loc_1e05a9:
001e05a9call caml_call_gc
001e05aejmp 0x1e050f
001e05b3
001e05b3loc_1e05b3:
001e05b3call caml_call_gc
001e05b8jmp 0x1e0549
001e05ba
001e05baloc_1e05ba:
001e05bacall caml_ml_array_bound_error
001e05bf
001e05bfloc_1e05bf:
001e05bfpush 38
001e05c1call caml_call_realloc_stack
001e05c6pop r10
001e05c8jmp 0x1e04b2
001e04a0
001e04a0Stdlib.Bigarray.of_array:
001e04a0lea r10, [rsp-360]
001e04a8cmp r10, [r14+40]
001e04acjb 0x1e05bf
001e04b2
001e04b2loc_1e04b2:
001e04b2sub rsp, 40
001e04b6mov [rsp], rbx
001e04bamov [rsp+8], rdi
001e04bfmov rdi, [rdi-8]
001e04c3shr rdi, 9
001e04c7or rdi, 1
001e04cbcall Stdlib.Bigarray.create
001e04d0mov [rsp+16], rax
001e04d5mov rbx, [rsp]
001e04d9mov eax, 1
001e04demov rsi, [rsp+8]
001e04e3mov rdi, [rsi-8]
001e04e7shr rdi, 9
001e04ebor rdi, 1
001e04efadd rdi, -2
001e04f3cmp rax, rdi
001e04f6jg 0x1e059f
001e04fcmov [rsp+32], rdi
001e0501mov [rsp+24], rax
001e0506mov [rsp], rbx
001e050amov [rsp+8], rsi
001e050f
001e050floc_1e050f:
001e050fmov rsi, [rsp+8]
001e0514mov rbx, [rsi-8]
001e0518mov rdi, rbx
001e051bshr rdi, 9
001e051fcmp rdi, rax
001e0522jbe 0x1e05ba
001e0528and rbx, 255
001e052fcmp rbx, 254
001e0536je 0x1e0540
001e0538mov rdx, [rsi+4*rax-4]
001e053djmp 0x1e055f
001e053f
001e053f 90 .
001e0540
001e0540loc_1e0540:
001e0540sub r15, 16
001e0544cmp r15, [r14]
001e0547jb 0x1e05b3
001e0549
001e0549loc_1e0549:
001e0549lea rdx, [r15+8]
001e054dmov [rdx-8], 1277
001e0555movsd_xmm x0, [rsi+4*rax-4]
001e055bmovsd_xmm [rdx], x0
001e055f
001e055floc_1e055f:
001e055fmov rbx, [rsp]
001e0563lea rsi, [rax+rbx-1]
001e0568mov rdi, [rsp+16]
001e056dlea rax, [rip+0x1cc0c]
001e0574call caml_c_call
001e0579mov rax, [rsp+24]
001e057emov rbx, rax
001e0581add rax, 2
001e0585mov [rsp+24], rax
001e058amov rdi, [rsp+32]
001e058fcmp rbx, rdi
001e0592je 0x1e059f
001e0594cmp r15, [r14]
001e0597ja 0x1e050f
001e059djmp 0x1e05a9
001e059f
001e059floc_1e059f:
001e059fmov rax, [rsp+16]
001e05a4add rsp, 40
001e05a8ret
001e05a9
001e05a9loc_1e05a9:
001e05a9call caml_call_gc
001e05aejmp 0x1e050f
001e05b3
001e05b3loc_1e05b3:
001e05b3call caml_call_gc
001e05b8jmp 0x1e0549
001e05ba
001e05baloc_1e05ba:
001e05bacall caml_ml_array_bound_error
001e05bf
001e05bfloc_1e05bf:
001e05bfpush 38
001e05c1call caml_call_realloc_stack
001e05c6pop r10
001e05c8jmp 0x1e04b2
001e04a0
001e05cd
001e05cd // align 0x10
001e05cd // align 0x10
001e05d0
001e05d0Stdlib.Bigarray.fun:
001e05d0mov rdi, rax
001e05d3mov rsi, rbx
001e05d6lea rax, [rip+0x1d203]
001e05ddcall caml_c_call
001e05e2ret
001e05d0
001e05d0Stdlib.Bigarray.fun:
001e05d0mov rdi, rax
001e05d3mov rsi, rbx
001e05d6lea rax, [rip+0x1d203]
001e05ddcall caml_c_call
001e05e2ret
001e05d0
001e05e3
001e05e3 // align 0x10
001e05e3 // align 0x10
001e05f0
001e05f0Stdlib.Bigarray.create:
001e05f0sub r15, 24
001e05f4cmp r15, [r14]
001e05f7jb 0x1e061f
001e05f9
001e05f9loc_1e05f9:
001e05f9lea rdx, [r15+8]
001e05fdmov [rdx-8], 2048
001e0605mov [rdx], rdi
001e0608mov [rdx+8], rsi
001e060cmov rdi, rax
001e060fmov rsi, rbx
001e0612lea rax, [rip+0x1c5c7]
001e0619call caml_c_call
001e061eret
001e061f
001e061floc_1e061f:
001e061fcall caml_call_gc
001e0624jmp 0x1e05f9
001e05f0
001e05f0Stdlib.Bigarray.create:
001e05f0sub r15, 24
001e05f4cmp r15, [r14]
001e05f7jb 0x1e061f
001e05f9
001e05f9loc_1e05f9:
001e05f9lea rdx, [r15+8]
001e05fdmov [rdx-8], 2048
001e0605mov [rdx], rdi
001e0608mov [rdx+8], rsi
001e060cmov rdi, rax
001e060fmov rsi, rbx
001e0612lea rax, [rip+0x1c5c7]
001e0619call caml_c_call
001e061eret
001e061f
001e061floc_1e061f:
001e061fcall caml_call_gc
001e0624jmp 0x1e05f9
001e05f0
001e0626
001e0626 // align 0x10
001e0626 // align 0x10
001e0630
001e0630Stdlib.Bigarray.size_in_bytes:
001e0630lea r10, [rsp-336]
001e0638cmp r10, [r14+40]
001e063cjb 0x1e068f
001e063e
001e063eloc_1e063e:
001e063esub rsp, 16
001e0642mov rbx, [rax+48]
001e0646shl rbx, 1
001e0649sar rbx, 1
001e064cmov [rsp+8], rbx
001e0651mov rbx, [rax+40]
001e0655shl rbx, 1
001e0658sar rbx, 1
001e065bmov [rsp], rbx
001e065fmov rdi, rax
001e0662lea rax, [rip+0x1ce47]
001e0669call caml_c_call
001e066ecall Stdlib.Bigarray.kind_size_in_bytes
001e0673dec rax
001e0676mov rbx, [rsp]
001e067aimul rax, rbx
001e067emov rbx, [rsp+8]
001e0683imul rax, rbx
001e0687inc rax
001e068aadd rsp, 16
001e068eret
001e068f
001e068floc_1e068f:
001e068fpush 35
001e0691call caml_call_realloc_stack
001e0696pop r10
001e0698jmp 0x1e063e
001e0630
001e0630Stdlib.Bigarray.size_in_bytes:
001e0630lea r10, [rsp-336]
001e0638cmp r10, [r14+40]
001e063cjb 0x1e068f
001e063e
001e063eloc_1e063e:
001e063esub rsp, 16
001e0642mov rbx, [rax+48]
001e0646shl rbx, 1
001e0649sar rbx, 1
001e064cmov [rsp+8], rbx
001e0651mov rbx, [rax+40]
001e0655shl rbx, 1
001e0658sar rbx, 1
001e065bmov [rsp], rbx
001e065fmov rdi, rax
001e0662lea rax, [rip+0x1ce47]
001e0669call caml_c_call
001e066ecall Stdlib.Bigarray.kind_size_in_bytes
001e0673dec rax
001e0676mov rbx, [rsp]
001e067aimul rax, rbx
001e067emov rbx, [rsp+8]
001e0683imul rax, rbx
001e0687inc rax
001e068aadd rsp, 16
001e068eret
001e068f
001e068floc_1e068f:
001e068fpush 35
001e0691call caml_call_realloc_stack
001e0696pop r10
001e0698jmp 0x1e063e
001e0630
001e069a
001e069a // align 0x10
001e069a // align 0x10
001e06a0
001e06a0Stdlib.Bigarray.slice_left:
001e06a0sub r15, 16
001e06a4cmp r15, [r14]
001e06a7jb 0x1e06c8
001e06a9
001e06a9loc_1e06a9:
001e06a9lea rsi, [r15+8]
001e06admov [rsi-8], 1024
001e06b5mov [rsi], rbx
001e06b8mov rdi, rax
001e06bblea rax, [rip+0x1ce3e]
001e06c2call caml_c_call
001e06c7ret
001e06c8
001e06c8loc_1e06c8:
001e06c8call caml_call_gc
001e06cdjmp 0x1e06a9
001e06a0
001e06a0Stdlib.Bigarray.slice_left:
001e06a0sub r15, 16
001e06a4cmp r15, [r14]
001e06a7jb 0x1e06c8
001e06a9
001e06a9loc_1e06a9:
001e06a9lea rsi, [r15+8]
001e06admov [rsi-8], 1024
001e06b5mov [rsi], rbx
001e06b8mov rdi, rax
001e06bblea rax, [rip+0x1ce3e]
001e06c2call caml_c_call
001e06c7ret
001e06c8
001e06c8loc_1e06c8:
001e06c8call caml_call_gc
001e06cdjmp 0x1e06a9
001e06a0
001e06cf
001e06cf // align 0x10
001e06cf // align 0x10
001e06d0
001e06d0Stdlib.Bigarray.slice_right:
001e06d0sub r15, 16
001e06d4cmp r15, [r14]
001e06d7jb 0x1e06f8
001e06d9
001e06d9loc_1e06d9:
001e06d9lea rsi, [r15+8]
001e06ddmov [rsi-8], 1024
001e06e5mov [rsi], rbx
001e06e8mov rdi, rax
001e06eblea rax, [rip+0x1ce0e]
001e06f2call caml_c_call
001e06f7ret
001e06f8
001e06f8loc_1e06f8:
001e06f8call caml_call_gc
001e06fdjmp 0x1e06d9
001e06d0
001e06d0Stdlib.Bigarray.slice_right:
001e06d0sub r15, 16
001e06d4cmp r15, [r14]
001e06d7jb 0x1e06f8
001e06d9
001e06d9loc_1e06d9:
001e06d9lea rsi, [r15+8]
001e06ddmov [rsi-8], 1024
001e06e5mov [rsi], rbx
001e06e8mov rdi, rax
001e06eblea rax, [rip+0x1ce0e]
001e06f2call caml_c_call
001e06f7ret
001e06f8
001e06f8loc_1e06f8:
001e06f8call caml_call_gc
001e06fdjmp 0x1e06d9
001e06d0
001e06ff
001e06ff // align 0x10
001e06ff // align 0x10
001e0700
001e0700Stdlib.Bigarray.c_init:
001e0700lea r10, [rsp-376]
001e0708cmp r10, [r14+40]
001e070cjb 0x1e07ef
001e0712
001e0712loc_1e0712:
001e0712sub rsp, 56
001e0716mov edx, 1
001e071badd rbx, -2
001e071fcmp rdx, rbx
001e0722jg 0x1e07d1
001e0728mov [rsp+8], rbx
001e072dmov [rsp+32], rdx
001e0732mov [rsp+16], rsi
001e0737mov [rsp], rdi
001e073bmov [rsp+24], rax
001e0740
001e0740loc_1e0740:
001e0740mov ebx, 1
001e0745mov [rsp+40], rbx
001e074amov rax, [rsp]
001e074eadd rax, -2
001e0752mov [rsp+48], rax
001e0757cmp rbx, rax
001e075ajg 0x1e07ab
001e075c
001e075cloc_1e075c:
001e075cmov rax, [rsp+32]
001e0761mov rdi, [rsp+16]
001e0766call caml_apply2
001e076bmov rdi, [rsp+24]
001e0770mov rsi, [rsp+32]
001e0775mov rdx, [rsp+40]
001e077amov rcx, rax
001e077dlea rax, [rip+0x1ca2c]
001e0784call caml_c_call
001e0789mov rbx, [rsp+40]
001e078emov rax, rbx
001e0791add rbx, 2
001e0795mov [rsp+40], rbx
001e079amov rdi, [rsp+48]
001e079fcmp rax, rdi
001e07a2je 0x1e07ab
001e07a4cmp r15, [r14]
001e07a7ja 0x1e075c
001e07a9jmp 0x1e07e5
001e07ab
001e07abloc_1e07ab:
001e07abmov rbx, [rsp+32]
001e07b0mov rax, rbx
001e07b3add rbx, 2
001e07b7mov [rsp+32], rbx
001e07bcmov rbx, [rsp+8]
001e07c1cmp rax, rbx
001e07c4je 0x1e07d1
001e07c6cmp r15, [r14]
001e07c9ja 0x1e0740
001e07cfjmp 0x1e07db
001e07d1
001e07d1loc_1e07d1:
001e07d1mov eax, 1
001e07d6add rsp, 56
001e07daret
001e07db
001e07dbloc_1e07db:
001e07dbcall caml_call_gc
001e07e0jmp 0x1e0740
001e07e5
001e07e5loc_1e07e5:
001e07e5call caml_call_gc
001e07eajmp 0x1e075c
001e07ef
001e07efloc_1e07ef:
001e07efpush 40
001e07f1call caml_call_realloc_stack
001e07f6pop r10
001e07f8jmp 0x1e0712
001e0700
001e0700Stdlib.Bigarray.c_init:
001e0700lea r10, [rsp-376]
001e0708cmp r10, [r14+40]
001e070cjb 0x1e07ef
001e0712
001e0712loc_1e0712:
001e0712sub rsp, 56
001e0716mov edx, 1
001e071badd rbx, -2
001e071fcmp rdx, rbx
001e0722jg 0x1e07d1
001e0728mov [rsp+8], rbx
001e072dmov [rsp+32], rdx
001e0732mov [rsp+16], rsi
001e0737mov [rsp], rdi
001e073bmov [rsp+24], rax
001e0740
001e0740loc_1e0740:
001e0740mov ebx, 1
001e0745mov [rsp+40], rbx
001e074amov rax, [rsp]
001e074eadd rax, -2
001e0752mov [rsp+48], rax
001e0757cmp rbx, rax
001e075ajg 0x1e07ab
001e075c
001e075cloc_1e075c:
001e075cmov rax, [rsp+32]
001e0761mov rdi, [rsp+16]
001e0766call caml_apply2
001e076bmov rdi, [rsp+24]
001e0770mov rsi, [rsp+32]
001e0775mov rdx, [rsp+40]
001e077amov rcx, rax
001e077dlea rax, [rip+0x1ca2c]
001e0784call caml_c_call
001e0789mov rbx, [rsp+40]
001e078emov rax, rbx
001e0791add rbx, 2
001e0795mov [rsp+40], rbx
001e079amov rdi, [rsp+48]
001e079fcmp rax, rdi
001e07a2je 0x1e07ab
001e07a4cmp r15, [r14]
001e07a7ja 0x1e075c
001e07a9jmp 0x1e07e5
001e07ab
001e07abloc_1e07ab:
001e07abmov rbx, [rsp+32]
001e07b0mov rax, rbx
001e07b3add rbx, 2
001e07b7mov [rsp+32], rbx
001e07bcmov rbx, [rsp+8]
001e07c1cmp rax, rbx
001e07c4je 0x1e07d1
001e07c6cmp r15, [r14]
001e07c9ja 0x1e0740
001e07cfjmp 0x1e07db
001e07d1
001e07d1loc_1e07d1:
001e07d1mov eax, 1
001e07d6add rsp, 56
001e07daret
001e07db
001e07dbloc_1e07db:
001e07dbcall caml_call_gc
001e07e0jmp 0x1e0740
001e07e5
001e07e5loc_1e07e5:
001e07e5call caml_call_gc
001e07eajmp 0x1e075c
001e07ef
001e07efloc_1e07ef:
001e07efpush 40
001e07f1call caml_call_realloc_stack
001e07f6pop r10
001e07f8jmp 0x1e0712
001e0700
001e07fd
001e07fd // align 0x10
001e07fd // align 0x10
001e0800
001e0800Stdlib.Bigarray.fortran_init:
001e0800lea r10, [rsp-376]
001e0808cmp r10, [r14+40]
001e080cjb 0x1e08e7
001e0812
001e0812loc_1e0812:
001e0812sub rsp, 56
001e0816mov edx, 3
001e081bcmp rdx, rdi
001e081ejg 0x1e08c9
001e0824mov [rsp+8], rdi
001e0829mov [rsp+32], rdx
001e082emov [rsp+16], rsi
001e0833mov [rsp], rbx
001e0837mov [rsp+24], rax
001e083c
001e083cloc_1e083c:
001e083cmov eax, 3
001e0841mov [rsp+40], rax
001e0846mov rbx, [rsp]
001e084amov [rsp+48], rbx
001e084fcmp rax, rbx
001e0852jg 0x1e08a3
001e0854
001e0854loc_1e0854:
001e0854mov rbx, [rsp+32]
001e0859mov rdi, [rsp+16]
001e085ecall caml_apply2
001e0863mov rdi, [rsp+24]
001e0868mov rsi, [rsp+40]
001e086dmov rdx, [rsp+32]
001e0872mov rcx, rax
001e0875lea rax, [rip+0x1c934]
001e087ccall caml_c_call
001e0881mov rax, [rsp+40]
001e0886mov rbx, rax
001e0889add rax, 2
001e088dmov [rsp+40], rax
001e0892mov rdi, [rsp+48]
001e0897cmp rbx, rdi
001e089aje 0x1e08a3
001e089ccmp r15, [r14]
001e089fja 0x1e0854
001e08a1jmp 0x1e08dd
001e08a3
001e08a3loc_1e08a3:
001e08a3mov rbx, [rsp+32]
001e08a8mov rax, rbx
001e08abadd rbx, 2
001e08afmov [rsp+32], rbx
001e08b4mov rbx, [rsp+8]
001e08b9cmp rax, rbx
001e08bcje 0x1e08c9
001e08becmp r15, [r14]
001e08c1ja 0x1e083c
001e08c7jmp 0x1e08d3
001e08c9
001e08c9loc_1e08c9:
001e08c9mov eax, 1
001e08ceadd rsp, 56
001e08d2ret
001e08d3
001e08d3loc_1e08d3:
001e08d3call caml_call_gc
001e08d8jmp 0x1e083c
001e08dd
001e08ddloc_1e08dd:
001e08ddcall caml_call_gc
001e08e2jmp 0x1e0854
001e08e7
001e08e7loc_1e08e7:
001e08e7push 40
001e08e9call caml_call_realloc_stack
001e08eepop r10
001e08f0jmp 0x1e0812
001e0800
001e0800Stdlib.Bigarray.fortran_init:
001e0800lea r10, [rsp-376]
001e0808cmp r10, [r14+40]
001e080cjb 0x1e08e7
001e0812
001e0812loc_1e0812:
001e0812sub rsp, 56
001e0816mov edx, 3
001e081bcmp rdx, rdi
001e081ejg 0x1e08c9
001e0824mov [rsp+8], rdi
001e0829mov [rsp+32], rdx
001e082emov [rsp+16], rsi
001e0833mov [rsp], rbx
001e0837mov [rsp+24], rax
001e083c
001e083cloc_1e083c:
001e083cmov eax, 3
001e0841mov [rsp+40], rax
001e0846mov rbx, [rsp]
001e084amov [rsp+48], rbx
001e084fcmp rax, rbx
001e0852jg 0x1e08a3
001e0854
001e0854loc_1e0854:
001e0854mov rbx, [rsp+32]
001e0859mov rdi, [rsp+16]
001e085ecall caml_apply2
001e0863mov rdi, [rsp+24]
001e0868mov rsi, [rsp+40]
001e086dmov rdx, [rsp+32]
001e0872mov rcx, rax
001e0875lea rax, [rip+0x1c934]
001e087ccall caml_c_call
001e0881mov rax, [rsp+40]
001e0886mov rbx, rax
001e0889add rax, 2
001e088dmov [rsp+40], rax
001e0892mov rdi, [rsp+48]
001e0897cmp rbx, rdi
001e089aje 0x1e08a3
001e089ccmp r15, [r14]
001e089fja 0x1e0854
001e08a1jmp 0x1e08dd
001e08a3
001e08a3loc_1e08a3:
001e08a3mov rbx, [rsp+32]
001e08a8mov rax, rbx
001e08abadd rbx, 2
001e08afmov [rsp+32], rbx
001e08b4mov rbx, [rsp+8]
001e08b9cmp rax, rbx
001e08bcje 0x1e08c9
001e08becmp r15, [r14]
001e08c1ja 0x1e083c
001e08c7jmp 0x1e08d3
001e08c9
001e08c9loc_1e08c9:
001e08c9mov eax, 1
001e08ceadd rsp, 56
001e08d2ret
001e08d3
001e08d3loc_1e08d3:
001e08d3call caml_call_gc
001e08d8jmp 0x1e083c
001e08dd
001e08ddloc_1e08dd:
001e08ddcall caml_call_gc
001e08e2jmp 0x1e0854
001e08e7
001e08e7loc_1e08e7:
001e08e7push 40
001e08e9call caml_call_realloc_stack
001e08eepop r10
001e08f0jmp 0x1e0812
001e0800
001e08f5
001e08f5 // align 0x10
001e08f5 // align 0x10
001e0900
001e0900Stdlib.Bigarray.init:
001e0900lea r10, [rsp-360]
001e0908cmp r10, [r14+40]
001e090cjb 0x1e0976
001e090e
001e090eloc_1e090e:
001e090esub rsp, 40
001e0912mov [rsp], rbx
001e0916mov [rsp+8], rdi
001e091bmov [rsp+16], rsi
001e0920mov [rsp+24], rdx
001e0925call Stdlib.Bigarray.create
001e092amov [rsp+32], rax
001e092fmov rbx, [rsp]
001e0933cmp rbx, 1
001e0937je 0x1e0958
001e0939mov rbx, [rsp+8]
001e093emov rdi, [rsp+16]
001e0943mov rsi, [rsp+24]
001e0948call Stdlib.Bigarray.fortran_init
001e094dmov rax, [rsp+32]
001e0952add rsp, 40
001e0956ret
001e0957
001e0957 90 .
001e0958
001e0958loc_1e0958:
001e0958mov rbx, [rsp+8]
001e095dmov rdi, [rsp+16]
001e0962mov rsi, [rsp+24]
001e0967call Stdlib.Bigarray.c_init
001e096cmov rax, [rsp+32]
001e0971add rsp, 40
001e0975ret
001e0976
001e0976loc_1e0976:
001e0976push 38
001e0978call caml_call_realloc_stack
001e097dpop r10
001e097fjmp 0x1e090e
001e0900
001e0900Stdlib.Bigarray.init:
001e0900lea r10, [rsp-360]
001e0908cmp r10, [r14+40]
001e090cjb 0x1e0976
001e090e
001e090eloc_1e090e:
001e090esub rsp, 40
001e0912mov [rsp], rbx
001e0916mov [rsp+8], rdi
001e091bmov [rsp+16], rsi
001e0920mov [rsp+24], rdx
001e0925call Stdlib.Bigarray.create
001e092amov [rsp+32], rax
001e092fmov rbx, [rsp]
001e0933cmp rbx, 1
001e0937je 0x1e0958
001e0939mov rbx, [rsp+8]
001e093emov rdi, [rsp+16]
001e0943mov rsi, [rsp+24]
001e0948call Stdlib.Bigarray.fortran_init
001e094dmov rax, [rsp+32]
001e0952add rsp, 40
001e0956ret
001e0957
001e0957 90 .
001e0958
001e0958loc_1e0958:
001e0958mov rbx, [rsp+8]
001e095dmov rdi, [rsp+16]
001e0962mov rsi, [rsp+24]
001e0967call Stdlib.Bigarray.c_init
001e096cmov rax, [rsp+32]
001e0971add rsp, 40
001e0975ret
001e0976
001e0976loc_1e0976:
001e0976push 38
001e0978call caml_call_realloc_stack
001e097dpop r10
001e097fjmp 0x1e090e
001e0900
001e0981
001e0981 // align 0x10
001e0981 // align 0x10
001e0990
001e0990Stdlib.Bigarray.of_array:
001e0990lea r10, [rsp-392]
001e0998cmp r10, [r14+40]
001e099cjb 0x1e0b8a
001e09a2
001e09a2loc_1e09a2:
001e09a2sub rsp, 72
001e09a6mov [rsp], rbx
001e09aamov rsi, rdi
001e09admov [rsp+16], rsi
001e09b2mov rdx, [rsi-8]
001e09b6mov rdi, rdx
001e09b9shr rdi, 9
001e09bdor rdi, 1
001e09c1mov [rsp+8], rdi
001e09c6cmp rdi, 1
001e09cajne 0x1e09d8
001e09ccmov esi, 1
001e09d1mov [rsp+24], rsi
001e09d6jmp 0x1e09f9
001e09d8
001e09d8loc_1e09d8:
001e09d8cmp rdx, 1023
001e09dfjbe 0x1e0b85
001e09e5mov rsi, [rsi]
001e09e8mov rsi, [rsi-8]
001e09ecshr rsi, 9
001e09f0or rsi, 1
001e09f4mov [rsp+24], rsi
001e09f9
001e09f9loc_1e09f9:
001e09f9call Stdlib.Bigarray.create
001e09femov [rsp+48], rax
001e0a03mov rax, [rsp]
001e0a07mov ebx, 1
001e0a0cmov rdi, [rsp+8]
001e0a11add rdi, -2
001e0a15cmp rbx, rdi
001e0a18jg 0x1e0b53
001e0a1emov [rsp], rdi
001e0a22mov [rsp+40], rbx
001e0a27mov [rsp+32], rax
001e0a2c
001e0a2cloc_1e0a2c:
001e0a2cmov rdi, [rsp+16]
001e0a31mov rax, [rdi-8]
001e0a35shr rax, 9
001e0a39cmp rax, rbx
001e0a3cjbe 0x1e0b80
001e0a42mov rax, [rdi+4*rbx-4]
001e0a47mov [rsp+8], rax
001e0a4cmov rax, [rax-8]
001e0a50shr rax, 9
001e0a54or rax, 1
001e0a58mov rbx, [rsp+24]
001e0a5dcmp rax, rbx
001e0a60je 0x1e0a6e
001e0a62lea rax, [rip+0x1854df]
001e0a69call camlStdlib.invalid_arg_10
001e0a6e
001e0a6eloc_1e0a6e:
001e0a6emov eax, 1
001e0a73mov [rsp+56], rax
001e0a78mov rbx, [rsp+24]
001e0a7dadd rbx, -2
001e0a81mov [rsp+64], rbx
001e0a86cmp rax, rbx
001e0a89jg 0x1e0b2e
001e0a8f
001e0a8floc_1e0a8f:
001e0a8fmov rsi, [rsp+8]
001e0a94mov rbx, [rsi-8]
001e0a98mov rdi, rbx
001e0a9bshr rdi, 9
001e0a9fcmp rdi, rax
001e0aa2jbe 0x1e0b7b
001e0aa8and rbx, 255
001e0aafcmp rbx, 254
001e0ab6je 0x1e0ac0
001e0ab8mov rcx, [rsi+4*rax-4]
001e0abdjmp 0x1e0ae3
001e0abf
001e0abf 90 .
001e0ac0
001e0ac0loc_1e0ac0:
001e0ac0sub r15, 16
001e0ac4cmp r15, [r14]
001e0ac7jb 0x1e0b71
001e0acd
001e0acdloc_1e0acd:
001e0acdlea rcx, [r15+8]
001e0ad1mov [rcx-8], 1277
001e0ad9movsd_xmm x0, [rsi+4*rax-4]
001e0adfmovsd_xmm [rcx], x0
001e0ae3
001e0ae3loc_1e0ae3:
001e0ae3mov rbx, [rsp+32]
001e0ae8lea rdx, [rax+rbx-1]
001e0aedmov rax, [rsp+40]
001e0af2lea rsi, [rax+rbx-1]
001e0af7mov rdi, [rsp+48]
001e0afclea rax, [rip+0x1c6ad]
001e0b03call caml_c_call
001e0b08mov rax, [rsp+56]
001e0b0dmov rbx, rax
001e0b10add rax, 2
001e0b14mov [rsp+56], rax
001e0b19mov rdi, [rsp+64]
001e0b1ecmp rbx, rdi
001e0b21je 0x1e0b2e
001e0b23cmp r15, [r14]
001e0b26ja 0x1e0a8f
001e0b2cjmp 0x1e0b67
001e0b2e
001e0b2eloc_1e0b2e:
001e0b2emov rbx, [rsp+40]
001e0b33mov rax, rbx
001e0b36add rbx, 2
001e0b3amov [rsp+40], rbx
001e0b3fmov rdi, [rsp]
001e0b43cmp rax, rdi
001e0b46je 0x1e0b53
001e0b48cmp r15, [r14]
001e0b4bja 0x1e0a2c
001e0b51jmp 0x1e0b5d
001e0b53
001e0b53loc_1e0b53:
001e0b53mov rax, [rsp+48]
001e0b58add rsp, 72
001e0b5cret
001e0b5d
001e0b5dloc_1e0b5d:
001e0b5dcall caml_call_gc
001e0b62jmp 0x1e0a2c
001e0b67
001e0b67loc_1e0b67:
001e0b67call caml_call_gc
001e0b6cjmp 0x1e0a8f
001e0b71
001e0b71loc_1e0b71:
001e0b71call caml_call_gc
001e0b76jmp 0x1e0acd
001e0b7b
001e0b7bloc_1e0b7b:
001e0b7bcall caml_ml_array_bound_error
001e0b80
001e0b80loc_1e0b80:
001e0b80call caml_ml_array_bound_error
001e0b85
001e0b85loc_1e0b85:
001e0b85call caml_ml_array_bound_error
001e0b8a
001e0b8aloc_1e0b8a:
001e0b8apush 42
001e0b8ccall caml_call_realloc_stack
001e0b91pop r10
001e0b93jmp 0x1e09a2
001e0990
001e0990Stdlib.Bigarray.of_array:
001e0990lea r10, [rsp-392]
001e0998cmp r10, [r14+40]
001e099cjb 0x1e0b8a
001e09a2
001e09a2loc_1e09a2:
001e09a2sub rsp, 72
001e09a6mov [rsp], rbx
001e09aamov rsi, rdi
001e09admov [rsp+16], rsi
001e09b2mov rdx, [rsi-8]
001e09b6mov rdi, rdx
001e09b9shr rdi, 9
001e09bdor rdi, 1
001e09c1mov [rsp+8], rdi
001e09c6cmp rdi, 1
001e09cajne 0x1e09d8
001e09ccmov esi, 1
001e09d1mov [rsp+24], rsi
001e09d6jmp 0x1e09f9
001e09d8
001e09d8loc_1e09d8:
001e09d8cmp rdx, 1023
001e09dfjbe 0x1e0b85
001e09e5mov rsi, [rsi]
001e09e8mov rsi, [rsi-8]
001e09ecshr rsi, 9
001e09f0or rsi, 1
001e09f4mov [rsp+24], rsi
001e09f9
001e09f9loc_1e09f9:
001e09f9call Stdlib.Bigarray.create
001e09femov [rsp+48], rax
001e0a03mov rax, [rsp]
001e0a07mov ebx, 1
001e0a0cmov rdi, [rsp+8]
001e0a11add rdi, -2
001e0a15cmp rbx, rdi
001e0a18jg 0x1e0b53
001e0a1emov [rsp], rdi
001e0a22mov [rsp+40], rbx
001e0a27mov [rsp+32], rax
001e0a2c
001e0a2cloc_1e0a2c:
001e0a2cmov rdi, [rsp+16]
001e0a31mov rax, [rdi-8]
001e0a35shr rax, 9
001e0a39cmp rax, rbx
001e0a3cjbe 0x1e0b80
001e0a42mov rax, [rdi+4*rbx-4]
001e0a47mov [rsp+8], rax
001e0a4cmov rax, [rax-8]
001e0a50shr rax, 9
001e0a54or rax, 1
001e0a58mov rbx, [rsp+24]
001e0a5dcmp rax, rbx
001e0a60je 0x1e0a6e
001e0a62lea rax, [rip+0x1854df]
001e0a69call camlStdlib.invalid_arg_10
001e0a6e
001e0a6eloc_1e0a6e:
001e0a6emov eax, 1
001e0a73mov [rsp+56], rax
001e0a78mov rbx, [rsp+24]
001e0a7dadd rbx, -2
001e0a81mov [rsp+64], rbx
001e0a86cmp rax, rbx
001e0a89jg 0x1e0b2e
001e0a8f
001e0a8floc_1e0a8f:
001e0a8fmov rsi, [rsp+8]
001e0a94mov rbx, [rsi-8]
001e0a98mov rdi, rbx
001e0a9bshr rdi, 9
001e0a9fcmp rdi, rax
001e0aa2jbe 0x1e0b7b
001e0aa8and rbx, 255
001e0aafcmp rbx, 254
001e0ab6je 0x1e0ac0
001e0ab8mov rcx, [rsi+4*rax-4]
001e0abdjmp 0x1e0ae3
001e0abf
001e0abf 90 .
001e0ac0
001e0ac0loc_1e0ac0:
001e0ac0sub r15, 16
001e0ac4cmp r15, [r14]
001e0ac7jb 0x1e0b71
001e0acd
001e0acdloc_1e0acd:
001e0acdlea rcx, [r15+8]
001e0ad1mov [rcx-8], 1277
001e0ad9movsd_xmm x0, [rsi+4*rax-4]
001e0adfmovsd_xmm [rcx], x0
001e0ae3
001e0ae3loc_1e0ae3:
001e0ae3mov rbx, [rsp+32]
001e0ae8lea rdx, [rax+rbx-1]
001e0aedmov rax, [rsp+40]
001e0af2lea rsi, [rax+rbx-1]
001e0af7mov rdi, [rsp+48]
001e0afclea rax, [rip+0x1c6ad]
001e0b03call caml_c_call
001e0b08mov rax, [rsp+56]
001e0b0dmov rbx, rax
001e0b10add rax, 2
001e0b14mov [rsp+56], rax
001e0b19mov rdi, [rsp+64]
001e0b1ecmp rbx, rdi
001e0b21je 0x1e0b2e
001e0b23cmp r15, [r14]
001e0b26ja 0x1e0a8f
001e0b2cjmp 0x1e0b67
001e0b2e
001e0b2eloc_1e0b2e:
001e0b2emov rbx, [rsp+40]
001e0b33mov rax, rbx
001e0b36add rbx, 2
001e0b3amov [rsp+40], rbx
001e0b3fmov rdi, [rsp]
001e0b43cmp rax, rdi
001e0b46je 0x1e0b53
001e0b48cmp r15, [r14]
001e0b4bja 0x1e0a2c
001e0b51jmp 0x1e0b5d
001e0b53
001e0b53loc_1e0b53:
001e0b53mov rax, [rsp+48]
001e0b58add rsp, 72
001e0b5cret
001e0b5d
001e0b5dloc_1e0b5d:
001e0b5dcall caml_call_gc
001e0b62jmp 0x1e0a2c
001e0b67
001e0b67loc_1e0b67:
001e0b67call caml_call_gc
001e0b6cjmp 0x1e0a8f
001e0b71
001e0b71loc_1e0b71:
001e0b71call caml_call_gc
001e0b76jmp 0x1e0acd
001e0b7b
001e0b7bloc_1e0b7b:
001e0b7bcall caml_ml_array_bound_error
001e0b80
001e0b80loc_1e0b80:
001e0b80call caml_ml_array_bound_error
001e0b85
001e0b85loc_1e0b85:
001e0b85call caml_ml_array_bound_error
001e0b8a
001e0b8aloc_1e0b8a:
001e0b8apush 42
001e0b8ccall caml_call_realloc_stack
001e0b91pop r10
001e0b93jmp 0x1e09a2
001e0990
001e0b98
001e0b98 // align 0x10
001e0b98 // align 0x10
001e0ba0
001e0ba0Stdlib.Bigarray.fun:
001e0ba0mov rdi, rax
001e0ba3mov rsi, rbx
001e0ba6lea rax, [rip+0x1cc33]
001e0badcall caml_c_call
001e0bb2ret
001e0ba0
001e0ba0Stdlib.Bigarray.fun:
001e0ba0mov rdi, rax
001e0ba3mov rsi, rbx
001e0ba6lea rax, [rip+0x1cc33]
001e0badcall caml_c_call
001e0bb2ret
001e0ba0
001e0bb3
001e0bb3 // align 0x10
001e0bb3 // align 0x10
001e0bc0
001e0bc0Stdlib.Bigarray.create:
001e0bc0sub r15, 32
001e0bc4cmp r15, [r14]
001e0bc7jb 0x1e0bf6
001e0bc9
001e0bc9loc_1e0bc9:
001e0bc9lea rcx, [r15+8]
001e0bcdmov [rcx-8], 3072
001e0bd5mov [rcx], rdi
001e0bd8mov [rcx+8], rsi
001e0bdcmov [rcx+16], rdx
001e0be0mov rdi, rax
001e0be3mov rsi, rbx
001e0be6mov rdx, rcx
001e0be9lea rax, [rip+0x1bff0]
001e0bf0call caml_c_call
001e0bf5ret
001e0bf6
001e0bf6loc_1e0bf6:
001e0bf6call caml_call_gc
001e0bfbjmp 0x1e0bc9
001e0bc0
001e0bc0Stdlib.Bigarray.create:
001e0bc0sub r15, 32
001e0bc4cmp r15, [r14]
001e0bc7jb 0x1e0bf6
001e0bc9
001e0bc9loc_1e0bc9:
001e0bc9lea rcx, [r15+8]
001e0bcdmov [rcx-8], 3072
001e0bd5mov [rcx], rdi
001e0bd8mov [rcx+8], rsi
001e0bdcmov [rcx+16], rdx
001e0be0mov rdi, rax
001e0be3mov rsi, rbx
001e0be6mov rdx, rcx
001e0be9lea rax, [rip+0x1bff0]
001e0bf0call caml_c_call
001e0bf5ret
001e0bf6
001e0bf6loc_1e0bf6:
001e0bf6call caml_call_gc
001e0bfbjmp 0x1e0bc9
001e0bc0
001e0bfd
001e0bfd // align 0x10
001e0bfd // align 0x10
001e0c00
001e0c00Stdlib.Bigarray.size_in_bytes:
001e0c00lea r10, [rsp-344]
001e0c08cmp r10, [r14+40]
001e0c0cjb 0x1e0c77
001e0c0e
001e0c0eloc_1e0c0e:
001e0c0esub rsp, 24
001e0c12mov rbx, [rax+56]
001e0c16shl rbx, 1
001e0c19sar rbx, 1
001e0c1cmov [rsp+16], rbx
001e0c21mov rbx, [rax+48]
001e0c25shl rbx, 1
001e0c28sar rbx, 1
001e0c2bmov [rsp+8], rbx
001e0c30mov rbx, [rax+40]
001e0c34shl rbx, 1
001e0c37sar rbx, 1
001e0c3amov [rsp], rbx
001e0c3emov rdi, rax
001e0c41lea rax, [rip+0x1c868]
001e0c48call caml_c_call
001e0c4dcall Stdlib.Bigarray.kind_size_in_bytes
001e0c52dec rax
001e0c55mov rbx, [rsp]
001e0c59imul rax, rbx
001e0c5dmov rbx, [rsp+8]
001e0c62imul rax, rbx
001e0c66mov rbx, [rsp+16]
001e0c6bimul rax, rbx
001e0c6finc rax
001e0c72add rsp, 24
001e0c76ret
001e0c77
001e0c77loc_1e0c77:
001e0c77push 36
001e0c79call caml_call_realloc_stack
001e0c7epop r10
001e0c80jmp 0x1e0c0e
001e0c00
001e0c00Stdlib.Bigarray.size_in_bytes:
001e0c00lea r10, [rsp-344]
001e0c08cmp r10, [r14+40]
001e0c0cjb 0x1e0c77
001e0c0e
001e0c0eloc_1e0c0e:
001e0c0esub rsp, 24
001e0c12mov rbx, [rax+56]
001e0c16shl rbx, 1
001e0c19sar rbx, 1
001e0c1cmov [rsp+16], rbx
001e0c21mov rbx, [rax+48]
001e0c25shl rbx, 1
001e0c28sar rbx, 1
001e0c2bmov [rsp+8], rbx
001e0c30mov rbx, [rax+40]
001e0c34shl rbx, 1
001e0c37sar rbx, 1
001e0c3amov [rsp], rbx
001e0c3emov rdi, rax
001e0c41lea rax, [rip+0x1c868]
001e0c48call caml_c_call
001e0c4dcall Stdlib.Bigarray.kind_size_in_bytes
001e0c52dec rax
001e0c55mov rbx, [rsp]
001e0c59imul rax, rbx
001e0c5dmov rbx, [rsp+8]
001e0c62imul rax, rbx
001e0c66mov rbx, [rsp+16]
001e0c6bimul rax, rbx
001e0c6finc rax
001e0c72add rsp, 24
001e0c76ret
001e0c77
001e0c77loc_1e0c77:
001e0c77push 36
001e0c79call caml_call_realloc_stack
001e0c7epop r10
001e0c80jmp 0x1e0c0e
001e0c00
001e0c82
001e0c82 // align 0x10
001e0c82 // align 0x10
001e0c90
001e0c90Stdlib.Bigarray.slice_left_1:
001e0c90sub r15, 24
001e0c94cmp r15, [r14]
001e0c97jb 0x1e0cbc
001e0c99
001e0c99loc_1e0c99:
001e0c99lea rsi, [r15+8]
001e0c9dmov [rsi-8], 2048
001e0ca5mov [rsi], rbx
001e0ca8mov [rsi+8], rdi
001e0cacmov rdi, rax
001e0caflea rax, [rip+0x1c84a]
001e0cb6call caml_c_call
001e0cbbret
001e0cbc
001e0cbcloc_1e0cbc:
001e0cbccall caml_call_gc
001e0cc1jmp 0x1e0c99
001e0c90
001e0c90Stdlib.Bigarray.slice_left_1:
001e0c90sub r15, 24
001e0c94cmp r15, [r14]
001e0c97jb 0x1e0cbc
001e0c99
001e0c99loc_1e0c99:
001e0c99lea rsi, [r15+8]
001e0c9dmov [rsi-8], 2048
001e0ca5mov [rsi], rbx
001e0ca8mov [rsi+8], rdi
001e0cacmov rdi, rax
001e0caflea rax, [rip+0x1c84a]
001e0cb6call caml_c_call
001e0cbbret
001e0cbc
001e0cbcloc_1e0cbc:
001e0cbccall caml_call_gc
001e0cc1jmp 0x1e0c99
001e0c90
001e0cc3
001e0cc3 // align 0x10
001e0cc3 // align 0x10
001e0cd0
001e0cd0Stdlib.Bigarray.slice_right_1:
001e0cd0sub r15, 24
001e0cd4cmp r15, [r14]
001e0cd7jb 0x1e0cfc
001e0cd9
001e0cd9loc_1e0cd9:
001e0cd9lea rsi, [r15+8]
001e0cddmov [rsi-8], 2048
001e0ce5mov [rsi], rbx
001e0ce8mov [rsi+8], rdi
001e0cecmov rdi, rax
001e0ceflea rax, [rip+0x1c80a]
001e0cf6call caml_c_call
001e0cfbret
001e0cfc
001e0cfcloc_1e0cfc:
001e0cfccall caml_call_gc
001e0d01jmp 0x1e0cd9
001e0cd0
001e0cd0Stdlib.Bigarray.slice_right_1:
001e0cd0sub r15, 24
001e0cd4cmp r15, [r14]
001e0cd7jb 0x1e0cfc
001e0cd9
001e0cd9loc_1e0cd9:
001e0cd9lea rsi, [r15+8]
001e0cddmov [rsi-8], 2048
001e0ce5mov [rsi], rbx
001e0ce8mov [rsi+8], rdi
001e0cecmov rdi, rax
001e0ceflea rax, [rip+0x1c80a]
001e0cf6call caml_c_call
001e0cfbret
001e0cfc
001e0cfcloc_1e0cfc:
001e0cfccall caml_call_gc
001e0d01jmp 0x1e0cd9
001e0cd0
001e0d03
001e0d03 // align 0x10
001e0d03 // align 0x10
001e0d10
001e0d10Stdlib.Bigarray.slice_left_2:
001e0d10sub r15, 16
001e0d14cmp r15, [r14]
001e0d17jb 0x1e0d38
001e0d19
001e0d19loc_1e0d19:
001e0d19lea rsi, [r15+8]
001e0d1dmov [rsi-8], 1024
001e0d25mov [rsi], rbx
001e0d28mov rdi, rax
001e0d2blea rax, [rip+0x1c7ce]
001e0d32call caml_c_call
001e0d37ret
001e0d38
001e0d38loc_1e0d38:
001e0d38call caml_call_gc
001e0d3djmp 0x1e0d19
001e0d10
001e0d10Stdlib.Bigarray.slice_left_2:
001e0d10sub r15, 16
001e0d14cmp r15, [r14]
001e0d17jb 0x1e0d38
001e0d19
001e0d19loc_1e0d19:
001e0d19lea rsi, [r15+8]
001e0d1dmov [rsi-8], 1024
001e0d25mov [rsi], rbx
001e0d28mov rdi, rax
001e0d2blea rax, [rip+0x1c7ce]
001e0d32call caml_c_call
001e0d37ret
001e0d38
001e0d38loc_1e0d38:
001e0d38call caml_call_gc
001e0d3djmp 0x1e0d19
001e0d10
001e0d3f
001e0d3f // align 0x10
001e0d3f // align 0x10
001e0d40
001e0d40Stdlib.Bigarray.slice_right_2:
001e0d40sub r15, 16
001e0d44cmp r15, [r14]
001e0d47jb 0x1e0d68
001e0d49
001e0d49loc_1e0d49:
001e0d49lea rsi, [r15+8]
001e0d4dmov [rsi-8], 1024
001e0d55mov [rsi], rbx
001e0d58mov rdi, rax
001e0d5blea rax, [rip+0x1c79e]
001e0d62call caml_c_call
001e0d67ret
001e0d68
001e0d68loc_1e0d68:
001e0d68call caml_call_gc
001e0d6djmp 0x1e0d49
001e0d40
001e0d40Stdlib.Bigarray.slice_right_2:
001e0d40sub r15, 16
001e0d44cmp r15, [r14]
001e0d47jb 0x1e0d68
001e0d49
001e0d49loc_1e0d49:
001e0d49lea rsi, [r15+8]
001e0d4dmov [rsi-8], 1024
001e0d55mov [rsi], rbx
001e0d58mov rdi, rax
001e0d5blea rax, [rip+0x1c79e]
001e0d62call caml_c_call
001e0d67ret
001e0d68
001e0d68loc_1e0d68:
001e0d68call caml_call_gc
001e0d6djmp 0x1e0d49
001e0d40
001e0d6f
001e0d6f // align 0x10
001e0d6f // align 0x10
001e0d70
001e0d70Stdlib.Bigarray.c_init:
001e0d70lea r10, [rsp-400]
001e0d78cmp r10, [r14+40]
001e0d7cjb 0x1e0ebf
001e0d82
001e0d82loc_1e0d82:
001e0d82sub rsp, 80
001e0d86mov ecx, 1
001e0d8badd rbx, -2
001e0d8fcmp rcx, rbx
001e0d92jg 0x1e0e97
001e0d98mov [rsp+8], rbx
001e0d9dmov [rsp+48], rcx
001e0da2mov [rsp+32], rdx
001e0da7mov [rsp+16], rsi
001e0dacmov [rsp], rdi
001e0db0mov [rsp+40], rax
001e0db5
001e0db5loc_1e0db5:
001e0db5mov eax, 1
001e0dbamov [rsp+56], rax
001e0dbfmov rbx, [rsp]
001e0dc3add rbx, -2
001e0dc7mov [rsp+24], rbx
001e0dcccmp rax, rbx
001e0dcfjg 0x1e0e71
001e0dd5
001e0dd5loc_1e0dd5:
001e0dd5mov edi, 1
001e0ddamov [rsp+64], rdi
001e0ddfmov rax, [rsp+16]
001e0de4add rax, -2
001e0de8mov [rsp+72], rax
001e0dedcmp rdi, rax
001e0df0jg 0x1e0e4b
001e0df2
001e0df2loc_1e0df2:
001e0df2mov rax, [rsp+48]
001e0df7mov rbx, [rsp+56]
001e0dfcmov rsi, [rsp+32]
001e0e01call caml_apply3
001e0e06mov rdi, [rsp+40]
001e0e0bmov rsi, [rsp+48]
001e0e10mov rdx, [rsp+56]
001e0e15mov rcx, [rsp+64]
001e0e1amov r8, rax
001e0e1dlea rax, [rip+0x1c3dc]
001e0e24call caml_c_call
001e0e29mov rdi, [rsp+64]
001e0e2emov rax, rdi
001e0e31add rdi, 2
001e0e35mov [rsp+64], rdi
001e0e3amov rbx, [rsp+72]
001e0e3fcmp rax, rbx
001e0e42je 0x1e0e4b
001e0e44cmp r15, [r14]
001e0e47ja 0x1e0df2
001e0e49jmp 0x1e0eb5
001e0e4b
001e0e4bloc_1e0e4b:
001e0e4bmov rbx, [rsp+56]
001e0e50mov rax, rbx
001e0e53add rbx, 2
001e0e57mov [rsp+56], rbx
001e0e5cmov rbx, [rsp+24]
001e0e61cmp rax, rbx
001e0e64je 0x1e0e71
001e0e66cmp r15, [r14]
001e0e69ja 0x1e0dd5
001e0e6fjmp 0x1e0eab
001e0e71
001e0e71loc_1e0e71:
001e0e71mov rbx, [rsp+48]
001e0e76mov rax, rbx
001e0e79add rbx, 2
001e0e7dmov [rsp+48], rbx
001e0e82mov rbx, [rsp+8]
001e0e87cmp rax, rbx
001e0e8aje 0x1e0e97
001e0e8ccmp r15, [r14]
001e0e8fja 0x1e0db5
001e0e95jmp 0x1e0ea1
001e0e97
001e0e97loc_1e0e97:
001e0e97mov eax, 1
001e0e9cadd rsp, 80
001e0ea0ret
001e0ea1
001e0ea1loc_1e0ea1:
001e0ea1call caml_call_gc
001e0ea6jmp 0x1e0db5
001e0eab
001e0eabloc_1e0eab:
001e0eabcall caml_call_gc
001e0eb0jmp 0x1e0dd5
001e0eb5
001e0eb5loc_1e0eb5:
001e0eb5call caml_call_gc
001e0ebajmp 0x1e0df2
001e0ebf
001e0ebfloc_1e0ebf:
001e0ebfpush 43
001e0ec1call caml_call_realloc_stack
001e0ec6pop r10
001e0ec8jmp 0x1e0d82
001e0d70
001e0d70Stdlib.Bigarray.c_init:
001e0d70lea r10, [rsp-400]
001e0d78cmp r10, [r14+40]
001e0d7cjb 0x1e0ebf
001e0d82
001e0d82loc_1e0d82:
001e0d82sub rsp, 80
001e0d86mov ecx, 1
001e0d8badd rbx, -2
001e0d8fcmp rcx, rbx
001e0d92jg 0x1e0e97
001e0d98mov [rsp+8], rbx
001e0d9dmov [rsp+48], rcx
001e0da2mov [rsp+32], rdx
001e0da7mov [rsp+16], rsi
001e0dacmov [rsp], rdi
001e0db0mov [rsp+40], rax
001e0db5
001e0db5loc_1e0db5:
001e0db5mov eax, 1
001e0dbamov [rsp+56], rax
001e0dbfmov rbx, [rsp]
001e0dc3add rbx, -2
001e0dc7mov [rsp+24], rbx
001e0dcccmp rax, rbx
001e0dcfjg 0x1e0e71
001e0dd5
001e0dd5loc_1e0dd5:
001e0dd5mov edi, 1
001e0ddamov [rsp+64], rdi
001e0ddfmov rax, [rsp+16]
001e0de4add rax, -2
001e0de8mov [rsp+72], rax
001e0dedcmp rdi, rax
001e0df0jg 0x1e0e4b
001e0df2
001e0df2loc_1e0df2:
001e0df2mov rax, [rsp+48]
001e0df7mov rbx, [rsp+56]
001e0dfcmov rsi, [rsp+32]
001e0e01call caml_apply3
001e0e06mov rdi, [rsp+40]
001e0e0bmov rsi, [rsp+48]
001e0e10mov rdx, [rsp+56]
001e0e15mov rcx, [rsp+64]
001e0e1amov r8, rax
001e0e1dlea rax, [rip+0x1c3dc]
001e0e24call caml_c_call
001e0e29mov rdi, [rsp+64]
001e0e2emov rax, rdi
001e0e31add rdi, 2
001e0e35mov [rsp+64], rdi
001e0e3amov rbx, [rsp+72]
001e0e3fcmp rax, rbx
001e0e42je 0x1e0e4b
001e0e44cmp r15, [r14]
001e0e47ja 0x1e0df2
001e0e49jmp 0x1e0eb5
001e0e4b
001e0e4bloc_1e0e4b:
001e0e4bmov rbx, [rsp+56]
001e0e50mov rax, rbx
001e0e53add rbx, 2
001e0e57mov [rsp+56], rbx
001e0e5cmov rbx, [rsp+24]
001e0e61cmp rax, rbx
001e0e64je 0x1e0e71
001e0e66cmp r15, [r14]
001e0e69ja 0x1e0dd5
001e0e6fjmp 0x1e0eab
001e0e71
001e0e71loc_1e0e71:
001e0e71mov rbx, [rsp+48]
001e0e76mov rax, rbx
001e0e79add rbx, 2
001e0e7dmov [rsp+48], rbx
001e0e82mov rbx, [rsp+8]
001e0e87cmp rax, rbx
001e0e8aje 0x1e0e97
001e0e8ccmp r15, [r14]
001e0e8fja 0x1e0db5
001e0e95jmp 0x1e0ea1
001e0e97
001e0e97loc_1e0e97:
001e0e97mov eax, 1
001e0e9cadd rsp, 80
001e0ea0ret
001e0ea1
001e0ea1loc_1e0ea1:
001e0ea1call caml_call_gc
001e0ea6jmp 0x1e0db5
001e0eab
001e0eabloc_1e0eab:
001e0eabcall caml_call_gc
001e0eb0jmp 0x1e0dd5
001e0eb5
001e0eb5loc_1e0eb5:
001e0eb5call caml_call_gc
001e0ebajmp 0x1e0df2
001e0ebf
001e0ebfloc_1e0ebf:
001e0ebfpush 43
001e0ec1call caml_call_realloc_stack
001e0ec6pop r10
001e0ec8jmp 0x1e0d82
001e0d70
001e0ecd
001e0ecd // align 0x10
001e0ecd // align 0x10
001e0ed0
001e0ed0Stdlib.Bigarray.fortran_init:
001e0ed0lea r10, [rsp-400]
001e0ed8cmp r10, [r14+40]
001e0edcjb 0x1e1013
001e0ee2
001e0ee2loc_1e0ee2:
001e0ee2sub rsp, 80
001e0ee6mov ecx, 3
001e0eebcmp rcx, rsi
001e0eeejg 0x1e0feb
001e0ef4mov [rsp+8], rsi
001e0ef9mov [rsp+56], rcx
001e0efemov [rsp+32], rdx
001e0f03mov [rsp], rdi
001e0f07mov [rsp+16], rbx
001e0f0cmov [rsp+40], rax
001e0f11
001e0f11loc_1e0f11:
001e0f11mov eax, 3
001e0f16mov [rsp+48], rax
001e0f1bmov rbx, [rsp]
001e0f1fmov [rsp+24], rbx
001e0f24cmp rax, rbx
001e0f27jg 0x1e0fc5
001e0f2d
001e0f2dloc_1e0f2d:
001e0f2dmov eax, 3
001e0f32mov [rsp+64], rax
001e0f37mov rbx, [rsp+16]
001e0f3cmov [rsp+72], rbx
001e0f41cmp rax, rbx
001e0f44jg 0x1e0f9f
001e0f46
001e0f46loc_1e0f46:
001e0f46mov rbx, [rsp+48]
001e0f4bmov rdi, [rsp+56]
001e0f50mov rsi, [rsp+32]
001e0f55call caml_apply3
001e0f5amov rdi, [rsp+40]
001e0f5fmov rsi, [rsp+64]
001e0f64mov rdx, [rsp+48]
001e0f69mov rcx, [rsp+56]
001e0f6emov r8, rax
001e0f71lea rax, [rip+0x1c288]
001e0f78call caml_c_call
001e0f7dmov rax, [rsp+64]
001e0f82mov rbx, rax
001e0f85add rax, 2
001e0f89mov [rsp+64], rax
001e0f8emov rdi, [rsp+72]
001e0f93cmp rbx, rdi
001e0f96je 0x1e0f9f
001e0f98cmp r15, [r14]
001e0f9bja 0x1e0f46
001e0f9djmp 0x1e1009
001e0f9f
001e0f9floc_1e0f9f:
001e0f9fmov rbx, [rsp+48]
001e0fa4mov rax, rbx
001e0fa7add rbx, 2
001e0fabmov [rsp+48], rbx
001e0fb0mov rbx, [rsp+24]
001e0fb5cmp rax, rbx
001e0fb8je 0x1e0fc5
001e0fbacmp r15, [r14]
001e0fbdja 0x1e0f2d
001e0fc3jmp 0x1e0fff
001e0fc5
001e0fc5loc_1e0fc5:
001e0fc5mov rbx, [rsp+56]
001e0fcamov rax, rbx
001e0fcdadd rbx, 2
001e0fd1mov [rsp+56], rbx
001e0fd6mov rbx, [rsp+8]
001e0fdbcmp rax, rbx
001e0fdeje 0x1e0feb
001e0fe0cmp r15, [r14]
001e0fe3ja 0x1e0f11
001e0fe9jmp 0x1e0ff5
001e0feb
001e0febloc_1e0feb:
001e0febmov eax, 1
001e0ff0add rsp, 80
001e0ff4ret
001e0ff5
001e0ff5loc_1e0ff5:
001e0ff5call caml_call_gc
001e0ffajmp 0x1e0f11
001e0fff
001e0fffloc_1e0fff:
001e0fffcall caml_call_gc
001e1004jmp 0x1e0f2d
001e1009
001e1009loc_1e1009:
001e1009call caml_call_gc
001e100ejmp 0x1e0f46
001e1013
001e1013loc_1e1013:
001e1013push 43
001e1015call caml_call_realloc_stack
001e101apop r10
001e101cjmp 0x1e0ee2
001e0ed0
001e0ed0Stdlib.Bigarray.fortran_init:
001e0ed0lea r10, [rsp-400]
001e0ed8cmp r10, [r14+40]
001e0edcjb 0x1e1013
001e0ee2
001e0ee2loc_1e0ee2:
001e0ee2sub rsp, 80
001e0ee6mov ecx, 3
001e0eebcmp rcx, rsi
001e0eeejg 0x1e0feb
001e0ef4mov [rsp+8], rsi
001e0ef9mov [rsp+56], rcx
001e0efemov [rsp+32], rdx
001e0f03mov [rsp], rdi
001e0f07mov [rsp+16], rbx
001e0f0cmov [rsp+40], rax
001e0f11
001e0f11loc_1e0f11:
001e0f11mov eax, 3
001e0f16mov [rsp+48], rax
001e0f1bmov rbx, [rsp]
001e0f1fmov [rsp+24], rbx
001e0f24cmp rax, rbx
001e0f27jg 0x1e0fc5
001e0f2d
001e0f2dloc_1e0f2d:
001e0f2dmov eax, 3
001e0f32mov [rsp+64], rax
001e0f37mov rbx, [rsp+16]
001e0f3cmov [rsp+72], rbx
001e0f41cmp rax, rbx
001e0f44jg 0x1e0f9f
001e0f46
001e0f46loc_1e0f46:
001e0f46mov rbx, [rsp+48]
001e0f4bmov rdi, [rsp+56]
001e0f50mov rsi, [rsp+32]
001e0f55call caml_apply3
001e0f5amov rdi, [rsp+40]
001e0f5fmov rsi, [rsp+64]
001e0f64mov rdx, [rsp+48]
001e0f69mov rcx, [rsp+56]
001e0f6emov r8, rax
001e0f71lea rax, [rip+0x1c288]
001e0f78call caml_c_call
001e0f7dmov rax, [rsp+64]
001e0f82mov rbx, rax
001e0f85add rax, 2
001e0f89mov [rsp+64], rax
001e0f8emov rdi, [rsp+72]
001e0f93cmp rbx, rdi
001e0f96je 0x1e0f9f
001e0f98cmp r15, [r14]
001e0f9bja 0x1e0f46
001e0f9djmp 0x1e1009
001e0f9f
001e0f9floc_1e0f9f:
001e0f9fmov rbx, [rsp+48]
001e0fa4mov rax, rbx
001e0fa7add rbx, 2
001e0fabmov [rsp+48], rbx
001e0fb0mov rbx, [rsp+24]
001e0fb5cmp rax, rbx
001e0fb8je 0x1e0fc5
001e0fbacmp r15, [r14]
001e0fbdja 0x1e0f2d
001e0fc3jmp 0x1e0fff
001e0fc5
001e0fc5loc_1e0fc5:
001e0fc5mov rbx, [rsp+56]
001e0fcamov rax, rbx
001e0fcdadd rbx, 2
001e0fd1mov [rsp+56], rbx
001e0fd6mov rbx, [rsp+8]
001e0fdbcmp rax, rbx
001e0fdeje 0x1e0feb
001e0fe0cmp r15, [r14]
001e0fe3ja 0x1e0f11
001e0fe9jmp 0x1e0ff5
001e0feb
001e0febloc_1e0feb:
001e0febmov eax, 1
001e0ff0add rsp, 80
001e0ff4ret
001e0ff5
001e0ff5loc_1e0ff5:
001e0ff5call caml_call_gc
001e0ffajmp 0x1e0f11
001e0fff
001e0fffloc_1e0fff:
001e0fffcall caml_call_gc
001e1004jmp 0x1e0f2d
001e1009
001e1009loc_1e1009:
001e1009call caml_call_gc
001e100ejmp 0x1e0f46
001e1013
001e1013loc_1e1013:
001e1013push 43
001e1015call caml_call_realloc_stack
001e101apop r10
001e101cjmp 0x1e0ee2
001e0ed0
001e1021
001e1021 // align 0x10
001e1021 // align 0x10
001e1030
001e1030Stdlib.Bigarray.init:
001e1030lea r10, [rsp-368]
001e1038cmp r10, [r14+40]
001e103cjb 0x1e10b7
001e103e
001e103eloc_1e103e:
001e103esub rsp, 48
001e1042mov [rsp], rbx
001e1046mov [rsp+8], rdi
001e104bmov [rsp+16], rsi
001e1050mov [rsp+24], rdx
001e1055mov [rsp+32], rcx
001e105acall Stdlib.Bigarray.create
001e105fmov [rsp+40], rax
001e1064mov rbx, [rsp]
001e1068cmp rbx, 1
001e106cje 0x1e1094
001e106emov rbx, [rsp+8]
001e1073mov rdi, [rsp+16]
001e1078mov rsi, [rsp+24]
001e107dmov rdx, [rsp+32]
001e1082call Stdlib.Bigarray.fortran_init
001e1087mov rax, [rsp+40]
001e108cadd rsp, 48
001e1090ret
001e1091
001e1091 0f 1f 00 ...
001e1094
001e1094loc_1e1094:
001e1094mov rbx, [rsp+8]
001e1099mov rdi, [rsp+16]
001e109emov rsi, [rsp+24]
001e10a3mov rdx, [rsp+32]
001e10a8call Stdlib.Bigarray.c_init
001e10admov rax, [rsp+40]
001e10b2add rsp, 48
001e10b6ret
001e10b7
001e10b7loc_1e10b7:
001e10b7push 39
001e10b9call caml_call_realloc_stack
001e10bepop r10
001e10c0jmp 0x1e103e
001e1030
001e1030Stdlib.Bigarray.init:
001e1030lea r10, [rsp-368]
001e1038cmp r10, [r14+40]
001e103cjb 0x1e10b7
001e103e
001e103eloc_1e103e:
001e103esub rsp, 48
001e1042mov [rsp], rbx
001e1046mov [rsp+8], rdi
001e104bmov [rsp+16], rsi
001e1050mov [rsp+24], rdx
001e1055mov [rsp+32], rcx
001e105acall Stdlib.Bigarray.create
001e105fmov [rsp+40], rax
001e1064mov rbx, [rsp]
001e1068cmp rbx, 1
001e106cje 0x1e1094
001e106emov rbx, [rsp+8]
001e1073mov rdi, [rsp+16]
001e1078mov rsi, [rsp+24]
001e107dmov rdx, [rsp+32]
001e1082call Stdlib.Bigarray.fortran_init
001e1087mov rax, [rsp+40]
001e108cadd rsp, 48
001e1090ret
001e1091
001e1091 0f 1f 00 ...
001e1094
001e1094loc_1e1094:
001e1094mov rbx, [rsp+8]
001e1099mov rdi, [rsp+16]
001e109emov rsi, [rsp+24]
001e10a3mov rdx, [rsp+32]
001e10a8call Stdlib.Bigarray.c_init
001e10admov rax, [rsp+40]
001e10b2add rsp, 48
001e10b6ret
001e10b7
001e10b7loc_1e10b7:
001e10b7push 39
001e10b9call caml_call_realloc_stack
001e10bepop r10
001e10c0jmp 0x1e103e
001e1030
001e10c5
001e10c5 // align 0x10
001e10c5 // align 0x10
001e10d0
001e10d0Stdlib.Bigarray.of_array:
001e10d0lea r10, [rsp-424]
001e10d8cmp r10, [r14+40]
001e10dcjb 0x1e13c4
001e10e2
001e10e2loc_1e10e2:
001e10e2sub rsp, 104
001e10e6mov [rsp], rbx
001e10eamov rdx, rdi
001e10edmov [rsp+16], rdx
001e10f2mov rsi, [rdx-8]
001e10f6mov rdi, rsi
001e10f9shr rdi, 9
001e10fdor rdi, 1
001e1101mov [rsp+8], rdi
001e1106cmp rdi, 1
001e110ajne 0x1e1118
001e110cmov esi, 1
001e1111mov [rsp+24], rsi
001e1116jmp 0x1e1139
001e1118
001e1118loc_1e1118:
001e1118cmp rsi, 1023
001e111fjbe 0x1e13bf
001e1125mov rsi, [rdx]
001e1128mov rsi, [rsi-8]
001e112cshr rsi, 9
001e1130or rsi, 1
001e1134mov [rsp+24], rsi
001e1139
001e1139loc_1e1139:
001e1139cmp rsi, 1
001e113djne 0x1e114c
001e113fmov edx, 1
001e1144mov [rsp+32], rdx
001e1149jmp 0x1e1185
001e114b
001e114b 90 .
001e114c
001e114cloc_1e114c:
001e114cmov rcx, [rdx-8]
001e1150cmp rcx, 1023
001e1157jbe 0x1e13ba
001e115dmov rdx, [rdx]
001e1160mov rcx, [rdx-8]
001e1164cmp rcx, 1023
001e116bjbe 0x1e13b5
001e1171mov rdx, [rdx]
001e1174mov rdx, [rdx-8]
001e1178shr rdx, 9
001e117cor rdx, 1
001e1180mov [rsp+32], rdx
001e1185
001e1185loc_1e1185:
001e1185call Stdlib.Bigarray.create
001e118amov [rsp+80], rax
001e118fmov rax, [rsp]
001e1193mov ebx, 1
001e1198mov rdi, [rsp+8]
001e119dadd rdi, -2
001e11a1cmp rbx, rdi
001e11a4jg 0x1e1374
001e11aamov [rsp], rdi
001e11aemov [rsp+72], rbx
001e11b3mov [rsp+56], rax
001e11b8
001e11b8loc_1e11b8:
001e11b8mov rdi, [rsp+16]
001e11bdmov rax, [rdi-8]
001e11c1shr rax, 9
001e11c5cmp rax, rbx
001e11c8jbe 0x1e13b0
001e11cemov rax, [rdi+4*rbx-4]
001e11d3mov [rsp+8], rax
001e11d8mov rax, [rax-8]
001e11dcshr rax, 9
001e11e0or rax, 1
001e11e4mov rbx, [rsp+24]
001e11e9cmp rax, rbx
001e11ecje 0x1e11fa
001e11eelea rax, [rip+0x184d1b]
001e11f5call camlStdlib.invalid_arg_10
001e11fa
001e11faloc_1e11fa:
001e11famov eax, 1
001e11ffmov [rsp+64], rax
001e1204mov rbx, [rsp+24]
001e1209add rbx, -2
001e120dmov [rsp+40], rbx
001e1212cmp rax, rbx
001e1215jg 0x1e134f
001e121b
001e121bloc_1e121b:
001e121bmov rdi, [rsp+8]
001e1220mov rbx, [rdi-8]
001e1224shr rbx, 9
001e1228cmp rbx, rax
001e122bjbe 0x1e13ab
001e1231mov rax, [rdi+4*rax-4]
001e1236mov [rsp+48], rax
001e123bmov rax, [rax-8]
001e123fshr rax, 9
001e1243or rax, 1
001e1247mov rbx, [rsp+32]
001e124ccmp rax, rbx
001e124fje 0x1e125d
001e1251lea rax, [rip+0x184cb8]
001e1258call camlStdlib.invalid_arg_10
001e125d
001e125dloc_1e125d:
001e125dmov eax, 1
001e1262mov [rsp+88], rax
001e1267mov rbx, [rsp+32]
001e126cadd rbx, -2
001e1270mov [rsp+96], rbx
001e1275cmp rax, rbx
001e1278jg 0x1e1329
001e127e
001e127eloc_1e127e:
001e127emov rsi, [rsp+48]
001e1283mov rbx, [rsi-8]
001e1287mov rdi, rbx
001e128ashr rdi, 9
001e128ecmp rdi, rax
001e1291jbe 0x1e13a6
001e1297and rbx, 255
001e129ecmp rbx, 254
001e12a5je 0x1e12b0
001e12a7mov r8, [rsi+4*rax-4]
001e12acjmp 0x1e12d4
001e12ae
001e12ae 66 90 f.
001e12b0
001e12b0loc_1e12b0:
001e12b0sub r15, 16
001e12b4cmp r15, [r14]
001e12b7jb 0x1e139c
001e12bd
001e12bdloc_1e12bd:
001e12bdlea r8, [r15+8]
001e12c1mov [r8-8], 1277
001e12c9movsd_xmm x0, [rsi+4*rax-4]
001e12cfmovsd_xmm [r8], x0
001e12d4
001e12d4loc_1e12d4:
001e12d4mov rbx, [rsp+56]
001e12d9lea rcx, [rax+rbx-1]
001e12demov rax, [rsp+64]
001e12e3lea rdx, [rax+rbx-1]
001e12e8mov rax, [rsp+72]
001e12edlea rsi, [rax+rbx-1]
001e12f2mov rdi, [rsp+80]
001e12f7lea rax, [rip+0x1bf02]
001e12fecall caml_c_call
001e1303mov rax, [rsp+88]
001e1308mov rbx, rax
001e130badd rax, 2
001e130fmov [rsp+88], rax
001e1314mov rdi, [rsp+96]
001e1319cmp rbx, rdi
001e131cje 0x1e1329
001e131ecmp r15, [r14]
001e1321ja 0x1e127e
001e1327jmp 0x1e1392
001e1329
001e1329loc_1e1329:
001e1329mov rax, [rsp+64]
001e132emov rbx, rax
001e1331add rax, 2
001e1335mov [rsp+64], rax
001e133amov rdi, [rsp+40]
001e133fcmp rbx, rdi
001e1342je 0x1e134f
001e1344cmp r15, [r14]
001e1347ja 0x1e121b
001e134djmp 0x1e1388
001e134f
001e134floc_1e134f:
001e134fmov rbx, [rsp+72]
001e1354mov rax, rbx
001e1357add rbx, 2
001e135bmov [rsp+72], rbx
001e1360mov rdi, [rsp]
001e1364cmp rax, rdi
001e1367je 0x1e1374
001e1369cmp r15, [r14]
001e136cja 0x1e11b8
001e1372jmp 0x1e137e
001e1374
001e1374loc_1e1374:
001e1374mov rax, [rsp+80]
001e1379add rsp, 104
001e137dret
001e137e
001e137eloc_1e137e:
001e137ecall caml_call_gc
001e1383jmp 0x1e11b8
001e1388
001e1388loc_1e1388:
001e1388call caml_call_gc
001e138djmp 0x1e121b
001e1392
001e1392loc_1e1392:
001e1392call caml_call_gc
001e1397jmp 0x1e127e
001e139c
001e139cloc_1e139c:
001e139ccall caml_call_gc
001e13a1jmp 0x1e12bd
001e13a6
001e13a6loc_1e13a6:
001e13a6call caml_ml_array_bound_error
001e13ab
001e13abloc_1e13ab:
001e13abcall caml_ml_array_bound_error
001e13b0
001e13b0loc_1e13b0:
001e13b0call caml_ml_array_bound_error
001e13b5
001e13b5loc_1e13b5:
001e13b5call caml_ml_array_bound_error
001e13ba
001e13baloc_1e13ba:
001e13bacall caml_ml_array_bound_error
001e13bf
001e13bfloc_1e13bf:
001e13bfcall caml_ml_array_bound_error
001e13c4
001e13c4loc_1e13c4:
001e13c4push 46
001e13c6call caml_call_realloc_stack
001e13cbpop r10
001e13cdjmp 0x1e10e2
001e10d0
001e10d0Stdlib.Bigarray.of_array:
001e10d0lea r10, [rsp-424]
001e10d8cmp r10, [r14+40]
001e10dcjb 0x1e13c4
001e10e2
001e10e2loc_1e10e2:
001e10e2sub rsp, 104
001e10e6mov [rsp], rbx
001e10eamov rdx, rdi
001e10edmov [rsp+16], rdx
001e10f2mov rsi, [rdx-8]
001e10f6mov rdi, rsi
001e10f9shr rdi, 9
001e10fdor rdi, 1
001e1101mov [rsp+8], rdi
001e1106cmp rdi, 1
001e110ajne 0x1e1118
001e110cmov esi, 1
001e1111mov [rsp+24], rsi
001e1116jmp 0x1e1139
001e1118
001e1118loc_1e1118:
001e1118cmp rsi, 1023
001e111fjbe 0x1e13bf
001e1125mov rsi, [rdx]
001e1128mov rsi, [rsi-8]
001e112cshr rsi, 9
001e1130or rsi, 1
001e1134mov [rsp+24], rsi
001e1139
001e1139loc_1e1139:
001e1139cmp rsi, 1
001e113djne 0x1e114c
001e113fmov edx, 1
001e1144mov [rsp+32], rdx
001e1149jmp 0x1e1185
001e114b
001e114b 90 .
001e114c
001e114cloc_1e114c:
001e114cmov rcx, [rdx-8]
001e1150cmp rcx, 1023
001e1157jbe 0x1e13ba
001e115dmov rdx, [rdx]
001e1160mov rcx, [rdx-8]
001e1164cmp rcx, 1023
001e116bjbe 0x1e13b5
001e1171mov rdx, [rdx]
001e1174mov rdx, [rdx-8]
001e1178shr rdx, 9
001e117cor rdx, 1
001e1180mov [rsp+32], rdx
001e1185
001e1185loc_1e1185:
001e1185call Stdlib.Bigarray.create
001e118amov [rsp+80], rax
001e118fmov rax, [rsp]
001e1193mov ebx, 1
001e1198mov rdi, [rsp+8]
001e119dadd rdi, -2
001e11a1cmp rbx, rdi
001e11a4jg 0x1e1374
001e11aamov [rsp], rdi
001e11aemov [rsp+72], rbx
001e11b3mov [rsp+56], rax
001e11b8
001e11b8loc_1e11b8:
001e11b8mov rdi, [rsp+16]
001e11bdmov rax, [rdi-8]
001e11c1shr rax, 9
001e11c5cmp rax, rbx
001e11c8jbe 0x1e13b0
001e11cemov rax, [rdi+4*rbx-4]
001e11d3mov [rsp+8], rax
001e11d8mov rax, [rax-8]
001e11dcshr rax, 9
001e11e0or rax, 1
001e11e4mov rbx, [rsp+24]
001e11e9cmp rax, rbx
001e11ecje 0x1e11fa
001e11eelea rax, [rip+0x184d1b]
001e11f5call camlStdlib.invalid_arg_10
001e11fa
001e11faloc_1e11fa:
001e11famov eax, 1
001e11ffmov [rsp+64], rax
001e1204mov rbx, [rsp+24]
001e1209add rbx, -2
001e120dmov [rsp+40], rbx
001e1212cmp rax, rbx
001e1215jg 0x1e134f
001e121b
001e121bloc_1e121b:
001e121bmov rdi, [rsp+8]
001e1220mov rbx, [rdi-8]
001e1224shr rbx, 9
001e1228cmp rbx, rax
001e122bjbe 0x1e13ab
001e1231mov rax, [rdi+4*rax-4]
001e1236mov [rsp+48], rax
001e123bmov rax, [rax-8]
001e123fshr rax, 9
001e1243or rax, 1
001e1247mov rbx, [rsp+32]
001e124ccmp rax, rbx
001e124fje 0x1e125d
001e1251lea rax, [rip+0x184cb8]
001e1258call camlStdlib.invalid_arg_10
001e125d
001e125dloc_1e125d:
001e125dmov eax, 1
001e1262mov [rsp+88], rax
001e1267mov rbx, [rsp+32]
001e126cadd rbx, -2
001e1270mov [rsp+96], rbx
001e1275cmp rax, rbx
001e1278jg 0x1e1329
001e127e
001e127eloc_1e127e:
001e127emov rsi, [rsp+48]
001e1283mov rbx, [rsi-8]
001e1287mov rdi, rbx
001e128ashr rdi, 9
001e128ecmp rdi, rax
001e1291jbe 0x1e13a6
001e1297and rbx, 255
001e129ecmp rbx, 254
001e12a5je 0x1e12b0
001e12a7mov r8, [rsi+4*rax-4]
001e12acjmp 0x1e12d4
001e12ae
001e12ae 66 90 f.
001e12b0
001e12b0loc_1e12b0:
001e12b0sub r15, 16
001e12b4cmp r15, [r14]
001e12b7jb 0x1e139c
001e12bd
001e12bdloc_1e12bd:
001e12bdlea r8, [r15+8]
001e12c1mov [r8-8], 1277
001e12c9movsd_xmm x0, [rsi+4*rax-4]
001e12cfmovsd_xmm [r8], x0
001e12d4
001e12d4loc_1e12d4:
001e12d4mov rbx, [rsp+56]
001e12d9lea rcx, [rax+rbx-1]
001e12demov rax, [rsp+64]
001e12e3lea rdx, [rax+rbx-1]
001e12e8mov rax, [rsp+72]
001e12edlea rsi, [rax+rbx-1]
001e12f2mov rdi, [rsp+80]
001e12f7lea rax, [rip+0x1bf02]
001e12fecall caml_c_call
001e1303mov rax, [rsp+88]
001e1308mov rbx, rax
001e130badd rax, 2
001e130fmov [rsp+88], rax
001e1314mov rdi, [rsp+96]
001e1319cmp rbx, rdi
001e131cje 0x1e1329
001e131ecmp r15, [r14]
001e1321ja 0x1e127e
001e1327jmp 0x1e1392
001e1329
001e1329loc_1e1329:
001e1329mov rax, [rsp+64]
001e132emov rbx, rax
001e1331add rax, 2
001e1335mov [rsp+64], rax
001e133amov rdi, [rsp+40]
001e133fcmp rbx, rdi
001e1342je 0x1e134f
001e1344cmp r15, [r14]
001e1347ja 0x1e121b
001e134djmp 0x1e1388
001e134f
001e134floc_1e134f:
001e134fmov rbx, [rsp+72]
001e1354mov rax, rbx
001e1357add rbx, 2
001e135bmov [rsp+72], rbx
001e1360mov rdi, [rsp]
001e1364cmp rax, rdi
001e1367je 0x1e1374
001e1369cmp r15, [r14]
001e136cja 0x1e11b8
001e1372jmp 0x1e137e
001e1374
001e1374loc_1e1374:
001e1374mov rax, [rsp+80]
001e1379add rsp, 104
001e137dret
001e137e
001e137eloc_1e137e:
001e137ecall caml_call_gc
001e1383jmp 0x1e11b8
001e1388
001e1388loc_1e1388:
001e1388call caml_call_gc
001e138djmp 0x1e121b
001e1392
001e1392loc_1e1392:
001e1392call caml_call_gc
001e1397jmp 0x1e127e
001e139c
001e139cloc_1e139c:
001e139ccall caml_call_gc
001e13a1jmp 0x1e12bd
001e13a6
001e13a6loc_1e13a6:
001e13a6call caml_ml_array_bound_error
001e13ab
001e13abloc_1e13ab:
001e13abcall caml_ml_array_bound_error
001e13b0
001e13b0loc_1e13b0:
001e13b0call caml_ml_array_bound_error
001e13b5
001e13b5loc_1e13b5:
001e13b5call caml_ml_array_bound_error
001e13ba
001e13baloc_1e13ba:
001e13bacall caml_ml_array_bound_error
001e13bf
001e13bfloc_1e13bf:
001e13bfcall caml_ml_array_bound_error
001e13c4
001e13c4loc_1e13c4:
001e13c4push 46
001e13c6call caml_call_realloc_stack
001e13cbpop r10
001e13cdjmp 0x1e10e2
001e10d0
001e13d2
001e13d2 // align 0x10
001e13d2 // align 0x10
001e13e0
001e13e0Stdlib.Bigarray.array0_of_genarray:
001e13e0sub rsp, 8
001e13e4mov [rsp], rax
001e13e8mov rdi, rax
001e13eblea rax, [rip+0x1bfee]
001e13f2call caml_c_call
001e13f7cmp rax, 1
001e13fbjne 0x1e1408
001e13fdmov rax, [rsp]
001e1401add rsp, 8
001e1405ret
001e1406
001e1406 66 90 f.
001e1408
001e1408loc_1e1408:
001e1408lea rax, [rip+0x184ad9]
001e140fadd rsp, 8
001e1413jmp 0x195ab0
001e13e0
001e13e0Stdlib.Bigarray.array0_of_genarray:
001e13e0sub rsp, 8
001e13e4mov [rsp], rax
001e13e8mov rdi, rax
001e13eblea rax, [rip+0x1bfee]
001e13f2call caml_c_call
001e13f7cmp rax, 1
001e13fbjne 0x1e1408
001e13fdmov rax, [rsp]
001e1401add rsp, 8
001e1405ret
001e1406
001e1406 66 90 f.
001e1408
001e1408loc_1e1408:
001e1408lea rax, [rip+0x184ad9]
001e140fadd rsp, 8
001e1413jmp 0x195ab0
001e13e0
001e1418
001e1418 // align 0x10
001e1418 // align 0x10
Loading..