Similarity

001b3aa0
001b3aa0Stdlib.Float.loop:
001b3aa0cmp r15, [r14]
001b3aa3jbe 0x1b3ada
001b3aa5
001b3aa5loc_1b3aa5:
001b3aa5mov rdi, [rbx+32]
001b3aa9cmp rax, rdi
001b3aacjne 0x1b3ab4
001b3aaemov eax, 1
001b3ab3ret
001b3ab4
001b3ab4loc_1b3ab4:
001b3ab4mov rdi, [rbx+24]
001b3ab8movsd_xmm x0, [rdi+4*rax-4]
001b3abemov rdi, [rbx+16]
001b3ac2movsd_xmm x1, [rdi]
001b3ac6ucomisd x1, x0
001b3acajp 0x1b3ad4
001b3accjne 0x1b3ad4
001b3acemov eax, 3
001b3ad3ret
001b3ad4
001b3ad4loc_1b3ad4:
001b3ad4add rax, 2
001b3ad8jmp 0x1b3aa0
001b3ada
001b3adaloc_1b3ada:
001b3adacall caml_call_gc
001b3adfjmp 0x1b3aa5
001b3aa0

001b3ae1
001b3ae1 // align 0x10

001b3af0
001b3af0Stdlib.Float.find_opt:
001b3af0mov rdi, [rbx-8]
001b3af4shr rdi, 9
001b3af8or rdi, 1
001b3afcsub r15, 48
001b3b00cmp r15, [r14]
001b3b03jb 0x1b3b42
001b3b05
001b3b05loc_1b3b05:
001b3b05lea rsi, [r15+8]
001b3b09mov [rsi-8], 5367
001b3b11lea rdx, [rip+56]
001b3b18mov [rsi], rdx
001b3b1bmov rdx, 0x100000000000005
001b3b25mov [rsi+8], rdx
001b3b29mov [rsi+16], rax
001b3b2dmov [rsi+24], rbx
001b3b31mov [rsi+32], rdi
001b3b35mov eax, 1
001b3b3amov rbx, rsi
001b3b3djmp 0x1b3b50
001b3b42
001b3b42loc_1b3b42:
001b3b42call caml_call_gc
001b3b47jmp 0x1b3b05
001b3af0

001b3b49
001b3b49 // align 0x10

001b3b50
001b3b50Stdlib.Float.loop:
001b3b50lea r10, [rsp-344]
001b3b58cmp r10, [r14+40]
001b3b5cjb 0x1b3c14
001b3b62
001b3b62loc_1b3b62:
001b3b62sub rsp, 24
001b3b66
001b3b66loc_1b3b66:
001b3b66mov rdi, [rbx+32]
001b3b6acmp rax, rdi
001b3b6djne 0x1b3b7c
001b3b6fmov eax, 1
001b3b74add rsp, 24
001b3b78ret
001b3b79
001b3b79 0f 1f 00 ...
001b3b7c
001b3b7cloc_1b3b7c:
001b3b7cmov [rsp+8], rbx
001b3b81mov [rsp], rax
001b3b85mov rdi, [rbx+24]
001b3b89movsd_xmm x0, [rdi+4*rax-4]
001b3b8fmovsd_xmm [rsp+16], x0
001b3b95mov rbx, [rbx+16]
001b3b99sub r15, 16
001b3b9dcmp r15, [r14]
001b3ba0jb 0x1b3c0d
001b3ba2
001b3ba2loc_1b3ba2:
001b3ba2lea rax, [r15+8]
001b3ba6mov [rax-8], 1277
001b3baemovsd_xmm [rax], x0
001b3bb2mov rdi, [rbx]
001b3bb5call rdi
001b3bb7cmp rax, 1
001b3bbbje 0x1b3bf4
001b3bbdsub r15, 32
001b3bc1cmp r15, [r14]
001b3bc4jb 0x1b3c06
001b3bc6
001b3bc6loc_1b3bc6:
001b3bc6lea rbx, [r15+8]
001b3bcaadd rbx, 16
001b3bcemov [rbx-8], 1277
001b3bd6movsd_xmm x0, [rsp+16]
001b3bdcmovsd_xmm [rbx], x0
001b3be0lea rax, [rbx-16]
001b3be4mov [rax-8], 1024
001b3becmov [rax], rbx
001b3befadd rsp, 24
001b3bf3ret
001b3bf4
001b3bf4loc_1b3bf4:
001b3bf4mov rax, [rsp]
001b3bf8add rax, 2
001b3bfcmov rbx, [rsp+8]
001b3c01jmp 0x1b3b66
001b3c06
001b3c06loc_1b3c06:
001b3c06call caml_call_gc
001b3c0bjmp 0x1b3bc6
001b3c0d
001b3c0dloc_1b3c0d:
001b3c0dcall caml_call_gc
001b3c12jmp 0x1b3ba2
001b3c14
001b3c14loc_1b3c14:
001b3c14push 36
001b3c16call caml_call_realloc_stack
001b3c1bpop r10
001b3c1djmp 0x1b3b62
001b3b50

001b3c22
001b3c22 // align 0x10

001b3c30
001b3c30Stdlib.Float.find_index:
001b3c30mov rdi, [rbx-8]
001b3c34shr rdi, 9
001b3c38or rdi, 1
001b3c3csub r15, 48
001b3c40cmp r15, [r14]
001b3c43jb 0x1b3c82
001b3c45
001b3c45loc_1b3c45:
001b3c45lea rsi, [r15+8]
001b3c49mov [rsi-8], 5367
001b3c51lea rdx, [rip+56]
001b3c58mov [rsi], rdx
001b3c5bmov rdx, 0x100000000000005
001b3c65mov [rsi+8], rdx
001b3c69mov [rsi+16], rax
001b3c6dmov [rsi+24], rbx
001b3c71mov [rsi+32], rdi
001b3c75mov eax, 1
001b3c7amov rbx, rsi
001b3c7djmp 0x1b3c90
001b3c82
001b3c82loc_1b3c82:
001b3c82call caml_call_gc
001b3c87jmp 0x1b3c45
001b3c30

001b3c89
001b3c89 // align 0x10

001b3c90
001b3c90Stdlib.Float.loop:
001b3c90lea r10, [rsp-336]
001b3c98cmp r10, [r14+40]
001b3c9cjb 0x1b3d40
001b3ca2
001b3ca2loc_1b3ca2:
001b3ca2sub rsp, 16
001b3ca6
001b3ca6loc_1b3ca6:
001b3ca6mov rdi, [rbx+32]
001b3caacmp rax, rdi
001b3cadjne 0x1b3cbc
001b3cafmov eax, 1
001b3cb4add rsp, 16
001b3cb8ret
001b3cb9
001b3cb9 0f 1f 00 ...
001b3cbc
001b3cbcloc_1b3cbc:
001b3cbcmov [rsp], rbx
001b3cc0mov [rsp+8], rax
001b3cc5mov rdi, [rbx+16]
001b3cc9sub r15, 16
001b3ccdcmp r15, [r14]
001b3cd0jb 0x1b3d39
001b3cd2
001b3cd2loc_1b3cd2:
001b3cd2lea rsi, [r15+8]
001b3cd6mov [rsi-8], 1277
001b3cdemov rbx, [rbx+24]
001b3ce2movsd_xmm x0, [rbx+4*rax-4]
001b3ce8movsd_xmm [rsi], x0
001b3cecmov rdx, [rdi]
001b3cefmov rax, rsi
001b3cf2mov rbx, rdi
001b3cf5call rdx
001b3cf7cmp rax, 1
001b3cfbje 0x1b3d20
001b3cfdsub r15, 16
001b3d01cmp r15, [r14]
001b3d04jb 0x1b3d32
001b3d06
001b3d06loc_1b3d06:
001b3d06lea rax, [r15+8]
001b3d0amov [rax-8], 1024
001b3d12mov rbx, [rsp+8]
001b3d17mov [rax], rbx
001b3d1aadd rsp, 16
001b3d1eret
001b3d1f
001b3d1f 90 .
001b3d20
001b3d20loc_1b3d20:
001b3d20mov rax, [rsp+8]
001b3d25add rax, 2
001b3d29mov rbx, [rsp]
001b3d2djmp 0x1b3ca6
001b3d32
001b3d32loc_1b3d32:
001b3d32call caml_call_gc
001b3d37jmp 0x1b3d06
001b3d39
001b3d39loc_1b3d39:
001b3d39call caml_call_gc
001b3d3ejmp 0x1b3cd2
001b3d40
001b3d40loc_1b3d40:
001b3d40push 35
001b3d42call caml_call_realloc_stack
001b3d47pop r10
001b3d49jmp 0x1b3ca2
001b3c90

001b3d4e
001b3d4e // align 0x10

001b3d50
001b3d50Stdlib.Float.find_map:
001b3d50mov rdi, [rbx-8]
001b3d54shr rdi, 9
001b3d58or rdi, 1
001b3d5csub r15, 48
001b3d60cmp r15, [r14]
001b3d63jb 0x1b3da2
001b3d65
001b3d65loc_1b3d65:
001b3d65lea rsi, [r15+8]
001b3d69mov [rsi-8], 5367
001b3d71lea rdx, [rip+56]
001b3d78mov [rsi], rdx
001b3d7bmov rdx, 0x100000000000005
001b3d85mov [rsi+8], rdx
001b3d89mov [rsi+16], rax
001b3d8dmov [rsi+24], rbx
001b3d91mov [rsi+32], rdi
001b3d95mov eax, 1
001b3d9amov rbx, rsi
001b3d9djmp 0x1b3db0
001b3da2
001b3da2loc_1b3da2:
001b3da2call caml_call_gc
001b3da7jmp 0x1b3d65
001b3d50

001b3da9
001b3da9 // align 0x10

001b3db0
001b3db0Stdlib.Float.loop:
001b3db0lea r10, [rsp-336]
001b3db8cmp r10, [r14+40]
001b3dbcjb 0x1b3e34
001b3dbe
001b3dbeloc_1b3dbe:
001b3dbesub rsp, 16
001b3dc2
001b3dc2loc_1b3dc2:
001b3dc2mov rdi, [rbx+32]
001b3dc6cmp rax, rdi
001b3dc9jne 0x1b3dd8
001b3dcbmov eax, 1
001b3dd0add rsp, 16
001b3dd4ret
001b3dd5
001b3dd5 0f 1f 00 ...
001b3dd8
001b3dd8loc_1b3dd8:
001b3dd8mov [rsp+8], rbx
001b3dddmov [rsp], rax
001b3de1mov rdi, [rbx+16]
001b3de5sub r15, 16
001b3de9cmp r15, [r14]
001b3decjb 0x1b3e2d
001b3dee
001b3deeloc_1b3dee:
001b3deelea rsi, [r15+8]
001b3df2mov [rsi-8], 1277
001b3dfamov rbx, [rbx+24]
001b3dfemovsd_xmm x0, [rbx+4*rax-4]
001b3e04movsd_xmm [rsi], x0
001b3e08mov rdx, [rdi]
001b3e0bmov rax, rsi
001b3e0emov rbx, rdi
001b3e11call rdx
001b3e13test al, 1
001b3e15je 0x1b3e28
001b3e17mov rax, [rsp]
001b3e1badd rax, 2
001b3e1fmov rbx, [rsp+8]
001b3e24jmp 0x1b3dc2
001b3e26
001b3e26 66 90 f.
001b3e28
001b3e28loc_1b3e28:
001b3e28add rsp, 16
001b3e2cret
001b3e2d
001b3e2dloc_1b3e2d:
001b3e2dcall caml_call_gc
001b3e32jmp 0x1b3dee
001b3e34
001b3e34loc_1b3e34:
001b3e34push 35
001b3e36call caml_call_realloc_stack
001b3e3bpop r10
001b3e3djmp 0x1b3dbe
001b3db0

001b3e42
001b3e42 // align 0x10

001b3e50
001b3e50Stdlib.Float.find_mapi:
001b3e50mov rdi, [rbx-8]
001b3e54shr rdi, 9
001b3e58or rdi, 1
001b3e5csub r15, 48
001b3e60cmp r15, [r14]
001b3e63jb 0x1b3ea2
001b3e65
001b3e65loc_1b3e65:
001b3e65lea rsi, [r15+8]
001b3e69mov [rsi-8], 5367
001b3e71lea rdx, [rip+56]
001b3e78mov [rsi], rdx
001b3e7bmov rdx, 0x100000000000005
001b3e85mov [rsi+8], rdx
001b3e89mov [rsi+16], rax
001b3e8dmov [rsi+24], rbx
001b3e91mov [rsi+32], rdi
001b3e95mov eax, 1
001b3e9amov rbx, rsi
001b3e9djmp 0x1b3eb0
001b3ea2
001b3ea2loc_1b3ea2:
001b3ea2call caml_call_gc
001b3ea7jmp 0x1b3e65
001b3e50

001b3ea9
001b3ea9 // align 0x10

001b3eb0
001b3eb0Stdlib.Float.loop:
001b3eb0lea r10, [rsp-336]
001b3eb8cmp r10, [r14+40]
001b3ebcjb 0x1b3f30
001b3ebe
001b3ebeloc_1b3ebe:
001b3ebesub rsp, 16
001b3ec2
001b3ec2loc_1b3ec2:
001b3ec2mov rdi, [rbx+32]
001b3ec6cmp rax, rdi
001b3ec9jne 0x1b3ed8
001b3ecbmov eax, 1
001b3ed0add rsp, 16
001b3ed4ret
001b3ed5
001b3ed5 0f 1f 00 ...
001b3ed8
001b3ed8loc_1b3ed8:
001b3ed8mov [rsp+8], rbx
001b3eddmov [rsp], rax
001b3ee1sub r15, 16
001b3ee5cmp r15, [r14]
001b3ee8jb 0x1b3f29
001b3eea
001b3eealoc_1b3eea:
001b3eealea rsi, [r15+8]
001b3eeemov [rsi-8], 1277
001b3ef6mov rdi, [rbx+24]
001b3efamovsd_xmm x0, [rdi+4*rax-4]
001b3f00movsd_xmm [rsi], x0
001b3f04mov rdi, [rbx+16]
001b3f08mov rbx, rsi
001b3f0bcall caml_apply2
001b3f10test al, 1
001b3f12je 0x1b3f24
001b3f14mov rax, [rsp]
001b3f18add rax, 2
001b3f1cmov rbx, [rsp+8]
001b3f21jmp 0x1b3ec2
001b3f23
001b3f23 90 .
001b3f24
001b3f24loc_1b3f24:
001b3f24add rsp, 16
001b3f28ret
001b3f29
001b3f29loc_1b3f29:
001b3f29call caml_call_gc
001b3f2ejmp 0x1b3eea
001b3f30
001b3f30loc_1b3f30:
001b3f30push 35
001b3f32call caml_call_realloc_stack
001b3f37pop r10
001b3f39jmp 0x1b3ebe
001b3eb0

001b3f3b
001b3f3b // align 0x10

001b3f40
001b3f40Stdlib.Float.sort:
001b3f40lea r10, [rsp-392]
001b3f48cmp r10, [r14+40]
001b3f4cjb 0x1b42d2
001b3f52
001b3f52loc_1b3f52:
001b3f52sub rsp, 56
001b3f56mov [rsp+40], rbx
001b3f5bsub r15, 200
001b3f62cmp r15, [r14]
001b3f65jb 0x1b42aa
001b3f6b
001b3f6bloc_1b3f6b:
001b3f6blea rdi, [r15+8]
001b3f6fadd rdi, 152
001b3f76mov [rdi-8], 5367
001b3f7elea rdx, [rip-0xbcf65]
001b3f85mov [rdi], rdx
001b3f88mov rsi, 0x200000000000007
001b3f92mov [rdi+8], rsi
001b3f96lea rsi, [rip+835]
001b3f9dmov [rdi+16], rsi
001b3fa1mov [rdi+24], rax
001b3fa5mov [rdi+32], rbx
001b3fa9lea rsi, [rdi-56]
001b3fadmov [rsi-8], 6391
001b3fb5lea rcx, [rip-0xbd08c]
001b3fbcmov [rsi], rcx
001b3fbfmov rcx, 0x300000000000007
001b3fc9mov [rsi+8], rcx
001b3fcdlea rcx, [rip+1420]
001b3fd4mov [rsi+16], rcx
001b3fd8mov [rsi+24], rax
001b3fdcmov [rsi+32], rbx
001b3fe0mov [rsi+40], rdi
001b3fe4lea rcx, [rsi-48]
001b3fe8mov [rsp+24], rcx
001b3fedmov [rcx-8], 5367
001b3ff5mov [rcx], rdx
001b3ff8mov r8, 0x200000000000007
001b4002mov [rcx+8], r8
001b4006lea r8, [rip+1667]
001b400dmov [rcx+16], r8
001b4011mov [rcx+24], rbx
001b4015mov [rcx+32], rdi
001b4019lea rdi, [rcx-48]
001b401dmov [rsp+8], rdi
001b4022mov [rdi-8], 5367
001b402amov [rdi], rdx
001b402dmov rdx, 0x200000000000007
001b4037mov [rdi+8], rdx
001b403blea rdx, [rip+1742]
001b4042mov [rdi+16], rdx
001b4046mov [rdi+24], rax
001b404amov [rdi+32], rbx
001b404emov rax, [rbx-8]
001b4052shr rax, 9
001b4056or rax, 1
001b405amov [rsp+32], rax
001b405fadd rax, 2
001b4063sar rax, 1
001b4066mov rbx, rax
001b4069shr rbx, 63
001b406dmov rdi, 0x5555555555555556
001b4077imul rdi
001b407aadd rdx, rbx
001b407dlea rbx, [rdx+rdx-1]
001b4082cmp rbx, 1
001b4086jl 0x1b4163
001b408cmov [rsp+16], rbx
001b4091mov [rsp], rsi
001b4095
001b4095loc_1b4095:
001b4095mov rdi, [rsp+40]
001b409amov rax, [rdi-8]
001b409eshr rax, 9
001b40a2cmp rax, rbx
001b40a5jbe 0x1b42cd
001b40abmovsd_xmm x0, [rdi+4*rbx-4]
001b40b1movsd_xmm [rsp+48], x0
001b40b7lea r11, [rip+66]
001b40bepush r11
001b40c0push [r14+48]
001b40c4mov [r14+48], rsp
001b40c8sub r15, 16
001b40cccmp r15, [r14]
001b40cfjb 0x1b42a0
001b40d5
001b40d5loc_1b40d5:
001b40d5lea rdi, [r15+8]
001b40d9mov [rdi-8], 1277
001b40e1movsd_xmm [rdi], x0
001b40e5mov rax, [rsp+48]
001b40eamov rsi, [rsp+16]
001b40efcall Stdlib.Float.trickledown
001b40f4pop [r14+48]
001b40f8add rsp, 8
001b40fcjmp 0x1b4148
001b40fe
001b40fe 66 90 f.
001b4100lea rbx, [rip+0x18cb29]
001b4107mov rbx, [rbx+520]
001b410emov rdi, [rax]
001b4111cmp rdi, rbx
001b4114jne 0x1b4140
001b4116mov rax, [rax+8]
001b411amov rdi, [rsp+40]
001b411fmov rbx, [rdi-8]
001b4123shr rbx, 9
001b4127cmp rbx, rax
001b412ajbe 0x1b42c8
001b4130movsd_xmm x0, [rsp+48]
001b4136movsd_xmm [rdi+4*rax-4], x0
001b413cjmp 0x1b4148
001b413e
001b413e 66 90 f.
001b4140
001b4140loc_1b4140:
001b4140call caml_reraise_exn
001b4145nop [rax]
001b4148
001b4148loc_1b4148:
001b4148mov rbx, [rsp+16]
001b414dmov rax, rbx
001b4150sub rbx, 2
001b4154mov [rsp+16], rbx
001b4159cmp rax, 1
001b415djne 0x1b4095
001b4163
001b4163loc_1b4163:
001b4163mov rax, [rsp+32]
001b4168add rax, -2
001b416ccmp rax, 5
001b4170jl 0x1b4249
001b4176mov [rsp+16], rax
001b417b
001b417bloc_1b417b:
001b417bmov rsi, [rsp+40]
001b4180mov rbx, [rsi-8]
001b4184mov rdi, rbx
001b4187shr rdi, 9
001b418bcmp rdi, rax
001b418ejbe 0x1b42c3
001b4194movsd_xmm x0, [rsi+4*rax-4]
001b419acmp rbx, 1023
001b41a1jbe 0x1b42be
001b41a7movsd_xmm x1, [rsi]
001b41abmovsd_xmm [rsi+4*rax-4], x1
001b41b1sub r15, 16
001b41b5cmp r15, [r14]
001b41b8jb 0x1b4296
001b41be
001b41beloc_1b41be:
001b41belea rbx, [r15+8]
001b41c2mov [rsp], rbx
001b41c6mov [rbx-8], 1277
001b41cemovsd_xmm [rbx], x0
001b41d2lea r11, [rip+35]
001b41d9push r11
001b41dbpush [r14+48]
001b41dfmov [r14+48], rsp
001b41e3mov ebx, 1
001b41e8mov rdi, [rsp+40]
001b41edcall Stdlib.Float.bubbledown
001b41f2pop [r14+48]
001b41f6add rsp, 8
001b41fajmp 0x1b4220
001b41fclea rbx, [rip+0x18ca2d]
001b4203mov rbx, [rbx+520]
001b420amov rdi, [rax]
001b420dcmp rdi, rbx
001b4210jne 0x1b4218
001b4212mov rax, [rax+8]
001b4216jmp 0x1b4220
001b4218
001b4218loc_1b4218:
001b4218call caml_reraise_exn
001b421dnop [rax]
001b4220
001b4220loc_1b4220:
001b4220mov rbx, [rsp]
001b4224mov rdi, [rsp+8]
001b4229call Stdlib.Float.trickleup
001b422emov rax, [rsp+16]
001b4233mov rbx, rax
001b4236sub rax, 2
001b423amov [rsp+16], rax
001b423fcmp rbx, 5
001b4243jne 0x1b417b
001b4249
001b4249loc_1b4249:
001b4249mov rax, [rsp+32]
001b424ecmp rax, 3
001b4252jle 0x1b428c
001b4254mov rbx, [rsp+40]
001b4259mov rax, [rbx-8]
001b425dcmp rax, 2047
001b4263jbe 0x1b42b9
001b4265movsd_xmm x0, [rbx+8]
001b426acmp rax, 1023
001b4270jbe 0x1b42b4
001b4272movsd_xmm x1, [rbx]
001b4276movsd_xmm [rbx+8], x1
001b427bmovsd_xmm [rbx], x0
001b427fmov eax, 1
001b4284add rsp, 56
001b4288ret
001b4289
001b4289 0f 1f 00 ...
001b428c
001b428cloc_1b428c:
001b428cmov eax, 1
001b4291add rsp, 56
001b4295ret
001b4296
001b4296loc_1b4296:
001b4296call caml_call_gc
001b429bjmp 0x1b41be
001b42a0
001b42a0loc_1b42a0:
001b42a0call caml_call_gc
001b42a5jmp 0x1b40d5
001b42aa
001b42aaloc_1b42aa:
001b42aacall caml_call_gc
001b42afjmp 0x1b3f6b
001b42b4
001b42b4loc_1b42b4:
001b42b4call caml_ml_array_bound_error
001b42b9
001b42b9loc_1b42b9:
001b42b9call caml_ml_array_bound_error
001b42be
001b42beloc_1b42be:
001b42becall caml_ml_array_bound_error
001b42c3
001b42c3loc_1b42c3:
001b42c3call caml_ml_array_bound_error
001b42c8
001b42c8loc_1b42c8:
001b42c8call caml_ml_array_bound_error
001b42cd
001b42cdloc_1b42cd:
001b42cdcall caml_ml_array_bound_error
001b42d2
001b42d2loc_1b42d2:
001b42d2push 42
001b42d4call caml_call_realloc_stack
001b42d9pop r10
001b42dbjmp 0x1b3f52
001b3f40

001b42e0
001b42e0Stdlib.Float.maxson:
001b42e0lea r10, [rsp-344]
001b42e8cmp r10, [r14+40]
001b42ecjb 0x1b454b
001b42f2
001b42f2loc_1b42f2:
001b42f2sub rsp, 24
001b42f6mov rsi, rbx
001b42f9add rsi, rbx
001b42fcadd rsi, rbx
001b42ffmov [rsp+16], rsi
001b4304mov rdx, rsi
001b4307add rdx, 4
001b430bcmp rdx, rax
001b430ejge 0x1b4430
001b4314mov [rsp+8], rsi
001b4319mov [rsp], rdi
001b431dsub r15, 32
001b4321cmp r15, [r14]
001b4324jb 0x1b4523
001b432a
001b432aloc_1b432a:
001b432alea rbx, [r15+8]
001b432eadd rbx, 16
001b4332mov [rbx-8], 1277
001b433amov rax, rsi
001b433dadd rax, 2
001b4341mov rdx, [rdi+32]
001b4345mov rcx, [rdx-8]
001b4349shr rcx, 9
001b434dcmp rcx, rax
001b4350jbe 0x1b4546
001b4356movsd_xmm x0, [rdx+4*rax-4]
001b435cmovsd_xmm [rbx], x0
001b4360lea rax, [rbx-16]
001b4364mov [rax-8], 1277
001b436ccmp rcx, rsi
001b436fjbe 0x1b4541
001b4375movsd_xmm x0, [rdx+4*rsi-4]
001b437bmovsd_xmm [rax], x0
001b437fmov rdi, [rdi+24]
001b4383call caml_apply2
001b4388cmp rax, 1
001b438cjge 0x1b439c
001b438emov rsi, [rsp+16]
001b4393add rsi, 2
001b4397mov [rsp+8], rsi
001b439c
001b439cloc_1b439c:
001b439csub r15, 32
001b43a0cmp r15, [r14]
001b43a3jb 0x1b4519
001b43a9
001b43a9loc_1b43a9:
001b43a9lea rbx, [r15+8]
001b43adadd rbx, 16
001b43b1mov [rbx-8], 1277
001b43b9mov rax, [rsp+16]
001b43beadd rax, 4
001b43c2mov rcx, [rsp]
001b43c6mov rdi, [rcx+32]
001b43camov rsi, [rdi-8]
001b43ceshr rsi, 9
001b43d2cmp rsi, rax
001b43d5jbe 0x1b453c
001b43dbmovsd_xmm x0, [rdi+4*rax-4]
001b43e1movsd_xmm [rbx], x0
001b43e5lea rax, [rbx-16]
001b43e9mov [rax-8], 1277
001b43f1mov rdx, [rsp+8]
001b43f6cmp rsi, rdx
001b43f9jbe 0x1b4537
001b43ffmovsd_xmm x0, [rdi+4*rdx-4]
001b4405movsd_xmm [rax], x0
001b4409mov rdi, [rcx+24]
001b440dcall caml_apply2
001b4412cmp rax, 1
001b4416jge 0x1b4426
001b4418mov rdx, [rsp+16]
001b441dadd rdx, 4
001b4421mov [rsp+8], rdx
001b4426
001b4426loc_1b4426:
001b4426mov rax, [rsp+8]
001b442badd rsp, 24
001b442fret
001b4430
001b4430loc_1b4430:
001b4430mov [rsp+8], rbx
001b4435mov [rsp], rax
001b4439mov rdx, rsi
001b443cadd rdx, 2
001b4440cmp rdx, rax
001b4443jge 0x1b44c0
001b4445sub r15, 32
001b4449cmp r15, [r14]
001b444cjb 0x1b450f
001b4452
001b4452loc_1b4452:
001b4452lea rbx, [r15+8]
001b4456add rbx, 16
001b445amov [rbx-8], 1277
001b4462mov rcx, [rdi+32]
001b4466mov rax, [rcx-8]
001b446ashr rax, 9
001b446ecmp rax, rdx
001b4471jbe 0x1b4532
001b4477movsd_xmm x0, [rcx+4*rdx-4]
001b447dmovsd_xmm [rbx], x0
001b4481lea rdx, [rbx-16]
001b4485mov [rdx-8], 1277
001b448dcmp rax, rsi
001b4490jbe 0x1b452d
001b4496movsd_xmm x0, [rcx+4*rsi-4]
001b449cmovsd_xmm [rdx], x0
001b44a0mov rdi, [rdi+24]
001b44a4mov rax, rdx
001b44a7call caml_apply2
001b44accmp rax, 1
001b44b0jge 0x1b44c0
001b44b2mov rax, [rsp+16]
001b44b7add rax, 2
001b44bbadd rsp, 24
001b44bfret
001b44c0
001b44c0loc_1b44c0:
001b44c0mov rax, [rsp+16]
001b44c5mov rbx, [rsp]
001b44c9cmp rax, rbx
001b44ccjge 0x1b44d4
001b44ceadd rsp, 24
001b44d2ret
001b44d3
001b44d3 90 .
001b44d4
001b44d4loc_1b44d4:
001b44d4sub r15, 24
001b44d8cmp r15, [r14]
001b44dbjb 0x1b4508
001b44dd
001b44ddloc_1b44dd:
001b44ddlea rax, [r15+8]
001b44e1mov [rax-8], 2048
001b44e9lea rbx, [rip+0x18c740]
001b44f0mov rbx, [rbx+520]
001b44f7mov [rax], rbx
001b44famov rbx, [rsp+8]
001b44ffmov [rax+8], rbx
001b4503call caml_raise_exn
001b4508
001b4508loc_1b4508:
001b4508call caml_call_gc
001b450djmp 0x1b44dd
001b450f
001b450floc_1b450f:
001b450fcall caml_call_gc
001b4514jmp 0x1b4452
001b4519
001b4519loc_1b4519:
001b4519call caml_call_gc
001b451ejmp 0x1b43a9
001b4523
001b4523loc_1b4523:
001b4523call caml_call_gc
001b4528jmp 0x1b432a
001b452d
001b452dloc_1b452d:
001b452dcall caml_ml_array_bound_error
001b4532
001b4532loc_1b4532:
001b4532call caml_ml_array_bound_error
001b4537
001b4537loc_1b4537:
001b4537call caml_ml_array_bound_error
001b453c
001b453cloc_1b453c:
001b453ccall caml_ml_array_bound_error
001b4541
001b4541loc_1b4541:
001b4541call caml_ml_array_bound_error
001b4546
001b4546loc_1b4546:
001b4546call caml_ml_array_bound_error
001b454b
001b454bloc_1b454b:
001b454bpush 36
001b454dcall caml_call_realloc_stack
001b4552pop r10
001b4554jmp 0x1b42f2
001b42e0

001b4559
001b4559 // align 0x10

001b4560
001b4560Stdlib.Float.trickledown:
001b4560lea r10, [rsp-360]
001b4568cmp r10, [r14+40]
001b456cjb 0x1b467d
001b4572
001b4572loc_1b4572:
001b4572sub rsp, 40
001b4576
001b4576loc_1b4576:
001b4576mov [rsp+24], rax
001b457bmov [rsp+16], rbx
001b4580mov [rsp+32], rdi
001b4585mov [rsp], rsi
001b4589mov rdi, [rsi+40]
001b458dcall Stdlib.Float.maxson
001b4592mov [rsp+8], rax
001b4597sub r15, 16
001b459bcmp r15, [r14]
001b459ejb 0x1b465f
001b45a4
001b45a4loc_1b45a4:
001b45a4lea rbx, [r15+8]
001b45a8mov [rbx-8], 1277
001b45b0mov rdx, [rsp]
001b45b4mov rdi, [rdx+32]
001b45b8mov rsi, [rdi-8]
001b45bcshr rsi, 9
001b45c0cmp rsi, rax
001b45c3jbe 0x1b4678
001b45c9movsd_xmm x0, [rdi+4*rax-4]
001b45cfmovsd_xmm [rbx], x0
001b45d3mov rdi, [rdx+24]
001b45d7mov rax, rbx
001b45damov rbx, [rsp+32]
001b45dfcall caml_apply2
001b45e4cmp rax, 1
001b45e8jle 0x1b462c
001b45eamov rsi, [rsp]
001b45eemov rax, [rsi+32]
001b45f2mov rbx, [rax-8]
001b45f6shr rbx, 9
001b45famov rdi, [rsp+8]
001b45ffcmp rbx, rdi
001b4602jbe 0x1b4673
001b4604movsd_xmm x0, [rax+4*rdi-4]
001b460amov rdx, [rsp+16]
001b460fcmp rbx, rdx
001b4612jbe 0x1b466e
001b4614movsd_xmm [rax+4*rdx-4], x0
001b461amov rax, [rsp+24]
001b461fmov rbx, rdi
001b4622mov rdi, [rsp+32]
001b4627jmp 0x1b4576
001b462c
001b462cloc_1b462c:
001b462cmov rax, [rsp]
001b4630mov rax, [rax+32]
001b4634mov rbx, [rax-8]
001b4638shr rbx, 9
001b463cmov rdi, [rsp+16]
001b4641cmp rbx, rdi
001b4644jbe 0x1b4669
001b4646mov rbx, [rsp+32]
001b464bmovsd_xmm x0, [rbx]
001b464fmovsd_xmm [rax+4*rdi-4], x0
001b4655mov eax, 1
001b465aadd rsp, 40
001b465eret
001b465f
001b465floc_1b465f:
001b465fcall caml_call_gc
001b4664jmp 0x1b45a4
001b4669
001b4669loc_1b4669:
001b4669call caml_ml_array_bound_error
001b466e
001b466eloc_1b466e:
001b466ecall caml_ml_array_bound_error
001b4673
001b4673loc_1b4673:
001b4673call caml_ml_array_bound_error
001b4678
001b4678loc_1b4678:
001b4678call caml_ml_array_bound_error
001b467d
001b467dloc_1b467d:
001b467dpush 38
001b467fcall caml_call_realloc_stack
001b4684pop r10
001b4686jmp 0x1b4572
001b4560

001b468b
001b468b // align 0x10

001b4690
001b4690Stdlib.Float.bubbledown:
001b4690lea r10, [rsp-344]
001b4698cmp r10, [r14+40]
001b469cjb 0x1b4704
001b469e
001b469eloc_1b469e:
001b469esub rsp, 24
001b46a2
001b46a2loc_1b46a2:
001b46a2mov [rsp+16], rax
001b46a7mov [rsp+8], rbx
001b46acmov [rsp], rdi
001b46b0cmp r15, [r14]
001b46b3jbe 0x1b46f3
001b46b5
001b46b5loc_1b46b5:
001b46b5mov rdi, [rdi+32]
001b46b9call Stdlib.Float.maxson
001b46bemov rbx, rax
001b46c1mov rdi, [rsp]
001b46c5mov rax, [rdi+24]
001b46c9mov rsi, [rax-8]
001b46cdshr rsi, 9
001b46d1cmp rsi, rbx
001b46d4jbe 0x1b46ff
001b46d6movsd_xmm x0, [rax+4*rbx-4]
001b46dcmov rdx, [rsp+8]
001b46e1cmp rsi, rdx
001b46e4jbe 0x1b46fa
001b46e6movsd_xmm [rax+4*rdx-4], x0
001b46ecmov rax, [rsp+16]
001b46f1jmp 0x1b46a2
001b46f3
001b46f3loc_1b46f3:
001b46f3call caml_call_gc
001b46f8jmp 0x1b46b5
001b46fa
001b46faloc_1b46fa:
001b46facall caml_ml_array_bound_error
001b46ff
001b46ffloc_1b46ff:
001b46ffcall caml_ml_array_bound_error
001b4704
001b4704loc_1b4704:
001b4704push 36
001b4706call caml_call_realloc_stack
001b470bpop r10
001b470djmp 0x1b469e
001b4690

001b470f
001b470f // align 0x10

001b4710
001b4710Stdlib.Float.trickleup:
001b4710lea r10, [rsp-352]
001b4718cmp r10, [r14+40]
001b471cjb 0x1b48b4
001b4722
001b4722loc_1b4722:
001b4722sub rsp, 32
001b4726
001b4726loc_1b4726:
001b4726mov rsi, rax
001b4729mov rax, rsi
001b472cadd rax, -2
001b4730sar rax, 1
001b4733mov rcx, rax
001b4736shr rcx, 63
001b473amov rdx, 0x5555555555555556
001b4744imul rdx
001b4747add rdx, rcx
001b474alea rdx, [rdx+rdx+1]
001b474fcmp rsi, rdx
001b4752je 0x1b476c
001b4754mov [rsp+8], rdx
001b4759mov [rsp], rdi
001b475dmov [rsp+24], rbx
001b4762mov [rsp+16], rsi
001b4767jmp 0x1b47a0
001b4769
001b4769 0f 1f 00 ...
001b476c
001b476cloc_1b476c:
001b476csub r15, 24
001b4770cmp r15, [r14]
001b4773jb 0x1b4891
001b4779
001b4779loc_1b4779:
001b4779lea rax, [r15+8]
001b477dmov [rax-8], 2048
001b4785lea rbx, [rip+0xc1a7c]
001b478cmov [rax], rbx
001b478flea rbx, [rip+0x18c7da]
001b4796mov [rax+8], rbx
001b479acall caml_raise_exn
001b479fnop
001b47a0
001b47a0loc_1b47a0:
001b47a0sub r15, 16
001b47a4cmp r15, [r14]
001b47a7jb 0x1b4887
001b47ad
001b47adloc_1b47ad:
001b47adlea rax, [r15+8]
001b47b1mov [rax-8], 1277
001b47b9mov rsi, [rdi+32]
001b47bdmov rcx, [rsi-8]
001b47c1shr rcx, 9
001b47c5cmp rcx, rdx
001b47c8jbe 0x1b48af
001b47cemovsd_xmm x0, [rsi+4*rdx-4]
001b47d4movsd_xmm [rax], x0
001b47d8mov rdi, [rdi+24]
001b47dccall caml_apply2
001b47e1cmp rax, 1
001b47e5jge 0x1b4854
001b47e7mov rdi, [rsp]
001b47ebmov rbx, [rdi+32]
001b47efmov rsi, [rbx-8]
001b47f3mov rdx, rsi
001b47f6shr rdx, 9
001b47famov rax, [rsp+8]
001b47ffcmp rdx, rax
001b4802jbe 0x1b48aa
001b4808movsd_xmm x0, [rbx+4*rax-4]
001b480emov rcx, [rsp+16]
001b4813cmp rdx, rcx
001b4816jbe 0x1b48a5
001b481cmovsd_xmm [rbx+4*rcx-4], x0
001b4822cmp rax, 1
001b4826jle 0x1b4834
001b4828mov rbx, [rsp+24]
001b482djmp 0x1b4726
001b4832
001b4832 66 90 f.
001b4834
001b4834loc_1b4834:
001b4834cmp rsi, 1023
001b483bjbe 0x1b48a0
001b483dmov rax, [rsp+24]
001b4842movsd_xmm x0, [rax]
001b4846movsd_xmm [rbx], x0
001b484amov eax, 1
001b484fadd rsp, 32
001b4853ret
001b4854
001b4854loc_1b4854:
001b4854mov rax, [rsp]
001b4858mov rax, [rax+32]
001b485cmov rbx, [rax-8]
001b4860shr rbx, 9
001b4864mov rdi, [rsp+16]
001b4869cmp rbx, rdi
001b486cjbe 0x1b489b
001b486emov rbx, [rsp+24]
001b4873movsd_xmm x0, [rbx]
001b4877movsd_xmm [rax+4*rdi-4], x0
001b487dmov eax, 1
001b4882add rsp, 32
001b4886ret
001b4887
001b4887loc_1b4887:
001b4887call caml_call_gc
001b488cjmp 0x1b47ad
001b4891
001b4891loc_1b4891:
001b4891call caml_call_gc
001b4896jmp 0x1b4779
001b489b
001b489bloc_1b489b:
001b489bcall caml_ml_array_bound_error
001b48a0
001b48a0loc_1b48a0:
001b48a0call caml_ml_array_bound_error
001b48a5
001b48a5loc_1b48a5:
001b48a5call caml_ml_array_bound_error
001b48aa
001b48aaloc_1b48aa:
001b48aacall caml_ml_array_bound_error
001b48af
001b48afloc_1b48af:
001b48afcall caml_ml_array_bound_error
001b48b4
001b48b4loc_1b48b4:
001b48b4push 37
001b48b6call caml_call_realloc_stack
001b48bbpop r10
001b48bdjmp 0x1b4722
001b4710

001b48c2
001b48c2 // align 0x10

001b48d0
001b48d0Stdlib.Float.stable_sort:
001b48d0lea r10, [rsp-368]
001b48d8cmp r10, [r14+40]
001b48dcjb 0x1b4a7c
001b48e2
001b48e2loc_1b48e2:
001b48e2sub rsp, 48
001b48e6sub r15, 152
001b48edcmp r15, [r14]
001b48f0jb 0x1b4a72
001b48f6
001b48f6loc_1b48f6:
001b48f6lea rcx, [r15+8]
001b48faadd rcx, 104
001b48femov [rcx-8], 5367
001b4906lea rdi, [rip-0xbe3ed]
001b490dmov [rcx], rdi
001b4910mov rdi, 0x700000000000007
001b491amov [rcx+8], rdi
001b491elea rdi, [rip+363]
001b4925mov [rcx+16], rdi
001b4929mov [rcx+24], rax
001b492dmov [rcx+32], rbx
001b4931lea rdx, [rcx-48]
001b4935mov [rdx-8], 5367
001b493dlea rdi, [rip-0xbdb84]
001b4944mov [rdx], rdi
001b4947mov rsi, 0x400000000000007
001b4951mov [rdx+8], rsi
001b4955lea rsi, [rip+1012]
001b495cmov [rdx+16], rsi
001b4960mov [rdx+24], rax
001b4964mov [rdx+32], rbx
001b4968lea rax, [rdx-56]
001b496cmov [rax-8], 6391
001b4974mov [rax], rdi
001b4977mov rdi, 0x400000000000007
001b4981mov [rax+8], rdi
001b4985lea rdi, [rip+1444]
001b498cmov [rax+16], rdi
001b4990mov [rax+24], rbx
001b4994mov [rax+32], rcx
001b4998mov [rax+40], rdx
001b499cmov rsi, [rbx-8]
001b49a0shr rsi, 9
001b49a4or rsi, 1
001b49a8cmp rsi, 11
001b49acjg 0x1b49c4
001b49aemov edi, 1
001b49b3mov eax, 1
001b49b8add rsp, 48
001b49bcjmp 0x1b4d50
001b49c1
001b49c1 0f 1f 00 ...
001b49c4
001b49c4loc_1b49c4:
001b49c4mov [rsp], rax
001b49c8mov [rsp+40], rcx
001b49cdmov [rsp+32], rbx
001b49d2mov rax, rsi
001b49d5sar rax, 1
001b49d8mov rbx, rax
001b49dbshr rbx, 63
001b49dfadd rax, rbx
001b49e2or rax, 1
001b49e6mov [rsp+16], rax
001b49ebmov rdi, rsi
001b49eesub rdi, rax
001b49f1inc rdi
001b49f4mov [rsp+8], rdi
001b49f9lea rax, [rip+0x44f00]
001b4a00call caml_c_call
001b4a05mov rbx, rax
001b4a08mov [rsp+24], rbx
001b4a0dmov edi, 1
001b4a12mov rax, [rsp+16]
001b4a17mov rsi, [rsp+8]
001b4a1cmov rdx, [rsp]
001b4a20call Stdlib.Float.sortto
001b4a25mov eax, 1
001b4a2amov rbx, [rsp+32]
001b4a2fmov rdi, [rsp+8]
001b4a34mov rsi, [rsp+16]
001b4a39mov rdx, [rsp]
001b4a3dcall Stdlib.Float.sortto
001b4a42mov r8l, 1
001b4a48mov esi, 1
001b4a4dmov rax, [rsp+8]
001b4a52mov rbx, [rsp+16]
001b4a57mov rdi, [rsp+24]
001b4a5cmov rdx, rax
001b4a5fmov rcx, [rsp+32]
001b4a64mov r9, [rsp+40]
001b4a69add rsp, 48
001b4a6djmp 0x1b4a90
001b4a72
001b4a72loc_1b4a72:
001b4a72call caml_call_gc
001b4a77jmp 0x1b48f6
001b4a7c
001b4a7cloc_1b4a7c:
001b4a7cpush 39
001b4a7ecall caml_call_realloc_stack
001b4a83pop r10
001b4a85jmp 0x1b48e2
001b48d0

001b4a8a
001b4a8a // align 0x10

001b4a90
001b4a90Stdlib.Float.merge:
001b4a90mov r12, rdi
001b4a93mov rdi, rsi
001b4a96mov r13, rcx
001b4a99lea rsi, [rax+rbx-1]
001b4a9elea rbx, [rdi+rdx-1]
001b4aa3sub r15, 112
001b4aa7cmp r15, [r14]
001b4aaajb 0x1b4b53
001b4ab0
001b4ab0loc_1b4ab0:
001b4ab0lea rcx, [r15+8]
001b4ab4add rcx, 32
001b4ab8mov [rcx-8], 9463
001b4ac0lea rdx, [rip-0xbdf37]
001b4ac7mov [rcx], rdx
001b4acamov rdx, 0x500000000000007
001b4ad4mov [rcx+8], rdx
001b4ad8lea rdx, [rip+145]
001b4adfmov [rcx+16], rdx
001b4ae3mov rdx, [r9+24]
001b4ae7mov [rcx+24], rdx
001b4aebmov rdx, [r9+32]
001b4aefmov [rcx+32], rdx
001b4af3mov [rcx+40], r12
001b4af7mov [rcx+48], r13
001b4afbmov [rcx+56], rsi
001b4affmov [rcx+64], rbx
001b4b03lea rsi, [rcx-16]
001b4b07mov [rsi-8], 1277
001b4b0fmov rbx, [r12-8]
001b4b14shr rbx, 9
001b4b18cmp rbx, rdi
001b4b1bjbe 0x1b4b62
001b4b1dmovsd_xmm x0, [r12+4*rdi-4]
001b4b24movsd_xmm [rsi], x0
001b4b28lea rbx, [rsi-16]
001b4b2cmov [rbx-8], 1277
001b4b34mov r9, [rdx-8]
001b4b38shr r9, 9
001b4b3ccmp r9, rax
001b4b3fjbe 0x1b4b5d
001b4b41movsd_xmm x0, [rdx+4*rax-4]
001b4b47movsd_xmm [rbx], x0
001b4b4bmov rdx, r8
001b4b4ejmp 0x1b4b70
001b4b53
001b4b53loc_1b4b53:
001b4b53call caml_call_gc
001b4b58jmp 0x1b4ab0
001b4b5d
001b4b5dloc_1b4b5d:
001b4b5dcall caml_ml_array_bound_error
001b4b62
001b4b62loc_1b4b62:
001b4b62call caml_ml_array_bound_error
001b4a90

001b4b67
001b4b67 // align 0x10

001b4b70
001b4b70Stdlib.Float.loop:
001b4b70lea r10, [rsp-368]
001b4b78cmp r10, [r14+40]
001b4b7cjb 0x1b4d3f
001b4b82
001b4b82loc_1b4b82:
001b4b82sub rsp, 48
001b4b86
001b4b86loc_1b4b86:
001b4b86mov [rsp+24], rax
001b4b8bmov rax, rbx
001b4b8emov [rsp+16], rax
001b4b93mov [rsp+32], rdi
001b4b98mov rbx, rsi
001b4b9bmov [rsp+40], rbx
001b4ba0mov [rsp+8], rdx
001b4ba5mov [rsp], rcx
001b4ba9mov rdi, [rcx+24]
001b4badcall caml_apply2
001b4bb2cmp rax, 1
001b4bb6jg 0x1b4c6c
001b4bbcmov rcx, [rsp]
001b4bc0mov rdi, [rcx+48]
001b4bc4mov rax, [rdi-8]
001b4bc8shr rax, 9
001b4bccmov rsi, [rsp+8]
001b4bd1cmp rax, rsi
001b4bd4jbe 0x1b4d3a
001b4bdamov rax, [rsp+16]
001b4bdfmovsd_xmm x0, [rax]
001b4be3movsd_xmm [rdi+4*rsi-4], x0
001b4be9mov rax, [rsp+24]
001b4beeadd rax, 2
001b4bf2mov rbx, [rcx+56]
001b4bf6cmp rax, rbx
001b4bf9jge 0x1b4c4c
001b4bfbsub r15, 16
001b4bffcmp r15, [r14]
001b4c02jb 0x1b4d21
001b4c08
001b4c08loc_1b4c08:
001b4c08lea rbx, [r15+8]
001b4c0cmov [rbx-8], 1277
001b4c14mov rdi, [rcx+32]
001b4c18mov rdx, [rdi-8]
001b4c1cshr rdx, 9
001b4c20cmp rdx, rax
001b4c23jbe 0x1b4d35
001b4c29movsd_xmm x0, [rdi+4*rax-4]
001b4c2fmovsd_xmm [rbx], x0
001b4c33mov rdx, rsi
001b4c36add rdx, 2
001b4c3amov rdi, [rsp+32]
001b4c3fmov rsi, [rsp+40]
001b4c44jmp 0x1b4b86
001b4c49
001b4c49 0f 1f 00 ...
001b4c4c
001b4c4cloc_1b4c4c:
001b4c4cmov rdx, [rcx+64]
001b4c50mov rbx, [rsp+32]
001b4c55sub rdx, rbx
001b4c58inc rdx
001b4c5badd rsi, 2
001b4c5fmov rax, [rcx+40]
001b4c63add rsp, 48
001b4c67jmp 0x1b2d00
001b4c6c
001b4c6cloc_1b4c6c:
001b4c6cmov rcx, [rsp]
001b4c70mov r8, [rcx+48]
001b4c74mov rax, [r8-8]
001b4c78shr rax, 9
001b4c7cmov r9, [rsp+8]
001b4c81cmp rax, r9
001b4c84jbe 0x1b4d30
001b4c8amov rax, [rsp+40]
001b4c8fmovsd_xmm x0, [rax]
001b4c93movsd_xmm [r8+4*r9-4], x0
001b4c9amov rdi, [rsp+32]
001b4c9fadd rdi, 2
001b4ca3mov rax, [rcx+64]
001b4ca7cmp rdi, rax
001b4caajge 0x1b4cf4
001b4cacsub r15, 16
001b4cb0cmp r15, [r14]
001b4cb3jb 0x1b4d1a
001b4cb5
001b4cb5loc_1b4cb5:
001b4cb5lea rsi, [r15+8]
001b4cb9mov [rsi-8], 1277
001b4cc1mov rax, [rcx+40]
001b4cc5mov rbx, [rax-8]
001b4cc9shr rbx, 9
001b4ccdcmp rbx, rdi
001b4cd0jbe 0x1b4d2b
001b4cd2movsd_xmm x0, [rax+4*rdi-4]
001b4cd8movsd_xmm [rsi], x0
001b4cdcmov rdx, r9
001b4cdfadd rdx, 2
001b4ce3mov rax, [rsp+24]
001b4ce8mov rbx, [rsp+16]
001b4cedjmp 0x1b4b86
001b4cf2
001b4cf2 66 90 f.
001b4cf4
001b4cf4loc_1b4cf4:
001b4cf4mov rdx, [rcx+56]
001b4cf8mov rbx, [rsp+24]
001b4cfdsub rdx, rbx
001b4d00inc rdx
001b4d03mov rsi, r9
001b4d06add rsi, 2
001b4d0amov rdi, r8
001b4d0dmov rax, [rcx+32]
001b4d11add rsp, 48
001b4d15jmp 0x1b2d00
001b4d1a
001b4d1aloc_1b4d1a:
001b4d1acall caml_call_gc
001b4d1fjmp 0x1b4cb5
001b4d21
001b4d21loc_1b4d21:
001b4d21call caml_call_gc
001b4d26jmp 0x1b4c08
001b4d2b
001b4d2bloc_1b4d2b:
001b4d2bcall caml_ml_array_bound_error
001b4d30
001b4d30loc_1b4d30:
001b4d30call caml_ml_array_bound_error
001b4d35
001b4d35loc_1b4d35:
001b4d35call caml_ml_array_bound_error
001b4d3a
001b4d3aloc_1b4d3a:
001b4d3acall caml_ml_array_bound_error
001b4d3f
001b4d3floc_1b4d3f:
001b4d3fpush 39
001b4d41call caml_call_realloc_stack
001b4d46pop r10
001b4d48jmp 0x1b4b82
001b4b70

001b4d4d
001b4d4d // align 0x10

001b4d50
001b4d50Stdlib.Float.isortto:
001b4d50lea r10, [rsp-384]
001b4d58cmp r10, [r14+40]
001b4d5cjb 0x1b4f22
001b4d62
001b4d62loc_1b4d62:
001b4d62sub rsp, 64
001b4d66mov rcx, rbx
001b4d69mov ebx, 1
001b4d6eadd rsi, -2
001b4d72cmp rbx, rsi
001b4d75jg 0x1b4ee1
001b4d7bmov [rsp+16], rsi
001b4d80mov [rsp+8], rbx
001b4d85mov [rsp+32], rdx
001b4d8amov [rsp+24], rdi
001b4d8fmov [rsp+40], rcx
001b4d94mov [rsp], rax
001b4d98
001b4d98loc_1b4d98:
001b4d98mov rax, [rsp]
001b4d9clea rax, [rax+rbx-1]
001b4da1mov rdi, [rsp+32]
001b4da6mov rdi, [rdi+32]
001b4daamov rsi, [rdi-8]
001b4daeshr rsi, 9
001b4db2cmp rsi, rax
001b4db5jbe 0x1b4f1d
001b4dbbmovsd_xmm x0, [rdi+4*rax-4]
001b4dc1movsd_xmm [rsp+56], x0
001b4dc7mov rax, [rsp+24]
001b4dcclea rax, [rax+rbx-3]
001b4dd1mov rdi, rax
001b4dd4mov [rsp+48], rdi
001b4dd9
001b4dd9loc_1b4dd9:
001b4dd9mov rax, [rsp+24]
001b4ddecmp rdi, rax
001b4de1jl 0x1b4e94
001b4de7sub r15, 32
001b4debcmp r15, [r14]
001b4deejb 0x1b4eff
001b4df4
001b4df4loc_1b4df4:
001b4df4lea rbx, [r15+8]
001b4df8add rbx, 16
001b4dfcmov [rbx-8], 1277
001b4e04movsd_xmm x0, [rsp+56]
001b4e0amovsd_xmm [rbx], x0
001b4e0elea rax, [rbx-16]
001b4e12mov [rax-8], 1277
001b4e1amov rsi, [rcx-8]
001b4e1eshr rsi, 9
001b4e22cmp rsi, rdi
001b4e25jbe 0x1b4f18
001b4e2bmovsd_xmm x0, [rcx+4*rdi-4]
001b4e31movsd_xmm [rax], x0
001b4e35mov rdi, [rsp+32]
001b4e3amov rdi, [rdi+24]
001b4e3ecall caml_apply2
001b4e43cmp rax, 1
001b4e47jle 0x1b4e94
001b4e49mov rcx, [rsp+40]
001b4e4emov rax, [rcx-8]
001b4e52shr rax, 9
001b4e56mov rdi, [rsp+48]
001b4e5bcmp rax, rdi
001b4e5ejbe 0x1b4f13
001b4e64movsd_xmm x0, [rcx+4*rdi-4]
001b4e6amov rbx, rdi
001b4e6dadd rbx, 2
001b4e71cmp rax, rbx
001b4e74jbe 0x1b4f0e
001b4e7amovsd_xmm [rcx+4*rbx-4], x0
001b4e80add rdi, -2
001b4e84mov [rsp+48], rdi
001b4e89cmp r15, [r14]
001b4e8cja 0x1b4dd9
001b4e92jmp 0x1b4ef5
001b4e94
001b4e94loc_1b4e94:
001b4e94mov rax, [rsp+48]
001b4e99add rax, 2
001b4e9dmov rcx, [rsp+40]
001b4ea2mov rbx, [rcx-8]
001b4ea6shr rbx, 9
001b4eaacmp rbx, rax
001b4eadjbe 0x1b4f09
001b4eafmovsd_xmm x0, [rsp+56]
001b4eb5movsd_xmm [rcx+4*rax-4], x0
001b4ebbmov rbx, [rsp+8]
001b4ec0mov rax, rbx
001b4ec3add rbx, 2
001b4ec7mov [rsp+8], rbx
001b4eccmov rdi, [rsp+16]
001b4ed1cmp rax, rdi
001b4ed4je 0x1b4ee1
001b4ed6cmp r15, [r14]
001b4ed9ja 0x1b4d98
001b4edfjmp 0x1b4eeb
001b4ee1
001b4ee1loc_1b4ee1:
001b4ee1mov eax, 1
001b4ee6add rsp, 64
001b4eearet
001b4eeb
001b4eebloc_1b4eeb:
001b4eebcall caml_call_gc
001b4ef0jmp 0x1b4d98
001b4ef5
001b4ef5loc_1b4ef5:
001b4ef5call caml_call_gc
001b4efajmp 0x1b4dd9
001b4eff
001b4effloc_1b4eff:
001b4effcall caml_call_gc
001b4f04jmp 0x1b4df4
001b4f09
001b4f09loc_1b4f09:
001b4f09call caml_ml_array_bound_error
001b4f0e
001b4f0eloc_1b4f0e:
001b4f0ecall caml_ml_array_bound_error
001b4f13
001b4f13loc_1b4f13:
001b4f13call caml_ml_array_bound_error
001b4f18
001b4f18loc_1b4f18:
001b4f18call caml_ml_array_bound_error
001b4f1d
001b4f1dloc_1b4f1d:
001b4f1dcall caml_ml_array_bound_error
001b4f22
001b4f22loc_1b4f22:
001b4f22push 41
001b4f24call caml_call_realloc_stack
001b4f29pop r10
001b4f2bjmp 0x1b4d62
001b4d50

001b4f30
001b4f30Stdlib.Float.sortto:
001b4f30lea r10, [rsp-368]
001b4f38cmp r10, [r14+40]
001b4f3cjb 0x1b4ffa
001b4f42
001b4f42loc_1b4f42:
001b4f42sub rsp, 48
001b4f46cmp rsi, 11
001b4f4ajg 0x1b4f5c
001b4f4cmov rdx, [rdx+40]
001b4f50add rsp, 48
001b4f54jmp 0x1b4d50
001b4f59
001b4f59 0f 1f 00 ...
001b4f5c
001b4f5cloc_1b4f5c:
001b4f5cmov [rsp+32], rdx
001b4f61mov [rsp+8], rdi
001b4f66mov [rsp+40], rbx
001b4f6bmov [rsp+24], rax
001b4f70mov rcx, rsi
001b4f73sar rcx, 1
001b4f76mov r8, rcx
001b4f79shr r8, 63
001b4f7dadd rcx, r8
001b4f80or rcx, 1
001b4f84mov [rsp], rcx
001b4f88sub rsi, rcx
001b4f8binc rsi
001b4f8emov [rsp+16], rsi
001b4f93lea rdi, [rdi+rcx-1]
001b4f98lea rax, [rax+rcx-1]
001b4f9dcall Stdlib.Float.sortto
001b4fa2mov rbx, [rsp+16]
001b4fa7mov rax, [rsp+24]
001b4faclea rdi, [rax+rbx-1]
001b4fb1mov rdx, [rsp+32]
001b4fb6mov rbx, [rdx+24]
001b4fbamov rsi, [rsp]
001b4fbecall Stdlib.Float.sortto
001b4fc3mov rbx, [rsp]
001b4fc7mov r8, [rsp+8]
001b4fcclea rsi, [r8+rbx-1]
001b4fd1mov rdx, [rsp+16]
001b4fd6mov rax, [rsp+24]
001b4fdblea rax, [rax+rdx-1]
001b4fe0mov rdi, [rsp+32]
001b4fe5mov r9, [rdi+32]
001b4fe9mov rdi, [rsp+40]
001b4feemov rcx, rdi
001b4ff1add rsp, 48
001b4ff5jmp 0x1b4a90
001b4ffa
001b4ffaloc_1b4ffa:
001b4ffapush 39
001b4ffccall caml_call_realloc_stack
001b5001pop r10
001b5003jmp 0x1b4f42
001b4f30

001b5008
001b5008 // align 0x10

001b5010
001b5010Stdlib.Float.shuffle:
001b5010lea r10, [rsp-344]
001b5018cmp r10, [r14+40]
001b501cjb 0x1b50bb
001b5022
001b5022loc_1b5022:
001b5022sub rsp, 24
001b5026mov rdi, rax
001b5029mov rax, [rbx-8]
001b502dshr rax, 9
001b5031or rax, 1
001b5035add rax, -2
001b5039cmp rax, 3
001b503djl 0x1b50a5
001b503fmov [rsp+8], rax
001b5044mov [rsp+16], rbx
001b5049mov [rsp], rdi
001b504d
001b504dloc_1b504d:
001b504dadd rax, 2
001b5051mov rbx, [rsp]
001b5055mov rdi, [rbx]
001b5058call rdi
001b505amov rbx, rax
001b505dmov rax, [rsp+8]
001b5062mov rsi, [rsp+16]
001b5067movsd_xmm x0, [rsi+4*rax-4]
001b506dmov rdi, [rsi-8]
001b5071shr rdi, 9
001b5075cmp rdi, rbx
001b5078jbe 0x1b50b6
001b507amovsd_xmm x1, [rsi+4*rbx-4]
001b5080movsd_xmm [rsi+4*rax-4], x1
001b5086movsd_xmm [rsi+4*rbx-4], x0
001b508cmov rbx, rax
001b508fsub rax, 2
001b5093mov [rsp+8], rax
001b5098cmp rbx, 3
001b509cje 0x1b50a5
001b509ecmp r15, [r14]
001b50a1ja 0x1b504d
001b50a3jmp 0x1b50af
001b50a5
001b50a5loc_1b50a5:
001b50a5mov eax, 1
001b50aaadd rsp, 24
001b50aeret
001b50af
001b50afloc_1b50af:
001b50afcall caml_call_gc
001b50b4jmp 0x1b504d
001b50b6
001b50b6loc_1b50b6:
001b50b6call caml_ml_array_bound_error
001b50bb
001b50bbloc_1b50bb:
001b50bbpush 36
001b50bdcall caml_call_realloc_stack
001b50c2pop r10
001b50c4jmp 0x1b5022
001b5010

001b50c9
001b50c9 // align 0x10

001b50d0
001b50d0Stdlib.Float.to_seq:
001b50d0sub r15, 80
001b50d4cmp r15, [r14]
001b50d7jb 0x1b5142
001b50d9
001b50d9loc_1b50d9:
001b50d9lea rbx, [r15+8]
001b50ddadd rbx, 40
001b50e1mov [rbx-8], 4343
001b50e9lea rdi, [rip-0xbe0d0]
001b50f0mov [rbx], rdi
001b50f3mov rdi, 0x200000000000007
001b50fdmov [rbx+8], rdi
001b5101lea rdi, [rip+72]
001b5108mov [rbx+16], rdi
001b510cmov [rbx+24], rax
001b5110mov edi, 1
001b5115lea rax, [rbx-40]
001b5119mov [rax-8], 4343
001b5121lea rsi, [rip+216]
001b5128mov [rax], rsi
001b512bmov rsi, 0x100000000000005
001b5135mov [rax+8], rsi
001b5139mov [rax+16], rdi
001b513dmov [rax+24], rbx
001b5141ret
001b5142
001b5142loc_1b5142:
001b5142call caml_call_gc
001b5147jmp 0x1b50d9
001b50d0

001b5149
001b5149 // align 0x10

001b5150
001b5150Stdlib.Float.aux:
001b5150mov rbx, [rdi+24]
001b5154mov rsi, [rbx-8]
001b5158shr rsi, 9
001b515cor rsi, 1
001b5160cmp rax, rsi
001b5163jge 0x1b51cc
001b5165movsd_xmm x0, [rbx+4*rax-4]
001b516badd rax, 2
001b516fsub r15, 80
001b5173cmp r15, [r14]
001b5176jb 0x1b51d2
001b5178
001b5178loc_1b5178:
001b5178lea rbx, [r15+8]
001b517cadd rbx, 40
001b5180mov [rbx-8], 4343
001b5188lea rsi, [rip+81]
001b518fmov [rbx], rsi
001b5192mov rsi, 0x100000000000005
001b519cmov [rbx+8], rsi
001b51a0mov [rbx+16], rax
001b51a4mov [rbx+24], rdi
001b51a8lea rdi, [rbx-16]
001b51acmov [rdi-8], 1277
001b51b4movsd_xmm [rdi], x0
001b51b8lea rax, [rdi-24]
001b51bcmov [rax-8], 2048
001b51c4mov [rax], rdi
001b51c7mov [rax+8], rbx
001b51cbret
001b51cc
001b51ccloc_1b51cc:
001b51ccmov eax, 1
001b51d1ret
001b51d2
001b51d2loc_1b51d2:
001b51d2call caml_call_gc
001b51d7jmp 0x1b5178
001b5150

001b51d9
001b51d9 // align 0x10

001b51e0
001b51e0Stdlib.Float.fun:
001b51e0mov rsi, rax
001b51e3mov rax, [rbx+16]
001b51e7mov rdi, [rbx+24]
001b51ebmov rbx, rsi
001b51eejmp 0x1b5150
001b51e0

001b51f3
001b51f3 // align 0x10

001b5200
001b5200Stdlib.Float.fun:
001b5200mov rsi, rax
001b5203mov rax, [rbx+16]
001b5207mov rdi, [rbx+24]
001b520bmov rbx, rsi
001b520ejmp 0x1b5150
001b5200

001b5213
001b5213 // align 0x10

001b5220
001b5220Stdlib.Float.to_seqi:
001b5220sub r15, 80
001b5224cmp r15, [r14]
001b5227jb 0x1b5292
001b5229
001b5229loc_1b5229:
001b5229lea rbx, [r15+8]
001b522dadd rbx, 40
001b5231mov [rbx-8], 4343
001b5239lea rdi, [rip-0xbe220]
001b5240mov [rbx], rdi
001b5243mov rdi, 0x200000000000007
001b524dmov [rbx+8], rdi
001b5251lea rdi, [rip+72]
001b5258mov [rbx+16], rdi
001b525cmov [rbx+24], rax
001b5260mov edi, 1
001b5265lea rax, [rbx-40]
001b5269mov [rax-8], 4343
001b5271lea rsi, [rip+248]
001b5278mov [rax], rsi
001b527bmov rsi, 0x100000000000005
001b5285mov [rax+8], rsi
001b5289mov [rax+16], rdi
001b528dmov [rax+24], rbx
001b5291ret
001b5292
001b5292loc_1b5292:
001b5292call caml_call_gc
001b5297jmp 0x1b5229
001b5220

001b5299
001b5299 // align 0x10

001b52a0
001b52a0Stdlib.Float.aux:
001b52a0mov rbx, [rdi+24]
001b52a4mov rsi, [rbx-8]
001b52a8shr rsi, 9
001b52acor rsi, 1
001b52b0cmp rax, rsi
001b52b3jge 0x1b5334
001b52b5movsd_xmm x0, [rbx+4*rax-4]
001b52bbmov rbx, rax
001b52beadd rbx, 2
001b52c2sub r15, 104
001b52c6cmp r15, [r14]
001b52c9jb 0x1b533a
001b52cb
001b52cbloc_1b52cb:
001b52cblea rsi, [r15+8]
001b52cfadd rsi, 64
001b52d3mov [rsi-8], 4343
001b52dblea rdx, [rip+110]
001b52e2mov [rsi], rdx
001b52e5mov rdx, 0x100000000000005
001b52efmov [rsi+8], rdx
001b52f3mov [rsi+16], rbx
001b52f7mov [rsi+24], rdi
001b52fblea rbx, [rsi-16]
001b52ffmov [rbx-8], 1277
001b5307movsd_xmm [rbx], x0
001b530blea rdi, [rbx-24]
001b530fmov [rdi-8], 2048
001b5317mov [rdi], rax
001b531amov [rdi+8], rbx
001b531elea rax, [rdi-24]
001b5322mov [rax-8], 2048
001b532amov [rax], rdi
001b532dmov [rax+8], rsi
001b5331ret
001b5332
001b5332 66 90 f.
001b5334
001b5334loc_1b5334:
001b5334mov eax, 1
001b5339ret
001b533a
001b533aloc_1b533a:
001b533acall caml_call_gc
001b533fjmp 0x1b52cb
001b52a0

001b5341
001b5341 // align 0x10

001b5350
001b5350Stdlib.Float.fun:
001b5350mov rsi, rax
001b5353mov rax, [rbx+16]
001b5357mov rdi, [rbx+24]
001b535bmov rbx, rsi
001b535ejmp 0x1b52a0
001b5350

001b5363
001b5363 // align 0x10

001b5370
001b5370Stdlib.Float.fun:
001b5370mov rsi, rax
001b5373mov rax, [rbx+16]
001b5377mov rdi, [rbx+24]
001b537bmov rbx, rsi
001b537ejmp 0x1b52a0
001b5370

001b5383
001b5383 // align 0x10

001b5390
001b5390Stdlib.Float.of_rev_list:
001b5390lea r10, [rsp-336]
001b5398cmp r10, [r14+40]
001b539cjb 0x1b5436
001b53a2
001b53a2loc_1b53a2:
001b53a2sub rsp, 16
001b53a6mov [rsp+8], rax
001b53abtest al, 1
001b53adje 0x1b53bc
001b53afmov eax, 1
001b53b4mov [rsp], rax
001b53b8jmp 0x1b53ce
001b53ba
001b53ba 66 90 f.
001b53bc
001b53bcloc_1b53bc:
001b53bcmov rbx, [rax+8]
001b53c0mov eax, 3
001b53c5call Stdlib.List.length_aux
001b53camov [rsp], rax
001b53ce
001b53celoc_1b53ce:
001b53cemov rdi, rax
001b53d1lea rax, [rip+0x44528]
001b53d8call caml_c_call
001b53ddsub r15, 40
001b53e1cmp r15, [r14]
001b53e4jb 0x1b542f
001b53e6
001b53e6loc_1b53e6:
001b53e6lea rdi, [r15+8]
001b53eamov [rdi-8], 4343
001b53f2lea rbx, [rip-0xbe3d9]
001b53f9mov [rdi], rbx
001b53fcmov rbx, 0x200000000000007
001b5406mov [rdi+8], rbx
001b540alea rbx, [rip+63]
001b5411mov [rdi+16], rbx
001b5415mov [rdi+24], rax
001b5419mov rax, [rsp]
001b541dadd rax, -2
001b5421mov rbx, [rsp+8]
001b5426add rsp, 16
001b542ajmp 0x1b5450
001b542f
001b542floc_1b542f:
001b542fcall caml_call_gc
001b5434jmp 0x1b53e6
001b5436
001b5436loc_1b5436:
001b5436push 35
001b5438call caml_call_realloc_stack
001b543dpop r10
001b543fjmp 0x1b53a2
001b5390

001b5444
001b5444 // align 0x10

001b5450
001b5450Stdlib.Float.fill:
001b5450cmp r15, [r14]
001b5453jbe 0x1b547b
001b5455
001b5455loc_1b5455:
001b5455test bl, 1
001b5458je 0x1b5460
001b545amov rax, [rdi+24]
001b545eret
001b545f
001b545f 90 .
001b5460
001b5460loc_1b5460:
001b5460mov rsi, [rdi+24]
001b5464mov rdx, [rbx]
001b5467movsd_xmm x0, [rdx]
001b546bmovsd_xmm [rsi+4*rax-4], x0
001b5471mov rbx, [rbx+8]
001b5475add rax, -2
001b5479jmp 0x1b5450
001b547b
001b547bloc_1b547b:
001b547bcall caml_call_gc
001b5480jmp 0x1b5455
001b5450

001b5482
001b5482 // align 0x10

001b5490
001b5490Stdlib.Float.of_seq:
001b5490lea r10, [rsp-320]
001b5498cmp r10, [r14+40]
001b549cjb 0x1b54b7
001b549e
001b549eloc_1b549e:
001b549emov rdi, rax
001b54a1mov ebx, 1
001b54a6lea rax, [rip+0x18af9b]
001b54adcall Stdlib.Seq.fold_left
001b54b2jmp 0x1b5390
001b54b7
001b54b7loc_1b54b7:
001b54b7push 33
001b54b9call caml_call_realloc_stack
001b54bepop r10
001b54c0jmp 0x1b549e
001b5490

001b54c2
001b54c2 // align 0x10

001b54d0
001b54d0Stdlib.Float.fun:
001b54d0sub r15, 24
001b54d4cmp r15, [r14]
001b54d7jb 0x1b54f0
001b54d9
001b54d9loc_1b54d9:
001b54d9lea rdi, [r15+8]
001b54ddmov [rdi-8], 2048
001b54e5mov [rdi], rbx
001b54e8mov [rdi+8], rax
001b54ecmov rax, rdi
001b54efret
001b54f0
001b54f0loc_1b54f0:
001b54f0call caml_call_gc
001b54f5jmp 0x1b54d9
001b54d0

001b54f7
001b54f7 // align 0x10

001b5500
001b5500Stdlib.Float.map_to_array:
001b5500lea r10, [rsp-360]
001b5508cmp r10, [r14+40]
001b550cjb 0x1b5656
001b5512
001b5512loc_1b5512:
001b5512sub rsp, 40
001b5516mov rdi, rax
001b5519mov rax, [rbx-8]
001b551dshr rax, 9
001b5521or rax, 1
001b5525cmp rax, 1
001b5529jne 0x1b5538
001b552blea rax, [rip+0x18ba36]
001b5532add rsp, 40
001b5536ret
001b5537
001b5537 90 .
001b5538
001b5538loc_1b5538:
001b5538mov [rsp], rax
001b553cmov [rsp+8], rbx
001b5541mov [rsp+16], rdi
001b5546sub r15, 16
001b554acmp r15, [r14]
001b554djb 0x1b564c
001b5553
001b5553loc_1b5553:
001b5553lea rax, [r15+8]
001b5557mov [rax-8], 1277
001b555fmovsd_xmm x0, [rbx]
001b5563movsd_xmm [rax], x0
001b5567mov rsi, [rdi]
001b556amov rbx, rdi
001b556dcall rsi
001b556fmov rdi, [rsp]
001b5573mov rsi, rax
001b5576lea rax, [rip+0x44723]
001b557dcall caml_c_call
001b5582mov r13, rax
001b5585mov r12l, 3
001b558bmov rax, [rsp]
001b558fadd rax, -2
001b5593cmp r12, rax
001b5596jg 0x1b563a
001b559cmov [rsp+24], rax
001b55a1mov [rsp+32], r12
001b55a6mov [rsp], r13
001b55aa
001b55aaloc_1b55aa:
001b55aasub r15, 16
001b55aecmp r15, [r14]
001b55b1jb 0x1b5642
001b55b7
001b55b7loc_1b55b7:
001b55b7lea rax, [r15+8]
001b55bbmov [rax-8], 1277
001b55c3mov rbx, [rsp+8]
001b55c8movsd_xmm x0, [rbx+4*r12-4]
001b55cfmovsd_xmm [rax], x0
001b55d3mov rbx, [rsp+16]
001b55d8mov rdi, [rbx]
001b55dbcall rdi
001b55ddmov r13, [rsp]
001b55e1movzx rbx, [r13-8]
001b55e6cmp rbx, 254
001b55edje 0x1b5610
001b55efmov r12, [rsp+32]
001b55f4lea rdi, [r13+4*r12-4]
001b55f9mov rsi, rax
001b55fcmov rbx, rsp
001b55ffmov rsp, [r14+64]
001b5603call caml_modify
001b5608mov rsp, rbx
001b560bjmp 0x1b5620
001b560d
001b560d 0f 1f 00 ...
001b5610
001b5610loc_1b5610:
001b5610movsd_xmm x0, [rax]
001b5614mov r12, [rsp+32]
001b5619movsd_xmm [r13+4*r12-4], x0
001b5620
001b5620loc_1b5620:
001b5620mov rax, r12
001b5623add r12, 2
001b5627mov [rsp+32], r12
001b562cmov rbx, [rsp+24]
001b5631cmp rax, rbx
001b5634jne 0x1b55aa
001b563a
001b563aloc_1b563a:
001b563amov rax, r13
001b563dadd rsp, 40
001b5641ret
001b5642
001b5642loc_1b5642:
001b5642call caml_call_gc
001b5647jmp 0x1b55b7
001b564c
001b564cloc_1b564c:
001b564ccall caml_call_gc
001b5651jmp 0x1b5553
001b5656
001b5656loc_1b5656:
001b5656push 38
001b5658call caml_call_realloc_stack
001b565dpop r10
001b565fjmp 0x1b5512
001b5500

001b5664
001b5664 // align 0x10

001b5670
001b5670Stdlib.Float.map_from_array:
001b5670lea r10, [rsp-360]
001b5678cmp r10, [r14+40]
001b567cjb 0x1b5757
001b5682
001b5682loc_1b5682:
001b5682sub rsp, 40
001b5686mov [rsp+16], rax
001b568bmov [rsp+8], rbx
001b5690mov rdi, [rbx-8]
001b5694shr rdi, 9
001b5698or rdi, 1
001b569cmov [rsp], rdi
001b56a0lea rax, [rip+0x44259]
001b56a7call caml_c_call
001b56acmov ebx, 1
001b56b1mov rdi, [rsp]
001b56b5add rdi, -2
001b56b9cmp rbx, rdi
001b56bcjg 0x1b5744
001b56c2mov [rsp+32], rdi
001b56c7mov [rsp], rbx
001b56cbmov [rsp+24], rax
001b56d0
001b56d0loc_1b56d0:
001b56d0mov rdi, [rsp+8]
001b56d5movzx rax, [rdi-8]
001b56dacmp rax, 254
001b56e0je 0x1b56ec
001b56e2mov rax, [rdi+4*rbx-4]
001b56e7jmp 0x1b570b
001b56e9
001b56e9 0f 1f 00 ...
001b56ec
001b56ecloc_1b56ec:
001b56ecsub r15, 16
001b56f0cmp r15, [r14]
001b56f3jb 0x1b5750
001b56f5
001b56f5loc_1b56f5:
001b56f5lea rax, [r15+8]
001b56f9mov [rax-8], 1277
001b5701movsd_xmm x0, [rdi+4*rbx-4]
001b5707movsd_xmm [rax], x0
001b570b
001b570bloc_1b570b:
001b570bmov rbx, [rsp+16]
001b5710mov rdi, [rbx]
001b5713call rdi
001b5715movsd_xmm x0, [rax]
001b5719mov rbx, [rsp]
001b571dmov rax, [rsp+24]
001b5722movsd_xmm [rax+4*rbx-4], x0
001b5728mov rdi, rbx
001b572badd rbx, 2
001b572fmov [rsp], rbx
001b5733mov rsi, [rsp+32]
001b5738cmp rdi, rsi
001b573bje 0x1b5744
001b573dcmp r15, [r14]
001b5740ja 0x1b56d0
001b5742jmp 0x1b5749
001b5744
001b5744loc_1b5744:
001b5744add rsp, 40
001b5748ret
001b5749
001b5749loc_1b5749:
001b5749call caml_call_gc
001b574ejmp 0x1b56d0
001b5750
001b5750loc_1b5750:
001b5750call caml_call_gc
001b5755jmp 0x1b56f5
001b5757
001b5757loc_1b5757:
001b5757push 38
001b5759call caml_call_realloc_stack
001b575epop r10
001b5760jmp 0x1b5682
001b5670

001b5765
001b5765 // align 0x10

001b5770
001b5770Stdlib.Float.entry:
001b5770lea rsi, [rip+0x18acf1]
001b5777lea rdi, [rip+0x18b4b2]
001b577eadd rdi, 160
001b5785mov rbx, rsp
001b5788mov rsp, [r14+64]
001b578ccall caml_initialize
001b5791mov rsp, rbx
001b5794lea rsi, [rip+0x18b93d]
001b579blea rdi, [rip+0x18b48e]
001b57a2mov rbx, rsp
001b57a5mov rsp, [r14+64]
001b57a9call caml_initialize
001b57aemov rsp, rbx
001b57b1lea rsi, [rip+0x18b7d8]
001b57b8lea rdi, [rip+0x18b471]
001b57bfadd rdi, 8
001b57c3mov rbx, rsp
001b57c6mov rsp, [r14+64]
001b57cacall caml_initialize
001b57cfmov rsp, rbx
001b57d2lea rsi, [rip+0x18b77f]
001b57d9lea rdi, [rip+0x18b450]
001b57e0add rdi, 16
001b57e4mov rbx, rsp
001b57e7mov rsp, [r14+64]
001b57ebcall caml_initialize
001b57f0mov rsp, rbx
001b57f3lea rax, [rip+0x177e1e]
001b57famov rsi, [rax+168]
001b5801lea rdi, [rip+0x18b428]
001b5808add rdi, 40
001b580cmov rbx, rsp
001b580fmov rsp, [r14+64]
001b5813call caml_initialize
001b5818mov rsp, rbx
001b581blea rax, [rip+0x177df6]
001b5822mov rsi, [rax+176]
001b5829lea rdi, [rip+0x18b400]
001b5830add rdi, 48
001b5834mov rbx, rsp
001b5837mov rsp, [r14+64]
001b583bcall caml_initialize
001b5840mov rsp, rbx
001b5843lea rax, [rip+0x177dce]
001b584amov rsi, [rax+184]
001b5851lea rdi, [rip+0x18b3d8]
001b5858add rdi, 56
001b585cmov rbx, rsp
001b585fmov rsp, [r14+64]
001b5863call caml_initialize
001b5868mov rsp, rbx
001b586blea rdi, [rip+0x18b3be]
001b5872mov rsi, [rdi+56]
001b5876add rdi, 72
001b587amov rbx, rsp
001b587dmov rsp, [r14+64]
001b5881call caml_initialize
001b5886mov rsp, rbx
001b5889mov rdi, 0x7ff0000000000001
001b5893mov rbx, rsp
001b5896mov rsp, [r14+64]
001b589acall caml_int64_float_of_bits_unboxed
001b589fmov rsp, rbx
001b58a2call caml_alloc1
001b58a7lea rsi, [r15+8]
001b58abmov [rsi-8], 1277
001b58b3movsd_xmm [rsi], x0
001b58b7lea rdi, [rip+0x18b372]
001b58beadd rdi, 64
001b58c2mov rbx, rsp
001b58c5mov rsp, [r14+64]
001b58c9call caml_initialize
001b58cemov rsp, rbx
001b58d1lea rsi, [rip+0x18abb0]
001b58d8lea rdi, [rip+0x18b351]
001b58dfadd rdi, 112
001b58e3mov rbx, rsp
001b58e6mov rsp, [r14+64]
001b58eacall caml_initialize
001b58efmov rsp, rbx
001b58f2lea rsi, [rip+0x18aba7]
001b58f9lea rdi, [rip+0x18b330]
001b5900add rdi, 120
001b5904mov rbx, rsp
001b5907mov rsp, [r14+64]
001b590bcall caml_initialize
001b5910mov rsp, rbx
001b5913lea rsi, [rip+0x18ab9e]
001b591alea rdi, [rip+0x18b30f]
001b5921add rdi, 128
001b5928mov rbx, rsp
001b592bmov rsp, [r14+64]
001b592fcall caml_initialize
001b5934mov rsp, rbx
001b5937lea rsi, [rip+0x18b5f2]
001b593elea rdi, [rip+0x18b2eb]
001b5945add rdi, 80
001b5949mov rbx, rsp
001b594cmov rsp, [r14+64]
001b5950call caml_initialize
001b5955mov rsp, rbx
001b5958lea rax, [rip+0x177cb9]
001b595fmov rsi, [rax+192]
001b5966lea rdi, [rip+0x18b2c3]
001b596dadd rdi, 88
001b5971mov rbx, rsp
001b5974mov rsp, [r14+64]
001b5978call caml_initialize
001b597dmov rsp, rbx
001b5980lea rax, [rip+0x177c91]
001b5987mov rsi, [rax+200]
001b598elea rdi, [rip+0x18b29b]
001b5995add rdi, 96
001b5999mov rbx, rsp
001b599cmov rsp, [r14+64]
001b59a0call caml_initialize
001b59a5mov rsp, rbx
001b59a8lea rax, [rip+0x177c69]
001b59afmov rsi, [rax+208]
001b59b6lea rdi, [rip+0x18b273]
001b59bdadd rdi, 104
001b59c1mov rbx, rsp
001b59c4mov rsp, [r14+64]
001b59c8call caml_initialize
001b59cdmov rsp, rbx
001b59d0lea rax, [rip+0x177c41]
001b59d7mov rsi, [rax+280]
001b59delea rdi, [rip+0x18b24b]
001b59e5add rdi, 144
001b59ecmov rbx, rsp
001b59efmov rsp, [r14+64]
001b59f3call caml_initialize
001b59f8mov rsp, rbx
001b59fblea rax, [rip+0x177c16]
001b5a02mov rsi, [rax+272]
001b5a09lea rdi, [rip+0x18b220]
001b5a10add rdi, 152
001b5a17mov rbx, rsp
001b5a1amov rsp, [r14+64]
001b5a1ecall caml_initialize
001b5a23mov rsp, rbx
001b5a26lea rsi, [rip+0x18aaa3]
001b5a2dlea rdi, [rip+0x18b1fc]
001b5a34add rdi, 136
001b5a3bmov rbx, rsp
001b5a3emov rsp, [r14+64]
001b5a42call caml_initialize
001b5a47mov rsp, rbx
001b5a4alea rsi, [rip+0x18aa97]
001b5a51lea rdi, [rip+0x18b1d8]
001b5a58add rdi, 24
001b5a5cmov rbx, rsp
001b5a5fmov rsp, [r14+64]
001b5a63call caml_initialize
001b5a68mov rsp, rbx
001b5a6blea rsi, [rip+0x18aa8e]
001b5a72lea rdi, [rip+0x18b1b7]
001b5a79add rdi, 32
001b5a7dmov rbx, rsp
001b5a80mov rsp, [r14+64]
001b5a84call caml_initialize
001b5a89mov rsp, rbx
001b5a8clea rsi, [rip+0x18aa85]
001b5a93lea rdi, [rip+0x18b196]
001b5a9aadd rdi, 168
001b5aa1mov rbx, rsp
001b5aa4mov rsp, [r14+64]
001b5aa8call caml_initialize
001b5aadmov rsp, rbx
001b5ab0lea rsi, [rip+0x18aa81]
001b5ab7lea rdi, [rip+0x18b172]
001b5abeadd rdi, 176
001b5ac5mov rbx, rsp
001b5ac8mov rsp, [r14+64]
001b5acccall caml_initialize
001b5ad1mov rsp, rbx
001b5ad4lea rsi, [rip+0x18aa7d]
001b5adblea rdi, [rip+0x18b14e]
001b5ae2add rdi, 184
001b5ae9mov rbx, rsp
001b5aecmov rsp, [r14+64]
001b5af0call caml_initialize
001b5af5mov rsp, rbx
001b5af8lea rsi, [rip+0x18aa79]
001b5afflea rdi, [rip+0x18b12a]
001b5b06add rdi, 192
001b5b0dmov rbx, rsp
001b5b10mov rsp, [r14+64]
001b5b14call caml_initialize
001b5b19mov rsp, rbx
001b5b1clea rsi, [rip+0x18aa75]
001b5b23lea rdi, [rip+0x18b106]
001b5b2aadd rdi, 200
001b5b31mov rbx, rsp
001b5b34mov rsp, [r14+64]
001b5b38call caml_initialize
001b5b3dmov rsp, rbx
001b5b40lea rsi, [rip+0x18aa71]
001b5b47lea rdi, [rip+0x18b0e2]
001b5b4eadd rdi, 208
001b5b55mov rbx, rsp
001b5b58mov rsp, [r14+64]
001b5b5ccall caml_initialize
001b5b61mov rsp, rbx
001b5b64lea rsi, [rip+0x18aa6d]
001b5b6blea rdi, [rip+0x18b0be]
001b5b72add rdi, 216
001b5b79mov rbx, rsp
001b5b7cmov rsp, [r14+64]
001b5b80call caml_initialize
001b5b85mov rsp, rbx
001b5b88lea rsi, [rip+0x18aa69]
001b5b8flea rdi, [rip+0x18b09a]
001b5b96add rdi, 224
001b5b9dmov rbx, rsp
001b5ba0mov rsp, [r14+64]
001b5ba4call caml_initialize
001b5ba9mov rsp, rbx
001b5baclea rsi, [rip+0x18aa65]
001b5bb3lea rdi, [rip+0x18b076]
001b5bbaadd rdi, 232
001b5bc1mov rbx, rsp
001b5bc4mov rsp, [r14+64]
001b5bc8call caml_initialize
001b5bcdmov rsp, rbx
001b5bd0lea rsi, [rip+0x18aa59]
001b5bd7lea rdi, [rip+0x18b052]
001b5bdeadd rdi, 256
001b5be5mov rbx, rsp
001b5be8mov rsp, [r14+64]
001b5beccall caml_initialize
001b5bf1mov rsp, rbx
001b5bf4mov edi, 1
001b5bf9lea rax, [rip+0x43d00]
001b5c00call caml_c_call
001b5c05lea rdi, [rip+0x18b024]
001b5c0cadd rdi, 264
001b5c13mov rsi, rax
001b5c16mov rbx, rsp
001b5c19mov rsp, [r14+64]
001b5c1dcall caml_initialize
001b5c22mov rsp, rbx
001b5c25lea rsi, [rip+0x18aa24]
001b5c2clea rdi, [rip+0x18affd]
001b5c33add rdi, 272
001b5c3amov rbx, rsp
001b5c3dmov rsp, [r14+64]
001b5c41call caml_initialize
001b5c46mov rsp, rbx
001b5c49lea rsi, [rip+0x18aa20]
001b5c50lea rdi, [rip+0x18afd9]
001b5c57add rdi, 280
001b5c5emov rbx, rsp
001b5c61mov rsp, [r14+64]
001b5c65call caml_initialize
001b5c6amov rsp, rbx
001b5c6dlea rsi, [rip+0x18aa1c]
001b5c74lea rdi, [rip+0x18afb5]
001b5c7badd rdi, 288
001b5c82mov rbx, rsp
001b5c85mov rsp, [r14+64]
001b5c89call caml_initialize
001b5c8emov rsp, rbx
001b5c91lea rsi, [rip+0x18aa18]
001b5c98lea rdi, [rip+0x18af91]
001b5c9fadd rdi, 296
001b5ca6mov rbx, rsp
001b5ca9mov rsp, [r14+64]
001b5cadcall caml_initialize
001b5cb2mov rsp, rbx
001b5cb5lea rsi, [rip+0x18aa14]
001b5cbclea rdi, [rip+0x18af6d]
001b5cc3add rdi, 304
001b5ccamov rbx, rsp
001b5ccdmov rsp, [r14+64]
001b5cd1call caml_initialize
001b5cd6mov rsp, rbx
001b5cd9lea rsi, [rip+0x18aa10]
001b5ce0lea rdi, [rip+0x18af49]
001b5ce7add rdi, 312
001b5ceemov rbx, rsp
001b5cf1mov rsp, [r14+64]
001b5cf5call caml_initialize
001b5cfamov rsp, rbx
001b5cfdlea rsi, [rip+0x18aa04]
001b5d04lea rdi, [rip+0x18af25]
001b5d0badd rdi, 320
001b5d12mov rbx, rsp
001b5d15mov rsp, [r14+64]
001b5d19call caml_initialize
001b5d1emov rsp, rbx
001b5d21lea rsi, [rip+0x18aa00]
001b5d28lea rdi, [rip+0x18af01]
001b5d2fadd rdi, 328
001b5d36mov rbx, rsp
001b5d39mov rsp, [r14+64]
001b5d3dcall caml_initialize
001b5d42mov rsp, rbx
001b5d45lea rsi, [rip+0x18a9f4]
001b5d4clea rdi, [rip+0x18aedd]
001b5d53add rdi, 336
001b5d5amov rbx, rsp
001b5d5dmov rsp, [r14+64]
001b5d61call caml_initialize
001b5d66mov rsp, rbx
001b5d69lea rsi, [rip+0x18a9f0]
001b5d70lea rdi, [rip+0x18aeb9]
001b5d77add rdi, 344
001b5d7emov rbx, rsp
001b5d81mov rsp, [r14+64]
001b5d85call caml_initialize
001b5d8amov rsp, rbx
001b5d8dlea rsi, [rip+0x18a9ec]
001b5d94lea rdi, [rip+0x18ae95]
001b5d9badd rdi, 352
001b5da2mov rbx, rsp
001b5da5mov rsp, [r14+64]
001b5da9call caml_initialize
001b5daemov rsp, rbx
001b5db1lea rsi, [rip+0x18a9e8]
001b5db8lea rdi, [rip+0x18ae71]
001b5dbfadd rdi, 360
001b5dc6mov rbx, rsp
001b5dc9mov rsp, [r14+64]
001b5dcdcall caml_initialize
001b5dd2mov rsp, rbx
001b5dd5lea rsi, [rip+0x18a9dc]
001b5ddclea rdi, [rip+0x18ae4d]
001b5de3add rdi, 368
001b5deamov rbx, rsp
001b5dedmov rsp, [r14+64]
001b5df1call caml_initialize
001b5df6mov rsp, rbx
001b5df9lea rsi, [rip+0x18a9d0]
001b5e00lea rdi, [rip+0x18ae29]
001b5e07add rdi, 376
001b5e0emov rbx, rsp
001b5e11mov rsp, [r14+64]
001b5e15call caml_initialize
001b5e1amov rsp, rbx
001b5e1dlea rsi, [rip+0x18a9cc]
001b5e24lea rdi, [rip+0x18ae05]
001b5e2badd rdi, 384
001b5e32mov rbx, rsp
001b5e35mov rsp, [r14+64]
001b5e39call caml_initialize
001b5e3emov rsp, rbx
001b5e41lea rsi, [rip+0x18a9c8]
001b5e48lea rdi, [rip+0x18ade1]
001b5e4fadd rdi, 392
001b5e56mov rbx, rsp
001b5e59mov rsp, [r14+64]
001b5e5dcall caml_initialize
001b5e62mov rsp, rbx
001b5e65lea rsi, [rip+0x18a9c4]
001b5e6clea rdi, [rip+0x18adbd]
001b5e73add rdi, 400
001b5e7amov rbx, rsp
001b5e7dmov rsp, [r14+64]
001b5e81call caml_initialize
001b5e86mov rsp, rbx
001b5e89lea rsi, [rip+0x18a9c0]
001b5e90lea rdi, [rip+0x18ad99]
001b5e97add rdi, 408
001b5e9emov rbx, rsp
001b5ea1mov rsp, [r14+64]
001b5ea5call caml_initialize
001b5eaamov rsp, rbx
001b5eadlea rsi, [rip+0x18a9bc]
001b5eb4lea rdi, [rip+0x18ad75]
001b5ebbadd rdi, 416
001b5ec2mov rbx, rsp
001b5ec5mov rsp, [r14+64]
001b5ec9call caml_initialize
001b5ecemov rsp, rbx
001b5ed1lea rsi, [rip+0x18a9b8]
001b5ed8lea rdi, [rip+0x18ad51]
001b5edfadd rdi, 424
001b5ee6mov rbx, rsp
001b5ee9mov rsp, [r14+64]
001b5eedcall caml_initialize
001b5ef2mov rsp, rbx
001b5ef5lea rsi, [rip+0x18a9b4]
001b5efclea rdi, [rip+0x18ad2d]
001b5f03add rdi, 432
001b5f0amov rbx, rsp
001b5f0dmov rsp, [r14+64]
001b5f11call caml_initialize
001b5f16mov rsp, rbx
001b5f19lea rsi, [rip+0x18a9b0]
001b5f20lea rdi, [rip+0x18ad09]
001b5f27add rdi, 440
001b5f2emov rbx, rsp
001b5f31mov rsp, [r14+64]
001b5f35call caml_initialize
001b5f3amov rsp, rbx
001b5f3dlea rsi, [rip+0x18a9ac]
001b5f44lea rdi, [rip+0x18ace5]
001b5f4badd rdi, 448
001b5f52mov rbx, rsp
001b5f55mov rsp, [r14+64]
001b5f59call caml_initialize
001b5f5emov rsp, rbx
001b5f61lea rsi, [rip+0x18a9a8]
001b5f68lea rdi, [rip+0x18acc1]
001b5f6fadd rdi, 456
001b5f76mov rbx, rsp
001b5f79mov rsp, [r14+64]
001b5f7dcall caml_initialize
001b5f82mov rsp, rbx
001b5f85lea rsi, [rip+0x18a9a4]
001b5f8clea rdi, [rip+0x18ac9d]
001b5f93add rdi, 464
001b5f9amov rbx, rsp
001b5f9dmov rsp, [r14+64]
001b5fa1call caml_initialize
001b5fa6mov rsp, rbx
001b5fa9lea rsi, [rip+0x18a9a0]
001b5fb0lea rdi, [rip+0x18ac79]
001b5fb7add rdi, 472
001b5fbemov rbx, rsp
001b5fc1mov rsp, [r14+64]
001b5fc5call caml_initialize
001b5fcamov rsp, rbx
001b5fcdlea rsi, [rip+0x18a99c]
001b5fd4lea rdi, [rip+0x18ac55]
001b5fdbadd rdi, 480
001b5fe2mov rbx, rsp
001b5fe5mov rsp, [r14+64]
001b5fe9call caml_initialize
001b5feemov rsp, rbx
001b5ff1lea rsi, [rip+0x18a998]
001b5ff8lea rdi, [rip+0x18ac31]
001b5fffadd rdi, 488
001b6006mov rbx, rsp
001b6009mov rsp, [r14+64]
001b600dcall caml_initialize
001b6012mov rsp, rbx
001b6015lea rsi, [rip+0x18a994]
001b601clea rdi, [rip+0x18ac0d]
001b6023add rdi, 496
001b602amov rbx, rsp
001b602dmov rsp, [r14+64]
001b6031call caml_initialize
001b6036mov rsp, rbx
001b6039lea rsi, [rip+0x18a990]
001b6040lea rdi, [rip+0x18abe9]
001b6047add rdi, 504
001b604emov rbx, rsp
001b6051mov rsp, [r14+64]
001b6055call caml_initialize
001b605amov rsp, rbx
001b605dlea rsi, [rip+0x18a98c]
001b6064lea rdi, [rip+0x18abc5]
001b606badd rdi, 512
001b6072mov rbx, rsp
001b6075mov rsp, [r14+64]
001b6079call caml_initialize
001b607emov rsp, rbx
001b6081mov edi, 1
001b6086mov rbx, rsp
001b6089mov rsp, [r14+64]
001b608dcall caml_fresh_oo_id
001b6092mov rsp, rbx
001b6095call caml_alloc2
001b609alea rsi, [r15+8]
001b609emov [rsi-8], 2296
001b60a6lea rbx, [rip+0x18aef3]
001b60admov [rsi], rbx
001b60b0mov [rsi+8], rax
001b60b4lea rdi, [rip+0x18ab75]
001b60bbadd rdi, 520
001b60c2mov rbx, rsp
001b60c5mov rsp, [r14+64]
001b60c9call caml_initialize
001b60cemov rsp, rbx
001b60d1lea rsi, [rip+0x18a938]
001b60d8lea rdi, [rip+0x18ab51]
001b60dfadd rdi, 528
001b60e6mov rbx, rsp
001b60e9mov rsp, [r14+64]
001b60edcall caml_initialize
001b60f2mov rsp, rbx
001b60f5mov esi, 11
001b60falea rdi, [rip+0x18ab2f]
001b6101add rdi, 536
001b6108mov rbx, rsp
001b610bmov rsp, [r14+64]
001b610fcall caml_initialize
001b6114mov rsp, rbx
001b6117lea rsi, [rip+0x18a912]
001b611elea rdi, [rip+0x18ab0b]
001b6125add rdi, 544
001b612cmov rbx, rsp
001b612fmov rsp, [r14+64]
001b6133call caml_initialize
001b6138mov rsp, rbx
001b613blea rdi, [rip+0x18aaee]
001b6142mov rsi, [rdi+544]
001b6149add rdi, 552
001b6150mov rbx, rsp
001b6153mov rsp, [r14+64]
001b6157call caml_initialize
001b615cmov rsp, rbx
001b615flea rsi, [rip+0x18a8ea]
001b6166lea rdi, [rip+0x18aac3]
001b616dadd rdi, 560
001b6174mov rbx, rsp
001b6177mov rsp, [r14+64]
001b617bcall caml_initialize
001b6180mov rsp, rbx
001b6183lea rsi, [rip+0x18a8e6]
001b618alea rdi, [rip+0x18aa9f]
001b6191add rdi, 568
001b6198mov rbx, rsp
001b619bmov rsp, [r14+64]
001b619fcall caml_initialize
001b61a4mov rsp, rbx
001b61a7lea rsi, [rip+0x18a8da]
001b61aelea rdi, [rip+0x18aa7b]
001b61b5add rdi, 576
001b61bcmov rbx, rsp
001b61bfmov rsp, [r14+64]
001b61c3call caml_initialize
001b61c8mov rsp, rbx
001b61cblea rsi, [rip+0x18a8ce]
001b61d2lea rdi, [rip+0x18aa57]
001b61d9add rdi, 584
001b61e0mov rbx, rsp
001b61e3mov rsp, [r14+64]
001b61e7call caml_initialize
001b61ecmov rsp, rbx
001b61eflea rsi, [rip+0x18a8c2]
001b61f6lea rdi, [rip+0x18aa33]
001b61fdadd rdi, 592
001b6204mov rbx, rsp
001b6207mov rsp, [r14+64]
001b620bcall caml_initialize
001b6210mov rsp, rbx
001b6213lea rsi, [rip+0x18a8b6]
001b621alea rdi, [rip+0x18aa0f]
001b6221add rdi, 600
001b6228mov rbx, rsp
001b622bmov rsp, [r14+64]
001b622fcall caml_initialize
001b6234mov rsp, rbx
001b6237lea rsi, [rip+0x18a8b2]
001b623elea rdi, [rip+0x18a9eb]
001b6245add rdi, 608
001b624cmov rbx, rsp
001b624fmov rsp, [r14+64]
001b6253call caml_initialize
001b6258mov rsp, rbx
001b625bsub r15, 720
001b6262call caml_allocN
001b6267lea r12, [r15+8]
001b626badd r12, 352
001b6272mov [r12-8], 46080
001b627blea rdi, [rip+0x18a9ae]
001b6282mov rax, [rdi+256]
001b6289mov [r12], rax
001b628dmov rax, [rdi+264]
001b6294mov [r12+8], rax
001b6299mov rax, [rdi+272]
001b62a0mov [r12+16], rax
001b62a5mov rax, [rdi+280]
001b62acmov [r12+24], rax
001b62b1mov rax, [rdi+288]
001b62b8mov [r12+32], rax
001b62bdmov rax, [rdi+296]
001b62c4mov [r12+40], rax
001b62c9mov rax, [rdi+304]
001b62d0mov [r12+48], rax
001b62d5mov rax, [rdi+312]
001b62dcmov [r12+56], rax
001b62e1mov rax, [rdi+320]
001b62e8mov [r12+64], rax
001b62edmov rax, [rdi+328]
001b62f4mov [r12+72], rax
001b62f9mov rax, [rdi+336]
001b6300mov [r12+80], rax
001b6305mov rax, [rdi+344]
001b630cmov [r12+88], rax
001b6311mov rax, [rdi+352]
001b6318mov [r12+96], rax
001b631dmov rax, [rdi+360]
001b6324mov [r12+104], rax
001b6329mov rax, [rdi+368]
001b6330mov [r12+112], rax
001b6335mov rax, [rdi+376]
001b633cmov [r12+120], rax
001b6341mov rax, [rdi+384]
001b6348mov [r12+128], rax
001b6350mov rax, [rdi+392]
001b6357mov [r12+136], rax
001b635fmov rax, [rdi+400]
001b6366mov [r12+144], rax
001b636emov rax, [rdi+408]
001b6375mov [r12+152], rax
001b637dmov rax, [rdi+416]
001b6384mov [r12+160], rax
001b638cmov rax, [rdi+424]
001b6393mov [r12+168], rax
001b639bmov rax, [rdi+432]
001b63a2mov [r12+176], rax
001b63aamov rax, [rdi+440]
001b63b1mov [r12+184], rax
001b63b9mov rax, [rdi+448]
001b63c0mov [r12+192], rax
001b63c8mov rax, [rdi+456]
001b63cfmov [r12+200], rax
001b63d7mov rax, [rdi+464]
001b63demov [r12+208], rax
001b63e6mov rax, [rdi+472]
001b63edmov [r12+216], rax
001b63f5mov rax, [rdi+480]
001b63fcmov [r12+224], rax
001b6404mov rax, [rdi+488]
001b640bmov [r12+232], rax
001b6413mov rax, [rdi+496]
001b641amov [r12+240], rax
001b6422mov rax, [rdi+504]
001b6429mov [r12+248], rax
001b6431mov rax, [rdi+512]
001b6438mov [r12+256], rax
001b6440mov rax, [rdi+520]
001b6447mov [r12+264], rax
001b644fmov rax, [rdi+528]
001b6456mov [r12+272], rax
001b645emov [r12+280], 11
001b646amov rax, [rdi+544]
001b6471mov [r12+288], rax
001b6479mov rax, [rdi+552]
001b6480mov [r12+296], rax
001b6488mov rax, [rdi+560]
001b648fmov [r12+304], rax
001b6497mov rax, [rdi+568]
001b649emov [r12+312], rax
001b64a6mov rax, [rdi+576]
001b64admov [r12+320], rax
001b64b5mov rax, [rdi+584]
001b64bcmov [r12+328], rax
001b64c4mov rax, [rdi+592]
001b64cbmov [r12+336], rax
001b64d3mov rax, [rdi+600]
001b64damov [r12+344], rax
001b64e2mov rax, [rdi+608]
001b64e9mov [r12+352], rax
001b64f1lea rsi, [r12-352]
001b64f9mov [rsi-8], 44032
001b6501lea rax, [rip+0x18a680]
001b6508mov [rsi], rax
001b650blea rax, [rip+0x18a656]
001b6512mov [rsi+8], rax
001b6516lea rax, [rip+0x18a62b]
001b651dmov [rsi+16], rax
001b6521lea rax, [rip+0x18a600]
001b6528mov [rsi+24], rax
001b652clea rax, [rip+0x18a5dd]
001b6533mov [rsi+32], rax
001b6537mov rax, [r12+16]
001b653cmov [rsi+40], rax
001b6540mov rax, [r12+24]
001b6545mov [rsi+48], rax
001b6549mov rax, [r12+32]
001b654emov [rsi+56], rax
001b6552mov rax, [r12+80]
001b6557mov [rsi+64], rax
001b655bmov rax, [r12+56]
001b6560mov [rsi+72], rax
001b6564mov rax, [r12+64]
001b6569mov [rsi+80], rax
001b656dmov rax, [r12+72]
001b6572mov [rsi+88], rax
001b6576mov rax, [r12+88]
001b657bmov [rsi+96], rax
001b657fmov rax, [r12+96]
001b6584mov [rsi+104], rax
001b6588mov rax, [r12+104]
001b658dmov [rsi+112], rax
001b6591mov rax, [r12+112]
001b6596mov [rsi+120], rax
001b659amov rax, [r12+120]
001b659fmov [rsi+128], rax
001b65a6mov rax, [r12+160]
001b65aemov [rsi+136], rax
001b65b5mov rax, [r12+136]
001b65bdmov [rsi+144], rax
001b65c4mov rax, [r12+144]
001b65ccmov [rsi+152], rax
001b65d3mov rax, [r12+168]
001b65dbmov [rsi+160], rax
001b65e2mov rax, [r12+176]
001b65eamov [rsi+168], rax
001b65f1mov rax, [r12+184]
001b65f9mov [rsi+176], rax
001b6600mov rax, [r12+192]
001b6608mov [rsi+184], rax
001b660fmov rax, [r12+128]
001b6617mov [rsi+192], rax
001b661emov rax, [r12+152]
001b6626mov [rsi+200], rax
001b662dmov rax, [r12+208]
001b6635mov [rsi+208], rax
001b663cmov rax, [r12+200]
001b6644mov [rsi+216], rax
001b664bmov rax, [r12+216]
001b6653mov [rsi+224], rax
001b665amov rax, [r12+224]
001b6662mov [rsi+232], rax
001b6669mov rax, [r12+232]
001b6671mov [rsi+240], rax
001b6678mov rax, [r12+240]
001b6680mov [rsi+248], rax
001b6687mov rax, [r12+248]
001b668fmov [rsi+256], rax
001b6696mov rax, [r12+256]
001b669emov [rsi+264], rax
001b66a5mov rax, [r12+272]
001b66admov [rsi+272], rax
001b66b4mov rax, [r12+288]
001b66bcmov [rsi+280], rax
001b66c3mov rax, [r12+296]
001b66cbmov [rsi+288], rax
001b66d2mov rax, [r12+304]
001b66damov [rsi+296], rax
001b66e1mov rax, [r12+312]
001b66e9mov [rsi+304], rax
001b66f0mov rax, [r12+320]
001b66f8mov [rsi+312], rax
001b66ffmov rax, [r12+336]
001b6707mov [rsi+320], rax
001b670emov rax, [r12+344]
001b6716mov [rsi+328], rax
001b671dmov rax, [r12+352]
001b6725mov [rsi+336], rax
001b672cadd rdi, 240
001b6733mov rbx, rsp
001b6736mov rsp, [r14+64]
001b673acall caml_initialize
001b673fmov rsp, rbx
001b6742sub r15, 352
001b6749call caml_allocN
001b674elea rsi, [r15+8]
001b6752mov [rsi-8], 44032
001b675alea rax, [rip+0x18a4b7]
001b6761mov [rsi], rax
001b6764lea rax, [rip+0x18a48d]
001b676bmov [rsi+8], rax
001b676flea rax, [rip+0x18a462]
001b6776mov [rsi+16], rax
001b677alea rax, [rip+0x18a437]
001b6781mov [rsi+24], rax
001b6785lea rax, [rip+0x18a414]
001b678cmov [rsi+32], rax
001b6790mov rax, [r12+16]
001b6795mov [rsi+40], rax
001b6799mov rax, [r12+24]
001b679emov [rsi+48], rax
001b67a2mov rax, [r12+32]
001b67a7mov [rsi+56], rax
001b67abmov rax, [r12+80]
001b67b0mov [rsi+64], rax
001b67b4mov rax, [r12+56]
001b67b9mov [rsi+72], rax
001b67bdmov rax, [r12+64]
001b67c2mov [rsi+80], rax
001b67c6mov rax, [r12+72]
001b67cbmov [rsi+88], rax
001b67cfmov rax, [r12+88]
001b67d4mov [rsi+96], rax
001b67d8mov rax, [r12+96]
001b67ddmov [rsi+104], rax
001b67e1mov rax, [r12+104]
001b67e6mov [rsi+112], rax
001b67eamov rax, [r12+112]
001b67efmov [rsi+120], rax
001b67f3mov rax, [r12+120]
001b67f8mov [rsi+128], rax
001b67ffmov rax, [r12+160]
001b6807mov [rsi+136], rax
001b680emov rax, [r12+136]
001b6816mov [rsi+144], rax
001b681dmov rax, [r12+144]
001b6825mov [rsi+152], rax
001b682cmov rax, [r12+168]
001b6834mov [rsi+160], rax
001b683bmov rax, [r12+176]
001b6843mov [rsi+168], rax
001b684amov rax, [r12+184]
001b6852mov [rsi+176], rax
001b6859mov rax, [r12+192]
001b6861mov [rsi+184], rax
001b6868mov rax, [r12+128]
001b6870mov [rsi+192], rax
001b6877mov rax, [r12+152]
001b687fmov [rsi+200], rax
001b6886mov rax, [r12+208]
001b688emov [rsi+208], rax
001b6895mov rax, [r12+200]
001b689dmov [rsi+216], rax
001b68a4mov rax, [r12+216]
001b68acmov [rsi+224], rax
001b68b3mov rax, [r12+224]
001b68bbmov [rsi+232], rax
001b68c2mov rax, [r12+232]
001b68camov [rsi+240], rax
001b68d1mov rax, [r12+240]
001b68d9mov [rsi+248], rax
001b68e0mov rax, [r12+248]
001b68e8mov [rsi+256], rax
001b68efmov rax, [r12+256]
001b68f7mov [rsi+264], rax
001b68femov rax, [r12+272]
001b6906mov [rsi+272], rax
001b690dmov rax, [r12+288]
001b6915mov [rsi+280], rax
001b691cmov rax, [r12+296]
001b6924mov [rsi+288], rax
001b692bmov rax, [r12+304]
001b6933mov [rsi+296], rax
001b693amov rax, [r12+312]
001b6942mov [rsi+304], rax
001b6949mov rax, [r12+320]
001b6951mov [rsi+312], rax
001b6958mov rax, [r12+336]
001b6960mov [rsi+320], rax
001b6967mov rax, [r12+344]
001b696fmov [rsi+328], rax
001b6976mov rax, [r12+352]
001b697emov [rsi+336], rax
001b6985lea rdi, [rip+0x18a2a4]
001b698cadd rdi, 248
001b6993mov rbx, rsp
001b6996mov rsp, [r14+64]
001b699acall caml_initialize
001b699fmov rsp, rbx
001b69a2mov eax, 1
001b69a7ret
001b5770