Similarity

001a17d0
001a17d0Stdlib.List.filteri_dps:
001a17d0lea r10, [rsp-368]
001a17d8cmp r10, [r14+40]
001a17dcjb 0x1a18ea
001a17e2
001a17e2loc_1a17e2:
001a17e2sub rsp, 48
001a17e6
001a17e6loc_1a17e6:
001a17e6cmp r15, [r14]
001a17e9jbe 0x1a18e0
001a17ef
001a17efloc_1a17ef:
001a17eftest dl, 1
001a17f2je 0x1a1818
001a17f4mov esi, 1
001a17f9lea rdi, [rax+4*rbx-4]
001a17femov rbx, rsp
001a1801mov rsp, [r14+64]
001a1805call caml_initialize
001a180amov rsp, rbx
001a180dmov eax, 1
001a1812add rsp, 48
001a1816ret
001a1817
001a1817 90 .
001a1818
001a1818loc_1a1818:
001a1818mov [rsp+24], rdi
001a181dmov [rsp+8], rbx
001a1822mov [rsp+16], rax
001a1827mov rax, [rdx+8]
001a182bmov [rsp+40], rax
001a1830mov rbx, [rdx]
001a1833mov [rsp], rbx
001a1837mov rax, rsi
001a183aadd rax, 2
001a183emov [rsp+32], rax
001a1843mov rax, rsi
001a1846call caml_apply2
001a184bcmp rax, 1
001a184fje 0x1a18b8
001a1851sub r15, 24
001a1855cmp r15, [r14]
001a1858jb 0x1a18d6
001a185a
001a185aloc_1a185a:
001a185alea r12, [r15+8]
001a185emov [r12-8], 2048
001a1867mov rax, [rsp]
001a186bmov [r12], rax
001a186fmov [r12+8], 48059
001a1878mov rax, [rsp+8]
001a187dmov rbx, [rsp+16]
001a1882lea rdi, [rbx+4*rax-4]
001a1887mov rsi, r12
001a188amov rbx, rsp
001a188dmov rsp, [r14+64]
001a1891call caml_initialize
001a1896mov rsp, rbx
001a1899mov ebx, 3
001a189emov rax, r12
001a18a1mov rdi, [rsp+24]
001a18a6mov rsi, [rsp+32]
001a18abmov rdx, [rsp+40]
001a18b0jmp 0x1a17e6
001a18b5
001a18b5 0f 1f 00 ...
001a18b8
001a18b8loc_1a18b8:
001a18b8mov rax, [rsp+16]
001a18bdmov rbx, [rsp+8]
001a18c2mov rdi, [rsp+24]
001a18c7mov rsi, [rsp+32]
001a18ccmov rdx, [rsp+40]
001a18d1jmp 0x1a17e6
001a18d6
001a18d6loc_1a18d6:
001a18d6call caml_call_gc
001a18dbjmp 0x1a185a
001a18e0
001a18e0loc_1a18e0:
001a18e0call caml_call_gc
001a18e5jmp 0x1a17ef
001a18ea
001a18ealoc_1a18ea:
001a18eapush 39
001a18eccall caml_call_realloc_stack
001a18f1pop r10
001a18f3jmp 0x1a17e2
001a17d0

001a18f8
001a18f8 // align 0x10

001a1900
001a1900Stdlib.List.filteri:
001a1900lea r10, [rsp-360]
001a1908cmp r10, [r14+40]
001a190cjb 0x1a19d9
001a1912
001a1912loc_1a1912:
001a1912sub rsp, 40
001a1916
001a1916loc_1a1916:
001a1916mov rsi, rax
001a1919mov rax, rbx
001a191ccmp r15, [r14]
001a191fjbe 0x1a19cf
001a1925
001a1925loc_1a1925:
001a1925test dil, 1
001a1929je 0x1a1938
001a192bmov eax, 1
001a1930add rsp, 40
001a1934ret
001a1935
001a1935 0f 1f 00 ...
001a1938
001a1938loc_1a1938:
001a1938mov [rsp+8], rsi
001a193dmov rbx, [rdi+8]
001a1941mov [rsp+24], rbx
001a1946mov rbx, [rdi]
001a1949mov [rsp], rbx
001a194dmov rdi, rax
001a1950add rdi, 2
001a1954mov [rsp+16], rdi
001a1959mov rdi, rsi
001a195ccall caml_apply2
001a1961cmp rax, 1
001a1965je 0x1a19b4
001a1967sub r15, 24
001a196bcmp r15, [r14]
001a196ejb 0x1a19c8
001a1970
001a1970loc_1a1970:
001a1970lea rax, [r15+8]
001a1974mov [rsp+32], rax
001a1979mov [rax-8], 2048
001a1981mov rbx, [rsp]
001a1985mov [rax], rbx
001a1988mov [rax+8], 48059
001a1990mov ebx, 3
001a1995mov rdi, [rsp+8]
001a199amov rsi, [rsp+16]
001a199fmov rdx, [rsp+24]
001a19a4call Stdlib.List.filteri_dps
001a19a9mov rax, [rsp+32]
001a19aeadd rsp, 40
001a19b2ret
001a19b3
001a19b3 90 .
001a19b4
001a19b4loc_1a19b4:
001a19b4mov rax, [rsp+8]
001a19b9mov rbx, [rsp+16]
001a19bemov rdi, [rsp+24]
001a19c3jmp 0x1a1916
001a19c8
001a19c8loc_1a19c8:
001a19c8call caml_call_gc
001a19cdjmp 0x1a1970
001a19cf
001a19cfloc_1a19cf:
001a19cfcall caml_call_gc
001a19d4jmp 0x1a1925
001a19d9
001a19d9loc_1a19d9:
001a19d9push 38
001a19dbcall caml_call_realloc_stack
001a19e0pop r10
001a19e2jmp 0x1a1912
001a1900

001a19e7
001a19e7 // align 0x10

001a19f0
001a19f0Stdlib.List.filteri:
001a19f0mov rdi, rbx
001a19f3mov ebx, 1
001a19f8jmp 0x1a1900
001a19f0

001a19fd
001a19fd // align 0x10

001a1a00
001a1a00Stdlib.List.filter_map_dps:
001a1a00lea r10, [rsp-352]
001a1a08cmp r10, [r14+40]
001a1a0cjb 0x1a1af2
001a1a12
001a1a12loc_1a1a12:
001a1a12sub rsp, 32
001a1a16
001a1a16loc_1a1a16:
001a1a16cmp r15, [r14]
001a1a19jbe 0x1a1ae8
001a1a1f
001a1a1floc_1a1a1f:
001a1a1ftest sil, 1
001a1a23je 0x1a1a48
001a1a25mov esi, 1
001a1a2alea rdi, [rax+4*rbx-4]
001a1a2fmov rbx, rsp
001a1a32mov rsp, [r14+64]
001a1a36call caml_initialize
001a1a3bmov rsp, rbx
001a1a3emov eax, 1
001a1a43add rsp, 32
001a1a47ret
001a1a48
001a1a48loc_1a1a48:
001a1a48mov [rsp+16], rdi
001a1a4dmov [rsp+8], rbx
001a1a52mov [rsp], rax
001a1a56mov rax, [rsi+8]
001a1a5amov [rsp+24], rax
001a1a5fmov rax, [rsi]
001a1a62mov rsi, [rdi]
001a1a65mov rbx, rdi
001a1a68call rsi
001a1a6atest al, 1
001a1a6cje 0x1a1a84
001a1a6emov rax, [rsp]
001a1a72mov rbx, [rsp+8]
001a1a77mov rdi, [rsp+16]
001a1a7cmov rsi, [rsp+24]
001a1a81jmp 0x1a1a16
001a1a83
001a1a83 90 .
001a1a84
001a1a84loc_1a1a84:
001a1a84mov rax, [rax]
001a1a87sub r15, 24
001a1a8bcmp r15, [r14]
001a1a8ejb 0x1a1ae1
001a1a90
001a1a90loc_1a1a90:
001a1a90lea r12, [r15+8]
001a1a94mov [r12-8], 2048
001a1a9dmov [r12], rax
001a1aa1mov [r12+8], 48059
001a1aaamov rax, [rsp+8]
001a1aafmov rbx, [rsp]
001a1ab3lea rdi, [rbx+4*rax-4]
001a1ab8mov rsi, r12
001a1abbmov rbx, rsp
001a1abemov rsp, [r14+64]
001a1ac2call caml_initialize
001a1ac7mov rsp, rbx
001a1acamov ebx, 3
001a1acfmov rax, r12
001a1ad2mov rdi, [rsp+16]
001a1ad7mov rsi, [rsp+24]
001a1adcjmp 0x1a1a16
001a1ae1
001a1ae1loc_1a1ae1:
001a1ae1call caml_call_gc
001a1ae6jmp 0x1a1a90
001a1ae8
001a1ae8loc_1a1ae8:
001a1ae8call caml_call_gc
001a1aedjmp 0x1a1a1f
001a1af2
001a1af2loc_1a1af2:
001a1af2push 37
001a1af4call caml_call_realloc_stack
001a1af9pop r10
001a1afbjmp 0x1a1a12
001a1a00

001a1b00
001a1b00Stdlib.List.filter_map:
001a1b00lea r10, [rsp-344]
001a1b08cmp r10, [r14+40]
001a1b0cjb 0x1a1bb8
001a1b12
001a1b12loc_1a1b12:
001a1b12sub rsp, 24
001a1b16
001a1b16loc_1a1b16:
001a1b16mov rdi, rax
001a1b19cmp r15, [r14]
001a1b1cjbe 0x1a1bae
001a1b22
001a1b22loc_1a1b22:
001a1b22test bl, 1
001a1b25je 0x1a1b34
001a1b27mov eax, 1
001a1b2cadd rsp, 24
001a1b30ret
001a1b31
001a1b31 0f 1f 00 ...
001a1b34
001a1b34loc_1a1b34:
001a1b34mov [rsp+8], rdi
001a1b39mov rax, [rbx+8]
001a1b3dmov [rsp+16], rax
001a1b42mov rax, [rbx]
001a1b45mov rsi, [rdi]
001a1b48mov rbx, rdi
001a1b4bcall rsi
001a1b4dtest al, 1
001a1b4fje 0x1a1b60
001a1b51mov rax, [rsp+8]
001a1b56mov rbx, [rsp+16]
001a1b5bjmp 0x1a1b16
001a1b5d
001a1b5d 0f 1f 00 ...
001a1b60
001a1b60loc_1a1b60:
001a1b60sub r15, 24
001a1b64cmp r15, [r14]
001a1b67jb 0x1a1ba7
001a1b69
001a1b69loc_1a1b69:
001a1b69lea rdi, [r15+8]
001a1b6dmov [rsp], rdi
001a1b71mov [rdi-8], 2048
001a1b79mov rax, [rax]
001a1b7cmov [rdi], rax
001a1b7fmov [rdi+8], 48059
001a1b87mov ebx, 3
001a1b8cmov rax, rdi
001a1b8fmov rdi, [rsp+8]
001a1b94mov rsi, [rsp+16]
001a1b99call Stdlib.List.filter_map_dps
001a1b9emov rax, [rsp]
001a1ba2add rsp, 24
001a1ba6ret
001a1ba7
001a1ba7loc_1a1ba7:
001a1ba7call caml_call_gc
001a1bacjmp 0x1a1b69
001a1bae
001a1baeloc_1a1bae:
001a1baecall caml_call_gc
001a1bb3jmp 0x1a1b22
001a1bb8
001a1bb8loc_1a1bb8:
001a1bb8push 36
001a1bbacall caml_call_realloc_stack
001a1bbfpop r10
001a1bc1jmp 0x1a1b12
001a1b00

001a1bc6
001a1bc6 // align 0x10

001a1bd0
001a1bd0Stdlib.List.concat_map_dps:
001a1bd0lea r10, [rsp-352]
001a1bd8cmp r10, [r14+40]
001a1bdcjb 0x1a1c58
001a1bde
001a1bdeloc_1a1bde:
001a1bdesub rsp, 32
001a1be2cmp r15, [r14]
001a1be5jbe 0x1a1c51
001a1be7
001a1be7loc_1a1be7:
001a1be7test sil, 1
001a1bebje 0x1a1c10
001a1bedmov esi, 1
001a1bf2lea rdi, [rax+4*rbx-4]
001a1bf7mov rbx, rsp
001a1bfamov rsp, [r14+64]
001a1bfecall caml_initialize
001a1c03mov rsp, rbx
001a1c06mov eax, 1
001a1c0badd rsp, 32
001a1c0fret
001a1c10
001a1c10loc_1a1c10:
001a1c10mov [rsp], rsi
001a1c14mov [rsp+24], rdi
001a1c19mov [rsp+16], rbx
001a1c1emov [rsp+8], rax
001a1c23mov rax, [rsi]
001a1c26mov rsi, [rdi]
001a1c29mov rbx, rdi
001a1c2ccall rsi
001a1c2emov rdi, rax
001a1c31mov rax, [rsp]
001a1c35mov rdx, [rax+8]
001a1c39mov rax, [rsp+8]
001a1c3emov rbx, [rsp+16]
001a1c43mov rsi, [rsp+24]
001a1c48add rsp, 32
001a1c4cjmp 0x1a1ce0
001a1c51
001a1c51loc_1a1c51:
001a1c51call caml_call_gc
001a1c56jmp 0x1a1be7
001a1c58
001a1c58loc_1a1c58:
001a1c58push 37
001a1c5acall caml_call_realloc_stack
001a1c5fpop r10
001a1c61jmp 0x1a1bde
001a1bd0

001a1c66
001a1c66 // align 0x10

001a1c70
001a1c70Stdlib.List.concat_map:
001a1c70lea r10, [rsp-336]
001a1c78cmp r10, [r14+40]
001a1c7cjb 0x1a1ccd
001a1c7e
001a1c7eloc_1a1c7e:
001a1c7esub rsp, 16
001a1c82mov rdi, rax
001a1c85cmp r15, [r14]
001a1c88jbe 0x1a1cc6
001a1c8a
001a1c8aloc_1a1c8a:
001a1c8atest bl, 1
001a1c8dje 0x1a1c9c
001a1c8fmov eax, 1
001a1c94add rsp, 16
001a1c98ret
001a1c99
001a1c99 0f 1f 00 ...
001a1c9c
001a1c9cloc_1a1c9c:
001a1c9cmov [rsp], rbx
001a1ca0mov [rsp+8], rdi
001a1ca5mov rax, [rbx]
001a1ca8mov rsi, [rdi]
001a1cabmov rbx, rdi
001a1caecall rsi
001a1cb0mov rbx, [rsp]
001a1cb4mov rdi, [rbx+8]
001a1cb8mov rbx, [rsp+8]
001a1cbdadd rsp, 16
001a1cc1jmp 0x1a1d60
001a1cc6
001a1cc6loc_1a1cc6:
001a1cc6call caml_call_gc
001a1ccbjmp 0x1a1c8a
001a1ccd
001a1ccdloc_1a1ccd:
001a1ccdpush 35
001a1ccfcall caml_call_realloc_stack
001a1cd4pop r10
001a1cd6jmp 0x1a1c7e
001a1c70

001a1cd8
001a1cd8 // align 0x10

001a1ce0
001a1ce0Stdlib.List.prepend_concat_map_dps:
001a1ce0sub rsp, 8
001a1ce4
001a1ce4loc_1a1ce4:
001a1ce4mov r13, rdi
001a1ce7mov rbp, rsi
001a1ceamov [rsp], rdx
001a1ceetest r13b, 1
001a1cf2je 0x1a1d04
001a1cf4mov rdi, rbp
001a1cf7mov rsi, [rsp]
001a1cfbadd rsp, 8
001a1cffjmp 0x1a1bd0
001a1d04
001a1d04loc_1a1d04:
001a1d04mov rdi, [r13]
001a1d08sub r15, 24
001a1d0ccmp r15, [r14]
001a1d0fjb 0x1a1d57
001a1d11
001a1d11loc_1a1d11:
001a1d11lea r12, [r15+8]
001a1d15mov [r12-8], 2048
001a1d1emov [r12], rdi
001a1d22mov [r12+8], 48059
001a1d2blea rdi, [rax+4*rbx-4]
001a1d30mov rsi, r12
001a1d33mov rbx, rsp
001a1d36mov rsp, [r14+64]
001a1d3acall caml_initialize
001a1d3fmov rsp, rbx
001a1d42mov rdi, [r13+8]
001a1d46mov ebx, 3
001a1d4bmov rax, r12
001a1d4emov rsi, rbp
001a1d51mov rdx, [rsp]
001a1d55jmp 0x1a1ce4
001a1d57
001a1d57loc_1a1d57:
001a1d57call caml_call_gc
001a1d5cjmp 0x1a1d11
001a1ce0

001a1d5e
001a1d5e // align 0x10

001a1d60
001a1d60Stdlib.List.prepend_concat_map:
001a1d60lea r10, [rsp-328]
001a1d68cmp r10, [r14+40]
001a1d6cjb 0x1a1dd4
001a1d6e
001a1d6eloc_1a1d6e:
001a1d6esub rsp, 8
001a1d72mov rsi, rbx
001a1d75mov rdx, rdi
001a1d78test al, 1
001a1d7aje 0x1a1d8c
001a1d7cmov rax, rsi
001a1d7fmov rbx, rdx
001a1d82add rsp, 8
001a1d86jmp 0x1a1c70
001a1d8b
001a1d8b 90 .
001a1d8c
001a1d8cloc_1a1d8c:
001a1d8csub r15, 24
001a1d90cmp r15, [r14]
001a1d93jb 0x1a1dcd
001a1d95
001a1d95loc_1a1d95:
001a1d95lea rcx, [r15+8]
001a1d99mov [rsp], rcx
001a1d9dmov [rcx-8], 2048
001a1da5mov rbx, [rax]
001a1da8mov [rcx], rbx
001a1dabmov [rcx+8], 48059
001a1db3mov rdi, [rax+8]
001a1db7mov ebx, 3
001a1dbcmov rax, rcx
001a1dbfcall Stdlib.List.prepend_concat_map_dps
001a1dc4mov rax, [rsp]
001a1dc8add rsp, 8
001a1dccret
001a1dcd
001a1dcdloc_1a1dcd:
001a1dcdcall caml_call_gc
001a1dd2jmp 0x1a1d95
001a1dd4
001a1dd4loc_1a1dd4:
001a1dd4push 34
001a1dd6call caml_call_realloc_stack
001a1ddbpop r10
001a1dddjmp 0x1a1d6e
001a1d60

001a1ddf
001a1ddf // align 0x10

001a1de0
001a1de0Stdlib.List.take:
001a1de0lea r10, [rsp-336]
001a1de8cmp r10, [r14+40]
001a1decjb 0x1a1e2b
001a1dee
001a1deeloc_1a1dee:
001a1deesub rsp, 16
001a1df2mov [rsp], rax
001a1df6mov [rsp+8], rbx
001a1dfbcmp r15, [r14]
001a1dfejbe 0x1a1e24
001a1e00
001a1e00loc_1a1e00:
001a1e00cmp rax, 1
001a1e04jge 0x1a1e12
001a1e06lea rax, [rip+0x1937b3]
001a1e0dcall camlStdlib.invalid_arg_10
001a1e12
001a1e12loc_1a1e12:
001a1e12mov rax, [rsp]
001a1e16mov rbx, [rsp+8]
001a1e1badd rsp, 16
001a1e1fjmp 0x1a1ed0
001a1e24
001a1e24loc_1a1e24:
001a1e24call caml_call_gc
001a1e29jmp 0x1a1e00
001a1e2b
001a1e2bloc_1a1e2b:
001a1e2bpush 35
001a1e2dcall caml_call_realloc_stack
001a1e32pop r10
001a1e34jmp 0x1a1dee
001a1de0

001a1e36
001a1e36 // align 0x10

001a1e40
001a1e40Stdlib.List.aux_dps:
001a1e40mov rbp, rdi
001a1e43mov r13, rsi
001a1e46cmp rbp, 1
001a1e4aje 0x1a1ea8
001a1e4ctest r13b, 1
001a1e50jne 0x1a1ea8
001a1e52mov rdi, [r13]
001a1e56sub r15, 24
001a1e5acmp r15, [r14]
001a1e5djb 0x1a1ec7
001a1e5f
001a1e5floc_1a1e5f:
001a1e5flea r12, [r15+8]
001a1e63mov [r12-8], 2048
001a1e6cmov [r12], rdi
001a1e70mov [r12+8], 48059
001a1e79lea rdi, [rax+4*rbx-4]
001a1e7emov rsi, r12
001a1e81mov rbx, rsp
001a1e84mov rsp, [r14+64]
001a1e88call caml_initialize
001a1e8dmov rsp, rbx
001a1e90mov rsi, [r13+8]
001a1e94mov rdi, rbp
001a1e97add rdi, -2
001a1e9bmov ebx, 3
001a1ea0mov rax, r12
001a1ea3jmp 0x1a1e40
001a1ea5
001a1ea5 0f 1f 00 ...
001a1ea8
001a1ea8loc_1a1ea8:
001a1ea8mov esi, 1
001a1eadlea rdi, [rax+4*rbx-4]
001a1eb2mov rbx, rsp
001a1eb5mov rsp, [r14+64]
001a1eb9call caml_initialize
001a1ebemov rsp, rbx
001a1ec1mov eax, 1
001a1ec6ret
001a1ec7
001a1ec7loc_1a1ec7:
001a1ec7call caml_call_gc
001a1eccjmp 0x1a1e5f
001a1e40

001a1ece
001a1ece // align 0x10

001a1ed0
001a1ed0Stdlib.List.aux:
001a1ed0lea r10, [rsp-328]
001a1ed8cmp r10, [r14+40]
001a1edcjb 0x1a1f45
001a1ede
001a1edeloc_1a1ede:
001a1edesub rsp, 8
001a1ee2mov rdi, rax
001a1ee5cmp rdi, 1
001a1ee9je 0x1a1f34
001a1eebtest bl, 1
001a1eeejne 0x1a1f34
001a1ef0sub r15, 24
001a1ef4cmp r15, [r14]
001a1ef7jb 0x1a1f3e
001a1ef9
001a1ef9loc_1a1ef9:
001a1ef9lea rax, [r15+8]
001a1efdmov [rsp], rax
001a1f01mov [rax-8], 2048
001a1f09mov rsi, [rbx]
001a1f0cmov [rax], rsi
001a1f0fmov [rax+8], 48059
001a1f17mov rsi, [rbx+8]
001a1f1badd rdi, -2
001a1f1fmov ebx, 3
001a1f24call Stdlib.List.aux_dps
001a1f29mov rax, [rsp]
001a1f2dadd rsp, 8
001a1f31ret
001a1f32
001a1f32 66 90 f.
001a1f34
001a1f34loc_1a1f34:
001a1f34mov eax, 1
001a1f39add rsp, 8
001a1f3dret
001a1f3e
001a1f3eloc_1a1f3e:
001a1f3ecall caml_call_gc
001a1f43jmp 0x1a1ef9
001a1f45
001a1f45loc_1a1f45:
001a1f45push 34
001a1f47call caml_call_realloc_stack
001a1f4cpop r10
001a1f4ejmp 0x1a1ede
001a1ed0

001a1f50
001a1f50Stdlib.List.drop:
001a1f50lea r10, [rsp-336]
001a1f58cmp r10, [r14+40]
001a1f5cjb 0x1a1fd7
001a1f5e
001a1f5eloc_1a1f5e:
001a1f5esub rsp, 16
001a1f62mov [rsp], rbx
001a1f66sub r15, 40
001a1f6acmp r15, [r14]
001a1f6djb 0x1a1fd0
001a1f6f
001a1f6floc_1a1f6f:
001a1f6flea rbx, [r15+8]
001a1f73mov [rsp+8], rbx
001a1f78mov [rbx-8], 4343
001a1f80lea rdi, [rip-0xaaf67]
001a1f87mov [rbx], rdi
001a1f8amov rdi, 0x200000000000007
001a1f94mov [rbx+8], rdi
001a1f98lea rdi, [rip+81]
001a1f9fmov [rbx+16], rdi
001a1fa3mov [rbx+24], rax
001a1fa7cmp rax, 1
001a1fabjge 0x1a1fb9
001a1fadlea rax, [rip+0x1935f4]
001a1fb4call camlStdlib.invalid_arg_10
001a1fb9
001a1fb9loc_1a1fb9:
001a1fb9mov eax, 1
001a1fbemov rbx, [rsp]
001a1fc2mov rdi, [rsp+8]
001a1fc7add rsp, 16
001a1fcbjmp 0x1a1ff0
001a1fd0
001a1fd0loc_1a1fd0:
001a1fd0call caml_call_gc
001a1fd5jmp 0x1a1f6f
001a1fd7
001a1fd7loc_1a1fd7:
001a1fd7push 35
001a1fd9call caml_call_realloc_stack
001a1fdepop r10
001a1fe0jmp 0x1a1f5e
001a1f50

001a1fe5
001a1fe5 // align 0x10

001a1ff0
001a1ff0Stdlib.List.aux:
001a1ff0cmp r15, [r14]
001a1ff3jbe 0x1a2014
001a1ff5
001a1ff5loc_1a1ff5:
001a1ff5test bl, 1
001a1ff8jne 0x1a2010
001a1ffamov rsi, [rdi+24]
001a1ffecmp rax, rsi
001a2001jge 0x1a2010
001a2003mov rbx, [rbx+8]
001a2007add rax, 2
001a200bjmp 0x1a1ff0
001a200d
001a200d 0f 1f 00 ...
001a2010
001a2010loc_1a2010:
001a2010mov rax, rbx
001a2013ret
001a2014
001a2014loc_1a2014:
001a2014call caml_call_gc
001a2019jmp 0x1a1ff5
001a1ff0

001a201b
001a201b // align 0x10

001a2020
001a2020Stdlib.List.take_while:
001a2020sub r15, 64
001a2024cmp r15, [r14]
001a2027jb 0x1a2088
001a2029
001a2029loc_1a2029:
001a2029lea rdi, [r15+8]
001a202dmov [rdi-8], 7415
001a2035lea rsi, [rip+340]
001a203cmov [rdi], rsi
001a203fmov rsi, 0x10000000000000d
001a2049mov [rdi+8], rsi
001a204dmov [rdi+16], 3321
001a2055lea rsi, [rip-0xab12c]
001a205cmov [rdi+24], rsi
001a2060mov rsi, 0x300000000000007
001a206amov [rdi+32], rsi
001a206elea rsi, [rip+27]
001a2075mov [rdi+40], rsi
001a2079mov [rdi+48], rax
001a207dmov rax, rbx
001a2080mov rbx, rdi
001a2083jmp 0x1a2190
001a2088
001a2088loc_1a2088:
001a2088call caml_call_gc
001a208djmp 0x1a2029
001a2020

001a208f
001a208f // align 0x10

001a2090
001a2090Stdlib.List.aux_dps:
001a2090lea r10, [rsp-360]
001a2098cmp r10, [r14+40]
001a209cjb 0x1a217b
001a20a2
001a20a2loc_1a20a2:
001a20a2sub rsp, 40
001a20a6
001a20a6loc_1a20a6:
001a20a6mov [rsp+16], rax
001a20abmov [rsp+8], rbx
001a20b0test dil, 1
001a20b4jne 0x1a2144
001a20bamov [rsp+32], rsi
001a20bfmov [rsp+24], rdi
001a20c4mov rax, [rdi]
001a20c7mov [rsp], rax
001a20cbmov rbx, [rsi+24]
001a20cfmov rdi, [rbx]
001a20d2call rdi
001a20d4cmp rax, 1
001a20d8je 0x1a2144
001a20dasub r15, 24
001a20decmp r15, [r14]
001a20e1jb 0x1a2171
001a20e7
001a20e7loc_1a20e7:
001a20e7lea r12, [r15+8]
001a20ebmov [r12-8], 2048
001a20f4mov rax, [rsp]
001a20f8mov [r12], rax
001a20fcmov [r12+8], 48059
001a2105mov rax, [rsp+8]
001a210amov rbx, [rsp+16]
001a210flea rdi, [rbx+4*rax-4]
001a2114mov rsi, r12
001a2117mov rbx, rsp
001a211amov rsp, [r14+64]
001a211ecall caml_initialize
001a2123mov rsp, rbx
001a2126mov rax, [rsp+24]
001a212bmov rdi, [rax+8]
001a212fmov ebx, 3
001a2134mov rax, r12
001a2137mov rsi, [rsp+32]
001a213cjmp 0x1a20a6
001a2141
001a2141 0f 1f 00 ...
001a2144
001a2144loc_1a2144:
001a2144mov esi, 1
001a2149mov rax, [rsp+8]
001a214emov rbx, [rsp+16]
001a2153lea rdi, [rbx+4*rax-4]
001a2158mov rbx, rsp
001a215bmov rsp, [r14+64]
001a215fcall caml_initialize
001a2164mov rsp, rbx
001a2167mov eax, 1
001a216cadd rsp, 40
001a2170ret
001a2171
001a2171loc_1a2171:
001a2171call caml_call_gc
001a2176jmp 0x1a20e7
001a217b
001a217bloc_1a217b:
001a217bpush 38
001a217dcall caml_call_realloc_stack
001a2182pop r10
001a2184jmp 0x1a20a2
001a2090

001a2189
001a2189 // align 0x10

001a2190
001a2190Stdlib.List.aux:
001a2190lea r10, [rsp-352]
001a2198cmp r10, [r14+40]
001a219cjb 0x1a222d
001a21a2
001a21a2loc_1a21a2:
001a21a2sub rsp, 32
001a21a6test al, 1
001a21a8jne 0x1a221c
001a21aamov [rsp+8], rbx
001a21afmov [rsp+16], rax
001a21b4mov rax, [rax]
001a21b7mov [rsp], rax
001a21bbmov rbx, [rbx+48]
001a21bfmov rdi, [rbx]
001a21c2call rdi
001a21c4cmp rax, 1
001a21c8je 0x1a221c
001a21casub r15, 24
001a21cecmp r15, [r14]
001a21d1jb 0x1a2226
001a21d3
001a21d3loc_1a21d3:
001a21d3lea rax, [r15+8]
001a21d7mov [rsp+24], rax
001a21dcmov [rax-8], 2048
001a21e4mov rbx, [rsp]
001a21e8mov [rax], rbx
001a21ebmov [rax+8], 48059
001a21f3mov rsi, [rsp+8]
001a21f8add rsi, 24
001a21fcmov rbx, [rsp+16]
001a2201mov rdi, [rbx+8]
001a2205mov ebx, 3
001a220acall Stdlib.List.aux_dps
001a220fmov rax, [rsp+24]
001a2214add rsp, 32
001a2218ret
001a2219
001a2219 0f 1f 00 ...
001a221c
001a221cloc_1a221c:
001a221cmov eax, 1
001a2221add rsp, 32
001a2225ret
001a2226
001a2226loc_1a2226:
001a2226call caml_call_gc
001a222bjmp 0x1a21d3
001a222d
001a222dloc_1a222d:
001a222dpush 37
001a222fcall caml_call_realloc_stack
001a2234pop r10
001a2236jmp 0x1a21a2
001a2190

001a223b
001a223b // align 0x10

001a2240
001a2240Stdlib.List.drop_while:
001a2240lea r10, [rsp-336]
001a2248cmp r10, [r14+40]
001a224cjb 0x1a2298
001a224e
001a224eloc_1a224e:
001a224esub rsp, 16
001a2252
001a2252loc_1a2252:
001a2252mov rdi, rax
001a2255mov [rsp], rbx
001a2259cmp r15, [r14]
001a225cjbe 0x1a2291
001a225e
001a225eloc_1a225e:
001a225etest bl, 1
001a2261jne 0x1a2288
001a2263mov [rsp+8], rdi
001a2268mov rax, [rbx]
001a226bmov rsi, [rdi]
001a226emov rbx, rdi
001a2271call rsi
001a2273cmp rax, 1
001a2277je 0x1a2288
001a2279mov rax, [rsp]
001a227dmov rbx, [rax+8]
001a2281mov rax, [rsp+8]
001a2286jmp 0x1a2252
001a2288
001a2288loc_1a2288:
001a2288mov rax, [rsp]
001a228cadd rsp, 16
001a2290ret
001a2291
001a2291loc_1a2291:
001a2291call caml_call_gc
001a2296jmp 0x1a225e
001a2298
001a2298loc_1a2298:
001a2298push 35
001a229acall caml_call_realloc_stack
001a229fpop r10
001a22a1jmp 0x1a224e
001a2240

001a22a3
001a22a3 // align 0x10

001a22b0
001a22b0Stdlib.List.fold_left_map:
001a22b0sub r15, 40
001a22b4cmp r15, [r14]
001a22b7jb 0x1a22fc
001a22b9
001a22b9loc_1a22b9:
001a22b9lea rsi, [r15+8]
001a22bdmov [rsi-8], 4343
001a22c5lea rdx, [rip-0xab39c]
001a22ccmov [rsi], rdx
001a22cfmov rdx, 0x300000000000007
001a22d9mov [rsi+8], rdx
001a22ddlea rdx, [rip+44]
001a22e4mov [rsi+16], rdx
001a22e8mov [rsi+24], rax
001a22ecmov edx, 1
001a22f1mov rax, rbx
001a22f4mov rbx, rdx
001a22f7jmp 0x1a2310
001a22fc
001a22fcloc_1a22fc:
001a22fccall caml_call_gc
001a2301jmp 0x1a22b9
001a22b0

001a2303
001a2303 // align 0x10

001a2310
001a2310Stdlib.List.aux:
001a2310lea r10, [rsp-344]
001a2318cmp r10, [r14+40]
001a231cjb 0x1a23d0
001a2322
001a2322loc_1a2322:
001a2322sub rsp, 24
001a2326
001a2326loc_1a2326:
001a2326test dil, 1
001a232aje 0x1a2368
001a232cmov [rsp], rax
001a2330mov edi, 1
001a2335mov rax, rbx
001a2338mov rbx, rdi
001a233bcall Stdlib.List.rev_append
001a2340sub r15, 24
001a2344cmp r15, [r14]
001a2347jb 0x1a23c6
001a2349
001a2349loc_1a2349:
001a2349lea rbx, [r15+8]
001a234dmov [rbx-8], 2048
001a2355mov rdi, [rsp]
001a2359mov [rbx], rdi
001a235cmov [rbx+8], rax
001a2360mov rax, rbx
001a2363add rsp, 24
001a2367ret
001a2368
001a2368loc_1a2368:
001a2368mov [rsp+16], rsi
001a236dmov [rsp+8], rdi
001a2372mov [rsp], rbx
001a2376mov rsi, [rsi+24]
001a237amov rbx, [rdi]
001a237dmov rdi, rsi
001a2380call caml_apply2
001a2385sub r15, 24
001a2389cmp r15, [r14]
001a238cjb 0x1a23bf
001a238e
001a238eloc_1a238e:
001a238elea rbx, [r15+8]
001a2392mov [rbx-8], 2048
001a239amov rdi, [rax+8]
001a239emov [rbx], rdi
001a23a1mov rdi, [rsp]
001a23a5mov [rbx+8], rdi
001a23a9mov rdi, [rsp+8]
001a23aemov rdi, [rdi+8]
001a23b2mov rax, [rax]
001a23b5mov rsi, [rsp+16]
001a23bajmp 0x1a2326
001a23bf
001a23bfloc_1a23bf:
001a23bfcall caml_call_gc
001a23c4jmp 0x1a238e
001a23c6
001a23c6loc_1a23c6:
001a23c6call caml_call_gc
001a23cbjmp 0x1a2349
001a23d0
001a23d0loc_1a23d0:
001a23d0push 36
001a23d2call caml_call_realloc_stack
001a23d7pop r10
001a23d9jmp 0x1a2322
001a2310

001a23de
001a23de // align 0x10

001a23e0
001a23e0Stdlib.List.partition:
001a23e0mov rdi, rbx
001a23e3sub r15, 40
001a23e7cmp r15, [r14]
001a23eajb 0x1a242e
001a23ec
001a23ecloc_1a23ec:
001a23eclea rsi, [r15+8]
001a23f0mov [rsi-8], 4343
001a23f8lea rbx, [rip-0xab4cf]
001a23ffmov [rsi], rbx
001a2402mov rbx, 0x300000000000007
001a240cmov [rsi+8], rbx
001a2410lea rbx, [rip+41]
001a2417mov [rsi+16], rbx
001a241bmov [rsi+24], rax
001a241fmov ebx, 1
001a2424mov eax, 1
001a2429jmp 0x1a2440
001a242e
001a242eloc_1a242e:
001a242ecall caml_call_gc
001a2433jmp 0x1a23ec
001a23e0

001a2435
001a2435 // align 0x10

001a2440
001a2440Stdlib.List.part:
001a2440lea r10, [rsp-360]
001a2448cmp r10, [r14+40]
001a244cjb 0x1a2565
001a2452
001a2452loc_1a2452:
001a2452sub rsp, 40
001a2456
001a2456loc_1a2456:
001a2456mov [rsp+32], rax
001a245bmov rax, rbx
001a245etest dil, 1
001a2462je 0x1a24b0
001a2464mov ebx, 1
001a2469call Stdlib.List.rev_append
001a246emov [rsp], rax
001a2472mov ebx, 1
001a2477mov rax, [rsp+32]
001a247ccall Stdlib.List.rev_append
001a2481sub r15, 24
001a2485cmp r15, [r14]
001a2488jb 0x1a255b
001a248e
001a248eloc_1a248e:
001a248elea rbx, [r15+8]
001a2492mov [rbx-8], 2048
001a249amov [rbx], rax
001a249dmov rax, [rsp]
001a24a1mov [rbx+8], rax
001a24a5mov rax, rbx
001a24a8add rsp, 40
001a24acret
001a24ad
001a24ad 0f 1f 00 ...
001a24b0
001a24b0loc_1a24b0:
001a24b0mov [rsp+24], rsi
001a24b5mov [rsp+8], rax
001a24bamov rax, [rdi+8]
001a24bemov [rsp+16], rax
001a24c3mov rax, [rdi]
001a24c6mov [rsp], rax
001a24camov rbx, [rsi+24]
001a24cemov rdi, [rbx]
001a24d1call rdi
001a24d3cmp rax, 1
001a24d7je 0x1a2514
001a24d9sub r15, 24
001a24ddcmp r15, [r14]
001a24e0jb 0x1a2554
001a24e2
001a24e2loc_1a24e2:
001a24e2lea rax, [r15+8]
001a24e6mov [rax-8], 2048
001a24eemov rbx, [rsp]
001a24f2mov [rax], rbx
001a24f5mov rbx, [rsp+32]
001a24famov [rax+8], rbx
001a24femov rbx, [rsp+8]
001a2503mov rdi, [rsp+16]
001a2508mov rsi, [rsp+24]
001a250djmp 0x1a2456
001a2512
001a2512 66 90 f.
001a2514
001a2514loc_1a2514:
001a2514sub r15, 24
001a2518cmp r15, [r14]
001a251bjb 0x1a254d
001a251d
001a251dloc_1a251d:
001a251dlea rbx, [r15+8]
001a2521mov [rbx-8], 2048
001a2529mov rax, [rsp]
001a252dmov [rbx], rax
001a2530mov rax, [rsp+8]
001a2535mov [rbx+8], rax
001a2539mov rax, [rsp+32]
001a253emov rdi, [rsp+16]
001a2543mov rsi, [rsp+24]
001a2548jmp 0x1a2456
001a254d
001a254dloc_1a254d:
001a254dcall caml_call_gc
001a2552jmp 0x1a251d
001a2554
001a2554loc_1a2554:
001a2554call caml_call_gc
001a2559jmp 0x1a24e2
001a255b
001a255bloc_1a255b:
001a255bcall caml_call_gc
001a2560jmp 0x1a248e
001a2565
001a2565loc_1a2565:
001a2565push 38
001a2567call caml_call_realloc_stack
001a256cpop r10
001a256ejmp 0x1a2452
001a2440

001a2573
001a2573 // align 0x10

001a2580
001a2580Stdlib.List.partition_map:
001a2580mov rdi, rbx
001a2583sub r15, 40
001a2587cmp r15, [r14]
001a258ajb 0x1a25ce
001a258c
001a258cloc_1a258c:
001a258clea rsi, [r15+8]
001a2590mov [rsi-8], 4343
001a2598lea rbx, [rip-0xab66f]
001a259fmov [rsi], rbx
001a25a2mov rbx, 0x300000000000007
001a25acmov [rsi+8], rbx
001a25b0lea rbx, [rip+41]
001a25b7mov [rsi+16], rbx
001a25bbmov [rsi+24], rax
001a25bfmov ebx, 1
001a25c4mov eax, 1
001a25c9jmp 0x1a25e0
001a25ce
001a25celoc_1a25ce:
001a25cecall caml_call_gc
001a25d3jmp 0x1a258c
001a2580

001a25d5
001a25d5 // align 0x10

001a25e0
001a25e0Stdlib.List.part:
001a25e0lea r10, [rsp-352]
001a25e8cmp r10, [r14+40]
001a25ecjb 0x1a2702
001a25f2
001a25f2loc_1a25f2:
001a25f2sub rsp, 32
001a25f6
001a25f6loc_1a25f6:
001a25f6mov [rsp+24], rax
001a25fbmov rax, rbx
001a25fetest dil, 1
001a2602je 0x1a2650
001a2604mov ebx, 1
001a2609call Stdlib.List.rev_append
001a260emov [rsp], rax
001a2612mov ebx, 1
001a2617mov rax, [rsp+24]
001a261ccall Stdlib.List.rev_append
001a2621sub r15, 24
001a2625cmp r15, [r14]
001a2628jb 0x1a26f8
001a262e
001a262eloc_1a262e:
001a262elea rbx, [r15+8]
001a2632mov [rbx-8], 2048
001a263amov [rbx], rax
001a263dmov rax, [rsp]
001a2641mov [rbx+8], rax
001a2645mov rax, rbx
001a2648add rsp, 32
001a264cret
001a264d
001a264d 0f 1f 00 ...
001a2650
001a2650loc_1a2650:
001a2650mov [rsp+16], rsi
001a2655mov [rsp], rax
001a2659mov rax, [rdi+8]
001a265dmov [rsp+8], rax
001a2662mov rbx, [rsi+24]
001a2666mov rax, [rdi]
001a2669mov rdi, [rbx]
001a266ccall rdi
001a266emovzx rbx, [rax-8]
001a2673test rbx, rbx
001a2676je 0x1a26b0
001a2678sub r15, 24
001a267ccmp r15, [r14]
001a267fjb 0x1a26f1
001a2681
001a2681loc_1a2681:
001a2681lea rbx, [r15+8]
001a2685mov [rbx-8], 2048
001a268dmov rax, [rax]
001a2690mov [rbx], rax
001a2693mov rax, [rsp]
001a2697mov [rbx+8], rax
001a269bmov rax, [rsp+24]
001a26a0mov rdi, [rsp+8]
001a26a5mov rsi, [rsp+16]
001a26aajmp 0x1a25f6
001a26af
001a26af 90 .
001a26b0
001a26b0loc_1a26b0:
001a26b0sub r15, 24
001a26b4cmp r15, [r14]
001a26b7jb 0x1a26ea
001a26b9
001a26b9loc_1a26b9:
001a26b9lea rbx, [r15+8]
001a26bdmov [rbx-8], 2048
001a26c5mov rax, [rax]
001a26c8mov [rbx], rax
001a26cbmov rax, [rsp+24]
001a26d0mov [rbx+8], rax
001a26d4mov rax, rbx
001a26d7mov rbx, [rsp]
001a26dbmov rdi, [rsp+8]
001a26e0mov rsi, [rsp+16]
001a26e5jmp 0x1a25f6
001a26ea
001a26ealoc_1a26ea:
001a26eacall caml_call_gc
001a26efjmp 0x1a26b9
001a26f1
001a26f1loc_1a26f1:
001a26f1call caml_call_gc
001a26f6jmp 0x1a2681
001a26f8
001a26f8loc_1a26f8:
001a26f8call caml_call_gc
001a26fdjmp 0x1a262e
001a2702
001a2702loc_1a2702:
001a2702push 37
001a2704call caml_call_realloc_stack
001a2709pop r10
001a270bjmp 0x1a25f2
001a25e0

001a2710
001a2710Stdlib.List.split:
001a2710lea r10, [rsp-328]
001a2718cmp r10, [r14+40]
001a271cjb 0x1a27ac
001a2722
001a2722loc_1a2722:
001a2722sub rsp, 8
001a2726test al, 1
001a2728je 0x1a2738
001a272alea rax, [rip+0x192e5f]
001a2731add rsp, 8
001a2735ret
001a2736
001a2736 66 90 f.
001a2738
001a2738loc_1a2738:
001a2738mov rbx, [rax]
001a273bmov [rsp], rbx
001a273fmov rax, [rax+8]
001a2743call Stdlib.List.split
001a2748sub r15, 72
001a274ccmp r15, [r14]
001a274fjb 0x1a27a5
001a2751
001a2751loc_1a2751:
001a2751lea rbx, [r15+8]
001a2755add rbx, 48
001a2759mov [rbx-8], 2048
001a2761mov rsi, [rsp]
001a2765mov rdi, [rsi+8]
001a2769mov [rbx], rdi
001a276cmov rdi, [rax+8]
001a2770mov [rbx+8], rdi
001a2774lea rdi, [rbx-24]
001a2778mov [rdi-8], 2048
001a2780mov rsi, [rsi]
001a2783mov [rdi], rsi
001a2786mov rax, [rax]
001a2789mov [rdi+8], rax
001a278dlea rax, [rdi-24]
001a2791mov [rax-8], 2048
001a2799mov [rax], rdi
001a279cmov [rax+8], rbx
001a27a0add rsp, 8
001a27a4ret
001a27a5
001a27a5loc_1a27a5:
001a27a5call caml_call_gc
001a27aajmp 0x1a2751
001a27ac
001a27acloc_1a27ac:
001a27acpush 34
001a27aecall caml_call_realloc_stack
001a27b3pop r10
001a27b5jmp 0x1a2722
001a2710

001a27ba
001a27ba // align 0x10

001a27c0
001a27c0Stdlib.List.combine:
001a27c0lea r10, [rsp-336]
001a27c8cmp r10, [r14+40]
001a27ccjb 0x1a286b
001a27d2
001a27d2loc_1a27d2:
001a27d2sub rsp, 16
001a27d6test al, 1
001a27d8je 0x1a27ec
001a27datest bl, 1
001a27ddje 0x1a2854
001a27dfmov eax, 1
001a27e4add rsp, 16
001a27e8ret
001a27e9
001a27e9 0f 1f 00 ...
001a27ec
001a27ecloc_1a27ec:
001a27ectest bl, 1
001a27efjne 0x1a2854
001a27f1mov [rsp+8], rbx
001a27f6mov [rsp], rax
001a27famov rbx, [rbx+8]
001a27femov rax, [rax+8]
001a2802call Stdlib.List.combine
001a2807sub r15, 48
001a280bcmp r15, [r14]
001a280ejb 0x1a2864
001a2810
001a2810loc_1a2810:
001a2810lea rbx, [r15+8]
001a2814add rbx, 24
001a2818mov [rbx-8], 2048
001a2820mov rdi, [rsp]
001a2824mov rdi, [rdi]
001a2827mov [rbx], rdi
001a282amov rdi, [rsp+8]
001a282fmov rdi, [rdi]
001a2832mov [rbx+8], rdi
001a2836lea rdi, [rbx-24]
001a283amov [rdi-8], 2048
001a2842mov [rdi], rbx
001a2845mov [rdi+8], rax
001a2849mov rax, rdi
001a284cadd rsp, 16
001a2850ret
001a2851
001a2851 0f 1f 00 ...
001a2854
001a2854loc_1a2854:
001a2854lea rax, [rip+0x192d1d]
001a285badd rsp, 16
001a285fjmp 0x195ab0
001a2864
001a2864loc_1a2864:
001a2864call caml_call_gc
001a2869jmp 0x1a2810
001a286b
001a286bloc_1a286b:
001a286bpush 35
001a286dcall caml_call_realloc_stack
001a2872pop r10
001a2874jmp 0x1a27d2
001a27c0

001a2879
001a2879 // align 0x10

001a2880
001a2880Stdlib.List.merge:
001a2880lea r10, [rsp-360]
001a2888cmp r10, [r14+40]
001a288cjb 0x1a2972
001a2892
001a2892loc_1a2892:
001a2892sub rsp, 40
001a2896mov rsi, rax
001a2899mov rax, rbx
001a289ctest al, 1
001a289eje 0x1a28a8
001a28a0mov rax, rdi
001a28a3add rsp, 40
001a28a7ret
001a28a8
001a28a8loc_1a28a8:
001a28a8test dil, 1
001a28acje 0x1a28b4
001a28aeadd rsp, 40
001a28b2ret
001a28b3
001a28b3 90 .
001a28b4
001a28b4loc_1a28b4:
001a28b4mov [rsp+24], rdi
001a28b9mov [rsp+8], rax
001a28bemov [rsp+16], rsi
001a28c3mov rbx, [rdi]
001a28c6mov [rsp], rbx
001a28camov rax, [rax]
001a28cdmov [rsp+32], rax
001a28d2mov rdi, rsi
001a28d5call caml_apply2
001a28dacmp rax, 1
001a28dejg 0x1a2924
001a28e0mov rax, [rsp+8]
001a28e5mov rbx, [rax+8]
001a28e9mov rax, [rsp+16]
001a28eemov rdi, [rsp+24]
001a28f3call Stdlib.List.merge
001a28f8sub r15, 24
001a28fccmp r15, [r14]
001a28ffjb 0x1a296b
001a2901
001a2901loc_1a2901:
001a2901lea rbx, [r15+8]
001a2905mov [rbx-8], 2048
001a290dmov rdi, [rsp+32]
001a2912mov [rbx], rdi
001a2915mov [rbx+8], rax
001a2919mov rax, rbx
001a291cadd rsp, 40
001a2920ret
001a2921
001a2921 0f 1f 00 ...
001a2924
001a2924loc_1a2924:
001a2924mov rax, [rsp+24]
001a2929mov rdi, [rax+8]
001a292dmov rax, [rsp+16]
001a2932mov rbx, [rsp+8]
001a2937call Stdlib.List.merge
001a293csub r15, 24
001a2940cmp r15, [r14]
001a2943jb 0x1a2964
001a2945
001a2945loc_1a2945:
001a2945lea rbx, [r15+8]
001a2949mov [rbx-8], 2048
001a2951mov rdi, [rsp]
001a2955mov [rbx], rdi
001a2958mov [rbx+8], rax
001a295cmov rax, rbx
001a295fadd rsp, 40
001a2963ret
001a2964
001a2964loc_1a2964:
001a2964call caml_call_gc
001a2969jmp 0x1a2945
001a296b
001a296bloc_1a296b:
001a296bcall caml_call_gc
001a2970jmp 0x1a2901
001a2972
001a2972loc_1a2972:
001a2972push 38
001a2974call caml_call_realloc_stack
001a2979pop r10
001a297bjmp 0x1a2892
001a2880

001a2980
001a2980Stdlib.List.stable_sort:
001a2980lea r10, [rsp-336]
001a2988cmp r10, [r14+40]
001a298cjb 0x1a2ac4
001a2992
001a2992loc_1a2992:
001a2992sub rsp, 16
001a2996mov [rsp+8], rbx
001a299bsub r15, 168
001a29a2cmp r15, [r14]
001a29a5jb 0x1a2aba
001a29ab
001a29abloc_1a29ab:
001a29ablea rdi, [r15+8]
001a29afadd rdi, 128
001a29b6mov [rdi-8], 4343
001a29belea rdx, [rip-0xaba95]
001a29c5mov [rdi], rdx
001a29c8mov rsi, 0x300000000000007
001a29d2mov [rdi+8], rsi
001a29d6lea rsi, [rip+259]
001a29ddmov [rdi+16], rsi
001a29e1mov [rdi+24], rax
001a29e5lea rsi, [rdi-40]
001a29e9mov [rsi-8], 4343
001a29f1mov [rsi], rdx
001a29f4mov rdx, 0x300000000000007
001a29femov [rsi+8], rdx
001a2a02lea rdx, [rip+487]
001a2a09mov [rsi+16], rdx
001a2a0dmov [rsi+24], rax
001a2a11lea rdx, [rsi-88]
001a2a15mov [rsp], rdx
001a2a19mov [rdx-8], 10487
001a2a21lea rcx, [rip-0xaba08]
001a2a28mov [rdx], rcx
001a2a2bmov r8, 0x20000000000000f
001a2a35mov [rdx+8], r8
001a2a39lea r8, [rip+704]
001a2a40mov [rdx+16], r8
001a2a44mov [rdx+24], 4345
001a2a4cmov [rdx+32], rcx
001a2a50mov rcx, 0x200000000000007
001a2a5amov [rdx+40], rcx
001a2a5elea rcx, [rip+2075]
001a2a65mov [rdx+48], rcx
001a2a69mov [rdx+56], rax
001a2a6dmov [rdx+64], rdi
001a2a71mov [rdx+72], rsi
001a2a75test bl, 1
001a2a78je 0x1a2a84
001a2a7amov eax, 1
001a2a7fjmp 0x1a2a92
001a2a81
001a2a81 0f 1f 00 ...
001a2a84
001a2a84loc_1a2a84:
001a2a84mov rbx, [rbx+8]
001a2a88mov eax, 3
001a2a8dcall Stdlib.List.length_aux
001a2a92
001a2a92loc_1a2a92:
001a2a92cmp rax, 5
001a2a96jge 0x1a2aa4
001a2a98mov rax, [rsp+8]
001a2a9dadd rsp, 16
001a2aa1ret
001a2aa2
001a2aa2 66 90 f.
001a2aa4
001a2aa4loc_1a2aa4:
001a2aa4mov rbx, [rsp+8]
001a2aa9mov rdi, [rsp]
001a2aadcall Stdlib.List.sort
001a2ab2mov rax, [rax]
001a2ab5add rsp, 16
001a2ab9ret
001a2aba
001a2abaloc_1a2aba:
001a2abacall caml_call_gc
001a2abfjmp 0x1a29ab
001a2ac4
001a2ac4loc_1a2ac4:
001a2ac4push 35
001a2ac6call caml_call_realloc_stack
001a2acbpop r10
001a2acdjmp 0x1a2992
001a2980

001a2ad2
001a2ad2 // align 0x10

001a2ae0
001a2ae0Stdlib.List.rev_merge:
001a2ae0lea r10, [rsp-368]
001a2ae8cmp r10, [r14+40]
001a2aecjb 0x1a2bdb
001a2af2
001a2af2loc_1a2af2:
001a2af2sub rsp, 48
001a2af6
001a2af6loc_1a2af6:
001a2af6test al, 1
001a2af8je 0x1a2b0c
001a2afamov rax, rbx
001a2afdmov rbx, rdi
001a2b00add rsp, 48
001a2b04jmp 0x19f950
001a2b09
001a2b09 0f 1f 00 ...
001a2b0c
001a2b0cloc_1a2b0c:
001a2b0ctest bl, 1
001a2b0fje 0x1a2b20
001a2b11mov rbx, rdi
001a2b14add rsp, 48
001a2b18jmp 0x19f950
001a2b1d
001a2b1d 0f 1f 00 ...
001a2b20
001a2b20loc_1a2b20:
001a2b20mov [rsp+40], rsi
001a2b25mov [rsp+16], rdi
001a2b2amov [rsp+32], rbx
001a2b2fmov [rsp+24], rax
001a2b34mov rbx, [rbx]
001a2b37mov [rsp], rbx
001a2b3bmov rax, [rax]
001a2b3emov [rsp+8], rax
001a2b43mov rdi, [rsi+24]
001a2b47call caml_apply2
001a2b4ccmp rax, 1
001a2b50jg 0x1a2b90
001a2b52sub r15, 24
001a2b56cmp r15, [r14]
001a2b59jb 0x1a2bd4
001a2b5b
001a2b5bloc_1a2b5b:
001a2b5blea rdi, [r15+8]
001a2b5fmov [rdi-8], 2048
001a2b67mov rax, [rsp+8]
001a2b6cmov [rdi], rax
001a2b6fmov rax, [rsp+16]
001a2b74mov [rdi+8], rax
001a2b78mov rax, [rsp+24]
001a2b7dmov rax, [rax+8]
001a2b81mov rbx, [rsp+32]
001a2b86mov rsi, [rsp+40]
001a2b8bjmp 0x1a2af6
001a2b90
001a2b90loc_1a2b90:
001a2b90sub r15, 24
001a2b94cmp r15, [r14]
001a2b97jb 0x1a2bcd
001a2b99
001a2b99loc_1a2b99:
001a2b99lea rdi, [r15+8]
001a2b9dmov [rdi-8], 2048
001a2ba5mov rax, [rsp]
001a2ba9mov [rdi], rax
001a2bacmov rax, [rsp+16]
001a2bb1mov [rdi+8], rax
001a2bb5mov rax, [rsp+32]
001a2bbamov rbx, [rax+8]
001a2bbemov rax, [rsp+24]
001a2bc3mov rsi, [rsp+40]
001a2bc8jmp 0x1a2af6
001a2bcd
001a2bcdloc_1a2bcd:
001a2bcdcall caml_call_gc
001a2bd2jmp 0x1a2b99
001a2bd4
001a2bd4loc_1a2bd4:
001a2bd4call caml_call_gc
001a2bd9jmp 0x1a2b5b
001a2bdb
001a2bdbloc_1a2bdb:
001a2bdbpush 39
001a2bddcall caml_call_realloc_stack
001a2be2pop r10
001a2be4jmp 0x1a2af2
001a2ae0

001a2be9
001a2be9 // align 0x10

001a2bf0
001a2bf0Stdlib.List.rev_merge_rev:
001a2bf0lea r10, [rsp-368]
001a2bf8cmp r10, [r14+40]
001a2bfcjb 0x1a2ceb
001a2c02
001a2c02loc_1a2c02:
001a2c02sub rsp, 48
001a2c06
001a2c06loc_1a2c06:
001a2c06test al, 1
001a2c08je 0x1a2c1c
001a2c0amov rax, rbx
001a2c0dmov rbx, rdi
001a2c10add rsp, 48
001a2c14jmp 0x19f950
001a2c19
001a2c19 0f 1f 00 ...
001a2c1c
001a2c1cloc_1a2c1c:
001a2c1ctest bl, 1
001a2c1fje 0x1a2c30
001a2c21mov rbx, rdi
001a2c24add rsp, 48
001a2c28jmp 0x19f950
001a2c2d
001a2c2d 0f 1f 00 ...
001a2c30
001a2c30loc_1a2c30:
001a2c30mov [rsp+40], rsi
001a2c35mov [rsp+16], rdi
001a2c3amov [rsp+32], rbx
001a2c3fmov [rsp+24], rax
001a2c44mov rbx, [rbx]
001a2c47mov [rsp], rbx
001a2c4bmov rax, [rax]
001a2c4emov [rsp+8], rax
001a2c53mov rdi, [rsi+24]
001a2c57call caml_apply2
001a2c5ccmp rax, 1
001a2c60jle 0x1a2ca0
001a2c62sub r15, 24
001a2c66cmp r15, [r14]
001a2c69jb 0x1a2ce4
001a2c6b
001a2c6bloc_1a2c6b:
001a2c6blea rdi, [r15+8]
001a2c6fmov [rdi-8], 2048
001a2c77mov rax, [rsp+8]
001a2c7cmov [rdi], rax
001a2c7fmov rax, [rsp+16]
001a2c84mov [rdi+8], rax
001a2c88mov rax, [rsp+24]
001a2c8dmov rax, [rax+8]
001a2c91mov rbx, [rsp+32]
001a2c96mov rsi, [rsp+40]
001a2c9bjmp 0x1a2c06
001a2ca0
001a2ca0loc_1a2ca0:
001a2ca0sub r15, 24
001a2ca4cmp r15, [r14]
001a2ca7jb 0x1a2cdd
001a2ca9
001a2ca9loc_1a2ca9:
001a2ca9lea rdi, [r15+8]
001a2cadmov [rdi-8], 2048
001a2cb5mov rax, [rsp]
001a2cb9mov [rdi], rax
001a2cbcmov rax, [rsp+16]
001a2cc1mov [rdi+8], rax
001a2cc5mov rax, [rsp+32]
001a2ccamov rbx, [rax+8]
001a2ccemov rax, [rsp+24]
001a2cd3mov rsi, [rsp+40]
001a2cd8jmp 0x1a2c06
001a2cdd
001a2cddloc_1a2cdd:
001a2cddcall caml_call_gc
001a2ce2jmp 0x1a2ca9
001a2ce4
001a2ce4loc_1a2ce4:
001a2ce4call caml_call_gc
001a2ce9jmp 0x1a2c6b
001a2ceb
001a2cebloc_1a2ceb:
001a2cebpush 39
001a2cedcall caml_call_realloc_stack
001a2cf2pop r10
001a2cf4jmp 0x1a2c02
001a2bf0

001a2cf9
001a2cf9 // align 0x10

001a2d00
001a2d00Stdlib.List.sort:
001a2d00lea r10, [rsp-360]
001a2d08cmp r10, [r14+40]
001a2d0cjb 0x1a3270
001a2d12
001a2d12loc_1a2d12:
001a2d12sub rsp, 40
001a2d16mov rdx, rax
001a2d19mov rsi, rbx
001a2d1ccmp rdx, 5
001a2d20je 0x1a3078
001a2d26mov [rsp+16], rdi
001a2d2bcmp rdx, 7
001a2d2fjne 0x1a317c
001a2d35test sil, 1
001a2d39jne 0x1a317c
001a2d3fmov rax, [rsi+8]
001a2d43test al, 1
001a2d45jne 0x1a317c
001a2d4bmov rbx, [rax+8]
001a2d4ftest bl, 1
001a2d52jne 0x1a317c
001a2d58mov [rsp], rbx
001a2d5cmov rbx, [rbx]
001a2d5fmov [rsp+8], rbx
001a2d64mov rbx, [rax]
001a2d67mov [rsp+24], rbx
001a2d6cmov rax, [rsi]
001a2d6fmov [rsp+32], rax
001a2d74mov rdi, [rdi+56]
001a2d78call caml_apply2
001a2d7dcmp rax, 1
001a2d81jg 0x1a2eec
001a2d87mov rax, [rsp+16]
001a2d8cmov rdi, [rax+56]
001a2d90mov rax, [rsp+24]
001a2d95mov rbx, [rsp+8]
001a2d9acall caml_apply2
001a2d9fcmp rax, 1
001a2da3jg 0x1a2e08
001a2da5sub r15, 72
001a2da9cmp r15, [r14]
001a2dacjb 0x1a3266
001a2db2
001a2db2loc_1a2db2:
001a2db2lea rax, [r15+8]
001a2db6add rax, 48
001a2dbamov [rax-8], 2048
001a2dc2mov rbx, [rsp+8]
001a2dc7mov [rax], rbx
001a2dcamov [rax+8], 1
001a2dd2lea rbx, [rax-24]
001a2dd6mov [rbx-8], 2048
001a2ddemov rdi, [rsp+24]
001a2de3mov [rbx], rdi
001a2de6mov [rbx+8], rax
001a2dealea rdi, [rbx-24]
001a2deemov [rdi-8], 2048
001a2df6mov rax, [rsp+32]
001a2dfbmov [rdi], rax
001a2dfemov [rdi+8], rbx
001a2e02jmp 0x1a3049
001a2e07
001a2e07 90 .
001a2e08
001a2e08loc_1a2e08:
001a2e08mov rax, [rsp+16]
001a2e0dmov rdi, [rax+56]
001a2e11mov rax, [rsp+32]
001a2e16mov rbx, [rsp+8]
001a2e1bcall caml_apply2
001a2e20cmp rax, 1
001a2e24jg 0x1a2e88
001a2e26sub r15, 72
001a2e2acmp r15, [r14]
001a2e2djb 0x1a325c
001a2e33
001a2e33loc_1a2e33:
001a2e33lea rax, [r15+8]
001a2e37add rax, 48
001a2e3bmov [rax-8], 2048
001a2e43mov rbx, [rsp+24]
001a2e48mov [rax], rbx
001a2e4bmov [rax+8], 1
001a2e53lea rbx, [rax-24]
001a2e57mov [rbx-8], 2048
001a2e5fmov rdi, [rsp+8]
001a2e64mov [rbx], rdi
001a2e67mov [rbx+8], rax
001a2e6blea rdi, [rbx-24]
001a2e6fmov [rdi-8], 2048
001a2e77mov rax, [rsp+32]
001a2e7cmov [rdi], rax
001a2e7fmov [rdi+8], rbx
001a2e83jmp 0x1a3049
001a2e88
001a2e88loc_1a2e88:
001a2e88sub r15, 72
001a2e8ccmp r15, [r14]
001a2e8fjb 0x1a3252
001a2e95
001a2e95loc_1a2e95:
001a2e95lea rax, [r15+8]
001a2e99add rax, 48
001a2e9dmov [rax-8], 2048
001a2ea5mov rbx, [rsp+24]
001a2eaamov [rax], rbx
001a2eadmov [rax+8], 1
001a2eb5lea rbx, [rax-24]
001a2eb9mov [rbx-8], 2048
001a2ec1mov rdi, [rsp+32]
001a2ec6mov [rbx], rdi
001a2ec9mov [rbx+8], rax
001a2ecdlea rdi, [rbx-24]
001a2ed1mov [rdi-8], 2048
001a2ed9mov rax, [rsp+8]
001a2edemov [rdi], rax
001a2ee1mov [rdi+8], rbx
001a2ee5jmp 0x1a3049
001a2eea
001a2eea 66 90 f.
001a2eec
001a2eecloc_1a2eec:
001a2eecmov rax, [rsp+16]
001a2ef1mov rdi, [rax+56]
001a2ef5mov rax, [rsp+32]
001a2efamov rbx, [rsp+8]
001a2effcall caml_apply2
001a2f04cmp rax, 1
001a2f08jg 0x1a2f6c
001a2f0asub r15, 72
001a2f0ecmp r15, [r14]
001a2f11jb 0x1a3248
001a2f17
001a2f17loc_1a2f17:
001a2f17lea rax, [r15+8]
001a2f1badd rax, 48
001a2f1fmov [rax-8], 2048
001a2f27mov rbx, [rsp+8]
001a2f2cmov [rax], rbx
001a2f2fmov [rax+8], 1
001a2f37lea rbx, [rax-24]
001a2f3bmov [rbx-8], 2048
001a2f43mov rdi, [rsp+32]
001a2f48mov [rbx], rdi
001a2f4bmov [rbx+8], rax
001a2f4flea rdi, [rbx-24]
001a2f53mov [rdi-8], 2048
001a2f5bmov rax, [rsp+24]
001a2f60mov [rdi], rax
001a2f63mov [rdi+8], rbx
001a2f67jmp 0x1a3049
001a2f6c
001a2f6cloc_1a2f6c:
001a2f6cmov rax, [rsp+16]
001a2f71mov rdi, [rax+56]
001a2f75mov rax, [rsp+24]
001a2f7amov rbx, [rsp+8]
001a2f7fcall caml_apply2
001a2f84cmp rax, 1
001a2f88jg 0x1a2fec
001a2f8asub r15, 72
001a2f8ecmp r15, [r14]
001a2f91jb 0x1a323e
001a2f97
001a2f97loc_1a2f97:
001a2f97lea rax, [r15+8]
001a2f9badd rax, 48
001a2f9fmov [rax-8], 2048
001a2fa7mov rbx, [rsp+32]
001a2facmov [rax], rbx
001a2fafmov [rax+8], 1
001a2fb7lea rbx, [rax-24]
001a2fbbmov [rbx-8], 2048
001a2fc3mov rdi, [rsp+8]
001a2fc8mov [rbx], rdi
001a2fcbmov [rbx+8], rax
001a2fcflea rdi, [rbx-24]
001a2fd3mov [rdi-8], 2048
001a2fdbmov rax, [rsp+24]
001a2fe0mov [rdi], rax
001a2fe3mov [rdi+8], rbx
001a2fe7jmp 0x1a3049
001a2fe9
001a2fe9 0f 1f 00 ...
001a2fec
001a2fecloc_1a2fec:
001a2fecsub r15, 72
001a2ff0cmp r15, [r14]
001a2ff3jb 0x1a3234
001a2ff9
001a2ff9loc_1a2ff9:
001a2ff9lea rax, [r15+8]
001a2ffdadd rax, 48
001a3001mov [rax-8], 2048
001a3009mov rbx, [rsp+32]
001a300emov [rax], rbx
001a3011mov [rax+8], 1
001a3019lea rbx, [rax-24]
001a301dmov [rbx-8], 2048
001a3025mov rdi, [rsp+24]
001a302amov [rbx], rdi
001a302dmov [rbx+8], rax
001a3031lea rdi, [rbx-24]
001a3035mov [rdi-8], 2048
001a303dmov rax, [rsp+8]
001a3042mov [rdi], rax
001a3045mov [rdi+8], rbx
001a3049
001a3049loc_1a3049:
001a3049sub r15, 24
001a304dcmp r15, [r14]
001a3050jb 0x1a322a
001a3056
001a3056loc_1a3056:
001a3056lea rax, [r15+8]
001a305amov [rax-8], 2048
001a3062mov [rax], rdi
001a3065mov rbx, [rsp]
001a3069mov rbx, [rbx+8]
001a306dmov [rax+8], rbx
001a3071add rsp, 40
001a3075ret
001a3076
001a3076 66 90 f.
001a3078
001a3078loc_1a3078:
001a3078test sil, 1
001a307cje 0x1a3088
001a307emov [rsp+16], rdi
001a3083jmp 0x1a317c
001a3088
001a3088loc_1a3088:
001a3088mov rax, [rsi+8]
001a308ctest al, 1
001a308eje 0x1a309c
001a3090mov [rsp+16], rdi
001a3095jmp 0x1a317c
001a309a
001a309a 66 90 f.
001a309c
001a309cloc_1a309c:
001a309cmov [rsp], rax
001a30a0mov rbx, [rax]
001a30a3mov [rsp+8], rbx
001a30a8mov rax, [rsi]
001a30abmov [rsp+16], rax
001a30b0mov rdi, [rdi+56]
001a30b4call caml_apply2
001a30b9cmp rax, 1
001a30bdjg 0x1a3108
001a30bfsub r15, 48
001a30c3cmp r15, [r14]
001a30c6jb 0x1a3220
001a30cc
001a30ccloc_1a30cc:
001a30cclea rax, [r15+8]
001a30d0add rax, 24
001a30d4mov [rax-8], 2048
001a30dcmov rbx, [rsp+8]
001a30e1mov [rax], rbx
001a30e4mov [rax+8], 1
001a30eclea rbx, [rax-24]
001a30f0mov [rbx-8], 2048
001a30f8mov rdi, [rsp+16]
001a30fdmov [rbx], rdi
001a3100mov [rbx+8], rax
001a3104jmp 0x1a314d
001a3106
001a3106 66 90 f.
001a3108
001a3108loc_1a3108:
001a3108sub r15, 48
001a310ccmp r15, [r14]
001a310fjb 0x1a3216
001a3115
001a3115loc_1a3115:
001a3115lea rax, [r15+8]
001a3119add rax, 24
001a311dmov [rax-8], 2048
001a3125mov rbx, [rsp+16]
001a312amov [rax], rbx
001a312dmov [rax+8], 1
001a3135lea rbx, [rax-24]
001a3139mov [rbx-8], 2048
001a3141mov rdi, [rsp+8]
001a3146mov [rbx], rdi
001a3149mov [rbx+8], rax
001a314d
001a314dloc_1a314d:
001a314dsub r15, 24
001a3151cmp r15, [r14]
001a3154jb 0x1a320c
001a315a
001a315aloc_1a315a:
001a315alea rax, [r15+8]
001a315emov [rax-8], 2048
001a3166mov [rax], rbx
001a3169mov rbx, [rsp]
001a316dmov rbx, [rbx+8]
001a3171mov [rax+8], rbx
001a3175add rsp, 40
001a3179ret
001a317a
001a317a 66 90 f.
001a317c
001a317cloc_1a317c:
001a317cmov rax, rdx
001a317fsar rax, 1
001a3182or rax, 1
001a3186sub rdx, rax
001a3189inc rdx
001a318cmov [rsp], rdx
001a3190add rdi, 32
001a3194mov rbx, rsi
001a3197call Stdlib.List.rev_sort
001a319cmov [rsp+8], rax
001a31a1mov rdi, [rsp+16]
001a31a6add rdi, 32
001a31aamov rbx, [rax+8]
001a31aemov rax, [rsp]
001a31b2call Stdlib.List.rev_sort
001a31b7mov [rsp], rax
001a31bbmov rbx, [rax]
001a31bemov rax, [rsp+8]
001a31c3mov rax, [rax]
001a31c6mov rdi, [rsp+16]
001a31cbmov rsi, [rdi+72]
001a31cfmov edi, 1
001a31d4call Stdlib.List.rev_merge_rev
001a31d9sub r15, 24
001a31ddcmp r15, [r14]
001a31e0jb 0x1a3205
001a31e2
001a31e2loc_1a31e2:
001a31e2lea rbx, [r15+8]
001a31e6mov [rbx-8], 2048
001a31eemov [rbx], rax
001a31f1mov rax, [rsp]
001a31f5mov rax, [rax+8]
001a31f9mov [rbx+8], rax
001a31fdmov rax, rbx
001a3200add rsp, 40
001a3204ret
001a3205
001a3205loc_1a3205:
001a3205call caml_call_gc
001a320ajmp 0x1a31e2
001a320c
001a320cloc_1a320c:
001a320ccall caml_call_gc
001a3211jmp 0x1a315a
001a3216
001a3216loc_1a3216:
001a3216call caml_call_gc
001a321bjmp 0x1a3115
001a3220
001a3220loc_1a3220:
001a3220call caml_call_gc
001a3225jmp 0x1a30cc
001a322a
001a322aloc_1a322a:
001a322acall caml_call_gc
001a322fjmp 0x1a3056
001a3234
001a3234loc_1a3234:
001a3234call caml_call_gc
001a3239jmp 0x1a2ff9
001a323e
001a323eloc_1a323e:
001a323ecall caml_call_gc
001a3243jmp 0x1a2f97
001a3248
001a3248loc_1a3248:
001a3248call caml_call_gc
001a324djmp 0x1a2f17
001a3252
001a3252loc_1a3252:
001a3252call caml_call_gc
001a3257jmp 0x1a2e95
001a325c
001a325cloc_1a325c:
001a325ccall caml_call_gc
001a3261jmp 0x1a2e33
001a3266
001a3266loc_1a3266:
001a3266call caml_call_gc
001a326bjmp 0x1a2db2
001a3270
001a3270loc_1a3270:
001a3270push 38
001a3272call caml_call_realloc_stack
001a3277pop r10
001a3279jmp 0x1a2d12
001a2d00

001a327e
001a327e // align 0x10

001a3280
001a3280Stdlib.List.rev_sort:
001a3280lea r10, [rsp-360]
001a3288cmp r10, [r14+40]
001a328cjb 0x1a37f0
001a3292
001a3292loc_1a3292:
001a3292sub rsp, 40
001a3296mov rdx, rax
001a3299mov rsi, rbx
001a329ccmp rdx, 5
001a32a0je 0x1a35f8
001a32a6mov [rsp+16], rdi
001a32abcmp rdx, 7
001a32afjne 0x1a36fc
001a32b5test sil, 1
001a32b9jne 0x1a36fc
001a32bfmov rax, [rsi+8]
001a32c3test al, 1
001a32c5jne 0x1a36fc
001a32cbmov rbx, [rax+8]
001a32cftest bl, 1
001a32d2jne 0x1a36fc
001a32d8mov [rsp], rbx
001a32dcmov rbx, [rbx]
001a32dfmov [rsp+8], rbx
001a32e4mov rbx, [rax]
001a32e7mov [rsp+24], rbx
001a32ecmov rax, [rsi]
001a32efmov [rsp+32], rax
001a32f4mov rdi, [rdi+24]
001a32f8call caml_apply2
001a32fdcmp rax, 1
001a3301jle 0x1a346c
001a3307mov rax, [rsp+16]
001a330cmov rdi, [rax+24]
001a3310mov rax, [rsp+24]
001a3315mov rbx, [rsp+8]
001a331acall caml_apply2
001a331fcmp rax, 1
001a3323jle 0x1a3388
001a3325sub r15, 72
001a3329cmp r15, [r14]
001a332cjb 0x1a37e6
001a3332
001a3332loc_1a3332:
001a3332lea rax, [r15+8]
001a3336add rax, 48
001a333amov [rax-8], 2048
001a3342mov rbx, [rsp+8]
001a3347mov [rax], rbx
001a334amov [rax+8], 1
001a3352lea rbx, [rax-24]
001a3356mov [rbx-8], 2048
001a335emov rdi, [rsp+24]
001a3363mov [rbx], rdi
001a3366mov [rbx+8], rax
001a336alea rdi, [rbx-24]
001a336emov [rdi-8], 2048
001a3376mov rax, [rsp+32]
001a337bmov [rdi], rax
001a337emov [rdi+8], rbx
001a3382jmp 0x1a35c9
001a3387
001a3387 90 .
001a3388
001a3388loc_1a3388:
001a3388mov rax, [rsp+16]
001a338dmov rdi, [rax+24]
001a3391mov rax, [rsp+32]
001a3396mov rbx, [rsp+8]
001a339bcall caml_apply2
001a33a0cmp rax, 1
001a33a4jle 0x1a3408
001a33a6sub r15, 72
001a33aacmp r15, [r14]
001a33adjb 0x1a37dc
001a33b3
001a33b3loc_1a33b3:
001a33b3lea rax, [r15+8]
001a33b7add rax, 48
001a33bbmov [rax-8], 2048
001a33c3mov rbx, [rsp+24]
001a33c8mov [rax], rbx
001a33cbmov [rax+8], 1
001a33d3lea rbx, [rax-24]
001a33d7mov [rbx-8], 2048
001a33dfmov rdi, [rsp+8]
001a33e4mov [rbx], rdi
001a33e7mov [rbx+8], rax
001a33eblea rdi, [rbx-24]
001a33efmov [rdi-8], 2048
001a33f7mov rax, [rsp+32]
001a33fcmov [rdi], rax
001a33ffmov [rdi+8], rbx
001a3403jmp 0x1a35c9
001a3408
001a3408loc_1a3408:
001a3408sub r15, 72
001a340ccmp r15, [r14]
001a340fjb 0x1a37d2
001a3415
001a3415loc_1a3415:
001a3415lea rax, [r15+8]
001a3419add rax, 48
001a341dmov [rax-8], 2048
001a3425mov rbx, [rsp+24]
001a342amov [rax], rbx
001a342dmov [rax+8], 1
001a3435lea rbx, [rax-24]
001a3439mov [rbx-8], 2048
001a3441mov rdi, [rsp+32]
001a3446mov [rbx], rdi
001a3449mov [rbx+8], rax
001a344dlea rdi, [rbx-24]
001a3451mov [rdi-8], 2048
001a3459mov rax, [rsp+8]
001a345emov [rdi], rax
001a3461mov [rdi+8], rbx
001a3465jmp 0x1a35c9
001a346a
001a346a 66 90 f.
001a346c
001a346cloc_1a346c:
001a346cmov rax, [rsp+16]
001a3471mov rdi, [rax+24]
001a3475mov rax, [rsp+32]
001a347amov rbx, [rsp+8]
001a347fcall caml_apply2
001a3484cmp rax, 1
001a3488jle 0x1a34ec
001a348asub r15, 72
001a348ecmp r15, [r14]
001a3491jb 0x1a37c8
001a3497
001a3497loc_1a3497:
001a3497lea rax, [r15+8]
001a349badd rax, 48
001a349fmov [rax-8], 2048
001a34a7mov rbx, [rsp+8]
001a34acmov [rax], rbx
001a34afmov [rax+8], 1
001a34b7lea rbx, [rax-24]
001a34bbmov [rbx-8], 2048
001a34c3mov rdi, [rsp+32]
001a34c8mov [rbx], rdi
001a34cbmov [rbx+8], rax
001a34cflea rdi, [rbx-24]
001a34d3mov [rdi-8], 2048
001a34dbmov rax, [rsp+24]
001a34e0mov [rdi], rax
001a34e3mov [rdi+8], rbx
001a34e7jmp 0x1a35c9
001a34ec
001a34ecloc_1a34ec:
001a34ecmov rax, [rsp+16]
001a34f1mov rdi, [rax+24]
001a34f5mov rax, [rsp+24]
001a34famov rbx, [rsp+8]
001a34ffcall caml_apply2
001a3504cmp rax, 1
001a3508jle 0x1a356c
001a350asub r15, 72
001a350ecmp r15, [r14]
001a3511jb 0x1a37be
001a3517
001a3517loc_1a3517:
001a3517lea rax, [r15+8]
001a351badd rax, 48
001a351fmov [rax-8], 2048
001a3527mov rbx, [rsp+32]
001a352cmov [rax], rbx
001a352fmov [rax+8], 1
001a3537lea rbx, [rax-24]
001a353bmov [rbx-8], 2048
001a3543mov rdi, [rsp+8]
001a3548mov [rbx], rdi
001a354bmov [rbx+8], rax
001a354flea rdi, [rbx-24]
001a3553mov [rdi-8], 2048
001a355bmov rax, [rsp+24]
001a3560mov [rdi], rax
001a3563mov [rdi+8], rbx
001a3567jmp 0x1a35c9
001a3569
001a3569 0f 1f 00 ...
001a356c
001a356cloc_1a356c:
001a356csub r15, 72
001a3570cmp r15, [r14]
001a3573jb 0x1a37b4
001a3579
001a3579loc_1a3579:
001a3579lea rax, [r15+8]
001a357dadd rax, 48
001a3581mov [rax-8], 2048
001a3589mov rbx, [rsp+32]
001a358emov [rax], rbx
001a3591mov [rax+8], 1
001a3599lea rbx, [rax-24]
001a359dmov [rbx-8], 2048
001a35a5mov rdi, [rsp+24]
001a35aamov [rbx], rdi
001a35admov [rbx+8], rax
001a35b1lea rdi, [rbx-24]
001a35b5mov [rdi-8], 2048
001a35bdmov rax, [rsp+8]
001a35c2mov [rdi], rax
001a35c5mov [rdi+8], rbx
001a35c9
001a35c9loc_1a35c9:
001a35c9sub r15, 24
001a35cdcmp r15, [r14]
001a35d0jb 0x1a37aa
001a35d6
001a35d6loc_1a35d6:
001a35d6lea rax, [r15+8]
001a35damov [rax-8], 2048
001a35e2mov [rax], rdi
001a35e5mov rbx, [rsp]
001a35e9mov rbx, [rbx+8]
001a35edmov [rax+8], rbx
001a35f1add rsp, 40
001a35f5ret
001a35f6
001a35f6 66 90 f.
001a35f8
001a35f8loc_1a35f8:
001a35f8test sil, 1
001a35fcje 0x1a3608
001a35femov [rsp+16], rdi
001a3603jmp 0x1a36fc
001a3608
001a3608loc_1a3608:
001a3608mov rax, [rsi+8]
001a360ctest al, 1
001a360eje 0x1a361c
001a3610mov [rsp+16], rdi
001a3615jmp 0x1a36fc
001a361a
001a361a 66 90 f.
001a361c
001a361cloc_1a361c:
001a361cmov [rsp], rax
001a3620mov rbx, [rax]
001a3623mov [rsp+8], rbx
001a3628mov rax, [rsi]
001a362bmov [rsp+16], rax
001a3630mov rdi, [rdi+24]
001a3634call caml_apply2
001a3639cmp rax, 1
001a363djle 0x1a3688
001a363fsub r15, 48
001a3643cmp r15, [r14]
001a3646jb 0x1a37a0
001a364c
001a364cloc_1a364c:
001a364clea rax, [r15+8]
001a3650add rax, 24
001a3654mov [rax-8], 2048
001a365cmov rbx, [rsp+8]
001a3661mov [rax], rbx
001a3664mov [rax+8], 1
001a366clea rbx, [rax-24]
001a3670mov [rbx-8], 2048
001a3678mov rdi, [rsp+16]
001a367dmov [rbx], rdi
001a3680mov [rbx+8], rax
001a3684jmp 0x1a36cd
001a3686
001a3686 66 90 f.
001a3688
001a3688loc_1a3688:
001a3688sub r15, 48
001a368ccmp r15, [r14]
001a368fjb 0x1a3796
001a3695
001a3695loc_1a3695:
001a3695lea rax, [r15+8]
001a3699add rax, 24
001a369dmov [rax-8], 2048
001a36a5mov rbx, [rsp+16]
001a36aamov [rax], rbx
001a36admov [rax+8], 1
001a36b5lea rbx, [rax-24]
001a36b9mov [rbx-8], 2048
001a36c1mov rdi, [rsp+8]
001a36c6mov [rbx], rdi
001a36c9mov [rbx+8], rax
001a36cd
001a36cdloc_1a36cd:
001a36cdsub r15, 24
001a36d1cmp r15, [r14]
001a36d4jb 0x1a378c
001a36da
001a36daloc_1a36da:
001a36dalea rax, [r15+8]
001a36demov [rax-8], 2048
001a36e6mov [rax], rbx
001a36e9mov rbx, [rsp]
001a36edmov rbx, [rbx+8]
001a36f1mov [rax+8], rbx
001a36f5add rsp, 40
001a36f9ret
001a36fa
001a36fa 66 90 f.
001a36fc
001a36fcloc_1a36fc:
001a36fcmov rax, rdx
001a36ffsar rax, 1
001a3702or rax, 1
001a3706sub rdx, rax
001a3709inc rdx
001a370cmov [rsp], rdx
001a3710add rdi, -32
001a3714mov rbx, rsi
001a3717call Stdlib.List.sort
001a371cmov [rsp+8], rax
001a3721mov rdi, [rsp+16]
001a3726add rdi, -32
001a372amov rbx, [rax+8]
001a372emov rax, [rsp]
001a3732call Stdlib.List.sort
001a3737mov [rsp], rax
001a373bmov rbx, [rax]
001a373emov rax, [rsp+8]
001a3743mov rax, [rax]
001a3746mov rdi, [rsp+16]
001a374bmov rsi, [rdi+32]
001a374fmov edi, 1
001a3754call Stdlib.List.rev_merge
001a3759sub r15, 24
001a375dcmp r15, [r14]
001a3760jb 0x1a3785
001a3762
001a3762loc_1a3762:
001a3762lea rbx, [r15+8]
001a3766mov [rbx-8], 2048
001a376emov [rbx], rax
001a3771mov rax, [rsp]
001a3775mov rax, [rax+8]
001a3779mov [rbx+8], rax
001a377dmov rax, rbx
001a3780add rsp, 40
001a3784ret
001a3785
001a3785loc_1a3785:
001a3785call caml_call_gc
001a378ajmp 0x1a3762
001a378c
001a378cloc_1a378c:
001a378ccall caml_call_gc
001a3791jmp 0x1a36da
001a3796
001a3796loc_1a3796:
001a3796call caml_call_gc
001a379bjmp 0x1a3695
001a37a0
001a37a0loc_1a37a0:
001a37a0call caml_call_gc
001a37a5jmp 0x1a364c
001a37aa
001a37aaloc_1a37aa:
001a37aacall caml_call_gc
001a37afjmp 0x1a35d6
001a37b4
001a37b4loc_1a37b4:
001a37b4call caml_call_gc
001a37b9jmp 0x1a3579
001a37be
001a37beloc_1a37be:
001a37becall caml_call_gc
001a37c3jmp 0x1a3517
001a37c8
001a37c8loc_1a37c8:
001a37c8call caml_call_gc
001a37cdjmp 0x1a3497
001a37d2
001a37d2loc_1a37d2:
001a37d2call caml_call_gc
001a37d7jmp 0x1a3415
001a37dc
001a37dcloc_1a37dc:
001a37dccall caml_call_gc
001a37e1jmp 0x1a33b3
001a37e6
001a37e6loc_1a37e6:
001a37e6call caml_call_gc
001a37ebjmp 0x1a3332
001a37f0
001a37f0loc_1a37f0:
001a37f0push 38
001a37f2call caml_call_realloc_stack
001a37f7pop r10
001a37f9jmp 0x1a3292
001a3280