File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001b3440
001b3440Stdlib.Float.mapi:
001b3440lea r10, [rsp-360]
001b3448cmp r10, [r14+40]
001b344cjb 0x1b3504
001b3452
001b3452loc_1b3452:
001b3452sub rsp, 40
001b3456mov [rsp+16], rax
001b345bmov [rsp+8], rbx
001b3460mov rdi, [rbx-8]
001b3464shr rdi, 9
001b3468or rdi, 1
001b346cmov [rsp], rdi
001b3470lea rax, [rip+0x46489]
001b3477call caml_c_call
001b347cmov rbx, rax
001b347fmov eax, 1
001b3484mov rdi, [rsp]
001b3488add rdi, -2
001b348ccmp rax, rdi
001b348fjg 0x1b34f5
001b3491mov [rsp+32], rdi
001b3496mov [rsp], rax
001b349amov [rsp+24], rbx
001b349f
001b349floc_1b349f:
001b349fsub r15, 16
001b34a3cmp r15, [r14]
001b34a6jb 0x1b34fd
001b34a8
001b34a8loc_1b34a8:
001b34a8lea rbx, [r15+8]
001b34acmov [rbx-8], 1277
001b34b4mov rdi, [rsp+8]
001b34b9movsd_xmm x0, [rdi+4*rax-4]
001b34bfmovsd_xmm [rbx], x0
001b34c3mov rdi, [rsp+16]
001b34c8call caml_apply2
001b34cdmovsd_xmm x0, [rax]
001b34d1mov rax, [rsp]
001b34d5mov rbx, [rsp+24]
001b34damovsd_xmm [rbx+4*rax-4], x0
001b34e0mov rdi, rax
001b34e3add rax, 2
001b34e7mov [rsp], rax
001b34ebmov rsi, [rsp+32]
001b34f0cmp rdi, rsi
001b34f3jne 0x1b349f
001b34f5
001b34f5loc_1b34f5:
001b34f5mov rax, rbx
001b34f8add rsp, 40
001b34fcret
001b34fd
001b34fdloc_1b34fd:
001b34fdcall caml_call_gc
001b3502jmp 0x1b34a8
001b3504
001b3504loc_1b3504:
001b3504push 38
001b3506call caml_call_realloc_stack
001b350bpop r10
001b350djmp 0x1b3452
001b3440
001b3440Stdlib.Float.mapi:
001b3440lea r10, [rsp-360]
001b3448cmp r10, [r14+40]
001b344cjb 0x1b3504
001b3452
001b3452loc_1b3452:
001b3452sub rsp, 40
001b3456mov [rsp+16], rax
001b345bmov [rsp+8], rbx
001b3460mov rdi, [rbx-8]
001b3464shr rdi, 9
001b3468or rdi, 1
001b346cmov [rsp], rdi
001b3470lea rax, [rip+0x46489]
001b3477call caml_c_call
001b347cmov rbx, rax
001b347fmov eax, 1
001b3484mov rdi, [rsp]
001b3488add rdi, -2
001b348ccmp rax, rdi
001b348fjg 0x1b34f5
001b3491mov [rsp+32], rdi
001b3496mov [rsp], rax
001b349amov [rsp+24], rbx
001b349f
001b349floc_1b349f:
001b349fsub r15, 16
001b34a3cmp r15, [r14]
001b34a6jb 0x1b34fd
001b34a8
001b34a8loc_1b34a8:
001b34a8lea rbx, [r15+8]
001b34acmov [rbx-8], 1277
001b34b4mov rdi, [rsp+8]
001b34b9movsd_xmm x0, [rdi+4*rax-4]
001b34bfmovsd_xmm [rbx], x0
001b34c3mov rdi, [rsp+16]
001b34c8call caml_apply2
001b34cdmovsd_xmm x0, [rax]
001b34d1mov rax, [rsp]
001b34d5mov rbx, [rsp+24]
001b34damovsd_xmm [rbx+4*rax-4], x0
001b34e0mov rdi, rax
001b34e3add rax, 2
001b34e7mov [rsp], rax
001b34ebmov rsi, [rsp+32]
001b34f0cmp rdi, rsi
001b34f3jne 0x1b349f
001b34f5
001b34f5loc_1b34f5:
001b34f5mov rax, rbx
001b34f8add rsp, 40
001b34fcret
001b34fd
001b34fdloc_1b34fd:
001b34fdcall caml_call_gc
001b3502jmp 0x1b34a8
001b3504
001b3504loc_1b3504:
001b3504push 38
001b3506call caml_call_realloc_stack
001b350bpop r10
001b350djmp 0x1b3452
001b3440
001b3512
001b3512 // align 0x10
001b3512 // align 0x10
001b3520
001b3520Stdlib.Float.mapi_inplace:
001b3520lea r10, [rsp-352]
001b3528cmp r10, [r14+40]
001b352cjb 0x1b35cc
001b3532
001b3532loc_1b3532:
001b3532sub rsp, 32
001b3536mov rsi, rax
001b3539mov rdi, rbx
001b353cmov eax, 1
001b3541mov rbx, [rdi-8]
001b3545shr rbx, 9
001b3549or rbx, 1
001b354dadd rbx, -2
001b3551cmp rax, rbx
001b3554jg 0x1b35bb
001b3556mov [rsp+24], rbx
001b355bmov [rsp+8], rax
001b3560mov [rsp+16], rdi
001b3565mov [rsp], rsi
001b3569
001b3569loc_1b3569:
001b3569sub r15, 16
001b356dcmp r15, [r14]
001b3570jb 0x1b35c5
001b3572
001b3572loc_1b3572:
001b3572lea rbx, [r15+8]
001b3576mov [rbx-8], 1277
001b357emovsd_xmm x0, [rdi+4*rax-4]
001b3584movsd_xmm [rbx], x0
001b3588mov rdi, [rsp]
001b358ccall caml_apply2
001b3591movsd_xmm x0, [rax]
001b3595mov rax, [rsp+8]
001b359amov rdi, [rsp+16]
001b359fmovsd_xmm [rdi+4*rax-4], x0
001b35a5mov rbx, rax
001b35a8add rax, 2
001b35acmov [rsp+8], rax
001b35b1mov rsi, [rsp+24]
001b35b6cmp rbx, rsi
001b35b9jne 0x1b3569
001b35bb
001b35bbloc_1b35bb:
001b35bbmov eax, 1
001b35c0add rsp, 32
001b35c4ret
001b35c5
001b35c5loc_1b35c5:
001b35c5call caml_call_gc
001b35cajmp 0x1b3572
001b35cc
001b35ccloc_1b35cc:
001b35ccpush 37
001b35cecall caml_call_realloc_stack
001b35d3pop r10
001b35d5jmp 0x1b3532
001b3520
001b3520Stdlib.Float.mapi_inplace:
001b3520lea r10, [rsp-352]
001b3528cmp r10, [r14+40]
001b352cjb 0x1b35cc
001b3532
001b3532loc_1b3532:
001b3532sub rsp, 32
001b3536mov rsi, rax
001b3539mov rdi, rbx
001b353cmov eax, 1
001b3541mov rbx, [rdi-8]
001b3545shr rbx, 9
001b3549or rbx, 1
001b354dadd rbx, -2
001b3551cmp rax, rbx
001b3554jg 0x1b35bb
001b3556mov [rsp+24], rbx
001b355bmov [rsp+8], rax
001b3560mov [rsp+16], rdi
001b3565mov [rsp], rsi
001b3569
001b3569loc_1b3569:
001b3569sub r15, 16
001b356dcmp r15, [r14]
001b3570jb 0x1b35c5
001b3572
001b3572loc_1b3572:
001b3572lea rbx, [r15+8]
001b3576mov [rbx-8], 1277
001b357emovsd_xmm x0, [rdi+4*rax-4]
001b3584movsd_xmm [rbx], x0
001b3588mov rdi, [rsp]
001b358ccall caml_apply2
001b3591movsd_xmm x0, [rax]
001b3595mov rax, [rsp+8]
001b359amov rdi, [rsp+16]
001b359fmovsd_xmm [rdi+4*rax-4], x0
001b35a5mov rbx, rax
001b35a8add rax, 2
001b35acmov [rsp+8], rax
001b35b1mov rsi, [rsp+24]
001b35b6cmp rbx, rsi
001b35b9jne 0x1b3569
001b35bb
001b35bbloc_1b35bb:
001b35bbmov eax, 1
001b35c0add rsp, 32
001b35c4ret
001b35c5
001b35c5loc_1b35c5:
001b35c5call caml_call_gc
001b35cajmp 0x1b3572
001b35cc
001b35ccloc_1b35cc:
001b35ccpush 37
001b35cecall caml_call_realloc_stack
001b35d3pop r10
001b35d5jmp 0x1b3532
001b3520
001b35da
001b35da // align 0x10
001b35da // align 0x10
001b35e0
001b35e0Stdlib.Float.fold_left:
001b35e0lea r10, [rsp-352]
001b35e8cmp r10, [r14+40]
001b35ecjb 0x1b367d
001b35f2
001b35f2loc_1b35f2:
001b35f2sub rsp, 32
001b35f6mov rdx, rax
001b35f9mov rax, rbx
001b35fcmov esi, 1
001b3601mov rbx, [rdi-8]
001b3605shr rbx, 9
001b3609or rbx, 1
001b360dadd rbx, -2
001b3611cmp rsi, rbx
001b3614jg 0x1b3671
001b3616mov [rsp+24], rbx
001b361bmov [rsp+16], rsi
001b3620mov [rsp], rdi
001b3624mov [rsp+8], rdx
001b3629
001b3629loc_1b3629:
001b3629sub r15, 16
001b362dcmp r15, [r14]
001b3630jb 0x1b3676
001b3632
001b3632loc_1b3632:
001b3632lea rbx, [r15+8]
001b3636mov [rbx-8], 1277
001b363emov rdi, [rsp]
001b3642movsd_xmm x0, [rdi+4*rsi-4]
001b3648movsd_xmm [rbx], x0
001b364cmov rdi, [rsp+8]
001b3651call caml_apply2
001b3656mov rsi, [rsp+16]
001b365bmov rbx, rsi
001b365eadd rsi, 2
001b3662mov [rsp+16], rsi
001b3667mov rdi, [rsp+24]
001b366ccmp rbx, rdi
001b366fjne 0x1b3629
001b3671
001b3671loc_1b3671:
001b3671add rsp, 32
001b3675ret
001b3676
001b3676loc_1b3676:
001b3676call caml_call_gc
001b367bjmp 0x1b3632
001b367d
001b367dloc_1b367d:
001b367dpush 37
001b367fcall caml_call_realloc_stack
001b3684pop r10
001b3686jmp 0x1b35f2
001b35e0
001b35e0Stdlib.Float.fold_left:
001b35e0lea r10, [rsp-352]
001b35e8cmp r10, [r14+40]
001b35ecjb 0x1b367d
001b35f2
001b35f2loc_1b35f2:
001b35f2sub rsp, 32
001b35f6mov rdx, rax
001b35f9mov rax, rbx
001b35fcmov esi, 1
001b3601mov rbx, [rdi-8]
001b3605shr rbx, 9
001b3609or rbx, 1
001b360dadd rbx, -2
001b3611cmp rsi, rbx
001b3614jg 0x1b3671
001b3616mov [rsp+24], rbx
001b361bmov [rsp+16], rsi
001b3620mov [rsp], rdi
001b3624mov [rsp+8], rdx
001b3629
001b3629loc_1b3629:
001b3629sub r15, 16
001b362dcmp r15, [r14]
001b3630jb 0x1b3676
001b3632
001b3632loc_1b3632:
001b3632lea rbx, [r15+8]
001b3636mov [rbx-8], 1277
001b363emov rdi, [rsp]
001b3642movsd_xmm x0, [rdi+4*rsi-4]
001b3648movsd_xmm [rbx], x0
001b364cmov rdi, [rsp+8]
001b3651call caml_apply2
001b3656mov rsi, [rsp+16]
001b365bmov rbx, rsi
001b365eadd rsi, 2
001b3662mov [rsp+16], rsi
001b3667mov rdi, [rsp+24]
001b366ccmp rbx, rdi
001b366fjne 0x1b3629
001b3671
001b3671loc_1b3671:
001b3671add rsp, 32
001b3675ret
001b3676
001b3676loc_1b3676:
001b3676call caml_call_gc
001b367bjmp 0x1b3632
001b367d
001b367dloc_1b367d:
001b367dpush 37
001b367fcall caml_call_realloc_stack
001b3684pop r10
001b3686jmp 0x1b35f2
001b35e0
001b368b
001b368b // align 0x10
001b368b // align 0x10
001b3690
001b3690Stdlib.Float.fold_right:
001b3690lea r10, [rsp-344]
001b3698cmp r10, [r14+40]
001b369cjb 0x1b3726
001b36a2
001b36a2loc_1b36a2:
001b36a2sub rsp, 24
001b36a6mov rsi, rbx
001b36a9mov rbx, rdi
001b36acmov rdi, [rsi-8]
001b36b0shr rdi, 9
001b36b4or rdi, 1
001b36b8add rdi, -2
001b36bccmp rdi, 1
001b36c0jl 0x1b3717
001b36c2mov [rsp+16], rdi
001b36c7mov [rsp], rsi
001b36cbmov [rsp+8], rax
001b36d0
001b36d0loc_1b36d0:
001b36d0sub r15, 16
001b36d4cmp r15, [r14]
001b36d7jb 0x1b371f
001b36d9
001b36d9loc_1b36d9:
001b36d9lea rax, [r15+8]
001b36ddmov [rax-8], 1277
001b36e5mov rsi, [rsp]
001b36e9movsd_xmm x0, [rsi+4*rdi-4]
001b36efmovsd_xmm [rax], x0
001b36f3mov rdi, [rsp+8]
001b36f8call caml_apply2
001b36fdmov rbx, rax
001b3700mov rdi, [rsp+16]
001b3705mov rax, rdi
001b3708sub rdi, 2
001b370cmov [rsp+16], rdi
001b3711cmp rax, 1
001b3715jne 0x1b36d0
001b3717
001b3717loc_1b3717:
001b3717mov rax, rbx
001b371aadd rsp, 24
001b371eret
001b371f
001b371floc_1b371f:
001b371fcall caml_call_gc
001b3724jmp 0x1b36d9
001b3726
001b3726loc_1b3726:
001b3726push 36
001b3728call caml_call_realloc_stack
001b372dpop r10
001b372fjmp 0x1b36a2
001b3690
001b3690Stdlib.Float.fold_right:
001b3690lea r10, [rsp-344]
001b3698cmp r10, [r14+40]
001b369cjb 0x1b3726
001b36a2
001b36a2loc_1b36a2:
001b36a2sub rsp, 24
001b36a6mov rsi, rbx
001b36a9mov rbx, rdi
001b36acmov rdi, [rsi-8]
001b36b0shr rdi, 9
001b36b4or rdi, 1
001b36b8add rdi, -2
001b36bccmp rdi, 1
001b36c0jl 0x1b3717
001b36c2mov [rsp+16], rdi
001b36c7mov [rsp], rsi
001b36cbmov [rsp+8], rax
001b36d0
001b36d0loc_1b36d0:
001b36d0sub r15, 16
001b36d4cmp r15, [r14]
001b36d7jb 0x1b371f
001b36d9
001b36d9loc_1b36d9:
001b36d9lea rax, [r15+8]
001b36ddmov [rax-8], 1277
001b36e5mov rsi, [rsp]
001b36e9movsd_xmm x0, [rsi+4*rdi-4]
001b36efmovsd_xmm [rax], x0
001b36f3mov rdi, [rsp+8]
001b36f8call caml_apply2
001b36fdmov rbx, rax
001b3700mov rdi, [rsp+16]
001b3705mov rax, rdi
001b3708sub rdi, 2
001b370cmov [rsp+16], rdi
001b3711cmp rax, 1
001b3715jne 0x1b36d0
001b3717
001b3717loc_1b3717:
001b3717mov rax, rbx
001b371aadd rsp, 24
001b371eret
001b371f
001b371floc_1b371f:
001b371fcall caml_call_gc
001b3724jmp 0x1b36d9
001b3726
001b3726loc_1b3726:
001b3726push 36
001b3728call caml_call_realloc_stack
001b372dpop r10
001b372fjmp 0x1b36a2
001b3690
001b3734
001b3734 // align 0x10
001b3734 // align 0x10
001b3740
001b3740Stdlib.Float.exists:
001b3740mov rdi, [rbx-8]
001b3744shr rdi, 9
001b3748or rdi, 1
001b374csub r15, 48
001b3750cmp r15, [r14]
001b3753jb 0x1b3792
001b3755
001b3755loc_1b3755:
001b3755lea rsi, [r15+8]
001b3759mov [rsi-8], 5367
001b3761lea rdx, [rip+56]
001b3768mov [rsi], rdx
001b376bmov rdx, 0x100000000000005
001b3775mov [rsi+8], rdx
001b3779mov [rsi+16], rax
001b377dmov [rsi+24], rbx
001b3781mov [rsi+32], rdi
001b3785mov eax, 1
001b378amov rbx, rsi
001b378djmp 0x1b37a0
001b3792
001b3792loc_1b3792:
001b3792call caml_call_gc
001b3797jmp 0x1b3755
001b3740
001b3740Stdlib.Float.exists:
001b3740mov rdi, [rbx-8]
001b3744shr rdi, 9
001b3748or rdi, 1
001b374csub r15, 48
001b3750cmp r15, [r14]
001b3753jb 0x1b3792
001b3755
001b3755loc_1b3755:
001b3755lea rsi, [r15+8]
001b3759mov [rsi-8], 5367
001b3761lea rdx, [rip+56]
001b3768mov [rsi], rdx
001b376bmov rdx, 0x100000000000005
001b3775mov [rsi+8], rdx
001b3779mov [rsi+16], rax
001b377dmov [rsi+24], rbx
001b3781mov [rsi+32], rdi
001b3785mov eax, 1
001b378amov rbx, rsi
001b378djmp 0x1b37a0
001b3792
001b3792loc_1b3792:
001b3792call caml_call_gc
001b3797jmp 0x1b3755
001b3740
001b3799
001b3799 // align 0x10
001b3799 // align 0x10
001b37a0
001b37a0Stdlib.Float.loop:
001b37a0lea r10, [rsp-336]
001b37a8cmp r10, [r14+40]
001b37acjb 0x1b382a
001b37ae
001b37aeloc_1b37ae:
001b37aesub rsp, 16
001b37b2
001b37b2loc_1b37b2:
001b37b2mov rdi, [rbx+32]
001b37b6cmp rax, rdi
001b37b9jne 0x1b37c8
001b37bbmov eax, 1
001b37c0add rsp, 16
001b37c4ret
001b37c5
001b37c5 0f 1f 00 ...
001b37c8
001b37c8loc_1b37c8:
001b37c8mov [rsp+8], rbx
001b37cdmov [rsp], rax
001b37d1mov rdi, [rbx+16]
001b37d5sub r15, 16
001b37d9cmp r15, [r14]
001b37dcjb 0x1b3823
001b37de
001b37deloc_1b37de:
001b37delea rsi, [r15+8]
001b37e2mov [rsi-8], 1277
001b37eamov rbx, [rbx+24]
001b37eemovsd_xmm x0, [rbx+4*rax-4]
001b37f4movsd_xmm [rsi], x0
001b37f8mov rdx, [rdi]
001b37fbmov rax, rsi
001b37femov rbx, rdi
001b3801call rdx
001b3803cmp rax, 1
001b3807je 0x1b3814
001b3809mov eax, 3
001b380eadd rsp, 16
001b3812ret
001b3813
001b3813 90 .
001b3814
001b3814loc_1b3814:
001b3814mov rax, [rsp]
001b3818add rax, 2
001b381cmov rbx, [rsp+8]
001b3821jmp 0x1b37b2
001b3823
001b3823loc_1b3823:
001b3823call caml_call_gc
001b3828jmp 0x1b37de
001b382a
001b382aloc_1b382a:
001b382apush 35
001b382ccall caml_call_realloc_stack
001b3831pop r10
001b3833jmp 0x1b37ae
001b37a0
001b37a0Stdlib.Float.loop:
001b37a0lea r10, [rsp-336]
001b37a8cmp r10, [r14+40]
001b37acjb 0x1b382a
001b37ae
001b37aeloc_1b37ae:
001b37aesub rsp, 16
001b37b2
001b37b2loc_1b37b2:
001b37b2mov rdi, [rbx+32]
001b37b6cmp rax, rdi
001b37b9jne 0x1b37c8
001b37bbmov eax, 1
001b37c0add rsp, 16
001b37c4ret
001b37c5
001b37c5 0f 1f 00 ...
001b37c8
001b37c8loc_1b37c8:
001b37c8mov [rsp+8], rbx
001b37cdmov [rsp], rax
001b37d1mov rdi, [rbx+16]
001b37d5sub r15, 16
001b37d9cmp r15, [r14]
001b37dcjb 0x1b3823
001b37de
001b37deloc_1b37de:
001b37delea rsi, [r15+8]
001b37e2mov [rsi-8], 1277
001b37eamov rbx, [rbx+24]
001b37eemovsd_xmm x0, [rbx+4*rax-4]
001b37f4movsd_xmm [rsi], x0
001b37f8mov rdx, [rdi]
001b37fbmov rax, rsi
001b37femov rbx, rdi
001b3801call rdx
001b3803cmp rax, 1
001b3807je 0x1b3814
001b3809mov eax, 3
001b380eadd rsp, 16
001b3812ret
001b3813
001b3813 90 .
001b3814
001b3814loc_1b3814:
001b3814mov rax, [rsp]
001b3818add rax, 2
001b381cmov rbx, [rsp+8]
001b3821jmp 0x1b37b2
001b3823
001b3823loc_1b3823:
001b3823call caml_call_gc
001b3828jmp 0x1b37de
001b382a
001b382aloc_1b382a:
001b382apush 35
001b382ccall caml_call_realloc_stack
001b3831pop r10
001b3833jmp 0x1b37ae
001b37a0
001b3838
001b3838 // align 0x10
001b3838 // align 0x10
001b3840
001b3840Stdlib.Float.for_all:
001b3840mov rdi, [rbx-8]
001b3844shr rdi, 9
001b3848or rdi, 1
001b384csub r15, 48
001b3850cmp r15, [r14]
001b3853jb 0x1b3892
001b3855
001b3855loc_1b3855:
001b3855lea rsi, [r15+8]
001b3859mov [rsi-8], 5367
001b3861lea rdx, [rip+56]
001b3868mov [rsi], rdx
001b386bmov rdx, 0x100000000000005
001b3875mov [rsi+8], rdx
001b3879mov [rsi+16], rax
001b387dmov [rsi+24], rbx
001b3881mov [rsi+32], rdi
001b3885mov eax, 1
001b388amov rbx, rsi
001b388djmp 0x1b38a0
001b3892
001b3892loc_1b3892:
001b3892call caml_call_gc
001b3897jmp 0x1b3855
001b3840
001b3840Stdlib.Float.for_all:
001b3840mov rdi, [rbx-8]
001b3844shr rdi, 9
001b3848or rdi, 1
001b384csub r15, 48
001b3850cmp r15, [r14]
001b3853jb 0x1b3892
001b3855
001b3855loc_1b3855:
001b3855lea rsi, [r15+8]
001b3859mov [rsi-8], 5367
001b3861lea rdx, [rip+56]
001b3868mov [rsi], rdx
001b386bmov rdx, 0x100000000000005
001b3875mov [rsi+8], rdx
001b3879mov [rsi+16], rax
001b387dmov [rsi+24], rbx
001b3881mov [rsi+32], rdi
001b3885mov eax, 1
001b388amov rbx, rsi
001b388djmp 0x1b38a0
001b3892
001b3892loc_1b3892:
001b3892call caml_call_gc
001b3897jmp 0x1b3855
001b3840
001b3899
001b3899 // align 0x10
001b3899 // align 0x10
001b38a0
001b38a0Stdlib.Float.loop:
001b38a0lea r10, [rsp-336]
001b38a8cmp r10, [r14+40]
001b38acjb 0x1b3929
001b38ae
001b38aeloc_1b38ae:
001b38aesub rsp, 16
001b38b2
001b38b2loc_1b38b2:
001b38b2mov rdi, [rbx+32]
001b38b6cmp rax, rdi
001b38b9jne 0x1b38c8
001b38bbmov eax, 3
001b38c0add rsp, 16
001b38c4ret
001b38c5
001b38c5 0f 1f 00 ...
001b38c8
001b38c8loc_1b38c8:
001b38c8mov [rsp+8], rbx
001b38cdmov [rsp], rax
001b38d1mov rdi, [rbx+16]
001b38d5sub r15, 16
001b38d9cmp r15, [r14]
001b38dcjb 0x1b3922
001b38de
001b38deloc_1b38de:
001b38delea rsi, [r15+8]
001b38e2mov [rsi-8], 1277
001b38eamov rbx, [rbx+24]
001b38eemovsd_xmm x0, [rbx+4*rax-4]
001b38f4movsd_xmm [rsi], x0
001b38f8mov rdx, [rdi]
001b38fbmov rax, rsi
001b38femov rbx, rdi
001b3901call rdx
001b3903cmp rax, 1
001b3907je 0x1b3918
001b3909mov rax, [rsp]
001b390dadd rax, 2
001b3911mov rbx, [rsp+8]
001b3916jmp 0x1b38b2
001b3918
001b3918loc_1b3918:
001b3918mov eax, 1
001b391dadd rsp, 16
001b3921ret
001b3922
001b3922loc_1b3922:
001b3922call caml_call_gc
001b3927jmp 0x1b38de
001b3929
001b3929loc_1b3929:
001b3929push 35
001b392bcall caml_call_realloc_stack
001b3930pop r10
001b3932jmp 0x1b38ae
001b38a0
001b38a0Stdlib.Float.loop:
001b38a0lea r10, [rsp-336]
001b38a8cmp r10, [r14+40]
001b38acjb 0x1b3929
001b38ae
001b38aeloc_1b38ae:
001b38aesub rsp, 16
001b38b2
001b38b2loc_1b38b2:
001b38b2mov rdi, [rbx+32]
001b38b6cmp rax, rdi
001b38b9jne 0x1b38c8
001b38bbmov eax, 3
001b38c0add rsp, 16
001b38c4ret
001b38c5
001b38c5 0f 1f 00 ...
001b38c8
001b38c8loc_1b38c8:
001b38c8mov [rsp+8], rbx
001b38cdmov [rsp], rax
001b38d1mov rdi, [rbx+16]
001b38d5sub r15, 16
001b38d9cmp r15, [r14]
001b38dcjb 0x1b3922
001b38de
001b38deloc_1b38de:
001b38delea rsi, [r15+8]
001b38e2mov [rsi-8], 1277
001b38eamov rbx, [rbx+24]
001b38eemovsd_xmm x0, [rbx+4*rax-4]
001b38f4movsd_xmm [rsi], x0
001b38f8mov rdx, [rdi]
001b38fbmov rax, rsi
001b38femov rbx, rdi
001b3901call rdx
001b3903cmp rax, 1
001b3907je 0x1b3918
001b3909mov rax, [rsp]
001b390dadd rax, 2
001b3911mov rbx, [rsp+8]
001b3916jmp 0x1b38b2
001b3918
001b3918loc_1b3918:
001b3918mov eax, 1
001b391dadd rsp, 16
001b3921ret
001b3922
001b3922loc_1b3922:
001b3922call caml_call_gc
001b3927jmp 0x1b38de
001b3929
001b3929loc_1b3929:
001b3929push 35
001b392bcall caml_call_realloc_stack
001b3930pop r10
001b3932jmp 0x1b38ae
001b38a0
001b3937
001b3937 // align 0x10
001b3937 // align 0x10
001b3940
001b3940Stdlib.Float.mem:
001b3940mov rdi, [rbx-8]
001b3944shr rdi, 9
001b3948or rdi, 1
001b394csub r15, 48
001b3950cmp r15, [r14]
001b3953jb 0x1b3992
001b3955
001b3955loc_1b3955:
001b3955lea rsi, [r15+8]
001b3959mov [rsi-8], 5367
001b3961lea rdx, [rip+56]
001b3968mov [rsi], rdx
001b396bmov rdx, 0x100000000000005
001b3975mov [rsi+8], rdx
001b3979mov [rsi+16], rax
001b397dmov [rsi+24], rbx
001b3981mov [rsi+32], rdi
001b3985mov eax, 1
001b398amov rbx, rsi
001b398djmp 0x1b39a0
001b3992
001b3992loc_1b3992:
001b3992call caml_call_gc
001b3997jmp 0x1b3955
001b3940
001b3940Stdlib.Float.mem:
001b3940mov rdi, [rbx-8]
001b3944shr rdi, 9
001b3948or rdi, 1
001b394csub r15, 48
001b3950cmp r15, [r14]
001b3953jb 0x1b3992
001b3955
001b3955loc_1b3955:
001b3955lea rsi, [r15+8]
001b3959mov [rsi-8], 5367
001b3961lea rdx, [rip+56]
001b3968mov [rsi], rdx
001b396bmov rdx, 0x100000000000005
001b3975mov [rsi+8], rdx
001b3979mov [rsi+16], rax
001b397dmov [rsi+24], rbx
001b3981mov [rsi+32], rdi
001b3985mov eax, 1
001b398amov rbx, rsi
001b398djmp 0x1b39a0
001b3992
001b3992loc_1b3992:
001b3992call caml_call_gc
001b3997jmp 0x1b3955
001b3940
001b3999
001b3999 // align 0x10
001b3999 // align 0x10
001b39a0
001b39a0Stdlib.Float.loop:
001b39a0cmp r15, [r14]
001b39a3jbe 0x1b3a31
001b39a9
001b39a9loc_1b39a9:
001b39a9mov rdi, [rbx+32]
001b39adcmp rax, rdi
001b39b0jne 0x1b39b8
001b39b2mov eax, 1
001b39b7ret
001b39b8
001b39b8loc_1b39b8:
001b39b8mov rdi, [rbx+16]
001b39bcmovsd_xmm x0, [rdi]
001b39c0mov rdi, [rbx+24]
001b39c4movsd_xmm x1, [rdi+4*rax-4]
001b39camovapd x2, x0
001b39cecmpsd x2, x0, 0
001b39d3movq rdi, x2
001b39d8neg rdi
001b39dbmovapd x2, x1
001b39dfcmpsd x2, x1, 0
001b39e4movq rsi, x2
001b39e9neg rsi
001b39ecsub rsi, rdi
001b39efmovapd x2, x1
001b39f3cmpsd x2, x0, 1
001b39f8movq rdi, x2
001b39fdneg rdi
001b3a00cmpsd x0, x1, 1
001b3a05movq rdx, x0
001b3a0aneg rdx
001b3a0dsub rdx, rdi
001b3a10add rdx, rsi
001b3a13shl rdx, 1
001b3a16inc rdx
001b3a19cmp rdx, 1
001b3a1djne 0x1b3a28
001b3a1fmov eax, 3
001b3a24ret
001b3a25
001b3a25 0f 1f 00 ...
001b3a28
001b3a28loc_1b3a28:
001b3a28add rax, 2
001b3a2cjmp 0x1b39a0
001b3a31
001b3a31loc_1b3a31:
001b3a31call caml_call_gc
001b3a36jmp 0x1b39a9
001b39a0
001b39a0Stdlib.Float.loop:
001b39a0cmp r15, [r14]
001b39a3jbe 0x1b3a31
001b39a9
001b39a9loc_1b39a9:
001b39a9mov rdi, [rbx+32]
001b39adcmp rax, rdi
001b39b0jne 0x1b39b8
001b39b2mov eax, 1
001b39b7ret
001b39b8
001b39b8loc_1b39b8:
001b39b8mov rdi, [rbx+16]
001b39bcmovsd_xmm x0, [rdi]
001b39c0mov rdi, [rbx+24]
001b39c4movsd_xmm x1, [rdi+4*rax-4]
001b39camovapd x2, x0
001b39cecmpsd x2, x0, 0
001b39d3movq rdi, x2
001b39d8neg rdi
001b39dbmovapd x2, x1
001b39dfcmpsd x2, x1, 0
001b39e4movq rsi, x2
001b39e9neg rsi
001b39ecsub rsi, rdi
001b39efmovapd x2, x1
001b39f3cmpsd x2, x0, 1
001b39f8movq rdi, x2
001b39fdneg rdi
001b3a00cmpsd x0, x1, 1
001b3a05movq rdx, x0
001b3a0aneg rdx
001b3a0dsub rdx, rdi
001b3a10add rdx, rsi
001b3a13shl rdx, 1
001b3a16inc rdx
001b3a19cmp rdx, 1
001b3a1djne 0x1b3a28
001b3a1fmov eax, 3
001b3a24ret
001b3a25
001b3a25 0f 1f 00 ...
001b3a28
001b3a28loc_1b3a28:
001b3a28add rax, 2
001b3a2cjmp 0x1b39a0
001b3a31
001b3a31loc_1b3a31:
001b3a31call caml_call_gc
001b3a36jmp 0x1b39a9
001b39a0
001b3a3b
001b3a3b // align 0x10
001b3a3b // align 0x10
001b3a40
001b3a40Stdlib.Float.mem_ieee:
001b3a40mov rdi, [rbx-8]
001b3a44shr rdi, 9
001b3a48or rdi, 1
001b3a4csub r15, 48
001b3a50cmp r15, [r14]
001b3a53jb 0x1b3a92
001b3a55
001b3a55loc_1b3a55:
001b3a55lea rsi, [r15+8]
001b3a59mov [rsi-8], 5367
001b3a61lea rdx, [rip+56]
001b3a68mov [rsi], rdx
001b3a6bmov rdx, 0x100000000000005
001b3a75mov [rsi+8], rdx
001b3a79mov [rsi+16], rax
001b3a7dmov [rsi+24], rbx
001b3a81mov [rsi+32], rdi
001b3a85mov eax, 1
001b3a8amov rbx, rsi
001b3a8djmp 0x1b3aa0
001b3a92
001b3a92loc_1b3a92:
001b3a92call caml_call_gc
001b3a97jmp 0x1b3a55
001b3a40
001b3a40Stdlib.Float.mem_ieee:
001b3a40mov rdi, [rbx-8]
001b3a44shr rdi, 9
001b3a48or rdi, 1
001b3a4csub r15, 48
001b3a50cmp r15, [r14]
001b3a53jb 0x1b3a92
001b3a55
001b3a55loc_1b3a55:
001b3a55lea rsi, [r15+8]
001b3a59mov [rsi-8], 5367
001b3a61lea rdx, [rip+56]
001b3a68mov [rsi], rdx
001b3a6bmov rdx, 0x100000000000005
001b3a75mov [rsi+8], rdx
001b3a79mov [rsi+16], rax
001b3a7dmov [rsi+24], rbx
001b3a81mov [rsi+32], rdi
001b3a85mov eax, 1
001b3a8amov rbx, rsi
001b3a8djmp 0x1b3aa0
001b3a92
001b3a92loc_1b3a92:
001b3a92call caml_call_gc
001b3a97jmp 0x1b3a55
001b3a40
001b3a99
001b3a99 // align 0x10
001b3a99 // align 0x10
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
001b51d9 // align 0x10
001b51e0
001b51e0Stdlib.Float.fun:
001b51e0mov rsi, rax
001b51e3mov rax, [rbx+16]
001b51e7mov rdi, [rbx+24]
001b51ebmov rbx, rsi
001b51eejmp 0x1b5150
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
001b51f3 // align 0x10
001b5200
001b5200Stdlib.Float.fun:
001b5200mov rsi, rax
001b5203mov rax, [rbx+16]
001b5207mov rdi, [rbx+24]
001b520bmov rbx, rsi
001b520ejmp 0x1b5150
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
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
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
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
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
001b5341 // align 0x10
001b5350
001b5350Stdlib.Float.fun:
001b5350mov rsi, rax
001b5353mov rax, [rbx+16]
001b5357mov rdi, [rbx+24]
001b535bmov rbx, rsi
001b535ejmp 0x1b52a0
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
001b5363 // align 0x10
001b5370
001b5370Stdlib.Float.fun:
001b5370mov rsi, rax
001b5373mov rax, [rbx+16]
001b5377mov rdi, [rbx+24]
001b537bmov rbx, rsi
001b537ejmp 0x1b52a0
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
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
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
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
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
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
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
Loading..