Similarity

001b25e0
001b25e0Stdlib.Float.init:
001b25e0lea r10, [rsp-352]
001b25e8cmp r10, [r14+40]
001b25ecjb 0x1b268f
001b25f2
001b25f2loc_1b25f2:
001b25f2sub rsp, 32
001b25f6cmp rax, 1
001b25fajge 0x1b260c
001b25fclea rax, [rip+0x18e90d]
001b2603add rsp, 32
001b2607jmp 0x195ab0
001b260c
001b260cloc_1b260c:
001b260cmov [rsp+8], rbx
001b2611mov [rsp], rax
001b2615mov rdi, rax
001b2618lea rax, [rip+0x472e1]
001b261fcall caml_c_call
001b2624mov rbx, rax
001b2627mov eax, 1
001b262cmov rdi, [rsp]
001b2630add rdi, -2
001b2634cmp rax, rdi
001b2637jg 0x1b2680
001b2639mov [rsp+24], rdi
001b263emov [rsp], rax
001b2642mov [rsp+16], rbx
001b2647
001b2647loc_1b2647:
001b2647mov rbx, [rsp+8]
001b264cmov rdi, [rbx]
001b264fcall rdi
001b2651movsd_xmm x0, [rax]
001b2655mov rax, [rsp]
001b2659mov rbx, [rsp+16]
001b265emovsd_xmm [rbx+4*rax-4], x0
001b2664mov rdi, rax
001b2667add rax, 2
001b266bmov [rsp], rax
001b266fmov rsi, [rsp+24]
001b2674cmp rdi, rsi
001b2677je 0x1b2680
001b2679cmp r15, [r14]
001b267cja 0x1b2647
001b267ejmp 0x1b2688
001b2680
001b2680loc_1b2680:
001b2680mov rax, rbx
001b2683add rsp, 32
001b2687ret
001b2688
001b2688loc_1b2688:
001b2688call caml_call_gc
001b268djmp 0x1b2647
001b268f
001b268floc_1b268f:
001b268fpush 37
001b2691call caml_call_realloc_stack
001b2696pop r10
001b2698jmp 0x1b25f2
001b25e0

001b269d
001b269d // align 0x10

001b26a0
001b26a0Stdlib.Float.make_matrix:
001b26a0lea r10, [rsp-360]
001b26a8cmp r10, [r14+40]
001b26acjb 0x1b27c3
001b26b2
001b26b2loc_1b26b2:
001b26b2sub rsp, 40
001b26b6mov [rsp], rax
001b26bamov [rsp+8], rbx
001b26bfmov [rsp+16], rdi
001b26c4cmp rbx, 1
001b26c8jge 0x1b26d6
001b26calea rax, [rip+0x18e81f]
001b26d1call camlStdlib.invalid_arg_10
001b26d6
001b26d6loc_1b26d6:
001b26d6mov edi, 1
001b26dblea rax, [rip+0x4721e]
001b26e2call caml_c_call
001b26e7mov rdi, [rsp]
001b26ebmov rsi, rax
001b26eelea rax, [rip+0x475ab]
001b26f5call caml_c_call
001b26famov r13, rax
001b26fdmov rdi, [rsp+8]
001b2702cmp rdi, 1
001b2706jle 0x1b27b1
001b270cmov eax, 1
001b2711mov rbx, [rsp]
001b2715add rbx, -2
001b2719cmp rax, rbx
001b271cjg 0x1b27b1
001b2722mov [rsp+24], rbx
001b2727mov [rsp+32], rax
001b272cmov [rsp], r13
001b2730mov [rsp+8], rdi
001b2735
001b2735loc_1b2735:
001b2735mov rax, [rsp+16]
001b273amovsd_xmm x0, [rax]
001b273emov rdi, [rsp+8]
001b2743sar rdi, 1
001b2746lea rax, [rip+0x47293]
001b274dcall caml_c_call
001b2752mov r13, [rsp]
001b2756movzx rbx, [r13-8]
001b275bcmp rbx, 254
001b2762je 0x1b2784
001b2764mov r12, [rsp+32]
001b2769lea rdi, [r13+4*r12-4]
001b276emov rsi, rax
001b2771mov rbx, rsp
001b2774mov rsp, [r14+64]
001b2778call caml_modify
001b277dmov rsp, rbx
001b2780jmp 0x1b2794
001b2782
001b2782 66 90 f.
001b2784
001b2784loc_1b2784:
001b2784movsd_xmm x0, [rax]
001b2788mov r12, [rsp+32]
001b278dmovsd_xmm [r13+4*r12-4], x0
001b2794
001b2794loc_1b2794:
001b2794mov rax, r12
001b2797add r12, 2
001b279bmov [rsp+32], r12
001b27a0mov rbx, [rsp+24]
001b27a5cmp rax, rbx
001b27a8je 0x1b27b1
001b27aacmp r15, [r14]
001b27adja 0x1b2735
001b27afjmp 0x1b27b9
001b27b1
001b27b1loc_1b27b1:
001b27b1mov rax, r13
001b27b4add rsp, 40
001b27b8ret
001b27b9
001b27b9loc_1b27b9:
001b27b9call caml_call_gc
001b27bejmp 0x1b2735
001b27c3
001b27c3loc_1b27c3:
001b27c3push 38
001b27c5call caml_call_realloc_stack
001b27capop r10
001b27ccjmp 0x1b26b2
001b26a0

001b27d1
001b27d1 // align 0x10

001b27e0
001b27e0Stdlib.Float.init_matrix:
001b27e0lea r10, [rsp-384]
001b27e8cmp r10, [r14+40]
001b27ecjb 0x1b2965
001b27f2
001b27f2loc_1b27f2:
001b27f2sub rsp, 64
001b27f6mov [rsp], rax
001b27famov [rsp+8], rbx
001b27ffmov [rsp+32], rdi
001b2804cmp rbx, 1
001b2808jge 0x1b2816
001b280alea rax, [rip+0x18e6bf]
001b2811call camlStdlib.invalid_arg_10
001b2816
001b2816loc_1b2816:
001b2816mov edi, 1
001b281blea rax, [rip+0x470de]
001b2822call caml_c_call
001b2827mov rdi, [rsp]
001b282bmov rsi, rax
001b282elea rax, [rip+0x4746b]
001b2835call caml_c_call
001b283amov r13, rax
001b283dmov rdi, [rsp+8]
001b2842cmp rdi, 1
001b2846jle 0x1b2949
001b284cmov eax, 1
001b2851mov rbx, [rsp]
001b2855add rbx, -2
001b2859cmp rax, rbx
001b285cjg 0x1b2949
001b2862mov [rsp+16], rbx
001b2867mov [rsp+24], rax
001b286cmov [rsp], r13
001b2870mov [rsp+8], rdi
001b2875
001b2875loc_1b2875:
001b2875mov rdi, [rsp+8]
001b287alea rax, [rip+0x4707f]
001b2881call caml_c_call
001b2886mov [rsp+48], rax
001b288bmov ebx, 1
001b2890mov [rsp+40], rbx
001b2895mov rdi, [rsp+8]
001b289aadd rdi, -2
001b289emov [rsp+56], rdi
001b28a3cmp rbx, rdi
001b28a6jg 0x1b28e8
001b28a8
001b28a8loc_1b28a8:
001b28a8mov rax, [rsp+24]
001b28admov rdi, [rsp+32]
001b28b2call caml_apply2
001b28b7movsd_xmm x0, [rax]
001b28bbmov rbx, [rsp+40]
001b28c0mov rax, [rsp+48]
001b28c5movsd_xmm [rax+4*rbx-4], x0
001b28cbmov rdi, rbx
001b28ceadd rbx, 2
001b28d2mov [rsp+40], rbx
001b28d7mov rsi, [rsp+56]
001b28dccmp rdi, rsi
001b28dfje 0x1b28e8
001b28e1cmp r15, [r14]
001b28e4ja 0x1b28a8
001b28e6jmp 0x1b295b
001b28e8
001b28e8loc_1b28e8:
001b28e8mov r13, [rsp]
001b28ecmovzx rbx, [r13-8]
001b28f1cmp rbx, 254
001b28f8je 0x1b2918
001b28famov r12, [rsp+24]
001b28fflea rdi, [r13+4*r12-4]
001b2904mov rsi, rax
001b2907mov rbx, rsp
001b290amov rsp, [r14+64]
001b290ecall caml_modify
001b2913mov rsp, rbx
001b2916jmp 0x1b2928
001b2918
001b2918loc_1b2918:
001b2918movsd_xmm x0, [rax]
001b291cmov r12, [rsp+24]
001b2921movsd_xmm [r13+4*r12-4], x0
001b2928
001b2928loc_1b2928:
001b2928mov rax, r12
001b292badd r12, 2
001b292fmov [rsp+24], r12
001b2934mov rbx, [rsp+16]
001b2939cmp rax, rbx
001b293cje 0x1b2949
001b293ecmp r15, [r14]
001b2941ja 0x1b2875
001b2947jmp 0x1b2951
001b2949
001b2949loc_1b2949:
001b2949mov rax, r13
001b294cadd rsp, 64
001b2950ret
001b2951
001b2951loc_1b2951:
001b2951call caml_call_gc
001b2956jmp 0x1b2875
001b295b
001b295bloc_1b295b:
001b295bcall caml_call_gc
001b2960jmp 0x1b28a8
001b2965
001b2965loc_1b2965:
001b2965push 41
001b2967call caml_call_realloc_stack
001b296cpop r10
001b296ejmp 0x1b27f2
001b27e0

001b2973
001b2973 // align 0x10

001b2980
001b2980Stdlib.Float.ensure_ge:
001b2980cmp rax, rbx
001b2983jl 0x1b2988
001b2985ret
001b2986
001b2986 66 90 f.
001b2988
001b2988loc_1b2988:
001b2988lea rax, [rip+0x18e521]
001b298fjmp 0x195ab0
001b2980

001b2994
001b2994 // align 0x10

001b29a0
001b29a0Stdlib.Float.sum_lengths:
001b29a0lea r10, [rsp-328]
001b29a8cmp r10, [r14+40]
001b29acjb 0x1b2a05
001b29ae
001b29aeloc_1b29ae:
001b29aesub rsp, 8
001b29b2
001b29b2loc_1b29b2:
001b29b2cmp r15, [r14]
001b29b5jbe 0x1b29fe
001b29b7
001b29b7loc_1b29b7:
001b29b7test bl, 1
001b29baje 0x1b29c4
001b29bcadd rsp, 8
001b29c0ret
001b29c1
001b29c1 0f 1f 00 ...
001b29c4
001b29c4loc_1b29c4:
001b29c4mov [rsp], rbx
001b29c8mov rbx, [rbx]
001b29cbmov rbx, [rbx-8]
001b29cfshr rbx, 9
001b29d3or rbx, 1
001b29d7lea rbx, [rbx+rax-1]
001b29dccmp rbx, rax
001b29dfjl 0x1b29e8
001b29e1mov rax, rbx
001b29e4jmp 0x1b29f4
001b29e6
001b29e6 66 90 f.
001b29e8
001b29e8loc_1b29e8:
001b29e8lea rax, [rip+0x18e4c1]
001b29efcall camlStdlib.invalid_arg_10
001b29f4
001b29f4loc_1b29f4:
001b29f4mov rbx, [rsp]
001b29f8mov rbx, [rbx+8]
001b29fcjmp 0x1b29b2
001b29fe
001b29feloc_1b29fe:
001b29fecall caml_call_gc
001b2a03jmp 0x1b29b7
001b2a05
001b2a05loc_1b2a05:
001b2a05push 34
001b2a07call caml_call_realloc_stack
001b2a0cpop r10
001b2a0ejmp 0x1b29ae
001b29a0

001b2a10
001b2a10Stdlib.Float.concat:
001b2a10lea r10, [rsp-344]
001b2a18cmp r10, [r14+40]
001b2a1cjb 0x1b2ab4
001b2a22
001b2a22loc_1b2a22:
001b2a22sub rsp, 24
001b2a26mov rbx, rax
001b2a29mov [rsp+8], rbx
001b2a2emov eax, 1
001b2a33call Stdlib.Float.sum_lengths
001b2a38mov [rsp], rax
001b2a3cmov rdi, rax
001b2a3flea rax, [rip+0x46eba]
001b2a46call caml_c_call
001b2a4bmov [rsp+16], rax
001b2a50sub r15, 48
001b2a54cmp r15, [r14]
001b2a57jb 0x1b2aad
001b2a59
001b2a59loc_1b2a59:
001b2a59lea rdi, [r15+8]
001b2a5dmov [rdi-8], 5367
001b2a65lea rbx, [rip-0xbba4c]
001b2a6cmov [rdi], rbx
001b2a6fmov rbx, 0x200000000000007
001b2a79mov [rdi+8], rbx
001b2a7dlea rbx, [rip+76]
001b2a84mov [rdi+16], rbx
001b2a88mov rbx, [rsp]
001b2a8cmov [rdi+24], rbx
001b2a90mov [rdi+32], rax
001b2a94mov ebx, 1
001b2a99mov rax, [rsp+8]
001b2a9ecall Stdlib.Float.loop
001b2aa3mov rax, [rsp+16]
001b2aa8add rsp, 24
001b2aacret
001b2aad
001b2aadloc_1b2aad:
001b2aadcall caml_call_gc
001b2ab2jmp 0x1b2a59
001b2ab4
001b2ab4loc_1b2ab4:
001b2ab4push 36
001b2ab6call caml_call_realloc_stack
001b2abbpop r10
001b2abdjmp 0x1b2a22
001b2a10

001b2ac2
001b2ac2 // align 0x10

001b2ad0
001b2ad0Stdlib.Float.loop:
001b2ad0sub rsp, 8
001b2ad4
001b2ad4loc_1b2ad4:
001b2ad4mov r13, rax
001b2ad7mov rbp, rbx
001b2adamov [rsp], rdi
001b2adecmp r15, [r14]
001b2ae1jbe 0x1b2b7f
001b2ae7
001b2ae7loc_1b2ae7:
001b2ae7test r13b, 1
001b2aebje 0x1b2b34
001b2aedmov rax, [rsp]
001b2af1mov rax, [rax+24]
001b2af5cmp rbp, rax
001b2af8jne 0x1b2b04
001b2afamov eax, 1
001b2affadd rsp, 8
001b2b03ret
001b2b04
001b2b04loc_1b2b04:
001b2b04sub r15, 24
001b2b08cmp r15, [r14]
001b2b0bjb 0x1b2b78
001b2b0d
001b2b0dloc_1b2b0d:
001b2b0dlea rax, [r15+8]
001b2b11mov [rax-8], 2048
001b2b19lea rbx, [rip+0xc36e8]
001b2b20mov [rax], rbx
001b2b23lea rbx, [rip+0x18e576]
001b2b2amov [rax+8], rbx
001b2b2ecall caml_raise_exn
001b2b33nop
001b2b34
001b2b34loc_1b2b34:
001b2b34mov rdi, [r13]
001b2b38mov r12, [rdi-8]
001b2b3cshr r12, 9
001b2b40or r12, 1
001b2b44mov rax, [rsp]
001b2b48mov rdx, [rax+32]
001b2b4cmov esi, 1
001b2b51mov rcx, rbp
001b2b54mov r8, r12
001b2b57mov rbx, rsp
001b2b5amov rsp, [r14+64]
001b2b5ecall caml_floatarray_blit
001b2b63mov rsp, rbx
001b2b66lea rbx, [rbp+r12-1]
001b2b6bmov rax, [r13+8]
001b2b6fmov rdi, [rsp]
001b2b73jmp 0x1b2ad4
001b2b78
001b2b78loc_1b2b78:
001b2b78call caml_call_gc
001b2b7djmp 0x1b2b0d
001b2b7f
001b2b7floc_1b2b7f:
001b2b7fcall caml_call_gc
001b2b84jmp 0x1b2ae7
001b2ad0

001b2b89
001b2b89 // align 0x10

001b2b90
001b2b90Stdlib.Float.sub:
001b2b90lea r10, [rsp-344]
001b2b98cmp r10, [r14+40]
001b2b9cjb 0x1b2bdb
001b2b9e
001b2b9eloc_1b2b9e:
001b2b9esub rsp, 24
001b2ba2mov [rsp], rax
001b2ba6mov [rsp+8], rbx
001b2babmov [rsp+16], rdi
001b2bb0lea rsi, [rip+0x18e4d1]
001b2bb7call Stdlib.Float.check
001b2bbcmov rdi, [rsp]
001b2bc0mov rsi, [rsp+8]
001b2bc5mov rdx, [rsp+16]
001b2bcalea rax, [rip+0x474ff]
001b2bd1call caml_c_call
001b2bd6add rsp, 24
001b2bdaret
001b2bdb
001b2bdbloc_1b2bdb:
001b2bdbpush 36
001b2bddcall caml_call_realloc_stack
001b2be2pop r10
001b2be4jmp 0x1b2b9e
001b2b90

001b2be6
001b2be6 // align 0x10

001b2bf0
001b2bf0Stdlib.Float.copy:
001b2bf0mov rdx, [rax-8]
001b2bf4shr rdx, 9
001b2bf8or rdx, 1
001b2bfccmp rdx, 1
001b2c00jne 0x1b2c14
001b2c02lea rax, [rip+0x18e027]
001b2c09mov rax, [rax+264]
001b2c10ret
001b2c11
001b2c11 0f 1f 00 ...
001b2c14
001b2c14loc_1b2c14:
001b2c14mov esi, 1
001b2c19mov rdi, rax
001b2c1clea rax, [rip+0x474ad]
001b2c23call caml_c_call
001b2c28ret
001b2bf0

001b2c29
001b2c29 // align 0x10

001b2c30
001b2c30Stdlib.Float.append:
001b2c30mov rdi, rax
001b2c33mov rax, rbx
001b2c36mov rdx, [rdi-8]
001b2c3ashr rdx, 9
001b2c3eor rdx, 1
001b2c42cmp rdx, 1
001b2c46jne 0x1b2c50
001b2c48jmp 0x1b2bf0
001b2c4d
001b2c4d 0f 1f 00 ...
001b2c50
001b2c50loc_1b2c50:
001b2c50mov rbx, [rax-8]
001b2c54shr rbx, 9
001b2c58or rbx, 1
001b2c5ccmp rbx, 1
001b2c60jne 0x1b2c74
001b2c62mov esi, 1
001b2c67lea rax, [rip+0x47462]
001b2c6ecall caml_c_call
001b2c73ret
001b2c74
001b2c74loc_1b2c74:
001b2c74mov rsi, rax
001b2c77lea rax, [rip+0x475a2]
001b2c7ecall caml_c_call
001b2c83ret
001b2c30

001b2c84
001b2c84 // align 0x10

001b2c90
001b2c90Stdlib.Float.fill:
001b2c90lea r10, [rsp-352]
001b2c98cmp r10, [r14+40]
001b2c9cjb 0x1b2cef
001b2c9e
001b2c9eloc_1b2c9e:
001b2c9esub rsp, 32
001b2ca2mov [rsp+24], rax
001b2ca7mov [rsp+16], rbx
001b2cacmov [rsp+8], rdi
001b2cb1mov [rsp], rsi
001b2cb5lea rsi, [rip+0x18e3ac]
001b2cbccall Stdlib.Float.check
001b2cc1mov rax, [rsp]
001b2cc5movsd_xmm x0, [rax]
001b2cc9mov rdx, [rsp+8]
001b2ccesar rdx, 1
001b2cd1mov rsi, [rsp+16]
001b2cd6sar rsi, 1
001b2cd9mov rdi, [rsp+24]
001b2cdelea rax, [rip+0x4790b]
001b2ce5call caml_c_call
001b2ceaadd rsp, 32
001b2ceeret
001b2cef
001b2cefloc_1b2cef:
001b2cefpush 37
001b2cf1call caml_call_realloc_stack
001b2cf6pop r10
001b2cf8jmp 0x1b2c9e
001b2c90

001b2cfa
001b2cfa // align 0x10

001b2d00
001b2d00Stdlib.Float.blit:
001b2d00lea r10, [rsp-360]
001b2d08cmp r10, [r14+40]
001b2d0cjb 0x1b2d80
001b2d0e
001b2d0eloc_1b2d0e:
001b2d0esub rsp, 40
001b2d12mov [rsp], rax
001b2d16mov [rsp+8], rbx
001b2d1bmov [rsp+16], rdi
001b2d20mov [rsp+24], rsi
001b2d25mov rdi, rdx
001b2d28mov [rsp+32], rdi
001b2d2dlea rsi, [rip+0x18e314]
001b2d34call Stdlib.Float.check
001b2d39lea rsi, [rip+0x18e308]
001b2d40mov rax, [rsp+16]
001b2d45mov rbx, [rsp+24]
001b2d4amov rdi, [rsp+32]
001b2d4fcall Stdlib.Float.check
001b2d54mov rdi, [rsp]
001b2d58mov rsi, [rsp+8]
001b2d5dmov rdx, [rsp+16]
001b2d62mov rcx, [rsp+24]
001b2d67mov r8, [rsp+32]
001b2d6cmov rbx, rsp
001b2d6fmov rsp, [r14+64]
001b2d73call caml_floatarray_blit
001b2d78mov rsp, rbx
001b2d7badd rsp, 40
001b2d7fret
001b2d80
001b2d80loc_1b2d80:
001b2d80push 38
001b2d82call caml_call_realloc_stack
001b2d87pop r10
001b2d89jmp 0x1b2d0e
001b2d00

001b2d8b
001b2d8b // align 0x10

001b2d90
001b2d90Stdlib.Float.to_list:
001b2d90lea rdi, [rip+0x18d691]
001b2d97sub r15, 40
001b2d9bcmp r15, [r14]
001b2d9ejb 0x1b2ddd
001b2da0
001b2da0loc_1b2da0:
001b2da0lea rbx, [r15+8]
001b2da4mov [rbx-8], 4343
001b2daclea rsi, [rip+109]
001b2db3mov [rbx], rsi
001b2db6mov rsi, 0x100000000000005
001b2dc0mov [rbx+8], rsi
001b2dc4mov [rbx+16], rax
001b2dc8mov [rbx+24], rdi
001b2dccmov rax, [rax-8]
001b2dd0shr rax, 9
001b2dd4or rax, 1
001b2dd8jmp 0x19fc50
001b2ddd
001b2dddloc_1b2ddd:
001b2dddcall caml_call_gc
001b2de2jmp 0x1b2da0
001b2d90

001b2de4
001b2de4 // align 0x10

001b2df0
001b2df0Stdlib.Float.fun:
001b2df0sub r15, 16
001b2df4cmp r15, [r14]
001b2df7jb 0x1b2e13
001b2df9
001b2df9loc_1b2df9:
001b2df9lea rdi, [r15+8]
001b2dfdmov [rdi-8], 1277
001b2e05movsd_xmm x0, [rax+4*rbx-4]
001b2e0bmovsd_xmm [rdi], x0
001b2e0fmov rax, rdi
001b2e12ret
001b2e13
001b2e13loc_1b2e13:
001b2e13call caml_call_gc
001b2e18jmp 0x1b2df9
001b2df0

001b2e1a
001b2e1a // align 0x10

001b2e20
001b2e20Stdlib.Float.fun:
001b2e20mov rbx, [rbx+16]
001b2e24sub r15, 16
001b2e28cmp r15, [r14]
001b2e2bjb 0x1b2e47
001b2e2d
001b2e2dloc_1b2e2d:
001b2e2dlea rdi, [r15+8]
001b2e31mov [rdi-8], 1277
001b2e39movsd_xmm x0, [rbx+4*rax-4]
001b2e3fmovsd_xmm [rdi], x0
001b2e43mov rax, rdi
001b2e46ret
001b2e47
001b2e47loc_1b2e47:
001b2e47call caml_call_gc
001b2e4cjmp 0x1b2e2d
001b2e20

001b2e4e
001b2e4e // align 0x10

001b2e50
001b2e50Stdlib.Float.of_list:
001b2e50lea r10, [rsp-328]
001b2e58cmp r10, [r14+40]
001b2e5cjb 0x1b2eea
001b2e62
001b2e62loc_1b2e62:
001b2e62sub rsp, 8
001b2e66mov [rsp], rax
001b2e6atest al, 1
001b2e6cje 0x1b2e78
001b2e6emov eax, 1
001b2e73jmp 0x1b2e86
001b2e75
001b2e75 0f 1f 00 ...
001b2e78
001b2e78loc_1b2e78:
001b2e78mov rbx, [rax+8]
001b2e7cmov eax, 3
001b2e81call Stdlib.List.length_aux
001b2e86
001b2e86loc_1b2e86:
001b2e86mov rdi, rax
001b2e89lea rax, [rip+0x46a70]
001b2e90call caml_c_call
001b2e95sub r15, 40
001b2e99cmp r15, [r14]
001b2e9cjb 0x1b2ee3
001b2e9e
001b2e9eloc_1b2e9e:
001b2e9elea rdi, [r15+8]
001b2ea2mov [rdi-8], 4343
001b2eaalea rbx, [rip-0xbbe91]
001b2eb1mov [rdi], rbx
001b2eb4mov rbx, 0x200000000000007
001b2ebemov [rdi+8], rbx
001b2ec2lea rbx, [rip+55]
001b2ec9mov [rdi+16], rbx
001b2ecdmov [rdi+24], rax
001b2ed1mov eax, 1
001b2ed6mov rbx, [rsp]
001b2edaadd rsp, 8
001b2edejmp 0x1b2f00
001b2ee3
001b2ee3loc_1b2ee3:
001b2ee3call caml_call_gc
001b2ee8jmp 0x1b2e9e
001b2eea
001b2eealoc_1b2eea:
001b2eeapush 34
001b2eeccall caml_call_realloc_stack
001b2ef1pop r10
001b2ef3jmp 0x1b2e62
001b2e50

001b2ef8
001b2ef8 // align 0x10

001b2f00
001b2f00Stdlib.Float.fill:
001b2f00cmp r15, [r14]
001b2f03jbe 0x1b2f2b
001b2f05
001b2f05loc_1b2f05:
001b2f05test bl, 1
001b2f08je 0x1b2f10
001b2f0amov rax, [rdi+24]
001b2f0eret
001b2f0f
001b2f0f 90 .
001b2f10
001b2f10loc_1b2f10:
001b2f10mov rsi, [rdi+24]
001b2f14mov rdx, [rbx]
001b2f17movsd_xmm x0, [rdx]
001b2f1bmovsd_xmm [rsi+4*rax-4], x0
001b2f21mov rbx, [rbx+8]
001b2f25add rax, 2
001b2f29jmp 0x1b2f00
001b2f2b
001b2f2bloc_1b2f2b:
001b2f2bcall caml_call_gc
001b2f30jmp 0x1b2f05
001b2f00

001b2f32
001b2f32 // align 0x10

001b2f40
001b2f40Stdlib.Float.iter:
001b2f40lea r10, [rsp-352]
001b2f48cmp r10, [r14+40]
001b2f4cjb 0x1b2fdc
001b2f52
001b2f52loc_1b2f52:
001b2f52sub rsp, 32
001b2f56mov edi, 1
001b2f5bmov rsi, [rbx-8]
001b2f5fshr rsi, 9
001b2f63or rsi, 1
001b2f67add rsi, -2
001b2f6bcmp rdi, rsi
001b2f6ejg 0x1b2fcb
001b2f70mov [rsp+24], rsi
001b2f75mov [rsp+16], rdi
001b2f7amov [rsp], rbx
001b2f7emov [rsp+8], rax
001b2f83
001b2f83loc_1b2f83:
001b2f83sub r15, 16
001b2f87cmp r15, [r14]
001b2f8ajb 0x1b2fd5
001b2f8c
001b2f8cloc_1b2f8c:
001b2f8clea rax, [r15+8]
001b2f90mov [rax-8], 1277
001b2f98mov rbx, [rsp]
001b2f9cmovsd_xmm x0, [rbx+4*rdi-4]
001b2fa2movsd_xmm [rax], x0
001b2fa6mov rbx, [rsp+8]
001b2fabmov rdi, [rbx]
001b2faecall rdi
001b2fb0mov rdi, [rsp+16]
001b2fb5mov rax, rdi
001b2fb8add rdi, 2
001b2fbcmov [rsp+16], rdi
001b2fc1mov rbx, [rsp+24]
001b2fc6cmp rax, rbx
001b2fc9jne 0x1b2f83
001b2fcb
001b2fcbloc_1b2fcb:
001b2fcbmov eax, 1
001b2fd0add rsp, 32
001b2fd4ret
001b2fd5
001b2fd5loc_1b2fd5:
001b2fd5call caml_call_gc
001b2fdajmp 0x1b2f8c
001b2fdc
001b2fdcloc_1b2fdc:
001b2fdcpush 37
001b2fdecall caml_call_realloc_stack
001b2fe3pop r10
001b2fe5jmp 0x1b2f52
001b2f40

001b2fea
001b2fea // align 0x10

001b2ff0
001b2ff0Stdlib.Float.iter2:
001b2ff0lea r10, [rsp-360]
001b2ff8cmp r10, [r14+40]
001b2ffcjb 0x1b30d2
001b3002
001b3002loc_1b3002:
001b3002sub rsp, 40
001b3006mov rsi, [rdi-8]
001b300ashr rsi, 9
001b300eor rsi, 1
001b3012mov rdx, [rbx-8]
001b3016shr rdx, 9
001b301aor rdx, 1
001b301ecmp rdx, rsi
001b3021je 0x1b3034
001b3023lea rax, [rip+0x18dfde]
001b302aadd rsp, 40
001b302ejmp 0x195ab0
001b3033
001b3033 90 .
001b3034
001b3034loc_1b3034:
001b3034mov esi, 1
001b3039add rdx, -2
001b303dcmp rsi, rdx
001b3040jg 0x1b30c1
001b3042mov [rsp+32], rdx
001b3047mov [rsp+24], rsi
001b304cmov [rsp], rdi
001b3050mov [rsp+8], rbx
001b3055mov [rsp+16], rax
001b305a
001b305aloc_1b305a:
001b305asub r15, 32
001b305ecmp r15, [r14]
001b3061jb 0x1b30cb
001b3063
001b3063loc_1b3063:
001b3063lea rbx, [r15+8]
001b3067add rbx, 16
001b306bmov [rbx-8], 1277
001b3073mov rax, [rsp]
001b3077movsd_xmm x0, [rax+4*rsi-4]
001b307dmovsd_xmm [rbx], x0
001b3081lea rax, [rbx-16]
001b3085mov [rax-8], 1277
001b308dmov rdi, [rsp+8]
001b3092movsd_xmm x0, [rdi+4*rsi-4]
001b3098movsd_xmm [rax], x0
001b309cmov rdi, [rsp+16]
001b30a1call caml_apply2
001b30a6mov rsi, [rsp+24]
001b30abmov rax, rsi
001b30aeadd rsi, 2
001b30b2mov [rsp+24], rsi
001b30b7mov rbx, [rsp+32]
001b30bccmp rax, rbx
001b30bfjne 0x1b305a
001b30c1
001b30c1loc_1b30c1:
001b30c1mov eax, 1
001b30c6add rsp, 40
001b30caret
001b30cb
001b30cbloc_1b30cb:
001b30cbcall caml_call_gc
001b30d0jmp 0x1b3063
001b30d2
001b30d2loc_1b30d2:
001b30d2push 38
001b30d4call caml_call_realloc_stack
001b30d9pop r10
001b30dbjmp 0x1b3002
001b2ff0

001b30e0
001b30e0Stdlib.Float.map:
001b30e0lea r10, [rsp-360]
001b30e8cmp r10, [r14+40]
001b30ecjb 0x1b319e
001b30f2
001b30f2loc_1b30f2:
001b30f2sub rsp, 40
001b30f6mov [rsp+16], rax
001b30fbmov [rsp+8], rbx
001b3100mov rdi, [rbx-8]
001b3104shr rdi, 9
001b3108or rdi, 1
001b310cmov [rsp], rdi
001b3110lea rax, [rip+0x467e9]
001b3117call caml_c_call
001b311cmov ebx, 1
001b3121mov rdi, [rsp]
001b3125add rdi, -2
001b3129cmp rbx, rdi
001b312cjg 0x1b3192
001b312emov [rsp+32], rdi
001b3133mov [rsp], rbx
001b3137mov [rsp+24], rax
001b313c
001b313cloc_1b313c:
001b313csub r15, 16
001b3140cmp r15, [r14]
001b3143jb 0x1b3197
001b3145
001b3145loc_1b3145:
001b3145lea rax, [r15+8]
001b3149mov [rax-8], 1277
001b3151mov rdi, [rsp+8]
001b3156movsd_xmm x0, [rdi+4*rbx-4]
001b315cmovsd_xmm [rax], x0
001b3160mov rbx, [rsp+16]
001b3165mov rdi, [rbx]
001b3168call rdi
001b316amovsd_xmm x0, [rax]
001b316emov rbx, [rsp]
001b3172mov rax, [rsp+24]
001b3177movsd_xmm [rax+4*rbx-4], x0
001b317dmov rdi, rbx
001b3180add rbx, 2
001b3184mov [rsp], rbx
001b3188mov rsi, [rsp+32]
001b318dcmp rdi, rsi
001b3190jne 0x1b313c
001b3192
001b3192loc_1b3192:
001b3192add rsp, 40
001b3196ret
001b3197
001b3197loc_1b3197:
001b3197call caml_call_gc
001b319cjmp 0x1b3145
001b319e
001b319eloc_1b319e:
001b319epush 38
001b31a0call caml_call_realloc_stack
001b31a5pop r10
001b31a7jmp 0x1b30f2
001b30e0

001b31ac
001b31ac // align 0x10

001b31b0
001b31b0Stdlib.Float.map_inplace:
001b31b0lea r10, [rsp-352]
001b31b8cmp r10, [r14+40]
001b31bcjb 0x1b3256
001b31c2
001b31c2loc_1b31c2:
001b31c2sub rsp, 32
001b31c6mov edi, 1
001b31cbmov rsi, [rbx-8]
001b31cfshr rsi, 9
001b31d3or rsi, 1
001b31d7add rsi, -2
001b31dbcmp rdi, rsi
001b31dejg 0x1b3245
001b31e0mov [rsp+24], rsi
001b31e5mov [rsp+8], rdi
001b31eamov [rsp+16], rbx
001b31efmov [rsp], rax
001b31f3
001b31f3loc_1b31f3:
001b31f3sub r15, 16
001b31f7cmp r15, [r14]
001b31fajb 0x1b324f
001b31fc
001b31fcloc_1b31fc:
001b31fclea rax, [r15+8]
001b3200mov [rax-8], 1277
001b3208movsd_xmm x0, [rbx+4*rdi-4]
001b320emovsd_xmm [rax], x0
001b3212mov rbx, [rsp]
001b3216mov rdi, [rbx]
001b3219call rdi
001b321bmovsd_xmm x0, [rax]
001b321fmov rdi, [rsp+8]
001b3224mov rbx, [rsp+16]
001b3229movsd_xmm [rbx+4*rdi-4], x0
001b322fmov rax, rdi
001b3232add rdi, 2
001b3236mov [rsp+8], rdi
001b323bmov rsi, [rsp+24]
001b3240cmp rax, rsi
001b3243jne 0x1b31f3
001b3245
001b3245loc_1b3245:
001b3245mov eax, 1
001b324aadd rsp, 32
001b324eret
001b324f
001b324floc_1b324f:
001b324fcall caml_call_gc
001b3254jmp 0x1b31fc
001b3256
001b3256loc_1b3256:
001b3256push 37
001b3258call caml_call_realloc_stack
001b325dpop r10
001b325fjmp 0x1b31c2
001b31b0

001b3264
001b3264 // align 0x10

001b3270
001b3270Stdlib.Float.map2:
001b3270lea r10, [rsp-368]
001b3278cmp r10, [r14+40]
001b327cjb 0x1b337f
001b3282
001b3282loc_1b3282:
001b3282sub rsp, 48
001b3286mov rsi, rdi
001b3289mov rdi, [rbx-8]
001b328dshr rdi, 9
001b3291or rdi, 1
001b3295mov rdx, [rsi-8]
001b3299shr rdx, 9
001b329dor rdx, 1
001b32a1cmp rdi, rdx
001b32a4je 0x1b32b8
001b32a6lea rax, [rip+0x18dd1b]
001b32adadd rsp, 48
001b32b1jmp 0x195ab0
001b32b6
001b32b6 66 90 f.
001b32b8
001b32b8loc_1b32b8:
001b32b8mov [rsp], rdi
001b32bcmov [rsp+8], rsi
001b32c1mov [rsp+16], rbx
001b32c6mov [rsp+24], rax
001b32cblea rax, [rip+0x4662e]
001b32d2call caml_c_call
001b32d7mov ebx, 1
001b32dcmov rdi, rbx
001b32dfmov rbx, [rsp]
001b32e3add rbx, -2
001b32e7cmp rdi, rbx
001b32eajg 0x1b3373
001b32f0mov [rsp+40], rbx
001b32f5mov [rsp], rdi
001b32f9mov [rsp+32], rax
001b32fe
001b32feloc_1b32fe:
001b32fesub r15, 32
001b3302cmp r15, [r14]
001b3305jb 0x1b3378
001b3307
001b3307loc_1b3307:
001b3307lea rbx, [r15+8]
001b330badd rbx, 16
001b330fmov [rbx-8], 1277
001b3317mov rax, [rsp+8]
001b331cmovsd_xmm x0, [rax+4*rdi-4]
001b3322movsd_xmm [rbx], x0
001b3326lea rax, [rbx-16]
001b332amov [rax-8], 1277
001b3332mov rsi, [rsp+16]
001b3337movsd_xmm x0, [rsi+4*rdi-4]
001b333dmovsd_xmm [rax], x0
001b3341mov rdi, [rsp+24]
001b3346call caml_apply2
001b334bmovsd_xmm x0, [rax]
001b334fmov rdi, [rsp]
001b3353mov rax, [rsp+32]
001b3358movsd_xmm [rax+4*rdi-4], x0
001b335emov rbx, rdi
001b3361add rdi, 2
001b3365mov [rsp], rdi
001b3369mov rsi, [rsp+40]
001b336ecmp rbx, rsi
001b3371jne 0x1b32fe
001b3373
001b3373loc_1b3373:
001b3373add rsp, 48
001b3377ret
001b3378
001b3378loc_1b3378:
001b3378call caml_call_gc
001b337djmp 0x1b3307
001b337f
001b337floc_1b337f:
001b337fpush 39
001b3381call caml_call_realloc_stack
001b3386pop r10
001b3388jmp 0x1b3282
001b3270

001b338d
001b338d // align 0x10

001b3390
001b3390Stdlib.Float.iteri:
001b3390lea r10, [rsp-352]
001b3398cmp r10, [r14+40]
001b339cjb 0x1b342f
001b33a2
001b33a2loc_1b33a2:
001b33a2sub rsp, 32
001b33a6mov rdi, rax
001b33a9mov eax, 1
001b33aemov rsi, [rbx-8]
001b33b2shr rsi, 9
001b33b6or rsi, 1
001b33baadd rsi, -2
001b33becmp rax, rsi
001b33c1jg 0x1b341e
001b33c3mov [rsp+24], rsi
001b33c8mov [rsp+16], rax
001b33cdmov [rsp], rbx
001b33d1mov [rsp+8], rdi
001b33d6
001b33d6loc_1b33d6:
001b33d6sub r15, 16
001b33dacmp r15, [r14]
001b33ddjb 0x1b3428
001b33df
001b33dfloc_1b33df:
001b33dflea rbx, [r15+8]
001b33e3mov [rbx-8], 1277
001b33ebmov rdi, [rsp]
001b33efmovsd_xmm x0, [rdi+4*rax-4]
001b33f5movsd_xmm [rbx], x0
001b33f9mov rdi, [rsp+8]
001b33fecall caml_apply2
001b3403mov rax, [rsp+16]
001b3408mov rbx, rax
001b340badd rax, 2
001b340fmov [rsp+16], rax
001b3414mov rdi, [rsp+24]
001b3419cmp rbx, rdi
001b341cjne 0x1b33d6
001b341e
001b341eloc_1b341e:
001b341emov eax, 1
001b3423add rsp, 32
001b3427ret
001b3428
001b3428loc_1b3428:
001b3428call caml_call_gc
001b342djmp 0x1b33df
001b342f
001b342floc_1b342f:
001b342fpush 37
001b3431call caml_call_realloc_stack
001b3436pop r10
001b3438jmp 0x1b33a2
001b3390

001b343d
001b343d // align 0x10

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

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

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

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

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

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

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

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

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

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

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

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

001b3ae1
001b3ae1 // align 0x10

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

001b3b49
001b3b49 // align 0x10

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

001b3c22
001b3c22 // align 0x10

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

001b3c89
001b3c89 // align 0x10

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

001b3d4e
001b3d4e // align 0x10

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

001b3da9
001b3da9 // align 0x10

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

001b3e42
001b3e42 // align 0x10

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

001b3ea9
001b3ea9 // align 0x10

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

001b3f3b
001b3f3b // align 0x10

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

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

001b4559
001b4559 // align 0x10

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