Similarity

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

001a37fe
001a37fe // align 0x10

001a3800
001a3800Stdlib.List.sort_uniq:
001a3800lea r10, [rsp-336]
001a3808cmp r10, [r14+40]
001a380cjb 0x1a3944
001a3812
001a3812loc_1a3812:
001a3812sub rsp, 16
001a3816mov [rsp+8], rbx
001a381bsub r15, 168
001a3822cmp r15, [r14]
001a3825jb 0x1a393a
001a382b
001a382bloc_1a382b:
001a382blea rdi, [r15+8]
001a382fadd rdi, 128
001a3836mov [rdi-8], 4343
001a383elea rdx, [rip-0xac915]
001a3845mov [rdi], rdx
001a3848mov rsi, 0x300000000000007
001a3852mov [rdi+8], rsi
001a3856lea rsi, [rip+259]
001a385dmov [rdi+16], rsi
001a3861mov [rdi+24], rax
001a3865lea rsi, [rdi-40]
001a3869mov [rsi-8], 4343
001a3871mov [rsi], rdx
001a3874mov rdx, 0x300000000000007
001a387emov [rsi+8], rdx
001a3882lea rdx, [rip+583]
001a3889mov [rsi+16], rdx
001a388dmov [rsi+24], rax
001a3891lea rdx, [rsi-88]
001a3895mov [rsp], rdx
001a3899mov [rdx-8], 10487
001a38a1lea rcx, [rip-0xac888]
001a38a8mov [rdx], rcx
001a38abmov r8, 0x20000000000000f
001a38b5mov [rdx+8], r8
001a38b9lea r8, [rip+896]
001a38c0mov [rdx+16], r8
001a38c4mov [rdx+24], 4345
001a38ccmov [rdx+32], rcx
001a38d0mov rcx, 0x200000000000007
001a38damov [rdx+40], rcx
001a38delea rcx, [rip+2971]
001a38e5mov [rdx+48], rcx
001a38e9mov [rdx+56], rax
001a38edmov [rdx+64], rdi
001a38f1mov [rdx+72], rsi
001a38f5test bl, 1
001a38f8je 0x1a3904
001a38famov eax, 1
001a38ffjmp 0x1a3912
001a3901
001a3901 0f 1f 00 ...
001a3904
001a3904loc_1a3904:
001a3904mov rbx, [rbx+8]
001a3908mov eax, 3
001a390dcall Stdlib.List.length_aux
001a3912
001a3912loc_1a3912:
001a3912cmp rax, 5
001a3916jge 0x1a3924
001a3918mov rax, [rsp+8]
001a391dadd rsp, 16
001a3921ret
001a3922
001a3922 66 90 f.
001a3924
001a3924loc_1a3924:
001a3924mov rbx, [rsp+8]
001a3929mov rdi, [rsp]
001a392dcall Stdlib.List.sort
001a3932mov rax, [rax]
001a3935add rsp, 16
001a3939ret
001a393a
001a393aloc_1a393a:
001a393acall caml_call_gc
001a393fjmp 0x1a382b
001a3944
001a3944loc_1a3944:
001a3944push 35
001a3946call caml_call_realloc_stack
001a394bpop r10
001a394djmp 0x1a3812
001a3800

001a3952
001a3952 // align 0x10

001a3960
001a3960Stdlib.List.rev_merge:
001a3960lea r10, [rsp-384]
001a3968cmp r10, [r14+40]
001a396cjb 0x1a3ab5
001a3972
001a3972loc_1a3972:
001a3972sub rsp, 64
001a3976
001a3976loc_1a3976:
001a3976test al, 1
001a3978je 0x1a398c
001a397amov rax, rbx
001a397dmov rbx, rdi
001a3980add rsp, 64
001a3984jmp 0x19f950
001a3989
001a3989 0f 1f 00 ...
001a398c
001a398cloc_1a398c:
001a398ctest bl, 1
001a398fje 0x1a39a0
001a3991mov rbx, rdi
001a3994add rsp, 64
001a3998jmp 0x19f950
001a399d
001a399d 0f 1f 00 ...
001a39a0
001a39a0loc_1a39a0:
001a39a0mov [rsp+56], rsi
001a39a5mov [rsp+32], rdi
001a39aamov [rsp+16], rbx
001a39afmov [rsp+8], rax
001a39b4mov rdi, [rbx+8]
001a39b8mov [rsp+48], rdi
001a39bdmov rbx, [rbx]
001a39c0mov [rsp], rbx
001a39c4mov rdi, [rax+8]
001a39c8mov [rsp+40], rdi
001a39cdmov rax, [rax]
001a39d0mov [rsp+24], rax
001a39d5mov rdi, [rsi+24]
001a39d9call caml_apply2
001a39decmp rax, 1
001a39e2jne 0x1a3a24
001a39e4sub r15, 24
001a39e8cmp r15, [r14]
001a39ebjb 0x1a3aab
001a39f1
001a39f1loc_1a39f1:
001a39f1lea rdi, [r15+8]
001a39f5mov [rdi-8], 2048
001a39fdmov rax, [rsp+24]
001a3a02mov [rdi], rax
001a3a05mov rax, [rsp+32]
001a3a0amov [rdi+8], rax
001a3a0emov rax, [rsp+40]
001a3a13mov rbx, [rsp+48]
001a3a18mov rsi, [rsp+56]
001a3a1djmp 0x1a3976
001a3a22
001a3a22 66 90 f.
001a3a24
001a3a24loc_1a3a24:
001a3a24cmp rax, 1
001a3a28jge 0x1a3a64
001a3a2asub r15, 24
001a3a2ecmp r15, [r14]
001a3a31jb 0x1a3aa4
001a3a33
001a3a33loc_1a3a33:
001a3a33lea rdi, [r15+8]
001a3a37mov [rdi-8], 2048
001a3a3fmov rax, [rsp+24]
001a3a44mov [rdi], rax
001a3a47mov rax, [rsp+32]
001a3a4cmov [rdi+8], rax
001a3a50mov rax, [rsp+40]
001a3a55mov rbx, [rsp+16]
001a3a5amov rsi, [rsp+56]
001a3a5fjmp 0x1a3976
001a3a64
001a3a64loc_1a3a64:
001a3a64sub r15, 24
001a3a68cmp r15, [r14]
001a3a6bjb 0x1a3a9d
001a3a6d
001a3a6dloc_1a3a6d:
001a3a6dlea rdi, [r15+8]
001a3a71mov [rdi-8], 2048
001a3a79mov rax, [rsp]
001a3a7dmov [rdi], rax
001a3a80mov rax, [rsp+32]
001a3a85mov [rdi+8], rax
001a3a89mov rax, [rsp+8]
001a3a8emov rbx, [rsp+48]
001a3a93mov rsi, [rsp+56]
001a3a98jmp 0x1a3976
001a3a9d
001a3a9dloc_1a3a9d:
001a3a9dcall caml_call_gc
001a3aa2jmp 0x1a3a6d
001a3aa4
001a3aa4loc_1a3aa4:
001a3aa4call caml_call_gc
001a3aa9jmp 0x1a3a33
001a3aab
001a3aabloc_1a3aab:
001a3aabcall caml_call_gc
001a3ab0jmp 0x1a39f1
001a3ab5
001a3ab5loc_1a3ab5:
001a3ab5push 41
001a3ab7call caml_call_realloc_stack
001a3abcpop r10
001a3abejmp 0x1a3972
001a3960

001a3ac3
001a3ac3 // align 0x10

001a3ad0
001a3ad0Stdlib.List.rev_merge_rev:
001a3ad0lea r10, [rsp-384]
001a3ad8cmp r10, [r14+40]
001a3adcjb 0x1a3c25
001a3ae2
001a3ae2loc_1a3ae2:
001a3ae2sub rsp, 64
001a3ae6
001a3ae6loc_1a3ae6:
001a3ae6test al, 1
001a3ae8je 0x1a3afc
001a3aeamov rax, rbx
001a3aedmov rbx, rdi
001a3af0add rsp, 64
001a3af4jmp 0x19f950
001a3af9
001a3af9 0f 1f 00 ...
001a3afc
001a3afcloc_1a3afc:
001a3afctest bl, 1
001a3affje 0x1a3b10
001a3b01mov rbx, rdi
001a3b04add rsp, 64
001a3b08jmp 0x19f950
001a3b0d
001a3b0d 0f 1f 00 ...
001a3b10
001a3b10loc_1a3b10:
001a3b10mov [rsp+56], rsi
001a3b15mov [rsp+32], rdi
001a3b1amov [rsp+16], rbx
001a3b1fmov [rsp+8], rax
001a3b24mov rdi, [rbx+8]
001a3b28mov [rsp+48], rdi
001a3b2dmov rbx, [rbx]
001a3b30mov [rsp], rbx
001a3b34mov rdi, [rax+8]
001a3b38mov [rsp+40], rdi
001a3b3dmov rax, [rax]
001a3b40mov [rsp+24], rax
001a3b45mov rdi, [rsi+24]
001a3b49call caml_apply2
001a3b4ecmp rax, 1
001a3b52jne 0x1a3b94
001a3b54sub r15, 24
001a3b58cmp r15, [r14]
001a3b5bjb 0x1a3c1b
001a3b61
001a3b61loc_1a3b61:
001a3b61lea rdi, [r15+8]
001a3b65mov [rdi-8], 2048
001a3b6dmov rax, [rsp+24]
001a3b72mov [rdi], rax
001a3b75mov rax, [rsp+32]
001a3b7amov [rdi+8], rax
001a3b7emov rax, [rsp+40]
001a3b83mov rbx, [rsp+48]
001a3b88mov rsi, [rsp+56]
001a3b8djmp 0x1a3ae6
001a3b92
001a3b92 66 90 f.
001a3b94
001a3b94loc_1a3b94:
001a3b94cmp rax, 1
001a3b98jle 0x1a3bd4
001a3b9asub r15, 24
001a3b9ecmp r15, [r14]
001a3ba1jb 0x1a3c14
001a3ba3
001a3ba3loc_1a3ba3:
001a3ba3lea rdi, [r15+8]
001a3ba7mov [rdi-8], 2048
001a3bafmov rax, [rsp+24]
001a3bb4mov [rdi], rax
001a3bb7mov rax, [rsp+32]
001a3bbcmov [rdi+8], rax
001a3bc0mov rax, [rsp+40]
001a3bc5mov rbx, [rsp+16]
001a3bcamov rsi, [rsp+56]
001a3bcfjmp 0x1a3ae6
001a3bd4
001a3bd4loc_1a3bd4:
001a3bd4sub r15, 24
001a3bd8cmp r15, [r14]
001a3bdbjb 0x1a3c0d
001a3bdd
001a3bddloc_1a3bdd:
001a3bddlea rdi, [r15+8]
001a3be1mov [rdi-8], 2048
001a3be9mov rax, [rsp]
001a3bedmov [rdi], rax
001a3bf0mov rax, [rsp+32]
001a3bf5mov [rdi+8], rax
001a3bf9mov rax, [rsp+8]
001a3bfemov rbx, [rsp+48]
001a3c03mov rsi, [rsp+56]
001a3c08jmp 0x1a3ae6
001a3c0d
001a3c0dloc_1a3c0d:
001a3c0dcall caml_call_gc
001a3c12jmp 0x1a3bdd
001a3c14
001a3c14loc_1a3c14:
001a3c14call caml_call_gc
001a3c19jmp 0x1a3ba3
001a3c1b
001a3c1bloc_1a3c1b:
001a3c1bcall caml_call_gc
001a3c20jmp 0x1a3b61
001a3c25
001a3c25loc_1a3c25:
001a3c25push 41
001a3c27call caml_call_realloc_stack
001a3c2cpop r10
001a3c2ejmp 0x1a3ae2
001a3ad0

001a3c33
001a3c33 // align 0x10

001a3c40
001a3c40Stdlib.List.sort:
001a3c40lea r10, [rsp-360]
001a3c48cmp r10, [r14+40]
001a3c4cjb 0x1a446c
001a3c52
001a3c52loc_1a3c52:
001a3c52sub rsp, 40
001a3c56mov rdx, rax
001a3c59mov rsi, rbx
001a3c5ccmp rdx, 5
001a3c60je 0x1a41ec
001a3c66mov [rsp+16], rdi
001a3c6bcmp rdx, 7
001a3c6fjne 0x1a4328
001a3c75test sil, 1
001a3c79jne 0x1a4328
001a3c7fmov rax, [rsi+8]
001a3c83test al, 1
001a3c85jne 0x1a4328
001a3c8bmov rbx, [rax+8]
001a3c8ftest bl, 1
001a3c92jne 0x1a4328
001a3c98mov [rsp], rbx
001a3c9cmov rbx, [rbx]
001a3c9fmov [rsp+24], rbx
001a3ca4mov rbx, [rax]
001a3ca7mov [rsp+32], rbx
001a3cacmov rax, [rsi]
001a3cafmov [rsp+8], rax
001a3cb4mov rdi, [rdi+56]
001a3cb8call caml_apply2
001a3cbdcmp rax, 1
001a3cc1jne 0x1a3db0
001a3cc7mov rax, [rsp+16]
001a3cccmov rdi, [rax+56]
001a3cd0mov rax, [rsp+32]
001a3cd5mov rbx, [rsp+24]
001a3cdacall caml_apply2
001a3cdfcmp rax, 1
001a3ce3jne 0x1a3d14
001a3ce5sub r15, 24
001a3ce9cmp r15, [r14]
001a3cecjb 0x1a4462
001a3cf2
001a3cf2loc_1a3cf2:
001a3cf2lea rbx, [r15+8]
001a3cf6mov [rbx-8], 2048
001a3cfemov rax, [rsp+32]
001a3d03mov [rbx], rax
001a3d06mov [rbx+8], 1
001a3d0ejmp 0x1a41bd
001a3d13
001a3d13 90 .
001a3d14
001a3d14loc_1a3d14:
001a3d14cmp rax, 1
001a3d18jge 0x1a3d64
001a3d1asub r15, 48
001a3d1ecmp r15, [r14]
001a3d21jb 0x1a4458
001a3d27
001a3d27loc_1a3d27:
001a3d27lea rax, [r15+8]
001a3d2badd rax, 24
001a3d2fmov [rax-8], 2048
001a3d37mov rbx, [rsp+24]
001a3d3cmov [rax], rbx
001a3d3fmov [rax+8], 1
001a3d47lea rbx, [rax-24]
001a3d4bmov [rbx-8], 2048
001a3d53mov rdi, [rsp+32]
001a3d58mov [rbx], rdi
001a3d5bmov [rbx+8], rax
001a3d5fjmp 0x1a41bd
001a3d64
001a3d64loc_1a3d64:
001a3d64sub r15, 48
001a3d68cmp r15, [r14]
001a3d6bjb 0x1a444e
001a3d71
001a3d71loc_1a3d71:
001a3d71lea rax, [r15+8]
001a3d75add rax, 24
001a3d79mov [rax-8], 2048
001a3d81mov rbx, [rsp+32]
001a3d86mov [rax], rbx
001a3d89mov [rax+8], 1
001a3d91lea rbx, [rax-24]
001a3d95mov [rbx-8], 2048
001a3d9dmov rdi, [rsp+24]
001a3da2mov [rbx], rdi
001a3da5mov [rbx+8], rax
001a3da9jmp 0x1a41bd
001a3dae
001a3dae 66 90 f.
001a3db0
001a3db0loc_1a3db0:
001a3db0cmp rax, 1
001a3db4jge 0x1a3fc0
001a3dbamov rax, [rsp+16]
001a3dbfmov rdi, [rax+56]
001a3dc3mov rax, [rsp+32]
001a3dc8mov rbx, [rsp+24]
001a3dcdcall caml_apply2
001a3dd2cmp rax, 1
001a3dd6jne 0x1a3e24
001a3dd8sub r15, 48
001a3ddccmp r15, [r14]
001a3ddfjb 0x1a4444
001a3de5
001a3de5loc_1a3de5:
001a3de5lea rax, [r15+8]
001a3de9add rax, 24
001a3dedmov [rax-8], 2048
001a3df5mov rbx, [rsp+32]
001a3dfamov [rax], rbx
001a3dfdmov [rax+8], 1
001a3e05lea rbx, [rax-24]
001a3e09mov [rbx-8], 2048
001a3e11mov rdi, [rsp+8]
001a3e16mov [rbx], rdi
001a3e19mov [rbx+8], rax
001a3e1djmp 0x1a41bd
001a3e22
001a3e22 66 90 f.
001a3e24
001a3e24loc_1a3e24:
001a3e24cmp rax, 1
001a3e28jge 0x1a3e8c
001a3e2asub r15, 72
001a3e2ecmp r15, [r14]
001a3e31jb 0x1a443a
001a3e37
001a3e37loc_1a3e37:
001a3e37lea rax, [r15+8]
001a3e3badd rax, 48
001a3e3fmov [rax-8], 2048
001a3e47mov rbx, [rsp+24]
001a3e4cmov [rax], rbx
001a3e4fmov [rax+8], 1
001a3e57lea rdi, [rax-24]
001a3e5bmov [rdi-8], 2048
001a3e63mov rbx, [rsp+32]
001a3e68mov [rdi], rbx
001a3e6bmov [rdi+8], rax
001a3e6flea rbx, [rdi-24]
001a3e73mov [rbx-8], 2048
001a3e7bmov rax, [rsp+8]
001a3e80mov [rbx], rax
001a3e83mov [rbx+8], rdi
001a3e87jmp 0x1a41bd
001a3e8c
001a3e8cloc_1a3e8c:
001a3e8cmov rax, [rsp+16]
001a3e91mov rdi, [rax+56]
001a3e95mov rax, [rsp+8]
001a3e9amov rbx, [rsp+24]
001a3e9fcall caml_apply2
001a3ea4cmp rax, 1
001a3ea8jne 0x1a3ef4
001a3eaasub r15, 48
001a3eaecmp r15, [r14]
001a3eb1jb 0x1a4430
001a3eb7
001a3eb7loc_1a3eb7:
001a3eb7lea rax, [r15+8]
001a3ebbadd rax, 24
001a3ebfmov [rax-8], 2048
001a3ec7mov rbx, [rsp+32]
001a3eccmov [rax], rbx
001a3ecfmov [rax+8], 1
001a3ed7lea rbx, [rax-24]
001a3edbmov [rbx-8], 2048
001a3ee3mov rdi, [rsp+8]
001a3ee8mov [rbx], rdi
001a3eebmov [rbx+8], rax
001a3eefjmp 0x1a41bd
001a3ef4
001a3ef4loc_1a3ef4:
001a3ef4cmp rax, 1
001a3ef8jge 0x1a3f5c
001a3efasub r15, 72
001a3efecmp r15, [r14]
001a3f01jb 0x1a4426
001a3f07
001a3f07loc_1a3f07:
001a3f07lea rax, [r15+8]
001a3f0badd rax, 48
001a3f0fmov [rax-8], 2048
001a3f17mov rbx, [rsp+32]
001a3f1cmov [rax], rbx
001a3f1fmov [rax+8], 1
001a3f27lea rdi, [rax-24]
001a3f2bmov [rdi-8], 2048
001a3f33mov rbx, [rsp+24]
001a3f38mov [rdi], rbx
001a3f3bmov [rdi+8], rax
001a3f3flea rbx, [rdi-24]
001a3f43mov [rbx-8], 2048
001a3f4bmov rax, [rsp+8]
001a3f50mov [rbx], rax
001a3f53mov [rbx+8], rdi
001a3f57jmp 0x1a41bd
001a3f5c
001a3f5cloc_1a3f5c:
001a3f5csub r15, 72
001a3f60cmp r15, [r14]
001a3f63jb 0x1a441c
001a3f69
001a3f69loc_1a3f69:
001a3f69lea rax, [r15+8]
001a3f6dadd rax, 48
001a3f71mov [rax-8], 2048
001a3f79mov rbx, [rsp+32]
001a3f7emov [rax], rbx
001a3f81mov [rax+8], 1
001a3f89lea rdi, [rax-24]
001a3f8dmov [rdi-8], 2048
001a3f95mov rbx, [rsp+8]
001a3f9amov [rdi], rbx
001a3f9dmov [rdi+8], rax
001a3fa1lea rbx, [rdi-24]
001a3fa5mov [rbx-8], 2048
001a3fadmov rax, [rsp+24]
001a3fb2mov [rbx], rax
001a3fb5mov [rbx+8], rdi
001a3fb9jmp 0x1a41bd
001a3fbe
001a3fbe 66 90 f.
001a3fc0
001a3fc0loc_1a3fc0:
001a3fc0mov rax, [rsp+16]
001a3fc5mov rdi, [rax+56]
001a3fc9mov rax, [rsp+8]
001a3fcemov rbx, [rsp+24]
001a3fd3call caml_apply2
001a3fd8cmp rax, 1
001a3fdcjne 0x1a4028
001a3fdesub r15, 48
001a3fe2cmp r15, [r14]
001a3fe5jb 0x1a4412
001a3feb
001a3febloc_1a3feb:
001a3feblea rax, [r15+8]
001a3fefadd rax, 24
001a3ff3mov [rax-8], 2048
001a3ffbmov rbx, [rsp+8]
001a4000mov [rax], rbx
001a4003mov [rax+8], 1
001a400blea rbx, [rax-24]
001a400fmov [rbx-8], 2048
001a4017mov rdi, [rsp+32]
001a401cmov [rbx], rdi
001a401fmov [rbx+8], rax
001a4023jmp 0x1a41bd
001a4028
001a4028loc_1a4028:
001a4028cmp rax, 1
001a402cjge 0x1a4090
001a402esub r15, 72
001a4032cmp r15, [r14]
001a4035jb 0x1a4408
001a403b
001a403bloc_1a403b:
001a403blea rax, [r15+8]
001a403fadd rax, 48
001a4043mov [rax-8], 2048
001a404bmov rbx, [rsp+24]
001a4050mov [rax], rbx
001a4053mov [rax+8], 1
001a405blea rdi, [rax-24]
001a405fmov [rdi-8], 2048
001a4067mov rbx, [rsp+8]
001a406cmov [rdi], rbx
001a406fmov [rdi+8], rax
001a4073lea rbx, [rdi-24]
001a4077mov [rbx-8], 2048
001a407fmov rax, [rsp+32]
001a4084mov [rbx], rax
001a4087mov [rbx+8], rdi
001a408bjmp 0x1a41bd
001a4090
001a4090loc_1a4090:
001a4090mov rax, [rsp+16]
001a4095mov rdi, [rax+56]
001a4099mov rax, [rsp+32]
001a409emov rbx, [rsp+24]
001a40a3call caml_apply2
001a40a8cmp rax, 1
001a40acjne 0x1a40f8
001a40aesub r15, 48
001a40b2cmp r15, [r14]
001a40b5jb 0x1a43fe
001a40bb
001a40bbloc_1a40bb:
001a40bblea rax, [r15+8]
001a40bfadd rax, 24
001a40c3mov [rax-8], 2048
001a40cbmov rbx, [rsp+8]
001a40d0mov [rax], rbx
001a40d3mov [rax+8], 1
001a40dblea rbx, [rax-24]
001a40dfmov [rbx-8], 2048
001a40e7mov rdi, [rsp+32]
001a40ecmov [rbx], rdi
001a40efmov [rbx+8], rax
001a40f3jmp 0x1a41bd
001a40f8
001a40f8loc_1a40f8:
001a40f8cmp rax, 1
001a40fcjge 0x1a4160
001a40fesub r15, 72
001a4102cmp r15, [r14]
001a4105jb 0x1a43f4
001a410b
001a410bloc_1a410b:
001a410blea rax, [r15+8]
001a410fadd rax, 48
001a4113mov [rax-8], 2048
001a411bmov rbx, [rsp+8]
001a4120mov [rax], rbx
001a4123mov [rax+8], 1
001a412blea rdi, [rax-24]
001a412fmov [rdi-8], 2048
001a4137mov rbx, [rsp+24]
001a413cmov [rdi], rbx
001a413fmov [rdi+8], rax
001a4143lea rbx, [rdi-24]
001a4147mov [rbx-8], 2048
001a414fmov rax, [rsp+32]
001a4154mov [rbx], rax
001a4157mov [rbx+8], rdi
001a415bjmp 0x1a41bd
001a415d
001a415d 0f 1f 00 ...
001a4160
001a4160loc_1a4160:
001a4160sub r15, 72
001a4164cmp r15, [r14]
001a4167jb 0x1a43ea
001a416d
001a416dloc_1a416d:
001a416dlea rax, [r15+8]
001a4171add rax, 48
001a4175mov [rax-8], 2048
001a417dmov rbx, [rsp+8]
001a4182mov [rax], rbx
001a4185mov [rax+8], 1
001a418dlea rdi, [rax-24]
001a4191mov [rdi-8], 2048
001a4199mov rbx, [rsp+32]
001a419emov [rdi], rbx
001a41a1mov [rdi+8], rax
001a41a5lea rbx, [rdi-24]
001a41a9mov [rbx-8], 2048
001a41b1mov rax, [rsp+24]
001a41b6mov [rbx], rax
001a41b9mov [rbx+8], rdi
001a41bd
001a41bdloc_1a41bd:
001a41bdsub r15, 24
001a41c1cmp r15, [r14]
001a41c4jb 0x1a43e0
001a41ca
001a41caloc_1a41ca:
001a41calea rax, [r15+8]
001a41cemov [rax-8], 2048
001a41d6mov [rax], rbx
001a41d9mov rbx, [rsp]
001a41ddmov rbx, [rbx+8]
001a41e1mov [rax+8], rbx
001a41e5add rsp, 40
001a41e9ret
001a41ea
001a41ea 66 90 f.
001a41ec
001a41ecloc_1a41ec:
001a41ectest sil, 1
001a41f0je 0x1a41fc
001a41f2mov [rsp+16], rdi
001a41f7jmp 0x1a4328
001a41fc
001a41fcloc_1a41fc:
001a41fcmov rax, [rsi+8]
001a4200test al, 1
001a4202je 0x1a4210
001a4204mov [rsp+16], rdi
001a4209jmp 0x1a4328
001a420e
001a420e 66 90 f.
001a4210
001a4210loc_1a4210:
001a4210mov [rsp], rax
001a4214mov rbx, [rax]
001a4217mov [rsp+8], rbx
001a421cmov rax, [rsi]
001a421fmov [rsp+16], rax
001a4224mov rdi, [rdi+56]
001a4228call caml_apply2
001a422dcmp rax, 1
001a4231jne 0x1a4264
001a4233sub r15, 24
001a4237cmp r15, [r14]
001a423ajb 0x1a43d6
001a4240
001a4240loc_1a4240:
001a4240lea rbx, [r15+8]
001a4244mov [rbx-8], 2048
001a424cmov rax, [rsp+16]
001a4251mov [rbx], rax
001a4254mov [rbx+8], 1
001a425cjmp 0x1a42f9
001a4261
001a4261 0f 1f 00 ...
001a4264
001a4264loc_1a4264:
001a4264cmp rax, 1
001a4268jge 0x1a42b4
001a426asub r15, 48
001a426ecmp r15, [r14]
001a4271jb 0x1a43cc
001a4277
001a4277loc_1a4277:
001a4277lea rax, [r15+8]
001a427badd rax, 24
001a427fmov [rax-8], 2048
001a4287mov rbx, [rsp+8]
001a428cmov [rax], rbx
001a428fmov [rax+8], 1
001a4297lea rbx, [rax-24]
001a429bmov [rbx-8], 2048
001a42a3mov rdi, [rsp+16]
001a42a8mov [rbx], rdi
001a42abmov [rbx+8], rax
001a42afjmp 0x1a42f9
001a42b1
001a42b1 0f 1f 00 ...
001a42b4
001a42b4loc_1a42b4:
001a42b4sub r15, 48
001a42b8cmp r15, [r14]
001a42bbjb 0x1a43c2
001a42c1
001a42c1loc_1a42c1:
001a42c1lea rax, [r15+8]
001a42c5add rax, 24
001a42c9mov [rax-8], 2048
001a42d1mov rbx, [rsp+16]
001a42d6mov [rax], rbx
001a42d9mov [rax+8], 1
001a42e1lea rbx, [rax-24]
001a42e5mov [rbx-8], 2048
001a42edmov rdi, [rsp+8]
001a42f2mov [rbx], rdi
001a42f5mov [rbx+8], rax
001a42f9
001a42f9loc_1a42f9:
001a42f9sub r15, 24
001a42fdcmp r15, [r14]
001a4300jb 0x1a43b8
001a4306
001a4306loc_1a4306:
001a4306lea rax, [r15+8]
001a430amov [rax-8], 2048
001a4312mov [rax], rbx
001a4315mov rbx, [rsp]
001a4319mov rbx, [rbx+8]
001a431dmov [rax+8], rbx
001a4321add rsp, 40
001a4325ret
001a4326
001a4326 66 90 f.
001a4328
001a4328loc_1a4328:
001a4328mov rax, rdx
001a432bsar rax, 1
001a432eor rax, 1
001a4332sub rdx, rax
001a4335inc rdx
001a4338mov [rsp], rdx
001a433cadd rdi, 32
001a4340mov rbx, rsi
001a4343call Stdlib.List.rev_sort
001a4348mov [rsp+8], rax
001a434dmov rdi, [rsp+16]
001a4352add rdi, 32
001a4356mov rbx, [rax+8]
001a435amov rax, [rsp]
001a435ecall Stdlib.List.rev_sort
001a4363mov [rsp], rax
001a4367mov rbx, [rax]
001a436amov rax, [rsp+8]
001a436fmov rax, [rax]
001a4372mov rdi, [rsp+16]
001a4377mov rsi, [rdi+72]
001a437bmov edi, 1
001a4380call Stdlib.List.rev_merge_rev
001a4385sub r15, 24
001a4389cmp r15, [r14]
001a438cjb 0x1a43b1
001a438e
001a438eloc_1a438e:
001a438elea rbx, [r15+8]
001a4392mov [rbx-8], 2048
001a439amov [rbx], rax
001a439dmov rax, [rsp]
001a43a1mov rax, [rax+8]
001a43a5mov [rbx+8], rax
001a43a9mov rax, rbx
001a43acadd rsp, 40
001a43b0ret
001a43b1
001a43b1loc_1a43b1:
001a43b1call caml_call_gc
001a43b6jmp 0x1a438e
001a43b8
001a43b8loc_1a43b8:
001a43b8call caml_call_gc
001a43bdjmp 0x1a4306
001a43c2
001a43c2loc_1a43c2:
001a43c2call caml_call_gc
001a43c7jmp 0x1a42c1
001a43cc
001a43ccloc_1a43cc:
001a43cccall caml_call_gc
001a43d1jmp 0x1a4277
001a43d6
001a43d6loc_1a43d6:
001a43d6call caml_call_gc
001a43dbjmp 0x1a4240
001a43e0
001a43e0loc_1a43e0:
001a43e0call caml_call_gc
001a43e5jmp 0x1a41ca
001a43ea
001a43ealoc_1a43ea:
001a43eacall caml_call_gc
001a43efjmp 0x1a416d
001a43f4
001a43f4loc_1a43f4:
001a43f4call caml_call_gc
001a43f9jmp 0x1a410b
001a43fe
001a43feloc_1a43fe:
001a43fecall caml_call_gc
001a4403jmp 0x1a40bb
001a4408
001a4408loc_1a4408:
001a4408call caml_call_gc
001a440djmp 0x1a403b
001a4412
001a4412loc_1a4412:
001a4412call caml_call_gc
001a4417jmp 0x1a3feb
001a441c
001a441cloc_1a441c:
001a441ccall caml_call_gc
001a4421jmp 0x1a3f69
001a4426
001a4426loc_1a4426:
001a4426call caml_call_gc
001a442bjmp 0x1a3f07
001a4430
001a4430loc_1a4430:
001a4430call caml_call_gc
001a4435jmp 0x1a3eb7
001a443a
001a443aloc_1a443a:
001a443acall caml_call_gc
001a443fjmp 0x1a3e37
001a4444
001a4444loc_1a4444:
001a4444call caml_call_gc
001a4449jmp 0x1a3de5
001a444e
001a444eloc_1a444e:
001a444ecall caml_call_gc
001a4453jmp 0x1a3d71
001a4458
001a4458loc_1a4458:
001a4458call caml_call_gc
001a445djmp 0x1a3d27
001a4462
001a4462loc_1a4462:
001a4462call caml_call_gc
001a4467jmp 0x1a3cf2
001a446c
001a446cloc_1a446c:
001a446cpush 38
001a446ecall caml_call_realloc_stack
001a4473pop r10
001a4475jmp 0x1a3c52
001a3c40

001a447a
001a447a // align 0x10

001a4480
001a4480Stdlib.List.rev_sort:
001a4480lea r10, [rsp-360]
001a4488cmp r10, [r14+40]
001a448cjb 0x1a4cac
001a4492
001a4492loc_1a4492:
001a4492sub rsp, 40
001a4496mov rdx, rax
001a4499mov rsi, rbx
001a449ccmp rdx, 5
001a44a0je 0x1a4a2c
001a44a6mov [rsp+16], rdi
001a44abcmp rdx, 7
001a44afjne 0x1a4b68
001a44b5test sil, 1
001a44b9jne 0x1a4b68
001a44bfmov rax, [rsi+8]
001a44c3test al, 1
001a44c5jne 0x1a4b68
001a44cbmov rbx, [rax+8]
001a44cftest bl, 1
001a44d2jne 0x1a4b68
001a44d8mov [rsp], rbx
001a44dcmov rbx, [rbx]
001a44dfmov [rsp+24], rbx
001a44e4mov rbx, [rax]
001a44e7mov [rsp+32], rbx
001a44ecmov rax, [rsi]
001a44efmov [rsp+8], rax
001a44f4mov rdi, [rdi+24]
001a44f8call caml_apply2
001a44fdcmp rax, 1
001a4501jne 0x1a45f0
001a4507mov rax, [rsp+16]
001a450cmov rdi, [rax+24]
001a4510mov rax, [rsp+32]
001a4515mov rbx, [rsp+24]
001a451acall caml_apply2
001a451fcmp rax, 1
001a4523jne 0x1a4554
001a4525sub r15, 24
001a4529cmp r15, [r14]
001a452cjb 0x1a4ca2
001a4532
001a4532loc_1a4532:
001a4532lea rbx, [r15+8]
001a4536mov [rbx-8], 2048
001a453emov rax, [rsp+32]
001a4543mov [rbx], rax
001a4546mov [rbx+8], 1
001a454ejmp 0x1a49fd
001a4553
001a4553 90 .
001a4554
001a4554loc_1a4554:
001a4554cmp rax, 1
001a4558jle 0x1a45a4
001a455asub r15, 48
001a455ecmp r15, [r14]
001a4561jb 0x1a4c98
001a4567
001a4567loc_1a4567:
001a4567lea rax, [r15+8]
001a456badd rax, 24
001a456fmov [rax-8], 2048
001a4577mov rbx, [rsp+24]
001a457cmov [rax], rbx
001a457fmov [rax+8], 1
001a4587lea rbx, [rax-24]
001a458bmov [rbx-8], 2048
001a4593mov rdi, [rsp+32]
001a4598mov [rbx], rdi
001a459bmov [rbx+8], rax
001a459fjmp 0x1a49fd
001a45a4
001a45a4loc_1a45a4:
001a45a4sub r15, 48
001a45a8cmp r15, [r14]
001a45abjb 0x1a4c8e
001a45b1
001a45b1loc_1a45b1:
001a45b1lea rax, [r15+8]
001a45b5add rax, 24
001a45b9mov [rax-8], 2048
001a45c1mov rbx, [rsp+32]
001a45c6mov [rax], rbx
001a45c9mov [rax+8], 1
001a45d1lea rbx, [rax-24]
001a45d5mov [rbx-8], 2048
001a45ddmov rdi, [rsp+24]
001a45e2mov [rbx], rdi
001a45e5mov [rbx+8], rax
001a45e9jmp 0x1a49fd
001a45ee
001a45ee 66 90 f.
001a45f0
001a45f0loc_1a45f0:
001a45f0cmp rax, 1
001a45f4jle 0x1a4800
001a45famov rax, [rsp+16]
001a45ffmov rdi, [rax+24]
001a4603mov rax, [rsp+32]
001a4608mov rbx, [rsp+24]
001a460dcall caml_apply2
001a4612cmp rax, 1
001a4616jne 0x1a4664
001a4618sub r15, 48
001a461ccmp r15, [r14]
001a461fjb 0x1a4c84
001a4625
001a4625loc_1a4625:
001a4625lea rax, [r15+8]
001a4629add rax, 24
001a462dmov [rax-8], 2048
001a4635mov rbx, [rsp+32]
001a463amov [rax], rbx
001a463dmov [rax+8], 1
001a4645lea rbx, [rax-24]
001a4649mov [rbx-8], 2048
001a4651mov rdi, [rsp+8]
001a4656mov [rbx], rdi
001a4659mov [rbx+8], rax
001a465djmp 0x1a49fd
001a4662
001a4662 66 90 f.
001a4664
001a4664loc_1a4664:
001a4664cmp rax, 1
001a4668jle 0x1a46cc
001a466asub r15, 72
001a466ecmp r15, [r14]
001a4671jb 0x1a4c7a
001a4677
001a4677loc_1a4677:
001a4677lea rax, [r15+8]
001a467badd rax, 48
001a467fmov [rax-8], 2048
001a4687mov rbx, [rsp+24]
001a468cmov [rax], rbx
001a468fmov [rax+8], 1
001a4697lea rdi, [rax-24]
001a469bmov [rdi-8], 2048
001a46a3mov rbx, [rsp+32]
001a46a8mov [rdi], rbx
001a46abmov [rdi+8], rax
001a46aflea rbx, [rdi-24]
001a46b3mov [rbx-8], 2048
001a46bbmov rax, [rsp+8]
001a46c0mov [rbx], rax
001a46c3mov [rbx+8], rdi
001a46c7jmp 0x1a49fd
001a46cc
001a46ccloc_1a46cc:
001a46ccmov rax, [rsp+16]
001a46d1mov rdi, [rax+24]
001a46d5mov rax, [rsp+8]
001a46damov rbx, [rsp+24]
001a46dfcall caml_apply2
001a46e4cmp rax, 1
001a46e8jne 0x1a4734
001a46easub r15, 48
001a46eecmp r15, [r14]
001a46f1jb 0x1a4c70
001a46f7
001a46f7loc_1a46f7:
001a46f7lea rax, [r15+8]
001a46fbadd rax, 24
001a46ffmov [rax-8], 2048
001a4707mov rbx, [rsp+32]
001a470cmov [rax], rbx
001a470fmov [rax+8], 1
001a4717lea rbx, [rax-24]
001a471bmov [rbx-8], 2048
001a4723mov rdi, [rsp+8]
001a4728mov [rbx], rdi
001a472bmov [rbx+8], rax
001a472fjmp 0x1a49fd
001a4734
001a4734loc_1a4734:
001a4734cmp rax, 1
001a4738jle 0x1a479c
001a473asub r15, 72
001a473ecmp r15, [r14]
001a4741jb 0x1a4c66
001a4747
001a4747loc_1a4747:
001a4747lea rax, [r15+8]
001a474badd rax, 48
001a474fmov [rax-8], 2048
001a4757mov rbx, [rsp+32]
001a475cmov [rax], rbx
001a475fmov [rax+8], 1
001a4767lea rdi, [rax-24]
001a476bmov [rdi-8], 2048
001a4773mov rbx, [rsp+24]
001a4778mov [rdi], rbx
001a477bmov [rdi+8], rax
001a477flea rbx, [rdi-24]
001a4783mov [rbx-8], 2048
001a478bmov rax, [rsp+8]
001a4790mov [rbx], rax
001a4793mov [rbx+8], rdi
001a4797jmp 0x1a49fd
001a479c
001a479cloc_1a479c:
001a479csub r15, 72
001a47a0cmp r15, [r14]
001a47a3jb 0x1a4c5c
001a47a9
001a47a9loc_1a47a9:
001a47a9lea rax, [r15+8]
001a47adadd rax, 48
001a47b1mov [rax-8], 2048
001a47b9mov rbx, [rsp+32]
001a47bemov [rax], rbx
001a47c1mov [rax+8], 1
001a47c9lea rdi, [rax-24]
001a47cdmov [rdi-8], 2048
001a47d5mov rbx, [rsp+8]
001a47damov [rdi], rbx
001a47ddmov [rdi+8], rax
001a47e1lea rbx, [rdi-24]
001a47e5mov [rbx-8], 2048
001a47edmov rax, [rsp+24]
001a47f2mov [rbx], rax
001a47f5mov [rbx+8], rdi
001a47f9jmp 0x1a49fd
001a47fe
001a47fe 66 90 f.
001a4800
001a4800loc_1a4800:
001a4800mov rax, [rsp+16]
001a4805mov rdi, [rax+24]
001a4809mov rax, [rsp+8]
001a480emov rbx, [rsp+24]
001a4813call caml_apply2
001a4818cmp rax, 1
001a481cjne 0x1a4868
001a481esub r15, 48
001a4822cmp r15, [r14]
001a4825jb 0x1a4c52
001a482b
001a482bloc_1a482b:
001a482blea rax, [r15+8]
001a482fadd rax, 24
001a4833mov [rax-8], 2048
001a483bmov rbx, [rsp+8]
001a4840mov [rax], rbx
001a4843mov [rax+8], 1
001a484blea rbx, [rax-24]
001a484fmov [rbx-8], 2048
001a4857mov rdi, [rsp+32]
001a485cmov [rbx], rdi
001a485fmov [rbx+8], rax
001a4863jmp 0x1a49fd
001a4868
001a4868loc_1a4868:
001a4868cmp rax, 1
001a486cjle 0x1a48d0
001a486esub r15, 72
001a4872cmp r15, [r14]
001a4875jb 0x1a4c48
001a487b
001a487bloc_1a487b:
001a487blea rax, [r15+8]
001a487fadd rax, 48
001a4883mov [rax-8], 2048
001a488bmov rbx, [rsp+24]
001a4890mov [rax], rbx
001a4893mov [rax+8], 1
001a489blea rdi, [rax-24]
001a489fmov [rdi-8], 2048
001a48a7mov rbx, [rsp+8]
001a48acmov [rdi], rbx
001a48afmov [rdi+8], rax
001a48b3lea rbx, [rdi-24]
001a48b7mov [rbx-8], 2048
001a48bfmov rax, [rsp+32]
001a48c4mov [rbx], rax
001a48c7mov [rbx+8], rdi
001a48cbjmp 0x1a49fd
001a48d0
001a48d0loc_1a48d0:
001a48d0mov rax, [rsp+16]
001a48d5mov rdi, [rax+24]
001a48d9mov rax, [rsp+32]
001a48demov rbx, [rsp+24]
001a48e3call caml_apply2
001a48e8cmp rax, 1
001a48ecjne 0x1a4938
001a48eesub r15, 48
001a48f2cmp r15, [r14]
001a48f5jb 0x1a4c3e
001a48fb
001a48fbloc_1a48fb:
001a48fblea rax, [r15+8]
001a48ffadd rax, 24
001a4903mov [rax-8], 2048
001a490bmov rbx, [rsp+8]
001a4910mov [rax], rbx
001a4913mov [rax+8], 1
001a491blea rbx, [rax-24]
001a491fmov [rbx-8], 2048
001a4927mov rdi, [rsp+32]
001a492cmov [rbx], rdi
001a492fmov [rbx+8], rax
001a4933jmp 0x1a49fd
001a4938
001a4938loc_1a4938:
001a4938cmp rax, 1
001a493cjle 0x1a49a0
001a493esub r15, 72
001a4942cmp r15, [r14]
001a4945jb 0x1a4c34
001a494b
001a494bloc_1a494b:
001a494blea rax, [r15+8]
001a494fadd rax, 48
001a4953mov [rax-8], 2048
001a495bmov rbx, [rsp+8]
001a4960mov [rax], rbx
001a4963mov [rax+8], 1
001a496blea rdi, [rax-24]
001a496fmov [rdi-8], 2048
001a4977mov rbx, [rsp+24]
001a497cmov [rdi], rbx
001a497fmov [rdi+8], rax
001a4983lea rbx, [rdi-24]
001a4987mov [rbx-8], 2048
001a498fmov rax, [rsp+32]
001a4994mov [rbx], rax
001a4997mov [rbx+8], rdi
001a499bjmp 0x1a49fd
001a499d
001a499d 0f 1f 00 ...
001a49a0
001a49a0loc_1a49a0:
001a49a0sub r15, 72
001a49a4cmp r15, [r14]
001a49a7jb 0x1a4c2a
001a49ad
001a49adloc_1a49ad:
001a49adlea rax, [r15+8]
001a49b1add rax, 48
001a49b5mov [rax-8], 2048
001a49bdmov rbx, [rsp+8]
001a49c2mov [rax], rbx
001a49c5mov [rax+8], 1
001a49cdlea rdi, [rax-24]
001a49d1mov [rdi-8], 2048
001a49d9mov rbx, [rsp+32]
001a49demov [rdi], rbx
001a49e1mov [rdi+8], rax
001a49e5lea rbx, [rdi-24]
001a49e9mov [rbx-8], 2048
001a49f1mov rax, [rsp+24]
001a49f6mov [rbx], rax
001a49f9mov [rbx+8], rdi
001a49fd
001a49fdloc_1a49fd:
001a49fdsub r15, 24
001a4a01cmp r15, [r14]
001a4a04jb 0x1a4c20
001a4a0a
001a4a0aloc_1a4a0a:
001a4a0alea rax, [r15+8]
001a4a0emov [rax-8], 2048
001a4a16mov [rax], rbx
001a4a19mov rbx, [rsp]
001a4a1dmov rbx, [rbx+8]
001a4a21mov [rax+8], rbx
001a4a25add rsp, 40
001a4a29ret
001a4a2a
001a4a2a 66 90 f.
001a4a2c
001a4a2cloc_1a4a2c:
001a4a2ctest sil, 1
001a4a30je 0x1a4a3c
001a4a32mov [rsp+16], rdi
001a4a37jmp 0x1a4b68
001a4a3c
001a4a3cloc_1a4a3c:
001a4a3cmov rax, [rsi+8]
001a4a40test al, 1
001a4a42je 0x1a4a50
001a4a44mov [rsp+16], rdi
001a4a49jmp 0x1a4b68
001a4a4e
001a4a4e 66 90 f.
001a4a50
001a4a50loc_1a4a50:
001a4a50mov [rsp], rax
001a4a54mov rbx, [rax]
001a4a57mov [rsp+8], rbx
001a4a5cmov rax, [rsi]
001a4a5fmov [rsp+16], rax
001a4a64mov rdi, [rdi+24]
001a4a68call caml_apply2
001a4a6dcmp rax, 1
001a4a71jne 0x1a4aa4
001a4a73sub r15, 24
001a4a77cmp r15, [r14]
001a4a7ajb 0x1a4c16
001a4a80
001a4a80loc_1a4a80:
001a4a80lea rbx, [r15+8]
001a4a84mov [rbx-8], 2048
001a4a8cmov rax, [rsp+16]
001a4a91mov [rbx], rax
001a4a94mov [rbx+8], 1
001a4a9cjmp 0x1a4b39
001a4aa1
001a4aa1 0f 1f 00 ...
001a4aa4
001a4aa4loc_1a4aa4:
001a4aa4cmp rax, 1
001a4aa8jle 0x1a4af4
001a4aaasub r15, 48
001a4aaecmp r15, [r14]
001a4ab1jb 0x1a4c0c
001a4ab7
001a4ab7loc_1a4ab7:
001a4ab7lea rax, [r15+8]
001a4abbadd rax, 24
001a4abfmov [rax-8], 2048
001a4ac7mov rbx, [rsp+8]
001a4accmov [rax], rbx
001a4acfmov [rax+8], 1
001a4ad7lea rbx, [rax-24]
001a4adbmov [rbx-8], 2048
001a4ae3mov rdi, [rsp+16]
001a4ae8mov [rbx], rdi
001a4aebmov [rbx+8], rax
001a4aefjmp 0x1a4b39
001a4af1
001a4af1 0f 1f 00 ...
001a4af4
001a4af4loc_1a4af4:
001a4af4sub r15, 48
001a4af8cmp r15, [r14]
001a4afbjb 0x1a4c02
001a4b01
001a4b01loc_1a4b01:
001a4b01lea rax, [r15+8]
001a4b05add rax, 24
001a4b09mov [rax-8], 2048
001a4b11mov rbx, [rsp+16]
001a4b16mov [rax], rbx
001a4b19mov [rax+8], 1
001a4b21lea rbx, [rax-24]
001a4b25mov [rbx-8], 2048
001a4b2dmov rdi, [rsp+8]
001a4b32mov [rbx], rdi
001a4b35mov [rbx+8], rax
001a4b39
001a4b39loc_1a4b39:
001a4b39sub r15, 24
001a4b3dcmp r15, [r14]
001a4b40jb 0x1a4bf8
001a4b46
001a4b46loc_1a4b46:
001a4b46lea rax, [r15+8]
001a4b4amov [rax-8], 2048
001a4b52mov [rax], rbx
001a4b55mov rbx, [rsp]
001a4b59mov rbx, [rbx+8]
001a4b5dmov [rax+8], rbx
001a4b61add rsp, 40
001a4b65ret
001a4b66
001a4b66 66 90 f.
001a4b68
001a4b68loc_1a4b68:
001a4b68mov rax, rdx
001a4b6bsar rax, 1
001a4b6eor rax, 1
001a4b72sub rdx, rax
001a4b75inc rdx
001a4b78mov [rsp], rdx
001a4b7cadd rdi, -32
001a4b80mov rbx, rsi
001a4b83call Stdlib.List.sort
001a4b88mov [rsp+8], rax
001a4b8dmov rdi, [rsp+16]
001a4b92add rdi, -32
001a4b96mov rbx, [rax+8]
001a4b9amov rax, [rsp]
001a4b9ecall Stdlib.List.sort
001a4ba3mov [rsp], rax
001a4ba7mov rbx, [rax]
001a4baamov rax, [rsp+8]
001a4bafmov rax, [rax]
001a4bb2mov rdi, [rsp+16]
001a4bb7mov rsi, [rdi+32]
001a4bbbmov edi, 1
001a4bc0call Stdlib.List.rev_merge
001a4bc5sub r15, 24
001a4bc9cmp r15, [r14]
001a4bccjb 0x1a4bf1
001a4bce
001a4bceloc_1a4bce:
001a4bcelea rbx, [r15+8]
001a4bd2mov [rbx-8], 2048
001a4bdamov [rbx], rax
001a4bddmov rax, [rsp]
001a4be1mov rax, [rax+8]
001a4be5mov [rbx+8], rax
001a4be9mov rax, rbx
001a4becadd rsp, 40
001a4bf0ret
001a4bf1
001a4bf1loc_1a4bf1:
001a4bf1call caml_call_gc
001a4bf6jmp 0x1a4bce
001a4bf8
001a4bf8loc_1a4bf8:
001a4bf8call caml_call_gc
001a4bfdjmp 0x1a4b46
001a4c02
001a4c02loc_1a4c02:
001a4c02call caml_call_gc
001a4c07jmp 0x1a4b01
001a4c0c
001a4c0cloc_1a4c0c:
001a4c0ccall caml_call_gc
001a4c11jmp 0x1a4ab7
001a4c16
001a4c16loc_1a4c16:
001a4c16call caml_call_gc
001a4c1bjmp 0x1a4a80
001a4c20
001a4c20loc_1a4c20:
001a4c20call caml_call_gc
001a4c25jmp 0x1a4a0a
001a4c2a
001a4c2aloc_1a4c2a:
001a4c2acall caml_call_gc
001a4c2fjmp 0x1a49ad
001a4c34
001a4c34loc_1a4c34:
001a4c34call caml_call_gc
001a4c39jmp 0x1a494b
001a4c3e
001a4c3eloc_1a4c3e:
001a4c3ecall caml_call_gc
001a4c43jmp 0x1a48fb
001a4c48
001a4c48loc_1a4c48:
001a4c48call caml_call_gc
001a4c4djmp 0x1a487b
001a4c52
001a4c52loc_1a4c52:
001a4c52call caml_call_gc
001a4c57jmp 0x1a482b
001a4c5c
001a4c5cloc_1a4c5c:
001a4c5ccall caml_call_gc
001a4c61jmp 0x1a47a9
001a4c66
001a4c66loc_1a4c66:
001a4c66call caml_call_gc
001a4c6bjmp 0x1a4747
001a4c70
001a4c70loc_1a4c70:
001a4c70call caml_call_gc
001a4c75jmp 0x1a46f7
001a4c7a
001a4c7aloc_1a4c7a:
001a4c7acall caml_call_gc
001a4c7fjmp 0x1a4677
001a4c84
001a4c84loc_1a4c84:
001a4c84call caml_call_gc
001a4c89jmp 0x1a4625
001a4c8e
001a4c8eloc_1a4c8e:
001a4c8ecall caml_call_gc
001a4c93jmp 0x1a45b1
001a4c98
001a4c98loc_1a4c98:
001a4c98call caml_call_gc
001a4c9djmp 0x1a4567
001a4ca2
001a4ca2loc_1a4ca2:
001a4ca2call caml_call_gc
001a4ca7jmp 0x1a4532
001a4cac
001a4cacloc_1a4cac:
001a4cacpush 38
001a4caecall caml_call_realloc_stack
001a4cb3pop r10
001a4cb5jmp 0x1a4492
001a4480