File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001ada30
001ada30Stdlib.Array.mapi_inplace:
001ada30lea r10, [rsp-352]
001ada38cmp r10, [r14+40]
001ada3cjb 0x1adb43
001ada42
001ada42loc_1ada42:
001ada42sub rsp, 32
001ada46mov r13, rbx
001ada49mov r12l, 1
001ada4fmov rbx, [r13-8]
001ada53shr rbx, 9
001ada57or rbx, 1
001ada5badd rbx, -2
001ada5fcmp r12, rbx
001ada62jg 0x1adb25
001ada68mov [rsp+16], rbx
001ada6dmov [rsp+24], r12
001ada72mov [rsp+8], r13
001ada77mov [rsp], rax
001ada7b
001ada7bloc_1ada7b:
001ada7bmovzx rax, [r13-8]
001ada80cmp rax, 254
001ada86je 0x1ada90
001ada88mov rbx, [r13+4*r12-4]
001ada8djmp 0x1adab4
001ada8f
001ada8f 90 .
001ada90
001ada90loc_1ada90:
001ada90sub r15, 16
001ada94cmp r15, [r14]
001ada97jb 0x1adb39
001ada9d
001ada9dloc_1ada9d:
001ada9dlea rbx, [r15+8]
001adaa1mov [rbx-8], 1277
001adaa9movsd_xmm x0, [r13+4*r12-4]
001adab0movsd_xmm [rbx], x0
001adab4
001adab4loc_1adab4:
001adab4mov rax, r12
001adab7mov rdi, [rsp]
001adabbcall caml_apply2
001adac0mov r13, [rsp+8]
001adac5movzx rbx, [r13-8]
001adacacmp rbx, 254
001adad1je 0x1adaf4
001adad3mov r12, [rsp+24]
001adad8lea rdi, [r13+4*r12-4]
001adaddmov rsi, rax
001adae0mov rbx, rsp
001adae3mov rsp, [r14+64]
001adae7call caml_modify
001adaecmov rsp, rbx
001adaefjmp 0x1adb04
001adaf1
001adaf1 0f 1f 00 ...
001adaf4
001adaf4loc_1adaf4:
001adaf4movsd_xmm x0, [rax]
001adaf8mov r12, [rsp+24]
001adafdmovsd_xmm [r13+4*r12-4], x0
001adb04
001adb04loc_1adb04:
001adb04mov rax, r12
001adb07add r12, 2
001adb0bmov [rsp+24], r12
001adb10mov rbx, [rsp+16]
001adb15cmp rax, rbx
001adb18je 0x1adb25
001adb1acmp r15, [r14]
001adb1dja 0x1ada7b
001adb23jmp 0x1adb2f
001adb25
001adb25loc_1adb25:
001adb25mov eax, 1
001adb2aadd rsp, 32
001adb2eret
001adb2f
001adb2floc_1adb2f:
001adb2fcall caml_call_gc
001adb34jmp 0x1ada7b
001adb39
001adb39loc_1adb39:
001adb39call caml_call_gc
001adb3ejmp 0x1ada9d
001adb43
001adb43loc_1adb43:
001adb43push 37
001adb45call caml_call_realloc_stack
001adb4apop r10
001adb4cjmp 0x1ada42
001ada30
001ada30Stdlib.Array.mapi_inplace:
001ada30lea r10, [rsp-352]
001ada38cmp r10, [r14+40]
001ada3cjb 0x1adb43
001ada42
001ada42loc_1ada42:
001ada42sub rsp, 32
001ada46mov r13, rbx
001ada49mov r12l, 1
001ada4fmov rbx, [r13-8]
001ada53shr rbx, 9
001ada57or rbx, 1
001ada5badd rbx, -2
001ada5fcmp r12, rbx
001ada62jg 0x1adb25
001ada68mov [rsp+16], rbx
001ada6dmov [rsp+24], r12
001ada72mov [rsp+8], r13
001ada77mov [rsp], rax
001ada7b
001ada7bloc_1ada7b:
001ada7bmovzx rax, [r13-8]
001ada80cmp rax, 254
001ada86je 0x1ada90
001ada88mov rbx, [r13+4*r12-4]
001ada8djmp 0x1adab4
001ada8f
001ada8f 90 .
001ada90
001ada90loc_1ada90:
001ada90sub r15, 16
001ada94cmp r15, [r14]
001ada97jb 0x1adb39
001ada9d
001ada9dloc_1ada9d:
001ada9dlea rbx, [r15+8]
001adaa1mov [rbx-8], 1277
001adaa9movsd_xmm x0, [r13+4*r12-4]
001adab0movsd_xmm [rbx], x0
001adab4
001adab4loc_1adab4:
001adab4mov rax, r12
001adab7mov rdi, [rsp]
001adabbcall caml_apply2
001adac0mov r13, [rsp+8]
001adac5movzx rbx, [r13-8]
001adacacmp rbx, 254
001adad1je 0x1adaf4
001adad3mov r12, [rsp+24]
001adad8lea rdi, [r13+4*r12-4]
001adaddmov rsi, rax
001adae0mov rbx, rsp
001adae3mov rsp, [r14+64]
001adae7call caml_modify
001adaecmov rsp, rbx
001adaefjmp 0x1adb04
001adaf1
001adaf1 0f 1f 00 ...
001adaf4
001adaf4loc_1adaf4:
001adaf4movsd_xmm x0, [rax]
001adaf8mov r12, [rsp+24]
001adafdmovsd_xmm [r13+4*r12-4], x0
001adb04
001adb04loc_1adb04:
001adb04mov rax, r12
001adb07add r12, 2
001adb0bmov [rsp+24], r12
001adb10mov rbx, [rsp+16]
001adb15cmp rax, rbx
001adb18je 0x1adb25
001adb1acmp r15, [r14]
001adb1dja 0x1ada7b
001adb23jmp 0x1adb2f
001adb25
001adb25loc_1adb25:
001adb25mov eax, 1
001adb2aadd rsp, 32
001adb2eret
001adb2f
001adb2floc_1adb2f:
001adb2fcall caml_call_gc
001adb34jmp 0x1ada7b
001adb39
001adb39loc_1adb39:
001adb39call caml_call_gc
001adb3ejmp 0x1ada9d
001adb43
001adb43loc_1adb43:
001adb43push 37
001adb45call caml_call_realloc_stack
001adb4apop r10
001adb4cjmp 0x1ada42
001ada30
001adb51
001adb51 // align 0x10
001adb51 // align 0x10
001adb60
001adb60Stdlib.Array.map2:
001adb60lea r10, [rsp-368]
001adb68cmp r10, [r14+40]
001adb6cjb 0x1adda7
001adb72
001adb72loc_1adb72:
001adb72sub rsp, 48
001adb76mov rdx, rax
001adb79mov rsi, rbx
001adb7cmov rax, [rsi-8]
001adb80shr rax, 9
001adb84or rax, 1
001adb88mov rbx, [rdi-8]
001adb8cshr rbx, 9
001adb90or rbx, 1
001adb94cmp rax, rbx
001adb97je 0x1adbac
001adb99lea rax, [rip+0x18fea0]
001adba0add rsp, 48
001adba4jmp 0x195ab0
001adba9
001adba9 0f 1f 00 ...
001adbac
001adbacloc_1adbac:
001adbaccmp rax, 1
001adbb0jne 0x1adbc0
001adbb2lea rax, [rip+0x1900e7]
001adbb9add rsp, 48
001adbbdret
001adbbe
001adbbe 66 90 f.
001adbc0
001adbc0loc_1adbc0:
001adbc0mov [rsp], rax
001adbc4mov [rsp+8], rdi
001adbc9mov [rsp+16], rsi
001adbcemov [rsp+24], rdx
001adbd3movzx rax, [rdi-8]
001adbd8cmp rax, 254
001adbdeje 0x1adbe8
001adbe0mov rbx, [rdi]
001adbe3jmp 0x1adc09
001adbe5
001adbe5 0f 1f 00 ...
001adbe8
001adbe8loc_1adbe8:
001adbe8sub r15, 16
001adbeccmp r15, [r14]
001adbefjb 0x1add9d
001adbf5
001adbf5loc_1adbf5:
001adbf5lea rbx, [r15+8]
001adbf9mov [rbx-8], 1277
001adc01movsd_xmm x0, [rdi]
001adc05movsd_xmm [rbx], x0
001adc09
001adc09loc_1adc09:
001adc09movzx rax, [rsi-8]
001adc0ecmp rax, 254
001adc14je 0x1adc1c
001adc16mov rax, [rsi]
001adc19jmp 0x1adc3d
001adc1b
001adc1b 90 .
001adc1c
001adc1cloc_1adc1c:
001adc1csub r15, 16
001adc20cmp r15, [r14]
001adc23jb 0x1add93
001adc29
001adc29loc_1adc29:
001adc29lea rax, [r15+8]
001adc2dmov [rax-8], 1277
001adc35movsd_xmm x0, [rsi]
001adc39movsd_xmm [rax], x0
001adc3d
001adc3dloc_1adc3d:
001adc3dmov rdi, rdx
001adc40call caml_apply2
001adc45mov rdi, [rsp]
001adc49mov rsi, rax
001adc4clea rax, [rip+0x4c04d]
001adc53call caml_c_call
001adc58mov r13, rax
001adc5bmov r12l, 3
001adc61mov rax, [rsp]
001adc65add rax, -2
001adc69cmp r12, rax
001adc6cjg 0x1add6d
001adc72mov [rsp+32], rax
001adc77mov [rsp+40], r12
001adc7cmov [rsp], r13
001adc80
001adc80loc_1adc80:
001adc80mov rdi, [rsp+8]
001adc85movzx rax, [rdi-8]
001adc8acmp rax, 254
001adc90je 0x1adc9c
001adc92mov rbx, [rdi+4*r12-4]
001adc97jmp 0x1adcc0
001adc99
001adc99 0f 1f 00 ...
001adc9c
001adc9cloc_1adc9c:
001adc9csub r15, 16
001adca0cmp r15, [r14]
001adca3jb 0x1add89
001adca9
001adca9loc_1adca9:
001adca9lea rbx, [r15+8]
001adcadmov [rbx-8], 1277
001adcb5movsd_xmm x0, [rdi+4*r12-4]
001adcbcmovsd_xmm [rbx], x0
001adcc0
001adcc0loc_1adcc0:
001adcc0mov rdi, [rsp+16]
001adcc5movzx rax, [rdi-8]
001adccacmp rax, 254
001adcd0je 0x1adcdc
001adcd2mov rax, [rdi+4*r12-4]
001adcd7jmp 0x1add00
001adcd9
001adcd9 0f 1f 00 ...
001adcdc
001adcdcloc_1adcdc:
001adcdcsub r15, 16
001adce0cmp r15, [r14]
001adce3jb 0x1add7f
001adce9
001adce9loc_1adce9:
001adce9lea rax, [r15+8]
001adcedmov [rax-8], 1277
001adcf5movsd_xmm x0, [rdi+4*r12-4]
001adcfcmovsd_xmm [rax], x0
001add00
001add00loc_1add00:
001add00mov rdi, [rsp+24]
001add05call caml_apply2
001add0amov r13, [rsp]
001add0emovzx rbx, [r13-8]
001add13cmp rbx, 254
001add1aje 0x1add3c
001add1cmov r12, [rsp+40]
001add21lea rdi, [r13+4*r12-4]
001add26mov rsi, rax
001add29mov rbx, rsp
001add2cmov rsp, [r14+64]
001add30call caml_modify
001add35mov rsp, rbx
001add38jmp 0x1add4c
001add3a
001add3a 66 90 f.
001add3c
001add3cloc_1add3c:
001add3cmovsd_xmm x0, [rax]
001add40mov r12, [rsp+40]
001add45movsd_xmm [r13+4*r12-4], x0
001add4c
001add4cloc_1add4c:
001add4cmov rax, r12
001add4fadd r12, 2
001add53mov [rsp+40], r12
001add58mov rbx, [rsp+32]
001add5dcmp rax, rbx
001add60je 0x1add6d
001add62cmp r15, [r14]
001add65ja 0x1adc80
001add6bjmp 0x1add75
001add6d
001add6dloc_1add6d:
001add6dmov rax, r13
001add70add rsp, 48
001add74ret
001add75
001add75loc_1add75:
001add75call caml_call_gc
001add7ajmp 0x1adc80
001add7f
001add7floc_1add7f:
001add7fcall caml_call_gc
001add84jmp 0x1adce9
001add89
001add89loc_1add89:
001add89call caml_call_gc
001add8ejmp 0x1adca9
001add93
001add93loc_1add93:
001add93call caml_call_gc
001add98jmp 0x1adc29
001add9d
001add9dloc_1add9d:
001add9dcall caml_call_gc
001adda2jmp 0x1adbf5
001adda7
001adda7loc_1adda7:
001adda7push 39
001adda9call caml_call_realloc_stack
001addaepop r10
001addb0jmp 0x1adb72
001adb60
001adb60Stdlib.Array.map2:
001adb60lea r10, [rsp-368]
001adb68cmp r10, [r14+40]
001adb6cjb 0x1adda7
001adb72
001adb72loc_1adb72:
001adb72sub rsp, 48
001adb76mov rdx, rax
001adb79mov rsi, rbx
001adb7cmov rax, [rsi-8]
001adb80shr rax, 9
001adb84or rax, 1
001adb88mov rbx, [rdi-8]
001adb8cshr rbx, 9
001adb90or rbx, 1
001adb94cmp rax, rbx
001adb97je 0x1adbac
001adb99lea rax, [rip+0x18fea0]
001adba0add rsp, 48
001adba4jmp 0x195ab0
001adba9
001adba9 0f 1f 00 ...
001adbac
001adbacloc_1adbac:
001adbaccmp rax, 1
001adbb0jne 0x1adbc0
001adbb2lea rax, [rip+0x1900e7]
001adbb9add rsp, 48
001adbbdret
001adbbe
001adbbe 66 90 f.
001adbc0
001adbc0loc_1adbc0:
001adbc0mov [rsp], rax
001adbc4mov [rsp+8], rdi
001adbc9mov [rsp+16], rsi
001adbcemov [rsp+24], rdx
001adbd3movzx rax, [rdi-8]
001adbd8cmp rax, 254
001adbdeje 0x1adbe8
001adbe0mov rbx, [rdi]
001adbe3jmp 0x1adc09
001adbe5
001adbe5 0f 1f 00 ...
001adbe8
001adbe8loc_1adbe8:
001adbe8sub r15, 16
001adbeccmp r15, [r14]
001adbefjb 0x1add9d
001adbf5
001adbf5loc_1adbf5:
001adbf5lea rbx, [r15+8]
001adbf9mov [rbx-8], 1277
001adc01movsd_xmm x0, [rdi]
001adc05movsd_xmm [rbx], x0
001adc09
001adc09loc_1adc09:
001adc09movzx rax, [rsi-8]
001adc0ecmp rax, 254
001adc14je 0x1adc1c
001adc16mov rax, [rsi]
001adc19jmp 0x1adc3d
001adc1b
001adc1b 90 .
001adc1c
001adc1cloc_1adc1c:
001adc1csub r15, 16
001adc20cmp r15, [r14]
001adc23jb 0x1add93
001adc29
001adc29loc_1adc29:
001adc29lea rax, [r15+8]
001adc2dmov [rax-8], 1277
001adc35movsd_xmm x0, [rsi]
001adc39movsd_xmm [rax], x0
001adc3d
001adc3dloc_1adc3d:
001adc3dmov rdi, rdx
001adc40call caml_apply2
001adc45mov rdi, [rsp]
001adc49mov rsi, rax
001adc4clea rax, [rip+0x4c04d]
001adc53call caml_c_call
001adc58mov r13, rax
001adc5bmov r12l, 3
001adc61mov rax, [rsp]
001adc65add rax, -2
001adc69cmp r12, rax
001adc6cjg 0x1add6d
001adc72mov [rsp+32], rax
001adc77mov [rsp+40], r12
001adc7cmov [rsp], r13
001adc80
001adc80loc_1adc80:
001adc80mov rdi, [rsp+8]
001adc85movzx rax, [rdi-8]
001adc8acmp rax, 254
001adc90je 0x1adc9c
001adc92mov rbx, [rdi+4*r12-4]
001adc97jmp 0x1adcc0
001adc99
001adc99 0f 1f 00 ...
001adc9c
001adc9cloc_1adc9c:
001adc9csub r15, 16
001adca0cmp r15, [r14]
001adca3jb 0x1add89
001adca9
001adca9loc_1adca9:
001adca9lea rbx, [r15+8]
001adcadmov [rbx-8], 1277
001adcb5movsd_xmm x0, [rdi+4*r12-4]
001adcbcmovsd_xmm [rbx], x0
001adcc0
001adcc0loc_1adcc0:
001adcc0mov rdi, [rsp+16]
001adcc5movzx rax, [rdi-8]
001adccacmp rax, 254
001adcd0je 0x1adcdc
001adcd2mov rax, [rdi+4*r12-4]
001adcd7jmp 0x1add00
001adcd9
001adcd9 0f 1f 00 ...
001adcdc
001adcdcloc_1adcdc:
001adcdcsub r15, 16
001adce0cmp r15, [r14]
001adce3jb 0x1add7f
001adce9
001adce9loc_1adce9:
001adce9lea rax, [r15+8]
001adcedmov [rax-8], 1277
001adcf5movsd_xmm x0, [rdi+4*r12-4]
001adcfcmovsd_xmm [rax], x0
001add00
001add00loc_1add00:
001add00mov rdi, [rsp+24]
001add05call caml_apply2
001add0amov r13, [rsp]
001add0emovzx rbx, [r13-8]
001add13cmp rbx, 254
001add1aje 0x1add3c
001add1cmov r12, [rsp+40]
001add21lea rdi, [r13+4*r12-4]
001add26mov rsi, rax
001add29mov rbx, rsp
001add2cmov rsp, [r14+64]
001add30call caml_modify
001add35mov rsp, rbx
001add38jmp 0x1add4c
001add3a
001add3a 66 90 f.
001add3c
001add3cloc_1add3c:
001add3cmovsd_xmm x0, [rax]
001add40mov r12, [rsp+40]
001add45movsd_xmm [r13+4*r12-4], x0
001add4c
001add4cloc_1add4c:
001add4cmov rax, r12
001add4fadd r12, 2
001add53mov [rsp+40], r12
001add58mov rbx, [rsp+32]
001add5dcmp rax, rbx
001add60je 0x1add6d
001add62cmp r15, [r14]
001add65ja 0x1adc80
001add6bjmp 0x1add75
001add6d
001add6dloc_1add6d:
001add6dmov rax, r13
001add70add rsp, 48
001add74ret
001add75
001add75loc_1add75:
001add75call caml_call_gc
001add7ajmp 0x1adc80
001add7f
001add7floc_1add7f:
001add7fcall caml_call_gc
001add84jmp 0x1adce9
001add89
001add89loc_1add89:
001add89call caml_call_gc
001add8ejmp 0x1adca9
001add93
001add93loc_1add93:
001add93call caml_call_gc
001add98jmp 0x1adc29
001add9d
001add9dloc_1add9d:
001add9dcall caml_call_gc
001adda2jmp 0x1adbf5
001adda7
001adda7loc_1adda7:
001adda7push 39
001adda9call caml_call_realloc_stack
001addaepop r10
001addb0jmp 0x1adb72
001adb60
001addb5
001addb5 // align 0x10
001addb5 // align 0x10
001addc0
001addc0Stdlib.Array.iteri:
001addc0lea r10, [rsp-352]
001addc8cmp r10, [r14+40]
001addccjb 0x1ade83
001addd2
001addd2loc_1addd2:
001addd2sub rsp, 32
001addd6mov rdi, rax
001addd9mov eax, 1
001adddemov rsi, [rbx-8]
001adde2shr rsi, 9
001adde6or rsi, 1
001addeaadd rsi, -2
001addeecmp rax, rsi
001addf1jg 0x1ade6b
001addf3mov [rsp+24], rsi
001addf8mov [rsp+16], rax
001addfdmov [rsp], rbx
001ade01mov [rsp+8], rdi
001ade06
001ade06loc_1ade06:
001ade06mov rdi, [rsp]
001ade0amovzx rbx, [rdi-8]
001ade0fcmp rbx, 254
001ade16je 0x1ade20
001ade18mov rbx, [rdi+4*rax-4]
001ade1djmp 0x1ade3f
001ade1f
001ade1f 90 .
001ade20
001ade20loc_1ade20:
001ade20sub r15, 16
001ade24cmp r15, [r14]
001ade27jb 0x1ade7c
001ade29
001ade29loc_1ade29:
001ade29lea rbx, [r15+8]
001ade2dmov [rbx-8], 1277
001ade35movsd_xmm x0, [rdi+4*rax-4]
001ade3bmovsd_xmm [rbx], x0
001ade3f
001ade3floc_1ade3f:
001ade3fmov rdi, [rsp+8]
001ade44call caml_apply2
001ade49mov rax, [rsp+16]
001ade4emov rbx, rax
001ade51add rax, 2
001ade55mov [rsp+16], rax
001ade5amov rdi, [rsp+24]
001ade5fcmp rbx, rdi
001ade62je 0x1ade6b
001ade64cmp r15, [r14]
001ade67ja 0x1ade06
001ade69jmp 0x1ade75
001ade6b
001ade6bloc_1ade6b:
001ade6bmov eax, 1
001ade70add rsp, 32
001ade74ret
001ade75
001ade75loc_1ade75:
001ade75call caml_call_gc
001ade7ajmp 0x1ade06
001ade7c
001ade7cloc_1ade7c:
001ade7ccall caml_call_gc
001ade81jmp 0x1ade29
001ade83
001ade83loc_1ade83:
001ade83push 37
001ade85call caml_call_realloc_stack
001ade8apop r10
001ade8cjmp 0x1addd2
001addc0
001addc0Stdlib.Array.iteri:
001addc0lea r10, [rsp-352]
001addc8cmp r10, [r14+40]
001addccjb 0x1ade83
001addd2
001addd2loc_1addd2:
001addd2sub rsp, 32
001addd6mov rdi, rax
001addd9mov eax, 1
001adddemov rsi, [rbx-8]
001adde2shr rsi, 9
001adde6or rsi, 1
001addeaadd rsi, -2
001addeecmp rax, rsi
001addf1jg 0x1ade6b
001addf3mov [rsp+24], rsi
001addf8mov [rsp+16], rax
001addfdmov [rsp], rbx
001ade01mov [rsp+8], rdi
001ade06
001ade06loc_1ade06:
001ade06mov rdi, [rsp]
001ade0amovzx rbx, [rdi-8]
001ade0fcmp rbx, 254
001ade16je 0x1ade20
001ade18mov rbx, [rdi+4*rax-4]
001ade1djmp 0x1ade3f
001ade1f
001ade1f 90 .
001ade20
001ade20loc_1ade20:
001ade20sub r15, 16
001ade24cmp r15, [r14]
001ade27jb 0x1ade7c
001ade29
001ade29loc_1ade29:
001ade29lea rbx, [r15+8]
001ade2dmov [rbx-8], 1277
001ade35movsd_xmm x0, [rdi+4*rax-4]
001ade3bmovsd_xmm [rbx], x0
001ade3f
001ade3floc_1ade3f:
001ade3fmov rdi, [rsp+8]
001ade44call caml_apply2
001ade49mov rax, [rsp+16]
001ade4emov rbx, rax
001ade51add rax, 2
001ade55mov [rsp+16], rax
001ade5amov rdi, [rsp+24]
001ade5fcmp rbx, rdi
001ade62je 0x1ade6b
001ade64cmp r15, [r14]
001ade67ja 0x1ade06
001ade69jmp 0x1ade75
001ade6b
001ade6bloc_1ade6b:
001ade6bmov eax, 1
001ade70add rsp, 32
001ade74ret
001ade75
001ade75loc_1ade75:
001ade75call caml_call_gc
001ade7ajmp 0x1ade06
001ade7c
001ade7cloc_1ade7c:
001ade7ccall caml_call_gc
001ade81jmp 0x1ade29
001ade83
001ade83loc_1ade83:
001ade83push 37
001ade85call caml_call_realloc_stack
001ade8apop r10
001ade8cjmp 0x1addd2
001addc0
001ade91
001ade91 // align 0x10
001ade91 // align 0x10
001adea0
001adea0Stdlib.Array.mapi:
001adea0lea r10, [rsp-360]
001adea8cmp r10, [r14+40]
001adeacjb 0x1ae037
001adeb2
001adeb2loc_1adeb2:
001adeb2sub rsp, 40
001adeb6mov rdi, rax
001adeb9mov rax, [rbx-8]
001adebdshr rax, 9
001adec1or rax, 1
001adec5cmp rax, 1
001adec9jne 0x1aded8
001adecblea rax, [rip+0x18fdce]
001aded2add rsp, 40
001aded6ret
001aded7
001aded7 90 .
001aded8
001aded8loc_1aded8:
001aded8mov [rsp], rax
001adedcmov [rsp+8], rbx
001adee1mov [rsp+16], rdi
001adee6movzx rax, [rbx-8]
001adeebcmp rax, 254
001adef1je 0x1adef8
001adef3mov rbx, [rbx]
001adef6jmp 0x1adf1c
001adef8
001adef8loc_1adef8:
001adef8sub r15, 16
001adefccmp r15, [r14]
001adeffjb 0x1ae02d
001adf05
001adf05loc_1adf05:
001adf05lea rax, [r15+8]
001adf09mov [rax-8], 1277
001adf11movsd_xmm x0, [rbx]
001adf15movsd_xmm [rax], x0
001adf19mov rbx, rax
001adf1c
001adf1cloc_1adf1c:
001adf1cmov eax, 1
001adf21call caml_apply2
001adf26mov rdi, [rsp]
001adf2amov rsi, rax
001adf2dlea rax, [rip+0x4bd6c]
001adf34call caml_c_call
001adf39mov r13, rax
001adf3cmov r12l, 3
001adf42mov rax, [rsp]
001adf46add rax, -2
001adf4acmp r12, rax
001adf4djg 0x1ae011
001adf53mov [rsp+24], rax
001adf58mov [rsp+32], r12
001adf5dmov [rsp], r13
001adf61
001adf61loc_1adf61:
001adf61mov rdi, [rsp+8]
001adf66movzx rax, [rdi-8]
001adf6bcmp rax, 254
001adf71je 0x1adf7c
001adf73mov rbx, [rdi+4*r12-4]
001adf78jmp 0x1adfa0
001adf7a
001adf7a 66 90 f.
001adf7c
001adf7cloc_1adf7c:
001adf7csub r15, 16
001adf80cmp r15, [r14]
001adf83jb 0x1ae023
001adf89
001adf89loc_1adf89:
001adf89lea rbx, [r15+8]
001adf8dmov [rbx-8], 1277
001adf95movsd_xmm x0, [rdi+4*r12-4]
001adf9cmovsd_xmm [rbx], x0
001adfa0
001adfa0loc_1adfa0:
001adfa0mov rax, r12
001adfa3mov rdi, [rsp+16]
001adfa8call caml_apply2
001adfadmov r13, [rsp]
001adfb1movzx rbx, [r13-8]
001adfb6cmp rbx, 254
001adfbdje 0x1adfe0
001adfbfmov r12, [rsp+32]
001adfc4lea rdi, [r13+4*r12-4]
001adfc9mov rsi, rax
001adfccmov rbx, rsp
001adfcfmov rsp, [r14+64]
001adfd3call caml_modify
001adfd8mov rsp, rbx
001adfdbjmp 0x1adff0
001adfdd
001adfdd 0f 1f 00 ...
001adfe0
001adfe0loc_1adfe0:
001adfe0movsd_xmm x0, [rax]
001adfe4mov r12, [rsp+32]
001adfe9movsd_xmm [r13+4*r12-4], x0
001adff0
001adff0loc_1adff0:
001adff0mov rax, r12
001adff3add r12, 2
001adff7mov [rsp+32], r12
001adffcmov rbx, [rsp+24]
001ae001cmp rax, rbx
001ae004je 0x1ae011
001ae006cmp r15, [r14]
001ae009ja 0x1adf61
001ae00fjmp 0x1ae019
001ae011
001ae011loc_1ae011:
001ae011mov rax, r13
001ae014add rsp, 40
001ae018ret
001ae019
001ae019loc_1ae019:
001ae019call caml_call_gc
001ae01ejmp 0x1adf61
001ae023
001ae023loc_1ae023:
001ae023call caml_call_gc
001ae028jmp 0x1adf89
001ae02d
001ae02dloc_1ae02d:
001ae02dcall caml_call_gc
001ae032jmp 0x1adf05
001ae037
001ae037loc_1ae037:
001ae037push 38
001ae039call caml_call_realloc_stack
001ae03epop r10
001ae040jmp 0x1adeb2
001adea0
001adea0Stdlib.Array.mapi:
001adea0lea r10, [rsp-360]
001adea8cmp r10, [r14+40]
001adeacjb 0x1ae037
001adeb2
001adeb2loc_1adeb2:
001adeb2sub rsp, 40
001adeb6mov rdi, rax
001adeb9mov rax, [rbx-8]
001adebdshr rax, 9
001adec1or rax, 1
001adec5cmp rax, 1
001adec9jne 0x1aded8
001adecblea rax, [rip+0x18fdce]
001aded2add rsp, 40
001aded6ret
001aded7
001aded7 90 .
001aded8
001aded8loc_1aded8:
001aded8mov [rsp], rax
001adedcmov [rsp+8], rbx
001adee1mov [rsp+16], rdi
001adee6movzx rax, [rbx-8]
001adeebcmp rax, 254
001adef1je 0x1adef8
001adef3mov rbx, [rbx]
001adef6jmp 0x1adf1c
001adef8
001adef8loc_1adef8:
001adef8sub r15, 16
001adefccmp r15, [r14]
001adeffjb 0x1ae02d
001adf05
001adf05loc_1adf05:
001adf05lea rax, [r15+8]
001adf09mov [rax-8], 1277
001adf11movsd_xmm x0, [rbx]
001adf15movsd_xmm [rax], x0
001adf19mov rbx, rax
001adf1c
001adf1cloc_1adf1c:
001adf1cmov eax, 1
001adf21call caml_apply2
001adf26mov rdi, [rsp]
001adf2amov rsi, rax
001adf2dlea rax, [rip+0x4bd6c]
001adf34call caml_c_call
001adf39mov r13, rax
001adf3cmov r12l, 3
001adf42mov rax, [rsp]
001adf46add rax, -2
001adf4acmp r12, rax
001adf4djg 0x1ae011
001adf53mov [rsp+24], rax
001adf58mov [rsp+32], r12
001adf5dmov [rsp], r13
001adf61
001adf61loc_1adf61:
001adf61mov rdi, [rsp+8]
001adf66movzx rax, [rdi-8]
001adf6bcmp rax, 254
001adf71je 0x1adf7c
001adf73mov rbx, [rdi+4*r12-4]
001adf78jmp 0x1adfa0
001adf7a
001adf7a 66 90 f.
001adf7c
001adf7cloc_1adf7c:
001adf7csub r15, 16
001adf80cmp r15, [r14]
001adf83jb 0x1ae023
001adf89
001adf89loc_1adf89:
001adf89lea rbx, [r15+8]
001adf8dmov [rbx-8], 1277
001adf95movsd_xmm x0, [rdi+4*r12-4]
001adf9cmovsd_xmm [rbx], x0
001adfa0
001adfa0loc_1adfa0:
001adfa0mov rax, r12
001adfa3mov rdi, [rsp+16]
001adfa8call caml_apply2
001adfadmov r13, [rsp]
001adfb1movzx rbx, [r13-8]
001adfb6cmp rbx, 254
001adfbdje 0x1adfe0
001adfbfmov r12, [rsp+32]
001adfc4lea rdi, [r13+4*r12-4]
001adfc9mov rsi, rax
001adfccmov rbx, rsp
001adfcfmov rsp, [r14+64]
001adfd3call caml_modify
001adfd8mov rsp, rbx
001adfdbjmp 0x1adff0
001adfdd
001adfdd 0f 1f 00 ...
001adfe0
001adfe0loc_1adfe0:
001adfe0movsd_xmm x0, [rax]
001adfe4mov r12, [rsp+32]
001adfe9movsd_xmm [r13+4*r12-4], x0
001adff0
001adff0loc_1adff0:
001adff0mov rax, r12
001adff3add r12, 2
001adff7mov [rsp+32], r12
001adffcmov rbx, [rsp+24]
001ae001cmp rax, rbx
001ae004je 0x1ae011
001ae006cmp r15, [r14]
001ae009ja 0x1adf61
001ae00fjmp 0x1ae019
001ae011
001ae011loc_1ae011:
001ae011mov rax, r13
001ae014add rsp, 40
001ae018ret
001ae019
001ae019loc_1ae019:
001ae019call caml_call_gc
001ae01ejmp 0x1adf61
001ae023
001ae023loc_1ae023:
001ae023call caml_call_gc
001ae028jmp 0x1adf89
001ae02d
001ae02dloc_1ae02d:
001ae02dcall caml_call_gc
001ae032jmp 0x1adf05
001ae037
001ae037loc_1ae037:
001ae037push 38
001ae039call caml_call_realloc_stack
001ae03epop r10
001ae040jmp 0x1adeb2
001adea0
001ae045
001ae045 // align 0x10
001ae045 // align 0x10
001ae050
001ae050Stdlib.Array.to_list:
001ae050sub r15, 40
001ae054cmp r15, [r14]
001ae057jb 0x1ae0a6
001ae059
001ae059loc_1ae059:
001ae059lea rdi, [r15+8]
001ae05dmov [rdi-8], 4343
001ae065lea rbx, [rip-0xb704c]
001ae06cmov [rdi], rbx
001ae06fmov rbx, 0x200000000000007
001ae079mov [rdi+8], rbx
001ae07dlea rbx, [rip+44]
001ae084mov [rdi+16], rbx
001ae088mov [rdi+24], rax
001ae08cmov ebx, 1
001ae091mov rax, [rax-8]
001ae095shr rax, 9
001ae099or rax, 1
001ae09dadd rax, -2
001ae0a1jmp 0x1ae0b0
001ae0a6
001ae0a6loc_1ae0a6:
001ae0a6call caml_call_gc
001ae0abjmp 0x1ae059
001ae050
001ae050Stdlib.Array.to_list:
001ae050sub r15, 40
001ae054cmp r15, [r14]
001ae057jb 0x1ae0a6
001ae059
001ae059loc_1ae059:
001ae059lea rdi, [r15+8]
001ae05dmov [rdi-8], 4343
001ae065lea rbx, [rip-0xb704c]
001ae06cmov [rdi], rbx
001ae06fmov rbx, 0x200000000000007
001ae079mov [rdi+8], rbx
001ae07dlea rbx, [rip+44]
001ae084mov [rdi+16], rbx
001ae088mov [rdi+24], rax
001ae08cmov ebx, 1
001ae091mov rax, [rax-8]
001ae095shr rax, 9
001ae099or rax, 1
001ae09dadd rax, -2
001ae0a1jmp 0x1ae0b0
001ae0a6
001ae0a6loc_1ae0a6:
001ae0a6call caml_call_gc
001ae0abjmp 0x1ae059
001ae050
001ae0ad
001ae0ad // align 0x10
001ae0ad // align 0x10
001ae0b0
001ae0b0Stdlib.Array.tolist:
001ae0b0cmp rax, 1
001ae0b4jge 0x1ae0bc
001ae0b6mov rax, rbx
001ae0b9ret
001ae0ba
001ae0ba 66 90 f.
001ae0bc
001ae0bcloc_1ae0bc:
001ae0bcmov rsi, [rdi+24]
001ae0c0movzx rdx, [rsi-8]
001ae0c5cmp rdx, 254
001ae0ccje 0x1ae0d8
001ae0cemov rdx, [rsi+4*rax-4]
001ae0d3jmp 0x1ae0f7
001ae0d5
001ae0d5 0f 1f 00 ...
001ae0d8
001ae0d8loc_1ae0d8:
001ae0d8sub r15, 16
001ae0dccmp r15, [r14]
001ae0dfjb 0x1ae123
001ae0e1
001ae0e1loc_1ae0e1:
001ae0e1lea rdx, [r15+8]
001ae0e5mov [rdx-8], 1277
001ae0edmovsd_xmm x0, [rsi+4*rax-4]
001ae0f3movsd_xmm [rdx], x0
001ae0f7
001ae0f7loc_1ae0f7:
001ae0f7sub r15, 24
001ae0fbcmp r15, [r14]
001ae0fejb 0x1ae11c
001ae100
001ae100loc_1ae100:
001ae100lea rsi, [r15+8]
001ae104mov [rsi-8], 2048
001ae10cmov [rsi], rdx
001ae10fmov [rsi+8], rbx
001ae113add rax, -2
001ae117mov rbx, rsi
001ae11ajmp 0x1ae0b0
001ae11c
001ae11cloc_1ae11c:
001ae11ccall caml_call_gc
001ae121jmp 0x1ae100
001ae123
001ae123loc_1ae123:
001ae123call caml_call_gc
001ae128jmp 0x1ae0e1
001ae0b0
001ae0b0Stdlib.Array.tolist:
001ae0b0cmp rax, 1
001ae0b4jge 0x1ae0bc
001ae0b6mov rax, rbx
001ae0b9ret
001ae0ba
001ae0ba 66 90 f.
001ae0bc
001ae0bcloc_1ae0bc:
001ae0bcmov rsi, [rdi+24]
001ae0c0movzx rdx, [rsi-8]
001ae0c5cmp rdx, 254
001ae0ccje 0x1ae0d8
001ae0cemov rdx, [rsi+4*rax-4]
001ae0d3jmp 0x1ae0f7
001ae0d5
001ae0d5 0f 1f 00 ...
001ae0d8
001ae0d8loc_1ae0d8:
001ae0d8sub r15, 16
001ae0dccmp r15, [r14]
001ae0dfjb 0x1ae123
001ae0e1
001ae0e1loc_1ae0e1:
001ae0e1lea rdx, [r15+8]
001ae0e5mov [rdx-8], 1277
001ae0edmovsd_xmm x0, [rsi+4*rax-4]
001ae0f3movsd_xmm [rdx], x0
001ae0f7
001ae0f7loc_1ae0f7:
001ae0f7sub r15, 24
001ae0fbcmp r15, [r14]
001ae0fejb 0x1ae11c
001ae100
001ae100loc_1ae100:
001ae100lea rsi, [r15+8]
001ae104mov [rsi-8], 2048
001ae10cmov [rsi], rdx
001ae10fmov [rsi+8], rbx
001ae113add rax, -2
001ae117mov rbx, rsi
001ae11ajmp 0x1ae0b0
001ae11c
001ae11cloc_1ae11c:
001ae11ccall caml_call_gc
001ae121jmp 0x1ae100
001ae123
001ae123loc_1ae123:
001ae123call caml_call_gc
001ae128jmp 0x1ae0e1
001ae0b0
001ae12a
001ae12a // align 0x10
001ae12a // align 0x10
001ae130
001ae130Stdlib.Array.list_length:
001ae130cmp r15, [r14]
001ae133jbe 0x1ae146
001ae135
001ae135loc_1ae135:
001ae135test bl, 1
001ae138je 0x1ae13c
001ae13aret
001ae13b
001ae13b 90 .
001ae13c
001ae13cloc_1ae13c:
001ae13cmov rbx, [rbx+8]
001ae140add rax, 2
001ae144jmp 0x1ae130
001ae146
001ae146loc_1ae146:
001ae146call caml_call_gc
001ae14bjmp 0x1ae135
001ae130
001ae130Stdlib.Array.list_length:
001ae130cmp r15, [r14]
001ae133jbe 0x1ae146
001ae135
001ae135loc_1ae135:
001ae135test bl, 1
001ae138je 0x1ae13c
001ae13aret
001ae13b
001ae13b 90 .
001ae13c
001ae13cloc_1ae13c:
001ae13cmov rbx, [rbx+8]
001ae140add rax, 2
001ae144jmp 0x1ae130
001ae146
001ae146loc_1ae146:
001ae146call caml_call_gc
001ae14bjmp 0x1ae135
001ae130
001ae14d
001ae14d // align 0x10
001ae14d // align 0x10
001ae150
001ae150Stdlib.Array.of_list:
001ae150lea r10, [rsp-328]
001ae158cmp r10, [r14+40]
001ae15cjb 0x1ae205
001ae162
001ae162loc_1ae162:
001ae162sub rsp, 8
001ae166test al, 1
001ae168je 0x1ae178
001ae16alea rax, [rip+0x18fb2f]
001ae171add rsp, 8
001ae175ret
001ae176
001ae176 66 90 f.
001ae178
001ae178loc_1ae178:
001ae178mov [rsp], rax
001ae17ctest al, 1
001ae17eje 0x1ae188
001ae180mov eax, 1
001ae185jmp 0x1ae196
001ae187
001ae187 90 .
001ae188
001ae188loc_1ae188:
001ae188mov rbx, [rax+8]
001ae18cmov eax, 3
001ae191call Stdlib.Array.list_length
001ae196
001ae196loc_1ae196:
001ae196mov rbx, [rsp]
001ae19amov rsi, [rbx]
001ae19dmov rdi, rax
001ae1a0lea rax, [rip+0x4baf9]
001ae1a7call caml_c_call
001ae1acsub r15, 40
001ae1b0cmp r15, [r14]
001ae1b3jb 0x1ae1fe
001ae1b5
001ae1b5loc_1ae1b5:
001ae1b5lea rdi, [r15+8]
001ae1b9mov [rdi-8], 4343
001ae1c1lea rbx, [rip-0xb71a8]
001ae1c8mov [rdi], rbx
001ae1cbmov rbx, 0x200000000000007
001ae1d5mov [rdi+8], rbx
001ae1d9lea rbx, [rip+64]
001ae1e0mov [rdi+16], rbx
001ae1e4mov [rdi+24], rax
001ae1e8mov rax, [rsp]
001ae1ecmov rbx, [rax+8]
001ae1f0mov eax, 3
001ae1f5add rsp, 8
001ae1f9jmp 0x1ae220
001ae1fe
001ae1feloc_1ae1fe:
001ae1fecall caml_call_gc
001ae203jmp 0x1ae1b5
001ae205
001ae205loc_1ae205:
001ae205push 34
001ae207call caml_call_realloc_stack
001ae20cpop r10
001ae20ejmp 0x1ae162
001ae150
001ae150Stdlib.Array.of_list:
001ae150lea r10, [rsp-328]
001ae158cmp r10, [r14+40]
001ae15cjb 0x1ae205
001ae162
001ae162loc_1ae162:
001ae162sub rsp, 8
001ae166test al, 1
001ae168je 0x1ae178
001ae16alea rax, [rip+0x18fb2f]
001ae171add rsp, 8
001ae175ret
001ae176
001ae176 66 90 f.
001ae178
001ae178loc_1ae178:
001ae178mov [rsp], rax
001ae17ctest al, 1
001ae17eje 0x1ae188
001ae180mov eax, 1
001ae185jmp 0x1ae196
001ae187
001ae187 90 .
001ae188
001ae188loc_1ae188:
001ae188mov rbx, [rax+8]
001ae18cmov eax, 3
001ae191call Stdlib.Array.list_length
001ae196
001ae196loc_1ae196:
001ae196mov rbx, [rsp]
001ae19amov rsi, [rbx]
001ae19dmov rdi, rax
001ae1a0lea rax, [rip+0x4baf9]
001ae1a7call caml_c_call
001ae1acsub r15, 40
001ae1b0cmp r15, [r14]
001ae1b3jb 0x1ae1fe
001ae1b5
001ae1b5loc_1ae1b5:
001ae1b5lea rdi, [r15+8]
001ae1b9mov [rdi-8], 4343
001ae1c1lea rbx, [rip-0xb71a8]
001ae1c8mov [rdi], rbx
001ae1cbmov rbx, 0x200000000000007
001ae1d5mov [rdi+8], rbx
001ae1d9lea rbx, [rip+64]
001ae1e0mov [rdi+16], rbx
001ae1e4mov [rdi+24], rax
001ae1e8mov rax, [rsp]
001ae1ecmov rbx, [rax+8]
001ae1f0mov eax, 3
001ae1f5add rsp, 8
001ae1f9jmp 0x1ae220
001ae1fe
001ae1feloc_1ae1fe:
001ae1fecall caml_call_gc
001ae203jmp 0x1ae1b5
001ae205
001ae205loc_1ae205:
001ae205push 34
001ae207call caml_call_realloc_stack
001ae20cpop r10
001ae20ejmp 0x1ae162
001ae150
001ae213
001ae213 // align 0x10
001ae213 // align 0x10
001ae220
001ae220Stdlib.Array.fill:
001ae220mov r13, rax
001ae223mov r12, rbx
001ae226mov rbp, rdi
001ae229cmp r15, [r14]
001ae22cjbe 0x1ae284
001ae22e
001ae22eloc_1ae22e:
001ae22etest r12b, 1
001ae232je 0x1ae23c
001ae234mov rax, [rbp+24]
001ae238ret
001ae239
001ae239 0f 1f 00 ...
001ae23c
001ae23cloc_1ae23c:
001ae23cmov rsi, [r12]
001ae240mov rax, [rbp+24]
001ae244movzx rbx, [rax-8]
001ae249cmp rbx, 254
001ae250je 0x1ae268
001ae252lea rdi, [rax+4*r13-4]
001ae257mov rbx, rsp
001ae25amov rsp, [r14+64]
001ae25ecall caml_modify
001ae263mov rsp, rbx
001ae266jmp 0x1ae273
001ae268
001ae268loc_1ae268:
001ae268movsd_xmm x0, [rsi]
001ae26cmovsd_xmm [rax+4*r13-4], x0
001ae273
001ae273loc_1ae273:
001ae273mov rbx, [r12+8]
001ae278mov rax, r13
001ae27badd rax, 2
001ae27fmov rdi, rbp
001ae282jmp 0x1ae220
001ae284
001ae284loc_1ae284:
001ae284call caml_call_gc
001ae289jmp 0x1ae22e
001ae220
001ae220Stdlib.Array.fill:
001ae220mov r13, rax
001ae223mov r12, rbx
001ae226mov rbp, rdi
001ae229cmp r15, [r14]
001ae22cjbe 0x1ae284
001ae22e
001ae22eloc_1ae22e:
001ae22etest r12b, 1
001ae232je 0x1ae23c
001ae234mov rax, [rbp+24]
001ae238ret
001ae239
001ae239 0f 1f 00 ...
001ae23c
001ae23cloc_1ae23c:
001ae23cmov rsi, [r12]
001ae240mov rax, [rbp+24]
001ae244movzx rbx, [rax-8]
001ae249cmp rbx, 254
001ae250je 0x1ae268
001ae252lea rdi, [rax+4*r13-4]
001ae257mov rbx, rsp
001ae25amov rsp, [r14+64]
001ae25ecall caml_modify
001ae263mov rsp, rbx
001ae266jmp 0x1ae273
001ae268
001ae268loc_1ae268:
001ae268movsd_xmm x0, [rsi]
001ae26cmovsd_xmm [rax+4*r13-4], x0
001ae273
001ae273loc_1ae273:
001ae273mov rbx, [r12+8]
001ae278mov rax, r13
001ae27badd rax, 2
001ae27fmov rdi, rbp
001ae282jmp 0x1ae220
001ae284
001ae284loc_1ae284:
001ae284call caml_call_gc
001ae289jmp 0x1ae22e
001ae220
001ae28b
001ae28b // align 0x10
001ae28b // align 0x10
001ae290
001ae290Stdlib.Array.fold_left:
001ae290lea r10, [rsp-352]
001ae298cmp r10, [r14+40]
001ae29cjb 0x1ae352
001ae2a2
001ae2a2loc_1ae2a2:
001ae2a2sub rsp, 32
001ae2a6mov rdx, rax
001ae2a9mov rax, rbx
001ae2acmov esi, 1
001ae2b1mov rbx, [rdi-8]
001ae2b5shr rbx, 9
001ae2b9or rbx, 1
001ae2bdadd rbx, -2
001ae2c1cmp rsi, rbx
001ae2c4jg 0x1ae33f
001ae2c6mov [rsp+24], rbx
001ae2cbmov [rsp+16], rsi
001ae2d0mov [rsp], rdi
001ae2d4mov [rsp+8], rdx
001ae2d9
001ae2d9loc_1ae2d9:
001ae2d9mov rdi, [rsp]
001ae2ddmovzx rbx, [rdi-8]
001ae2e2cmp rbx, 254
001ae2e9je 0x1ae2f4
001ae2ebmov rbx, [rdi+4*rsi-4]
001ae2f0jmp 0x1ae313
001ae2f2
001ae2f2 66 90 f.
001ae2f4
001ae2f4loc_1ae2f4:
001ae2f4sub r15, 16
001ae2f8cmp r15, [r14]
001ae2fbjb 0x1ae34b
001ae2fd
001ae2fdloc_1ae2fd:
001ae2fdlea rbx, [r15+8]
001ae301mov [rbx-8], 1277
001ae309movsd_xmm x0, [rdi+4*rsi-4]
001ae30fmovsd_xmm [rbx], x0
001ae313
001ae313loc_1ae313:
001ae313mov rdi, [rsp+8]
001ae318call caml_apply2
001ae31dmov rsi, [rsp+16]
001ae322mov rbx, rsi
001ae325add rsi, 2
001ae329mov [rsp+16], rsi
001ae32emov rdi, [rsp+24]
001ae333cmp rbx, rdi
001ae336je 0x1ae33f
001ae338cmp r15, [r14]
001ae33bja 0x1ae2d9
001ae33djmp 0x1ae344
001ae33f
001ae33floc_1ae33f:
001ae33fadd rsp, 32
001ae343ret
001ae344
001ae344loc_1ae344:
001ae344call caml_call_gc
001ae349jmp 0x1ae2d9
001ae34b
001ae34bloc_1ae34b:
001ae34bcall caml_call_gc
001ae350jmp 0x1ae2fd
001ae352
001ae352loc_1ae352:
001ae352push 37
001ae354call caml_call_realloc_stack
001ae359pop r10
001ae35bjmp 0x1ae2a2
001ae290
001ae290Stdlib.Array.fold_left:
001ae290lea r10, [rsp-352]
001ae298cmp r10, [r14+40]
001ae29cjb 0x1ae352
001ae2a2
001ae2a2loc_1ae2a2:
001ae2a2sub rsp, 32
001ae2a6mov rdx, rax
001ae2a9mov rax, rbx
001ae2acmov esi, 1
001ae2b1mov rbx, [rdi-8]
001ae2b5shr rbx, 9
001ae2b9or rbx, 1
001ae2bdadd rbx, -2
001ae2c1cmp rsi, rbx
001ae2c4jg 0x1ae33f
001ae2c6mov [rsp+24], rbx
001ae2cbmov [rsp+16], rsi
001ae2d0mov [rsp], rdi
001ae2d4mov [rsp+8], rdx
001ae2d9
001ae2d9loc_1ae2d9:
001ae2d9mov rdi, [rsp]
001ae2ddmovzx rbx, [rdi-8]
001ae2e2cmp rbx, 254
001ae2e9je 0x1ae2f4
001ae2ebmov rbx, [rdi+4*rsi-4]
001ae2f0jmp 0x1ae313
001ae2f2
001ae2f2 66 90 f.
001ae2f4
001ae2f4loc_1ae2f4:
001ae2f4sub r15, 16
001ae2f8cmp r15, [r14]
001ae2fbjb 0x1ae34b
001ae2fd
001ae2fdloc_1ae2fd:
001ae2fdlea rbx, [r15+8]
001ae301mov [rbx-8], 1277
001ae309movsd_xmm x0, [rdi+4*rsi-4]
001ae30fmovsd_xmm [rbx], x0
001ae313
001ae313loc_1ae313:
001ae313mov rdi, [rsp+8]
001ae318call caml_apply2
001ae31dmov rsi, [rsp+16]
001ae322mov rbx, rsi
001ae325add rsi, 2
001ae329mov [rsp+16], rsi
001ae32emov rdi, [rsp+24]
001ae333cmp rbx, rdi
001ae336je 0x1ae33f
001ae338cmp r15, [r14]
001ae33bja 0x1ae2d9
001ae33djmp 0x1ae344
001ae33f
001ae33floc_1ae33f:
001ae33fadd rsp, 32
001ae343ret
001ae344
001ae344loc_1ae344:
001ae344call caml_call_gc
001ae349jmp 0x1ae2d9
001ae34b
001ae34bloc_1ae34b:
001ae34bcall caml_call_gc
001ae350jmp 0x1ae2fd
001ae352
001ae352loc_1ae352:
001ae352push 37
001ae354call caml_call_realloc_stack
001ae359pop r10
001ae35bjmp 0x1ae2a2
001ae290
001ae360
001ae360Stdlib.Array.fold_left_map:
001ae360lea r10, [rsp-360]
001ae368cmp r10, [r14+40]
001ae36cjb 0x1ae555
001ae372
001ae372loc_1ae372:
001ae372sub rsp, 40
001ae376mov rsi, rax
001ae379mov rax, rbx
001ae37cmov rbx, [rdi-8]
001ae380shr rbx, 9
001ae384or rbx, 1
001ae388cmp rbx, 1
001ae38cjne 0x1ae3c0
001ae38esub r15, 24
001ae392cmp r15, [r14]
001ae395jb 0x1ae54b
001ae39b
001ae39bloc_1ae39b:
001ae39blea rbx, [r15+8]
001ae39fmov [rbx-8], 2048
001ae3a7mov [rbx], rax
001ae3aalea rax, [rip+0x18f8ef]
001ae3b1mov [rbx+8], rax
001ae3b5mov rax, rbx
001ae3b8add rsp, 40
001ae3bcret
001ae3bd
001ae3bd 0f 1f 00 ...
001ae3c0
001ae3c0loc_1ae3c0:
001ae3c0mov [rsp+8], rbx
001ae3c5mov [rsp+16], rdi
001ae3camov [rsp+24], rsi
001ae3cfmovzx rbx, [rdi-8]
001ae3d4cmp rbx, 254
001ae3dbje 0x1ae3e4
001ae3ddmov rbx, [rdi]
001ae3e0jmp 0x1ae405
001ae3e2
001ae3e2 66 90 f.
001ae3e4
001ae3e4loc_1ae3e4:
001ae3e4sub r15, 16
001ae3e8cmp r15, [r14]
001ae3ebjb 0x1ae541
001ae3f1
001ae3f1loc_1ae3f1:
001ae3f1lea rbx, [r15+8]
001ae3f5mov [rbx-8], 1277
001ae3fdmovsd_xmm x0, [rdi]
001ae401movsd_xmm [rbx], x0
001ae405
001ae405loc_1ae405:
001ae405mov rdi, rsi
001ae408call caml_apply2
001ae40dmov [rsp], rax
001ae411mov rsi, [rax+8]
001ae415mov rdi, [rsp+8]
001ae41alea rax, [rip+0x4b87f]
001ae421call caml_c_call
001ae426mov r13, rax
001ae429mov rax, [rsp]
001ae42dmov rbp, [rax]
001ae430mov r12l, 3
001ae436mov rax, [rsp+8]
001ae43badd rax, -2
001ae43fcmp r12, rax
001ae442jg 0x1ae505
001ae448mov [rsp+8], rax
001ae44dmov [rsp+32], r12
001ae452mov [rsp], r13
001ae456
001ae456loc_1ae456:
001ae456mov rdi, [rsp+16]
001ae45bmovzx rax, [rdi-8]
001ae460cmp rax, 254
001ae466je 0x1ae470
001ae468mov rbx, [rdi+4*r12-4]
001ae46djmp 0x1ae494
001ae46f
001ae46f 90 .
001ae470
001ae470loc_1ae470:
001ae470sub r15, 16
001ae474cmp r15, [r14]
001ae477jb 0x1ae537
001ae47d
001ae47dloc_1ae47d:
001ae47dlea rbx, [r15+8]
001ae481mov [rbx-8], 1277
001ae489movsd_xmm x0, [rdi+4*r12-4]
001ae490movsd_xmm [rbx], x0
001ae494
001ae494loc_1ae494:
001ae494mov rax, rbp
001ae497mov rdi, [rsp+24]
001ae49ccall caml_apply2
001ae4a1mov rbp, [rax]
001ae4a4mov rsi, [rax+8]
001ae4a8mov r13, [rsp]
001ae4acmovzx rax, [r13-8]
001ae4b1cmp rax, 254
001ae4b7je 0x1ae4d4
001ae4b9mov r12, [rsp+32]
001ae4belea rdi, [r13+4*r12-4]
001ae4c3mov rbx, rsp
001ae4c6mov rsp, [r14+64]
001ae4cacall caml_modify
001ae4cfmov rsp, rbx
001ae4d2jmp 0x1ae4e4
001ae4d4
001ae4d4loc_1ae4d4:
001ae4d4movsd_xmm x0, [rsi]
001ae4d8mov r12, [rsp+32]
001ae4ddmovsd_xmm [r13+4*r12-4], x0
001ae4e4
001ae4e4loc_1ae4e4:
001ae4e4mov rax, r12
001ae4e7add r12, 2
001ae4ebmov [rsp+32], r12
001ae4f0mov rbx, [rsp+8]
001ae4f5cmp rax, rbx
001ae4f8je 0x1ae505
001ae4facmp r15, [r14]
001ae4fdja 0x1ae456
001ae503jmp 0x1ae52d
001ae505
001ae505loc_1ae505:
001ae505sub r15, 24
001ae509cmp r15, [r14]
001ae50cjb 0x1ae526
001ae50e
001ae50eloc_1ae50e:
001ae50elea rax, [r15+8]
001ae512mov [rax-8], 2048
001ae51amov [rax], rbp
001ae51dmov [rax+8], r13
001ae521add rsp, 40
001ae525ret
001ae526
001ae526loc_1ae526:
001ae526call caml_call_gc
001ae52bjmp 0x1ae50e
001ae52d
001ae52dloc_1ae52d:
001ae52dcall caml_call_gc
001ae532jmp 0x1ae456
001ae537
001ae537loc_1ae537:
001ae537call caml_call_gc
001ae53cjmp 0x1ae47d
001ae541
001ae541loc_1ae541:
001ae541call caml_call_gc
001ae546jmp 0x1ae3f1
001ae54b
001ae54bloc_1ae54b:
001ae54bcall caml_call_gc
001ae550jmp 0x1ae39b
001ae555
001ae555loc_1ae555:
001ae555push 38
001ae557call caml_call_realloc_stack
001ae55cpop r10
001ae55ejmp 0x1ae372
001ae360
001ae360Stdlib.Array.fold_left_map:
001ae360lea r10, [rsp-360]
001ae368cmp r10, [r14+40]
001ae36cjb 0x1ae555
001ae372
001ae372loc_1ae372:
001ae372sub rsp, 40
001ae376mov rsi, rax
001ae379mov rax, rbx
001ae37cmov rbx, [rdi-8]
001ae380shr rbx, 9
001ae384or rbx, 1
001ae388cmp rbx, 1
001ae38cjne 0x1ae3c0
001ae38esub r15, 24
001ae392cmp r15, [r14]
001ae395jb 0x1ae54b
001ae39b
001ae39bloc_1ae39b:
001ae39blea rbx, [r15+8]
001ae39fmov [rbx-8], 2048
001ae3a7mov [rbx], rax
001ae3aalea rax, [rip+0x18f8ef]
001ae3b1mov [rbx+8], rax
001ae3b5mov rax, rbx
001ae3b8add rsp, 40
001ae3bcret
001ae3bd
001ae3bd 0f 1f 00 ...
001ae3c0
001ae3c0loc_1ae3c0:
001ae3c0mov [rsp+8], rbx
001ae3c5mov [rsp+16], rdi
001ae3camov [rsp+24], rsi
001ae3cfmovzx rbx, [rdi-8]
001ae3d4cmp rbx, 254
001ae3dbje 0x1ae3e4
001ae3ddmov rbx, [rdi]
001ae3e0jmp 0x1ae405
001ae3e2
001ae3e2 66 90 f.
001ae3e4
001ae3e4loc_1ae3e4:
001ae3e4sub r15, 16
001ae3e8cmp r15, [r14]
001ae3ebjb 0x1ae541
001ae3f1
001ae3f1loc_1ae3f1:
001ae3f1lea rbx, [r15+8]
001ae3f5mov [rbx-8], 1277
001ae3fdmovsd_xmm x0, [rdi]
001ae401movsd_xmm [rbx], x0
001ae405
001ae405loc_1ae405:
001ae405mov rdi, rsi
001ae408call caml_apply2
001ae40dmov [rsp], rax
001ae411mov rsi, [rax+8]
001ae415mov rdi, [rsp+8]
001ae41alea rax, [rip+0x4b87f]
001ae421call caml_c_call
001ae426mov r13, rax
001ae429mov rax, [rsp]
001ae42dmov rbp, [rax]
001ae430mov r12l, 3
001ae436mov rax, [rsp+8]
001ae43badd rax, -2
001ae43fcmp r12, rax
001ae442jg 0x1ae505
001ae448mov [rsp+8], rax
001ae44dmov [rsp+32], r12
001ae452mov [rsp], r13
001ae456
001ae456loc_1ae456:
001ae456mov rdi, [rsp+16]
001ae45bmovzx rax, [rdi-8]
001ae460cmp rax, 254
001ae466je 0x1ae470
001ae468mov rbx, [rdi+4*r12-4]
001ae46djmp 0x1ae494
001ae46f
001ae46f 90 .
001ae470
001ae470loc_1ae470:
001ae470sub r15, 16
001ae474cmp r15, [r14]
001ae477jb 0x1ae537
001ae47d
001ae47dloc_1ae47d:
001ae47dlea rbx, [r15+8]
001ae481mov [rbx-8], 1277
001ae489movsd_xmm x0, [rdi+4*r12-4]
001ae490movsd_xmm [rbx], x0
001ae494
001ae494loc_1ae494:
001ae494mov rax, rbp
001ae497mov rdi, [rsp+24]
001ae49ccall caml_apply2
001ae4a1mov rbp, [rax]
001ae4a4mov rsi, [rax+8]
001ae4a8mov r13, [rsp]
001ae4acmovzx rax, [r13-8]
001ae4b1cmp rax, 254
001ae4b7je 0x1ae4d4
001ae4b9mov r12, [rsp+32]
001ae4belea rdi, [r13+4*r12-4]
001ae4c3mov rbx, rsp
001ae4c6mov rsp, [r14+64]
001ae4cacall caml_modify
001ae4cfmov rsp, rbx
001ae4d2jmp 0x1ae4e4
001ae4d4
001ae4d4loc_1ae4d4:
001ae4d4movsd_xmm x0, [rsi]
001ae4d8mov r12, [rsp+32]
001ae4ddmovsd_xmm [r13+4*r12-4], x0
001ae4e4
001ae4e4loc_1ae4e4:
001ae4e4mov rax, r12
001ae4e7add r12, 2
001ae4ebmov [rsp+32], r12
001ae4f0mov rbx, [rsp+8]
001ae4f5cmp rax, rbx
001ae4f8je 0x1ae505
001ae4facmp r15, [r14]
001ae4fdja 0x1ae456
001ae503jmp 0x1ae52d
001ae505
001ae505loc_1ae505:
001ae505sub r15, 24
001ae509cmp r15, [r14]
001ae50cjb 0x1ae526
001ae50e
001ae50eloc_1ae50e:
001ae50elea rax, [r15+8]
001ae512mov [rax-8], 2048
001ae51amov [rax], rbp
001ae51dmov [rax+8], r13
001ae521add rsp, 40
001ae525ret
001ae526
001ae526loc_1ae526:
001ae526call caml_call_gc
001ae52bjmp 0x1ae50e
001ae52d
001ae52dloc_1ae52d:
001ae52dcall caml_call_gc
001ae532jmp 0x1ae456
001ae537
001ae537loc_1ae537:
001ae537call caml_call_gc
001ae53cjmp 0x1ae47d
001ae541
001ae541loc_1ae541:
001ae541call caml_call_gc
001ae546jmp 0x1ae3f1
001ae54b
001ae54bloc_1ae54b:
001ae54bcall caml_call_gc
001ae550jmp 0x1ae39b
001ae555
001ae555loc_1ae555:
001ae555push 38
001ae557call caml_call_realloc_stack
001ae55cpop r10
001ae55ejmp 0x1ae372
001ae360
001ae563
001ae563 // align 0x10
001ae563 // align 0x10
001ae570
001ae570Stdlib.Array.fold_right:
001ae570lea r10, [rsp-344]
001ae578cmp r10, [r14+40]
001ae57cjb 0x1ae628
001ae582
001ae582loc_1ae582:
001ae582sub rsp, 24
001ae586mov rsi, rbx
001ae589mov rbx, rdi
001ae58cmov rdi, [rsi-8]
001ae590shr rdi, 9
001ae594or rdi, 1
001ae598add rdi, -2
001ae59ccmp rdi, 1
001ae5a0jl 0x1ae612
001ae5a2mov [rsp+16], rdi
001ae5a7mov [rsp], rsi
001ae5abmov [rsp+8], rax
001ae5b0
001ae5b0loc_1ae5b0:
001ae5b0mov rsi, [rsp]
001ae5b4movzx rax, [rsi-8]
001ae5b9cmp rax, 254
001ae5bfje 0x1ae5c8
001ae5c1mov rax, [rsi+4*rdi-4]
001ae5c6jmp 0x1ae5e7
001ae5c8
001ae5c8loc_1ae5c8:
001ae5c8sub r15, 16
001ae5cccmp r15, [r14]
001ae5cfjb 0x1ae621
001ae5d1
001ae5d1loc_1ae5d1:
001ae5d1lea rax, [r15+8]
001ae5d5mov [rax-8], 1277
001ae5ddmovsd_xmm x0, [rsi+4*rdi-4]
001ae5e3movsd_xmm [rax], x0
001ae5e7
001ae5e7loc_1ae5e7:
001ae5e7mov rdi, [rsp+8]
001ae5eccall caml_apply2
001ae5f1mov rbx, rax
001ae5f4mov rdi, [rsp+16]
001ae5f9mov rax, rdi
001ae5fcsub rdi, 2
001ae600mov [rsp+16], rdi
001ae605cmp rax, 1
001ae609je 0x1ae612
001ae60bcmp r15, [r14]
001ae60eja 0x1ae5b0
001ae610jmp 0x1ae61a
001ae612
001ae612loc_1ae612:
001ae612mov rax, rbx
001ae615add rsp, 24
001ae619ret
001ae61a
001ae61aloc_1ae61a:
001ae61acall caml_call_gc
001ae61fjmp 0x1ae5b0
001ae621
001ae621loc_1ae621:
001ae621call caml_call_gc
001ae626jmp 0x1ae5d1
001ae628
001ae628loc_1ae628:
001ae628push 36
001ae62acall caml_call_realloc_stack
001ae62fpop r10
001ae631jmp 0x1ae582
001ae570
001ae570Stdlib.Array.fold_right:
001ae570lea r10, [rsp-344]
001ae578cmp r10, [r14+40]
001ae57cjb 0x1ae628
001ae582
001ae582loc_1ae582:
001ae582sub rsp, 24
001ae586mov rsi, rbx
001ae589mov rbx, rdi
001ae58cmov rdi, [rsi-8]
001ae590shr rdi, 9
001ae594or rdi, 1
001ae598add rdi, -2
001ae59ccmp rdi, 1
001ae5a0jl 0x1ae612
001ae5a2mov [rsp+16], rdi
001ae5a7mov [rsp], rsi
001ae5abmov [rsp+8], rax
001ae5b0
001ae5b0loc_1ae5b0:
001ae5b0mov rsi, [rsp]
001ae5b4movzx rax, [rsi-8]
001ae5b9cmp rax, 254
001ae5bfje 0x1ae5c8
001ae5c1mov rax, [rsi+4*rdi-4]
001ae5c6jmp 0x1ae5e7
001ae5c8
001ae5c8loc_1ae5c8:
001ae5c8sub r15, 16
001ae5cccmp r15, [r14]
001ae5cfjb 0x1ae621
001ae5d1
001ae5d1loc_1ae5d1:
001ae5d1lea rax, [r15+8]
001ae5d5mov [rax-8], 1277
001ae5ddmovsd_xmm x0, [rsi+4*rdi-4]
001ae5e3movsd_xmm [rax], x0
001ae5e7
001ae5e7loc_1ae5e7:
001ae5e7mov rdi, [rsp+8]
001ae5eccall caml_apply2
001ae5f1mov rbx, rax
001ae5f4mov rdi, [rsp+16]
001ae5f9mov rax, rdi
001ae5fcsub rdi, 2
001ae600mov [rsp+16], rdi
001ae605cmp rax, 1
001ae609je 0x1ae612
001ae60bcmp r15, [r14]
001ae60eja 0x1ae5b0
001ae610jmp 0x1ae61a
001ae612
001ae612loc_1ae612:
001ae612mov rax, rbx
001ae615add rsp, 24
001ae619ret
001ae61a
001ae61aloc_1ae61a:
001ae61acall caml_call_gc
001ae61fjmp 0x1ae5b0
001ae621
001ae621loc_1ae621:
001ae621call caml_call_gc
001ae626jmp 0x1ae5d1
001ae628
001ae628loc_1ae628:
001ae628push 36
001ae62acall caml_call_realloc_stack
001ae62fpop r10
001ae631jmp 0x1ae582
001ae570
001ae636
001ae636 // align 0x10
001ae636 // align 0x10
001ae640
001ae640Stdlib.Array.exists:
001ae640mov rdi, [rbx-8]
001ae644shr rdi, 9
001ae648or rdi, 1
001ae64csub r15, 48
001ae650cmp r15, [r14]
001ae653jb 0x1ae692
001ae655
001ae655loc_1ae655:
001ae655lea rsi, [r15+8]
001ae659mov [rsi-8], 5367
001ae661lea rdx, [rip+56]
001ae668mov [rsi], rdx
001ae66bmov rdx, 0x100000000000005
001ae675mov [rsi+8], rdx
001ae679mov [rsi+16], rax
001ae67dmov [rsi+24], rbx
001ae681mov [rsi+32], rdi
001ae685mov eax, 1
001ae68amov rbx, rsi
001ae68djmp 0x1ae6a0
001ae692
001ae692loc_1ae692:
001ae692call caml_call_gc
001ae697jmp 0x1ae655
001ae640
001ae640Stdlib.Array.exists:
001ae640mov rdi, [rbx-8]
001ae644shr rdi, 9
001ae648or rdi, 1
001ae64csub r15, 48
001ae650cmp r15, [r14]
001ae653jb 0x1ae692
001ae655
001ae655loc_1ae655:
001ae655lea rsi, [r15+8]
001ae659mov [rsi-8], 5367
001ae661lea rdx, [rip+56]
001ae668mov [rsi], rdx
001ae66bmov rdx, 0x100000000000005
001ae675mov [rsi+8], rdx
001ae679mov [rsi+16], rax
001ae67dmov [rsi+24], rbx
001ae681mov [rsi+32], rdi
001ae685mov eax, 1
001ae68amov rbx, rsi
001ae68djmp 0x1ae6a0
001ae692
001ae692loc_1ae692:
001ae692call caml_call_gc
001ae697jmp 0x1ae655
001ae640
001ae699
001ae699 // align 0x10
001ae699 // align 0x10
001ae6a0
001ae6a0Stdlib.Array.loop:
001ae6a0lea r10, [rsp-336]
001ae6a8cmp r10, [r14+40]
001ae6acjb 0x1ae75b
001ae6b2
001ae6b2loc_1ae6b2:
001ae6b2sub rsp, 16
001ae6b6
001ae6b6loc_1ae6b6:
001ae6b6cmp r15, [r14]
001ae6b9jbe 0x1ae751
001ae6bf
001ae6bfloc_1ae6bf:
001ae6bfmov rdi, [rbx+32]
001ae6c3cmp rax, rdi
001ae6c6jne 0x1ae6d4
001ae6c8mov eax, 1
001ae6cdadd rsp, 16
001ae6d1ret
001ae6d2
001ae6d2 66 90 f.
001ae6d4
001ae6d4loc_1ae6d4:
001ae6d4mov [rsp+8], rbx
001ae6d9mov [rsp], rax
001ae6ddmov rdi, [rbx+16]
001ae6e1mov rbx, [rbx+24]
001ae6e5movzx rsi, [rbx-8]
001ae6eacmp rsi, 254
001ae6f1je 0x1ae6fc
001ae6f3mov rax, [rbx+4*rax-4]
001ae6f8jmp 0x1ae71e
001ae6fa
001ae6fa 66 90 f.
001ae6fc
001ae6fcloc_1ae6fc:
001ae6fcsub r15, 16
001ae700cmp r15, [r14]
001ae703jb 0x1ae74a
001ae705
001ae705loc_1ae705:
001ae705lea rsi, [r15+8]
001ae709mov [rsi-8], 1277
001ae711movsd_xmm x0, [rbx+4*rax-4]
001ae717movsd_xmm [rsi], x0
001ae71bmov rax, rsi
001ae71e
001ae71eloc_1ae71e:
001ae71emov rsi, [rdi]
001ae721mov rbx, rdi
001ae724call rsi
001ae726cmp rax, 1
001ae72aje 0x1ae738
001ae72cmov eax, 3
001ae731add rsp, 16
001ae735ret
001ae736
001ae736 66 90 f.
001ae738
001ae738loc_1ae738:
001ae738mov rax, [rsp]
001ae73cadd rax, 2
001ae740mov rbx, [rsp+8]
001ae745jmp 0x1ae6b6
001ae74a
001ae74aloc_1ae74a:
001ae74acall caml_call_gc
001ae74fjmp 0x1ae705
001ae751
001ae751loc_1ae751:
001ae751call caml_call_gc
001ae756jmp 0x1ae6bf
001ae75b
001ae75bloc_1ae75b:
001ae75bpush 35
001ae75dcall caml_call_realloc_stack
001ae762pop r10
001ae764jmp 0x1ae6b2
001ae6a0
001ae6a0Stdlib.Array.loop:
001ae6a0lea r10, [rsp-336]
001ae6a8cmp r10, [r14+40]
001ae6acjb 0x1ae75b
001ae6b2
001ae6b2loc_1ae6b2:
001ae6b2sub rsp, 16
001ae6b6
001ae6b6loc_1ae6b6:
001ae6b6cmp r15, [r14]
001ae6b9jbe 0x1ae751
001ae6bf
001ae6bfloc_1ae6bf:
001ae6bfmov rdi, [rbx+32]
001ae6c3cmp rax, rdi
001ae6c6jne 0x1ae6d4
001ae6c8mov eax, 1
001ae6cdadd rsp, 16
001ae6d1ret
001ae6d2
001ae6d2 66 90 f.
001ae6d4
001ae6d4loc_1ae6d4:
001ae6d4mov [rsp+8], rbx
001ae6d9mov [rsp], rax
001ae6ddmov rdi, [rbx+16]
001ae6e1mov rbx, [rbx+24]
001ae6e5movzx rsi, [rbx-8]
001ae6eacmp rsi, 254
001ae6f1je 0x1ae6fc
001ae6f3mov rax, [rbx+4*rax-4]
001ae6f8jmp 0x1ae71e
001ae6fa
001ae6fa 66 90 f.
001ae6fc
001ae6fcloc_1ae6fc:
001ae6fcsub r15, 16
001ae700cmp r15, [r14]
001ae703jb 0x1ae74a
001ae705
001ae705loc_1ae705:
001ae705lea rsi, [r15+8]
001ae709mov [rsi-8], 1277
001ae711movsd_xmm x0, [rbx+4*rax-4]
001ae717movsd_xmm [rsi], x0
001ae71bmov rax, rsi
001ae71e
001ae71eloc_1ae71e:
001ae71emov rsi, [rdi]
001ae721mov rbx, rdi
001ae724call rsi
001ae726cmp rax, 1
001ae72aje 0x1ae738
001ae72cmov eax, 3
001ae731add rsp, 16
001ae735ret
001ae736
001ae736 66 90 f.
001ae738
001ae738loc_1ae738:
001ae738mov rax, [rsp]
001ae73cadd rax, 2
001ae740mov rbx, [rsp+8]
001ae745jmp 0x1ae6b6
001ae74a
001ae74aloc_1ae74a:
001ae74acall caml_call_gc
001ae74fjmp 0x1ae705
001ae751
001ae751loc_1ae751:
001ae751call caml_call_gc
001ae756jmp 0x1ae6bf
001ae75b
001ae75bloc_1ae75b:
001ae75bpush 35
001ae75dcall caml_call_realloc_stack
001ae762pop r10
001ae764jmp 0x1ae6b2
001ae6a0
001ae769
001ae769 // align 0x10
001ae769 // align 0x10
001ae770
001ae770Stdlib.Array.for_all:
001ae770mov rdi, [rbx-8]
001ae774shr rdi, 9
001ae778or rdi, 1
001ae77csub r15, 48
001ae780cmp r15, [r14]
001ae783jb 0x1ae7c2
001ae785
001ae785loc_1ae785:
001ae785lea rsi, [r15+8]
001ae789mov [rsi-8], 5367
001ae791lea rdx, [rip+56]
001ae798mov [rsi], rdx
001ae79bmov rdx, 0x100000000000005
001ae7a5mov [rsi+8], rdx
001ae7a9mov [rsi+16], rax
001ae7admov [rsi+24], rbx
001ae7b1mov [rsi+32], rdi
001ae7b5mov eax, 1
001ae7bamov rbx, rsi
001ae7bdjmp 0x1ae7d0
001ae7c2
001ae7c2loc_1ae7c2:
001ae7c2call caml_call_gc
001ae7c7jmp 0x1ae785
001ae770
001ae770Stdlib.Array.for_all:
001ae770mov rdi, [rbx-8]
001ae774shr rdi, 9
001ae778or rdi, 1
001ae77csub r15, 48
001ae780cmp r15, [r14]
001ae783jb 0x1ae7c2
001ae785
001ae785loc_1ae785:
001ae785lea rsi, [r15+8]
001ae789mov [rsi-8], 5367
001ae791lea rdx, [rip+56]
001ae798mov [rsi], rdx
001ae79bmov rdx, 0x100000000000005
001ae7a5mov [rsi+8], rdx
001ae7a9mov [rsi+16], rax
001ae7admov [rsi+24], rbx
001ae7b1mov [rsi+32], rdi
001ae7b5mov eax, 1
001ae7bamov rbx, rsi
001ae7bdjmp 0x1ae7d0
001ae7c2
001ae7c2loc_1ae7c2:
001ae7c2call caml_call_gc
001ae7c7jmp 0x1ae785
001ae770
001ae7c9
001ae7c9 // align 0x10
001ae7c9 // align 0x10
001ae7d0
001ae7d0Stdlib.Array.loop:
001ae7d0lea r10, [rsp-336]
001ae7d8cmp r10, [r14+40]
001ae7dcjb 0x1ae88b
001ae7e2
001ae7e2loc_1ae7e2:
001ae7e2sub rsp, 16
001ae7e6
001ae7e6loc_1ae7e6:
001ae7e6cmp r15, [r14]
001ae7e9jbe 0x1ae881
001ae7ef
001ae7efloc_1ae7ef:
001ae7efmov rdi, [rbx+32]
001ae7f3cmp rax, rdi
001ae7f6jne 0x1ae804
001ae7f8mov eax, 3
001ae7fdadd rsp, 16
001ae801ret
001ae802
001ae802 66 90 f.
001ae804
001ae804loc_1ae804:
001ae804mov [rsp+8], rbx
001ae809mov [rsp], rax
001ae80dmov rdi, [rbx+16]
001ae811mov rbx, [rbx+24]
001ae815movzx rsi, [rbx-8]
001ae81acmp rsi, 254
001ae821je 0x1ae82c
001ae823mov rax, [rbx+4*rax-4]
001ae828jmp 0x1ae84e
001ae82a
001ae82a 66 90 f.
001ae82c
001ae82cloc_1ae82c:
001ae82csub r15, 16
001ae830cmp r15, [r14]
001ae833jb 0x1ae87a
001ae835
001ae835loc_1ae835:
001ae835lea rsi, [r15+8]
001ae839mov [rsi-8], 1277
001ae841movsd_xmm x0, [rbx+4*rax-4]
001ae847movsd_xmm [rsi], x0
001ae84bmov rax, rsi
001ae84e
001ae84eloc_1ae84e:
001ae84emov rsi, [rdi]
001ae851mov rbx, rdi
001ae854call rsi
001ae856cmp rax, 1
001ae85aje 0x1ae870
001ae85cmov rax, [rsp]
001ae860add rax, 2
001ae864mov rbx, [rsp+8]
001ae869jmp 0x1ae7e6
001ae86e
001ae86e 66 90 f.
001ae870
001ae870loc_1ae870:
001ae870mov eax, 1
001ae875add rsp, 16
001ae879ret
001ae87a
001ae87aloc_1ae87a:
001ae87acall caml_call_gc
001ae87fjmp 0x1ae835
001ae881
001ae881loc_1ae881:
001ae881call caml_call_gc
001ae886jmp 0x1ae7ef
001ae88b
001ae88bloc_1ae88b:
001ae88bpush 35
001ae88dcall caml_call_realloc_stack
001ae892pop r10
001ae894jmp 0x1ae7e2
001ae7d0
001ae7d0Stdlib.Array.loop:
001ae7d0lea r10, [rsp-336]
001ae7d8cmp r10, [r14+40]
001ae7dcjb 0x1ae88b
001ae7e2
001ae7e2loc_1ae7e2:
001ae7e2sub rsp, 16
001ae7e6
001ae7e6loc_1ae7e6:
001ae7e6cmp r15, [r14]
001ae7e9jbe 0x1ae881
001ae7ef
001ae7efloc_1ae7ef:
001ae7efmov rdi, [rbx+32]
001ae7f3cmp rax, rdi
001ae7f6jne 0x1ae804
001ae7f8mov eax, 3
001ae7fdadd rsp, 16
001ae801ret
001ae802
001ae802 66 90 f.
001ae804
001ae804loc_1ae804:
001ae804mov [rsp+8], rbx
001ae809mov [rsp], rax
001ae80dmov rdi, [rbx+16]
001ae811mov rbx, [rbx+24]
001ae815movzx rsi, [rbx-8]
001ae81acmp rsi, 254
001ae821je 0x1ae82c
001ae823mov rax, [rbx+4*rax-4]
001ae828jmp 0x1ae84e
001ae82a
001ae82a 66 90 f.
001ae82c
001ae82cloc_1ae82c:
001ae82csub r15, 16
001ae830cmp r15, [r14]
001ae833jb 0x1ae87a
001ae835
001ae835loc_1ae835:
001ae835lea rsi, [r15+8]
001ae839mov [rsi-8], 1277
001ae841movsd_xmm x0, [rbx+4*rax-4]
001ae847movsd_xmm [rsi], x0
001ae84bmov rax, rsi
001ae84e
001ae84eloc_1ae84e:
001ae84emov rsi, [rdi]
001ae851mov rbx, rdi
001ae854call rsi
001ae856cmp rax, 1
001ae85aje 0x1ae870
001ae85cmov rax, [rsp]
001ae860add rax, 2
001ae864mov rbx, [rsp+8]
001ae869jmp 0x1ae7e6
001ae86e
001ae86e 66 90 f.
001ae870
001ae870loc_1ae870:
001ae870mov eax, 1
001ae875add rsp, 16
001ae879ret
001ae87a
001ae87aloc_1ae87a:
001ae87acall caml_call_gc
001ae87fjmp 0x1ae835
001ae881
001ae881loc_1ae881:
001ae881call caml_call_gc
001ae886jmp 0x1ae7ef
001ae88b
001ae88bloc_1ae88b:
001ae88bpush 35
001ae88dcall caml_call_realloc_stack
001ae892pop r10
001ae894jmp 0x1ae7e2
001ae7d0
001ae899
001ae899 // align 0x10
001ae899 // align 0x10
001ae8a0
001ae8a0Stdlib.Array.for_all2:
001ae8a0mov rsi, [rbx-8]
001ae8a4shr rsi, 9
001ae8a8or rsi, 1
001ae8acmov rdx, [rdi-8]
001ae8b0shr rdx, 9
001ae8b4or rdx, 1
001ae8b8cmp rsi, rdx
001ae8bbje 0x1ae8cc
001ae8bdlea rax, [rip+0x18f3c4]
001ae8c4jmp 0x195ab0
001ae8c9
001ae8c9 0f 1f 00 ...
001ae8cc
001ae8ccloc_1ae8cc:
001ae8ccsub r15, 56
001ae8d0cmp r15, [r14]
001ae8d3jb 0x1ae916
001ae8d5
001ae8d5loc_1ae8d5:
001ae8d5lea rdx, [r15+8]
001ae8d9mov [rdx-8], 6391
001ae8e1lea rcx, [rip+56]
001ae8e8mov [rdx], rcx
001ae8ebmov rcx, 0x100000000000005
001ae8f5mov [rdx+8], rcx
001ae8f9mov [rdx+16], rax
001ae8fdmov [rdx+24], rbx
001ae901mov [rdx+32], rdi
001ae905mov [rdx+40], rsi
001ae909mov eax, 1
001ae90emov rbx, rdx
001ae911jmp 0x1ae920
001ae916
001ae916loc_1ae916:
001ae916call caml_call_gc
001ae91bjmp 0x1ae8d5
001ae8a0
001ae8a0Stdlib.Array.for_all2:
001ae8a0mov rsi, [rbx-8]
001ae8a4shr rsi, 9
001ae8a8or rsi, 1
001ae8acmov rdx, [rdi-8]
001ae8b0shr rdx, 9
001ae8b4or rdx, 1
001ae8b8cmp rsi, rdx
001ae8bbje 0x1ae8cc
001ae8bdlea rax, [rip+0x18f3c4]
001ae8c4jmp 0x195ab0
001ae8c9
001ae8c9 0f 1f 00 ...
001ae8cc
001ae8ccloc_1ae8cc:
001ae8ccsub r15, 56
001ae8d0cmp r15, [r14]
001ae8d3jb 0x1ae916
001ae8d5
001ae8d5loc_1ae8d5:
001ae8d5lea rdx, [r15+8]
001ae8d9mov [rdx-8], 6391
001ae8e1lea rcx, [rip+56]
001ae8e8mov [rdx], rcx
001ae8ebmov rcx, 0x100000000000005
001ae8f5mov [rdx+8], rcx
001ae8f9mov [rdx+16], rax
001ae8fdmov [rdx+24], rbx
001ae901mov [rdx+32], rdi
001ae905mov [rdx+40], rsi
001ae909mov eax, 1
001ae90emov rbx, rdx
001ae911jmp 0x1ae920
001ae916
001ae916loc_1ae916:
001ae916call caml_call_gc
001ae91bjmp 0x1ae8d5
001ae8a0
001ae91d
001ae91d // align 0x10
001ae91d // align 0x10
001ae920
001ae920Stdlib.Array.loop:
001ae920lea r10, [rsp-336]
001ae928cmp r10, [r14+40]
001ae92cjb 0x1aea21
001ae932
001ae932loc_1ae932:
001ae932sub rsp, 16
001ae936
001ae936loc_1ae936:
001ae936mov rdi, rbx
001ae939cmp r15, [r14]
001ae93cjbe 0x1aea17
001ae942
001ae942loc_1ae942:
001ae942mov rbx, [rdi+40]
001ae946cmp rax, rbx
001ae949jne 0x1ae958
001ae94bmov eax, 3
001ae950add rsp, 16
001ae954ret
001ae955
001ae955 0f 1f 00 ...
001ae958
001ae958loc_1ae958:
001ae958mov [rsp+8], rdi
001ae95dmov [rsp], rax
001ae961mov rsi, [rdi+32]
001ae965movzx rbx, [rsi-8]
001ae96acmp rbx, 254
001ae971je 0x1ae97c
001ae973mov rbx, [rsi+4*rax-4]
001ae978jmp 0x1ae99f
001ae97a
001ae97a 66 90 f.
001ae97c
001ae97cloc_1ae97c:
001ae97csub r15, 16
001ae980cmp r15, [r14]
001ae983jb 0x1aea0d
001ae989
001ae989loc_1ae989:
001ae989lea rbx, [r15+8]
001ae98dmov [rbx-8], 1277
001ae995movsd_xmm x0, [rsi+4*rax-4]
001ae99bmovsd_xmm [rbx], x0
001ae99f
001ae99floc_1ae99f:
001ae99fmov rsi, [rdi+24]
001ae9a3movzx rdx, [rsi-8]
001ae9a8cmp rdx, 254
001ae9afje 0x1ae9b8
001ae9b1mov rax, [rsi+4*rax-4]
001ae9b6jmp 0x1ae9da
001ae9b8
001ae9b8loc_1ae9b8:
001ae9b8sub r15, 16
001ae9bccmp r15, [r14]
001ae9bfjb 0x1aea06
001ae9c1
001ae9c1loc_1ae9c1:
001ae9c1lea rdx, [r15+8]
001ae9c5mov [rdx-8], 1277
001ae9cdmovsd_xmm x0, [rsi+4*rax-4]
001ae9d3movsd_xmm [rdx], x0
001ae9d7mov rax, rdx
001ae9da
001ae9daloc_1ae9da:
001ae9damov rdi, [rdi+16]
001ae9decall caml_apply2
001ae9e3cmp rax, 1
001ae9e7je 0x1ae9fc
001ae9e9mov rax, [rsp]
001ae9edadd rax, 2
001ae9f1mov rbx, [rsp+8]
001ae9f6jmp 0x1ae936
001ae9fb
001ae9fb 90 .
001ae9fc
001ae9fcloc_1ae9fc:
001ae9fcmov eax, 1
001aea01add rsp, 16
001aea05ret
001aea06
001aea06loc_1aea06:
001aea06call caml_call_gc
001aea0bjmp 0x1ae9c1
001aea0d
001aea0dloc_1aea0d:
001aea0dcall caml_call_gc
001aea12jmp 0x1ae989
001aea17
001aea17loc_1aea17:
001aea17call caml_call_gc
001aea1cjmp 0x1ae942
001aea21
001aea21loc_1aea21:
001aea21push 35
001aea23call caml_call_realloc_stack
001aea28pop r10
001aea2ajmp 0x1ae932
001ae920
001ae920Stdlib.Array.loop:
001ae920lea r10, [rsp-336]
001ae928cmp r10, [r14+40]
001ae92cjb 0x1aea21
001ae932
001ae932loc_1ae932:
001ae932sub rsp, 16
001ae936
001ae936loc_1ae936:
001ae936mov rdi, rbx
001ae939cmp r15, [r14]
001ae93cjbe 0x1aea17
001ae942
001ae942loc_1ae942:
001ae942mov rbx, [rdi+40]
001ae946cmp rax, rbx
001ae949jne 0x1ae958
001ae94bmov eax, 3
001ae950add rsp, 16
001ae954ret
001ae955
001ae955 0f 1f 00 ...
001ae958
001ae958loc_1ae958:
001ae958mov [rsp+8], rdi
001ae95dmov [rsp], rax
001ae961mov rsi, [rdi+32]
001ae965movzx rbx, [rsi-8]
001ae96acmp rbx, 254
001ae971je 0x1ae97c
001ae973mov rbx, [rsi+4*rax-4]
001ae978jmp 0x1ae99f
001ae97a
001ae97a 66 90 f.
001ae97c
001ae97cloc_1ae97c:
001ae97csub r15, 16
001ae980cmp r15, [r14]
001ae983jb 0x1aea0d
001ae989
001ae989loc_1ae989:
001ae989lea rbx, [r15+8]
001ae98dmov [rbx-8], 1277
001ae995movsd_xmm x0, [rsi+4*rax-4]
001ae99bmovsd_xmm [rbx], x0
001ae99f
001ae99floc_1ae99f:
001ae99fmov rsi, [rdi+24]
001ae9a3movzx rdx, [rsi-8]
001ae9a8cmp rdx, 254
001ae9afje 0x1ae9b8
001ae9b1mov rax, [rsi+4*rax-4]
001ae9b6jmp 0x1ae9da
001ae9b8
001ae9b8loc_1ae9b8:
001ae9b8sub r15, 16
001ae9bccmp r15, [r14]
001ae9bfjb 0x1aea06
001ae9c1
001ae9c1loc_1ae9c1:
001ae9c1lea rdx, [r15+8]
001ae9c5mov [rdx-8], 1277
001ae9cdmovsd_xmm x0, [rsi+4*rax-4]
001ae9d3movsd_xmm [rdx], x0
001ae9d7mov rax, rdx
001ae9da
001ae9daloc_1ae9da:
001ae9damov rdi, [rdi+16]
001ae9decall caml_apply2
001ae9e3cmp rax, 1
001ae9e7je 0x1ae9fc
001ae9e9mov rax, [rsp]
001ae9edadd rax, 2
001ae9f1mov rbx, [rsp+8]
001ae9f6jmp 0x1ae936
001ae9fb
001ae9fb 90 .
001ae9fc
001ae9fcloc_1ae9fc:
001ae9fcmov eax, 1
001aea01add rsp, 16
001aea05ret
001aea06
001aea06loc_1aea06:
001aea06call caml_call_gc
001aea0bjmp 0x1ae9c1
001aea0d
001aea0dloc_1aea0d:
001aea0dcall caml_call_gc
001aea12jmp 0x1ae989
001aea17
001aea17loc_1aea17:
001aea17call caml_call_gc
001aea1cjmp 0x1ae942
001aea21
001aea21loc_1aea21:
001aea21push 35
001aea23call caml_call_realloc_stack
001aea28pop r10
001aea2ajmp 0x1ae932
001ae920
001aea2f
001aea2f // align 0x10
001aea2f // align 0x10
001aea30
001aea30Stdlib.Array.exists2:
001aea30mov rsi, [rbx-8]
001aea34shr rsi, 9
001aea38or rsi, 1
001aea3cmov rdx, [rdi-8]
001aea40shr rdx, 9
001aea44or rdx, 1
001aea48cmp rsi, rdx
001aea4bje 0x1aea5c
001aea4dlea rax, [rip+0x18f21c]
001aea54jmp 0x195ab0
001aea59
001aea59 0f 1f 00 ...
001aea5c
001aea5cloc_1aea5c:
001aea5csub r15, 56
001aea60cmp r15, [r14]
001aea63jb 0x1aeaa6
001aea65
001aea65loc_1aea65:
001aea65lea rdx, [r15+8]
001aea69mov [rdx-8], 6391
001aea71lea rcx, [rip+56]
001aea78mov [rdx], rcx
001aea7bmov rcx, 0x100000000000005
001aea85mov [rdx+8], rcx
001aea89mov [rdx+16], rax
001aea8dmov [rdx+24], rbx
001aea91mov [rdx+32], rdi
001aea95mov [rdx+40], rsi
001aea99mov eax, 1
001aea9emov rbx, rdx
001aeaa1jmp 0x1aeab0
001aeaa6
001aeaa6loc_1aeaa6:
001aeaa6call caml_call_gc
001aeaabjmp 0x1aea65
001aea30
001aea30Stdlib.Array.exists2:
001aea30mov rsi, [rbx-8]
001aea34shr rsi, 9
001aea38or rsi, 1
001aea3cmov rdx, [rdi-8]
001aea40shr rdx, 9
001aea44or rdx, 1
001aea48cmp rsi, rdx
001aea4bje 0x1aea5c
001aea4dlea rax, [rip+0x18f21c]
001aea54jmp 0x195ab0
001aea59
001aea59 0f 1f 00 ...
001aea5c
001aea5cloc_1aea5c:
001aea5csub r15, 56
001aea60cmp r15, [r14]
001aea63jb 0x1aeaa6
001aea65
001aea65loc_1aea65:
001aea65lea rdx, [r15+8]
001aea69mov [rdx-8], 6391
001aea71lea rcx, [rip+56]
001aea78mov [rdx], rcx
001aea7bmov rcx, 0x100000000000005
001aea85mov [rdx+8], rcx
001aea89mov [rdx+16], rax
001aea8dmov [rdx+24], rbx
001aea91mov [rdx+32], rdi
001aea95mov [rdx+40], rsi
001aea99mov eax, 1
001aea9emov rbx, rdx
001aeaa1jmp 0x1aeab0
001aeaa6
001aeaa6loc_1aeaa6:
001aeaa6call caml_call_gc
001aeaabjmp 0x1aea65
001aea30
001aeaad
001aeaad // align 0x10
001aeaad // align 0x10
001aeab0
001aeab0Stdlib.Array.loop:
001aeab0lea r10, [rsp-336]
001aeab8cmp r10, [r14+40]
001aeabcjb 0x1aebb1
001aeac2
001aeac2loc_1aeac2:
001aeac2sub rsp, 16
001aeac6
001aeac6loc_1aeac6:
001aeac6mov rdi, rbx
001aeac9cmp r15, [r14]
001aeaccjbe 0x1aeba7
001aead2
001aead2loc_1aead2:
001aead2mov rbx, [rdi+40]
001aead6cmp rax, rbx
001aead9jne 0x1aeae8
001aeadbmov eax, 1
001aeae0add rsp, 16
001aeae4ret
001aeae5
001aeae5 0f 1f 00 ...
001aeae8
001aeae8loc_1aeae8:
001aeae8mov [rsp+8], rdi
001aeaedmov [rsp], rax
001aeaf1mov rsi, [rdi+32]
001aeaf5movzx rbx, [rsi-8]
001aeafacmp rbx, 254
001aeb01je 0x1aeb0c
001aeb03mov rbx, [rsi+4*rax-4]
001aeb08jmp 0x1aeb2f
001aeb0a
001aeb0a 66 90 f.
001aeb0c
001aeb0cloc_1aeb0c:
001aeb0csub r15, 16
001aeb10cmp r15, [r14]
001aeb13jb 0x1aeb9d
001aeb19
001aeb19loc_1aeb19:
001aeb19lea rbx, [r15+8]
001aeb1dmov [rbx-8], 1277
001aeb25movsd_xmm x0, [rsi+4*rax-4]
001aeb2bmovsd_xmm [rbx], x0
001aeb2f
001aeb2floc_1aeb2f:
001aeb2fmov rsi, [rdi+24]
001aeb33movzx rdx, [rsi-8]
001aeb38cmp rdx, 254
001aeb3fje 0x1aeb48
001aeb41mov rax, [rsi+4*rax-4]
001aeb46jmp 0x1aeb6a
001aeb48
001aeb48loc_1aeb48:
001aeb48sub r15, 16
001aeb4ccmp r15, [r14]
001aeb4fjb 0x1aeb96
001aeb51
001aeb51loc_1aeb51:
001aeb51lea rdx, [r15+8]
001aeb55mov [rdx-8], 1277
001aeb5dmovsd_xmm x0, [rsi+4*rax-4]
001aeb63movsd_xmm [rdx], x0
001aeb67mov rax, rdx
001aeb6a
001aeb6aloc_1aeb6a:
001aeb6amov rdi, [rdi+16]
001aeb6ecall caml_apply2
001aeb73cmp rax, 1
001aeb77je 0x1aeb84
001aeb79mov eax, 3
001aeb7eadd rsp, 16
001aeb82ret
001aeb83
001aeb83 90 .
001aeb84
001aeb84loc_1aeb84:
001aeb84mov rax, [rsp]
001aeb88add rax, 2
001aeb8cmov rbx, [rsp+8]
001aeb91jmp 0x1aeac6
001aeb96
001aeb96loc_1aeb96:
001aeb96call caml_call_gc
001aeb9bjmp 0x1aeb51
001aeb9d
001aeb9dloc_1aeb9d:
001aeb9dcall caml_call_gc
001aeba2jmp 0x1aeb19
001aeba7
001aeba7loc_1aeba7:
001aeba7call caml_call_gc
001aebacjmp 0x1aead2
001aebb1
001aebb1loc_1aebb1:
001aebb1push 35
001aebb3call caml_call_realloc_stack
001aebb8pop r10
001aebbajmp 0x1aeac2
001aeab0
001aeab0Stdlib.Array.loop:
001aeab0lea r10, [rsp-336]
001aeab8cmp r10, [r14+40]
001aeabcjb 0x1aebb1
001aeac2
001aeac2loc_1aeac2:
001aeac2sub rsp, 16
001aeac6
001aeac6loc_1aeac6:
001aeac6mov rdi, rbx
001aeac9cmp r15, [r14]
001aeaccjbe 0x1aeba7
001aead2
001aead2loc_1aead2:
001aead2mov rbx, [rdi+40]
001aead6cmp rax, rbx
001aead9jne 0x1aeae8
001aeadbmov eax, 1
001aeae0add rsp, 16
001aeae4ret
001aeae5
001aeae5 0f 1f 00 ...
001aeae8
001aeae8loc_1aeae8:
001aeae8mov [rsp+8], rdi
001aeaedmov [rsp], rax
001aeaf1mov rsi, [rdi+32]
001aeaf5movzx rbx, [rsi-8]
001aeafacmp rbx, 254
001aeb01je 0x1aeb0c
001aeb03mov rbx, [rsi+4*rax-4]
001aeb08jmp 0x1aeb2f
001aeb0a
001aeb0a 66 90 f.
001aeb0c
001aeb0cloc_1aeb0c:
001aeb0csub r15, 16
001aeb10cmp r15, [r14]
001aeb13jb 0x1aeb9d
001aeb19
001aeb19loc_1aeb19:
001aeb19lea rbx, [r15+8]
001aeb1dmov [rbx-8], 1277
001aeb25movsd_xmm x0, [rsi+4*rax-4]
001aeb2bmovsd_xmm [rbx], x0
001aeb2f
001aeb2floc_1aeb2f:
001aeb2fmov rsi, [rdi+24]
001aeb33movzx rdx, [rsi-8]
001aeb38cmp rdx, 254
001aeb3fje 0x1aeb48
001aeb41mov rax, [rsi+4*rax-4]
001aeb46jmp 0x1aeb6a
001aeb48
001aeb48loc_1aeb48:
001aeb48sub r15, 16
001aeb4ccmp r15, [r14]
001aeb4fjb 0x1aeb96
001aeb51
001aeb51loc_1aeb51:
001aeb51lea rdx, [r15+8]
001aeb55mov [rdx-8], 1277
001aeb5dmovsd_xmm x0, [rsi+4*rax-4]
001aeb63movsd_xmm [rdx], x0
001aeb67mov rax, rdx
001aeb6a
001aeb6aloc_1aeb6a:
001aeb6amov rdi, [rdi+16]
001aeb6ecall caml_apply2
001aeb73cmp rax, 1
001aeb77je 0x1aeb84
001aeb79mov eax, 3
001aeb7eadd rsp, 16
001aeb82ret
001aeb83
001aeb83 90 .
001aeb84
001aeb84loc_1aeb84:
001aeb84mov rax, [rsp]
001aeb88add rax, 2
001aeb8cmov rbx, [rsp+8]
001aeb91jmp 0x1aeac6
001aeb96
001aeb96loc_1aeb96:
001aeb96call caml_call_gc
001aeb9bjmp 0x1aeb51
001aeb9d
001aeb9dloc_1aeb9d:
001aeb9dcall caml_call_gc
001aeba2jmp 0x1aeb19
001aeba7
001aeba7loc_1aeba7:
001aeba7call caml_call_gc
001aebacjmp 0x1aead2
001aebb1
001aebb1loc_1aebb1:
001aebb1push 35
001aebb3call caml_call_realloc_stack
001aebb8pop r10
001aebbajmp 0x1aeac2
001aeab0
001aebbf
001aebbf // align 0x10
001aebbf // align 0x10
001aebc0
001aebc0Stdlib.Array.mem:
001aebc0mov rdi, [rbx-8]
001aebc4shr rdi, 9
001aebc8or rdi, 1
001aebccsub r15, 48
001aebd0cmp r15, [r14]
001aebd3jb 0x1aec12
001aebd5
001aebd5loc_1aebd5:
001aebd5lea rsi, [r15+8]
001aebd9mov [rsi-8], 5367
001aebe1lea rdx, [rip+56]
001aebe8mov [rsi], rdx
001aebebmov rdx, 0x100000000000005
001aebf5mov [rsi+8], rdx
001aebf9mov [rsi+16], rax
001aebfdmov [rsi+24], rbx
001aec01mov [rsi+32], rdi
001aec05mov eax, 1
001aec0amov rbx, rsi
001aec0djmp 0x1aec20
001aec12
001aec12loc_1aec12:
001aec12call caml_call_gc
001aec17jmp 0x1aebd5
001aebc0
001aebc0Stdlib.Array.mem:
001aebc0mov rdi, [rbx-8]
001aebc4shr rdi, 9
001aebc8or rdi, 1
001aebccsub r15, 48
001aebd0cmp r15, [r14]
001aebd3jb 0x1aec12
001aebd5
001aebd5loc_1aebd5:
001aebd5lea rsi, [r15+8]
001aebd9mov [rsi-8], 5367
001aebe1lea rdx, [rip+56]
001aebe8mov [rsi], rdx
001aebebmov rdx, 0x100000000000005
001aebf5mov [rsi+8], rdx
001aebf9mov [rsi+16], rax
001aebfdmov [rsi+24], rbx
001aec01mov [rsi+32], rdi
001aec05mov eax, 1
001aec0amov rbx, rsi
001aec0djmp 0x1aec20
001aec12
001aec12loc_1aec12:
001aec12call caml_call_gc
001aec17jmp 0x1aebd5
001aebc0
001aec19
001aec19 // align 0x10
001aec19 // align 0x10
001aec20
001aec20Stdlib.Array.loop:
001aec20sub rsp, 16
001aec24
001aec24loc_1aec24:
001aec24cmp r15, [r14]
001aec27jbe 0x1aecbd
001aec2d
001aec2dloc_1aec2d:
001aec2dmov rdi, [rbx+32]
001aec31cmp rax, rdi
001aec34jne 0x1aec40
001aec36mov eax, 1
001aec3badd rsp, 16
001aec3fret
001aec40
001aec40loc_1aec40:
001aec40mov [rsp+8], rbx
001aec45mov [rsp], rax
001aec49mov rsi, [rbx+24]
001aec4dmovzx rdi, [rsi-8]
001aec52cmp rdi, 254
001aec59je 0x1aec64
001aec5bmov rdi, [rsi+4*rax-4]
001aec60jmp 0x1aec83
001aec62
001aec62 66 90 f.
001aec64
001aec64loc_1aec64:
001aec64sub r15, 16
001aec68cmp r15, [r14]
001aec6bjb 0x1aecb6
001aec6d
001aec6dloc_1aec6d:
001aec6dlea rdi, [r15+8]
001aec71mov [rdi-8], 1277
001aec79movsd_xmm x0, [rsi+4*rax-4]
001aec7fmovsd_xmm [rdi], x0
001aec83
001aec83loc_1aec83:
001aec83mov rsi, [rbx+16]
001aec87lea rax, [rip+0x51c22]
001aec8ecall caml_c_call
001aec93cmp rax, 1
001aec97jne 0x1aeca4
001aec99mov eax, 3
001aec9eadd rsp, 16
001aeca2ret
001aeca3
001aeca3 90 .
001aeca4
001aeca4loc_1aeca4:
001aeca4mov rax, [rsp]
001aeca8add rax, 2
001aecacmov rbx, [rsp+8]
001aecb1jmp 0x1aec24
001aecb6
001aecb6loc_1aecb6:
001aecb6call caml_call_gc
001aecbbjmp 0x1aec6d
001aecbd
001aecbdloc_1aecbd:
001aecbdcall caml_call_gc
001aecc2jmp 0x1aec2d
001aec20
001aec20Stdlib.Array.loop:
001aec20sub rsp, 16
001aec24
001aec24loc_1aec24:
001aec24cmp r15, [r14]
001aec27jbe 0x1aecbd
001aec2d
001aec2dloc_1aec2d:
001aec2dmov rdi, [rbx+32]
001aec31cmp rax, rdi
001aec34jne 0x1aec40
001aec36mov eax, 1
001aec3badd rsp, 16
001aec3fret
001aec40
001aec40loc_1aec40:
001aec40mov [rsp+8], rbx
001aec45mov [rsp], rax
001aec49mov rsi, [rbx+24]
001aec4dmovzx rdi, [rsi-8]
001aec52cmp rdi, 254
001aec59je 0x1aec64
001aec5bmov rdi, [rsi+4*rax-4]
001aec60jmp 0x1aec83
001aec62
001aec62 66 90 f.
001aec64
001aec64loc_1aec64:
001aec64sub r15, 16
001aec68cmp r15, [r14]
001aec6bjb 0x1aecb6
001aec6d
001aec6dloc_1aec6d:
001aec6dlea rdi, [r15+8]
001aec71mov [rdi-8], 1277
001aec79movsd_xmm x0, [rsi+4*rax-4]
001aec7fmovsd_xmm [rdi], x0
001aec83
001aec83loc_1aec83:
001aec83mov rsi, [rbx+16]
001aec87lea rax, [rip+0x51c22]
001aec8ecall caml_c_call
001aec93cmp rax, 1
001aec97jne 0x1aeca4
001aec99mov eax, 3
001aec9eadd rsp, 16
001aeca2ret
001aeca3
001aeca3 90 .
001aeca4
001aeca4loc_1aeca4:
001aeca4mov rax, [rsp]
001aeca8add rax, 2
001aecacmov rbx, [rsp+8]
001aecb1jmp 0x1aec24
001aecb6
001aecb6loc_1aecb6:
001aecb6call caml_call_gc
001aecbbjmp 0x1aec6d
001aecbd
001aecbdloc_1aecbd:
001aecbdcall caml_call_gc
001aecc2jmp 0x1aec2d
001aec20
001aecc7
001aecc7 // align 0x10
001aecc7 // align 0x10
001aecd0
001aecd0Stdlib.Array.memq:
001aecd0mov rdi, [rbx-8]
001aecd4shr rdi, 9
001aecd8or rdi, 1
001aecdcsub r15, 48
001aece0cmp r15, [r14]
001aece3jb 0x1aed22
001aece5
001aece5loc_1aece5:
001aece5lea rsi, [r15+8]
001aece9mov [rsi-8], 5367
001aecf1lea rdx, [rip+56]
001aecf8mov [rsi], rdx
001aecfbmov rdx, 0x100000000000005
001aed05mov [rsi+8], rdx
001aed09mov [rsi+16], rax
001aed0dmov [rsi+24], rbx
001aed11mov [rsi+32], rdi
001aed15mov eax, 1
001aed1amov rbx, rsi
001aed1djmp 0x1aed30
001aed22
001aed22loc_1aed22:
001aed22call caml_call_gc
001aed27jmp 0x1aece5
001aecd0
001aecd0Stdlib.Array.memq:
001aecd0mov rdi, [rbx-8]
001aecd4shr rdi, 9
001aecd8or rdi, 1
001aecdcsub r15, 48
001aece0cmp r15, [r14]
001aece3jb 0x1aed22
001aece5
001aece5loc_1aece5:
001aece5lea rsi, [r15+8]
001aece9mov [rsi-8], 5367
001aecf1lea rdx, [rip+56]
001aecf8mov [rsi], rdx
001aecfbmov rdx, 0x100000000000005
001aed05mov [rsi+8], rdx
001aed09mov [rsi+16], rax
001aed0dmov [rsi+24], rbx
001aed11mov [rsi+32], rdi
001aed15mov eax, 1
001aed1amov rbx, rsi
001aed1djmp 0x1aed30
001aed22
001aed22loc_1aed22:
001aed22call caml_call_gc
001aed27jmp 0x1aece5
001aecd0
001aed29
001aed29 // align 0x10
001aed29 // align 0x10
001aed30
001aed30Stdlib.Array.loop:
001aed30cmp r15, [r14]
001aed33jbe 0x1aed9d
001aed35
001aed35loc_1aed35:
001aed35mov rdi, [rbx+32]
001aed39cmp rax, rdi
001aed3cjne 0x1aed44
001aed3emov eax, 1
001aed43ret
001aed44
001aed44loc_1aed44:
001aed44mov rdi, [rbx+24]
001aed48movzx rsi, [rdi-8]
001aed4dcmp rsi, 254
001aed54je 0x1aed60
001aed56mov rsi, [rdi+4*rax-4]
001aed5bjmp 0x1aed7f
001aed5d
001aed5d 0f 1f 00 ...
001aed60
001aed60loc_1aed60:
001aed60sub r15, 16
001aed64cmp r15, [r14]
001aed67jb 0x1aed96
001aed69
001aed69loc_1aed69:
001aed69lea rsi, [r15+8]
001aed6dmov [rsi-8], 1277
001aed75movsd_xmm x0, [rdi+4*rax-4]
001aed7bmovsd_xmm [rsi], x0
001aed7f
001aed7floc_1aed7f:
001aed7fmov rdi, [rbx+16]
001aed83cmp rdi, rsi
001aed86jne 0x1aed90
001aed88mov eax, 3
001aed8dret
001aed8e
001aed8e 66 90 f.
001aed90
001aed90loc_1aed90:
001aed90add rax, 2
001aed94jmp 0x1aed30
001aed96
001aed96loc_1aed96:
001aed96call caml_call_gc
001aed9bjmp 0x1aed69
001aed9d
001aed9dloc_1aed9d:
001aed9dcall caml_call_gc
001aeda2jmp 0x1aed35
001aed30
001aed30Stdlib.Array.loop:
001aed30cmp r15, [r14]
001aed33jbe 0x1aed9d
001aed35
001aed35loc_1aed35:
001aed35mov rdi, [rbx+32]
001aed39cmp rax, rdi
001aed3cjne 0x1aed44
001aed3emov eax, 1
001aed43ret
001aed44
001aed44loc_1aed44:
001aed44mov rdi, [rbx+24]
001aed48movzx rsi, [rdi-8]
001aed4dcmp rsi, 254
001aed54je 0x1aed60
001aed56mov rsi, [rdi+4*rax-4]
001aed5bjmp 0x1aed7f
001aed5d
001aed5d 0f 1f 00 ...
001aed60
001aed60loc_1aed60:
001aed60sub r15, 16
001aed64cmp r15, [r14]
001aed67jb 0x1aed96
001aed69
001aed69loc_1aed69:
001aed69lea rsi, [r15+8]
001aed6dmov [rsi-8], 1277
001aed75movsd_xmm x0, [rdi+4*rax-4]
001aed7bmovsd_xmm [rsi], x0
001aed7f
001aed7floc_1aed7f:
001aed7fmov rdi, [rbx+16]
001aed83cmp rdi, rsi
001aed86jne 0x1aed90
001aed88mov eax, 3
001aed8dret
001aed8e
001aed8e 66 90 f.
001aed90
001aed90loc_1aed90:
001aed90add rax, 2
001aed94jmp 0x1aed30
001aed96
001aed96loc_1aed96:
001aed96call caml_call_gc
001aed9bjmp 0x1aed69
001aed9d
001aed9dloc_1aed9d:
001aed9dcall caml_call_gc
001aeda2jmp 0x1aed35
001aed30
001aeda4
001aeda4 // align 0x10
001aeda4 // align 0x10
001aedb0
001aedb0Stdlib.Array.find_opt:
001aedb0mov rdi, [rbx-8]
001aedb4shr rdi, 9
001aedb8or rdi, 1
001aedbcsub r15, 48
001aedc0cmp r15, [r14]
001aedc3jb 0x1aee02
001aedc5
001aedc5loc_1aedc5:
001aedc5lea rsi, [r15+8]
001aedc9mov [rsi-8], 5367
001aedd1lea rdx, [rip+56]
001aedd8mov [rsi], rdx
001aeddbmov rdx, 0x100000000000005
001aede5mov [rsi+8], rdx
001aede9mov [rsi+16], rax
001aededmov [rsi+24], rbx
001aedf1mov [rsi+32], rdi
001aedf5mov eax, 1
001aedfamov rbx, rsi
001aedfdjmp 0x1aee10
001aee02
001aee02loc_1aee02:
001aee02call caml_call_gc
001aee07jmp 0x1aedc5
001aedb0
001aedb0Stdlib.Array.find_opt:
001aedb0mov rdi, [rbx-8]
001aedb4shr rdi, 9
001aedb8or rdi, 1
001aedbcsub r15, 48
001aedc0cmp r15, [r14]
001aedc3jb 0x1aee02
001aedc5
001aedc5loc_1aedc5:
001aedc5lea rsi, [r15+8]
001aedc9mov [rsi-8], 5367
001aedd1lea rdx, [rip+56]
001aedd8mov [rsi], rdx
001aeddbmov rdx, 0x100000000000005
001aede5mov [rsi+8], rdx
001aede9mov [rsi+16], rax
001aededmov [rsi+24], rbx
001aedf1mov [rsi+32], rdi
001aedf5mov eax, 1
001aedfamov rbx, rsi
001aedfdjmp 0x1aee10
001aee02
001aee02loc_1aee02:
001aee02call caml_call_gc
001aee07jmp 0x1aedc5
001aedb0
001aee09
001aee09 // align 0x10
001aee09 // align 0x10
001aee10
001aee10Stdlib.Array.loop:
001aee10lea r10, [rsp-344]
001aee18cmp r10, [r14+40]
001aee1cjb 0x1aeeee
001aee22
001aee22loc_1aee22:
001aee22sub rsp, 24
001aee26
001aee26loc_1aee26:
001aee26cmp r15, [r14]
001aee29jbe 0x1aeee4
001aee2f
001aee2floc_1aee2f:
001aee2fmov rdi, [rbx+32]
001aee33cmp rax, rdi
001aee36jne 0x1aee44
001aee38mov eax, 1
001aee3dadd rsp, 24
001aee41ret
001aee42
001aee42 66 90 f.
001aee44
001aee44loc_1aee44:
001aee44mov [rsp+8], rbx
001aee49mov [rsp], rax
001aee4dmov rdi, [rbx+24]
001aee51movzx rsi, [rdi-8]
001aee56cmp rsi, 254
001aee5dje 0x1aee6c
001aee5fmov rax, [rdi+4*rax-4]
001aee64mov [rsp+16], rax
001aee69jmp 0x1aee93
001aee6b
001aee6b 90 .
001aee6c
001aee6cloc_1aee6c:
001aee6csub r15, 16
001aee70cmp r15, [r14]
001aee73jb 0x1aeedd
001aee75
001aee75loc_1aee75:
001aee75lea rsi, [r15+8]
001aee79mov [rsi-8], 1277
001aee81movsd_xmm x0, [rdi+4*rax-4]
001aee87movsd_xmm [rsi], x0
001aee8bmov rax, rsi
001aee8emov [rsp+16], rax
001aee93
001aee93loc_1aee93:
001aee93mov rbx, [rbx+16]
001aee97mov rdi, [rbx]
001aee9acall rdi
001aee9ccmp rax, 1
001aeea0je 0x1aeec4
001aeea2sub r15, 16
001aeea6cmp r15, [r14]
001aeea9jb 0x1aeed6
001aeeab
001aeeabloc_1aeeab:
001aeeablea rax, [r15+8]
001aeeafmov [rax-8], 1024
001aeeb7mov rbx, [rsp+16]
001aeebcmov [rax], rbx
001aeebfadd rsp, 24
001aeec3ret
001aeec4
001aeec4loc_1aeec4:
001aeec4mov rax, [rsp]
001aeec8add rax, 2
001aeeccmov rbx, [rsp+8]
001aeed1jmp 0x1aee26
001aeed6
001aeed6loc_1aeed6:
001aeed6call caml_call_gc
001aeedbjmp 0x1aeeab
001aeedd
001aeeddloc_1aeedd:
001aeeddcall caml_call_gc
001aeee2jmp 0x1aee75
001aeee4
001aeee4loc_1aeee4:
001aeee4call caml_call_gc
001aeee9jmp 0x1aee2f
001aeeee
001aeeeeloc_1aeeee:
001aeeeepush 36
001aeef0call caml_call_realloc_stack
001aeef5pop r10
001aeef7jmp 0x1aee22
001aee10
001aee10Stdlib.Array.loop:
001aee10lea r10, [rsp-344]
001aee18cmp r10, [r14+40]
001aee1cjb 0x1aeeee
001aee22
001aee22loc_1aee22:
001aee22sub rsp, 24
001aee26
001aee26loc_1aee26:
001aee26cmp r15, [r14]
001aee29jbe 0x1aeee4
001aee2f
001aee2floc_1aee2f:
001aee2fmov rdi, [rbx+32]
001aee33cmp rax, rdi
001aee36jne 0x1aee44
001aee38mov eax, 1
001aee3dadd rsp, 24
001aee41ret
001aee42
001aee42 66 90 f.
001aee44
001aee44loc_1aee44:
001aee44mov [rsp+8], rbx
001aee49mov [rsp], rax
001aee4dmov rdi, [rbx+24]
001aee51movzx rsi, [rdi-8]
001aee56cmp rsi, 254
001aee5dje 0x1aee6c
001aee5fmov rax, [rdi+4*rax-4]
001aee64mov [rsp+16], rax
001aee69jmp 0x1aee93
001aee6b
001aee6b 90 .
001aee6c
001aee6cloc_1aee6c:
001aee6csub r15, 16
001aee70cmp r15, [r14]
001aee73jb 0x1aeedd
001aee75
001aee75loc_1aee75:
001aee75lea rsi, [r15+8]
001aee79mov [rsi-8], 1277
001aee81movsd_xmm x0, [rdi+4*rax-4]
001aee87movsd_xmm [rsi], x0
001aee8bmov rax, rsi
001aee8emov [rsp+16], rax
001aee93
001aee93loc_1aee93:
001aee93mov rbx, [rbx+16]
001aee97mov rdi, [rbx]
001aee9acall rdi
001aee9ccmp rax, 1
001aeea0je 0x1aeec4
001aeea2sub r15, 16
001aeea6cmp r15, [r14]
001aeea9jb 0x1aeed6
001aeeab
001aeeabloc_1aeeab:
001aeeablea rax, [r15+8]
001aeeafmov [rax-8], 1024
001aeeb7mov rbx, [rsp+16]
001aeebcmov [rax], rbx
001aeebfadd rsp, 24
001aeec3ret
001aeec4
001aeec4loc_1aeec4:
001aeec4mov rax, [rsp]
001aeec8add rax, 2
001aeeccmov rbx, [rsp+8]
001aeed1jmp 0x1aee26
001aeed6
001aeed6loc_1aeed6:
001aeed6call caml_call_gc
001aeedbjmp 0x1aeeab
001aeedd
001aeeddloc_1aeedd:
001aeeddcall caml_call_gc
001aeee2jmp 0x1aee75
001aeee4
001aeee4loc_1aeee4:
001aeee4call caml_call_gc
001aeee9jmp 0x1aee2f
001aeeee
001aeeeeloc_1aeeee:
001aeeeepush 36
001aeef0call caml_call_realloc_stack
001aeef5pop r10
001aeef7jmp 0x1aee22
001aee10
001aeefc
001aeefc // align 0x10
001aeefc // align 0x10
001aef00
001aef00Stdlib.Array.find_index:
001aef00mov rdi, [rbx-8]
001aef04shr rdi, 9
001aef08or rdi, 1
001aef0csub r15, 48
001aef10cmp r15, [r14]
001aef13jb 0x1aef52
001aef15
001aef15loc_1aef15:
001aef15lea rsi, [r15+8]
001aef19mov [rsi-8], 5367
001aef21lea rdx, [rip+56]
001aef28mov [rsi], rdx
001aef2bmov rdx, 0x100000000000005
001aef35mov [rsi+8], rdx
001aef39mov [rsi+16], rax
001aef3dmov [rsi+24], rbx
001aef41mov [rsi+32], rdi
001aef45mov eax, 1
001aef4amov rbx, rsi
001aef4djmp 0x1aef60
001aef52
001aef52loc_1aef52:
001aef52call caml_call_gc
001aef57jmp 0x1aef15
001aef00
001aef00Stdlib.Array.find_index:
001aef00mov rdi, [rbx-8]
001aef04shr rdi, 9
001aef08or rdi, 1
001aef0csub r15, 48
001aef10cmp r15, [r14]
001aef13jb 0x1aef52
001aef15
001aef15loc_1aef15:
001aef15lea rsi, [r15+8]
001aef19mov [rsi-8], 5367
001aef21lea rdx, [rip+56]
001aef28mov [rsi], rdx
001aef2bmov rdx, 0x100000000000005
001aef35mov [rsi+8], rdx
001aef39mov [rsi+16], rax
001aef3dmov [rsi+24], rbx
001aef41mov [rsi+32], rdi
001aef45mov eax, 1
001aef4amov rbx, rsi
001aef4djmp 0x1aef60
001aef52
001aef52loc_1aef52:
001aef52call caml_call_gc
001aef57jmp 0x1aef15
001aef00
001aef59
001aef59 // align 0x10
001aef59 // align 0x10
001aef60
001aef60Stdlib.Array.loop:
001aef60lea r10, [rsp-336]
001aef68cmp r10, [r14+40]
001aef6cjb 0x1af03a
001aef72
001aef72loc_1aef72:
001aef72sub rsp, 16
001aef76
001aef76loc_1aef76:
001aef76cmp r15, [r14]
001aef79jbe 0x1af030
001aef7f
001aef7floc_1aef7f:
001aef7fmov rdi, [rbx+32]
001aef83cmp rax, rdi
001aef86jne 0x1aef94
001aef88mov eax, 1
001aef8dadd rsp, 16
001aef91ret
001aef92
001aef92 66 90 f.
001aef94
001aef94loc_1aef94:
001aef94mov [rsp], rbx
001aef98mov [rsp+8], rax
001aef9dmov rdi, [rbx+16]
001aefa1mov rbx, [rbx+24]
001aefa5movzx rsi, [rbx-8]
001aefaacmp rsi, 254
001aefb1je 0x1aefbc
001aefb3mov rax, [rbx+4*rax-4]
001aefb8jmp 0x1aefde
001aefba
001aefba 66 90 f.
001aefbc
001aefbcloc_1aefbc:
001aefbcsub r15, 16
001aefc0cmp r15, [r14]
001aefc3jb 0x1af029
001aefc5
001aefc5loc_1aefc5:
001aefc5lea rsi, [r15+8]
001aefc9mov [rsi-8], 1277
001aefd1movsd_xmm x0, [rbx+4*rax-4]
001aefd7movsd_xmm [rsi], x0
001aefdbmov rax, rsi
001aefde
001aefdeloc_1aefde:
001aefdemov rsi, [rdi]
001aefe1mov rbx, rdi
001aefe4call rsi
001aefe6cmp rax, 1
001aefeaje 0x1af010
001aefecsub r15, 16
001aeff0cmp r15, [r14]
001aeff3jb 0x1af022
001aeff5
001aeff5loc_1aeff5:
001aeff5lea rax, [r15+8]
001aeff9mov [rax-8], 1024
001af001mov rbx, [rsp+8]
001af006mov [rax], rbx
001af009add rsp, 16
001af00dret
001af00e
001af00e 66 90 f.
001af010
001af010loc_1af010:
001af010mov rax, [rsp+8]
001af015add rax, 2
001af019mov rbx, [rsp]
001af01djmp 0x1aef76
001af022
001af022loc_1af022:
001af022call caml_call_gc
001af027jmp 0x1aeff5
001af029
001af029loc_1af029:
001af029call caml_call_gc
001af02ejmp 0x1aefc5
001af030
001af030loc_1af030:
001af030call caml_call_gc
001af035jmp 0x1aef7f
001af03a
001af03aloc_1af03a:
001af03apush 35
001af03ccall caml_call_realloc_stack
001af041pop r10
001af043jmp 0x1aef72
001aef60
001aef60Stdlib.Array.loop:
001aef60lea r10, [rsp-336]
001aef68cmp r10, [r14+40]
001aef6cjb 0x1af03a
001aef72
001aef72loc_1aef72:
001aef72sub rsp, 16
001aef76
001aef76loc_1aef76:
001aef76cmp r15, [r14]
001aef79jbe 0x1af030
001aef7f
001aef7floc_1aef7f:
001aef7fmov rdi, [rbx+32]
001aef83cmp rax, rdi
001aef86jne 0x1aef94
001aef88mov eax, 1
001aef8dadd rsp, 16
001aef91ret
001aef92
001aef92 66 90 f.
001aef94
001aef94loc_1aef94:
001aef94mov [rsp], rbx
001aef98mov [rsp+8], rax
001aef9dmov rdi, [rbx+16]
001aefa1mov rbx, [rbx+24]
001aefa5movzx rsi, [rbx-8]
001aefaacmp rsi, 254
001aefb1je 0x1aefbc
001aefb3mov rax, [rbx+4*rax-4]
001aefb8jmp 0x1aefde
001aefba
001aefba 66 90 f.
001aefbc
001aefbcloc_1aefbc:
001aefbcsub r15, 16
001aefc0cmp r15, [r14]
001aefc3jb 0x1af029
001aefc5
001aefc5loc_1aefc5:
001aefc5lea rsi, [r15+8]
001aefc9mov [rsi-8], 1277
001aefd1movsd_xmm x0, [rbx+4*rax-4]
001aefd7movsd_xmm [rsi], x0
001aefdbmov rax, rsi
001aefde
001aefdeloc_1aefde:
001aefdemov rsi, [rdi]
001aefe1mov rbx, rdi
001aefe4call rsi
001aefe6cmp rax, 1
001aefeaje 0x1af010
001aefecsub r15, 16
001aeff0cmp r15, [r14]
001aeff3jb 0x1af022
001aeff5
001aeff5loc_1aeff5:
001aeff5lea rax, [r15+8]
001aeff9mov [rax-8], 1024
001af001mov rbx, [rsp+8]
001af006mov [rax], rbx
001af009add rsp, 16
001af00dret
001af00e
001af00e 66 90 f.
001af010
001af010loc_1af010:
001af010mov rax, [rsp+8]
001af015add rax, 2
001af019mov rbx, [rsp]
001af01djmp 0x1aef76
001af022
001af022loc_1af022:
001af022call caml_call_gc
001af027jmp 0x1aeff5
001af029
001af029loc_1af029:
001af029call caml_call_gc
001af02ejmp 0x1aefc5
001af030
001af030loc_1af030:
001af030call caml_call_gc
001af035jmp 0x1aef7f
001af03a
001af03aloc_1af03a:
001af03apush 35
001af03ccall caml_call_realloc_stack
001af041pop r10
001af043jmp 0x1aef72
001aef60
001af048
001af048 // align 0x10
001af048 // align 0x10
001af050
001af050Stdlib.Array.find_map:
001af050mov rdi, [rbx-8]
001af054shr rdi, 9
001af058or rdi, 1
001af05csub r15, 48
001af060cmp r15, [r14]
001af063jb 0x1af0a2
001af065
001af065loc_1af065:
001af065lea rsi, [r15+8]
001af069mov [rsi-8], 5367
001af071lea rdx, [rip+56]
001af078mov [rsi], rdx
001af07bmov rdx, 0x100000000000005
001af085mov [rsi+8], rdx
001af089mov [rsi+16], rax
001af08dmov [rsi+24], rbx
001af091mov [rsi+32], rdi
001af095mov eax, 1
001af09amov rbx, rsi
001af09djmp 0x1af0b0
001af0a2
001af0a2loc_1af0a2:
001af0a2call caml_call_gc
001af0a7jmp 0x1af065
001af050
001af050Stdlib.Array.find_map:
001af050mov rdi, [rbx-8]
001af054shr rdi, 9
001af058or rdi, 1
001af05csub r15, 48
001af060cmp r15, [r14]
001af063jb 0x1af0a2
001af065
001af065loc_1af065:
001af065lea rsi, [r15+8]
001af069mov [rsi-8], 5367
001af071lea rdx, [rip+56]
001af078mov [rsi], rdx
001af07bmov rdx, 0x100000000000005
001af085mov [rsi+8], rdx
001af089mov [rsi+16], rax
001af08dmov [rsi+24], rbx
001af091mov [rsi+32], rdi
001af095mov eax, 1
001af09amov rbx, rsi
001af09djmp 0x1af0b0
001af0a2
001af0a2loc_1af0a2:
001af0a2call caml_call_gc
001af0a7jmp 0x1af065
001af050
001af0a9
001af0a9 // align 0x10
001af0a9 // align 0x10
001af0b0
001af0b0Stdlib.Array.loop:
001af0b0lea r10, [rsp-336]
001af0b8cmp r10, [r14+40]
001af0bcjb 0x1af162
001af0c2
001af0c2loc_1af0c2:
001af0c2sub rsp, 16
001af0c6
001af0c6loc_1af0c6:
001af0c6cmp r15, [r14]
001af0c9jbe 0x1af158
001af0cf
001af0cfloc_1af0cf:
001af0cfmov rdi, [rbx+32]
001af0d3cmp rax, rdi
001af0d6jne 0x1af0e4
001af0d8mov eax, 1
001af0ddadd rsp, 16
001af0e1ret
001af0e2
001af0e2 66 90 f.
001af0e4
001af0e4loc_1af0e4:
001af0e4mov [rsp+8], rbx
001af0e9mov [rsp], rax
001af0edmov rdi, [rbx+16]
001af0f1mov rbx, [rbx+24]
001af0f5movzx rsi, [rbx-8]
001af0facmp rsi, 254
001af101je 0x1af10c
001af103mov rax, [rbx+4*rax-4]
001af108jmp 0x1af12e
001af10a
001af10a 66 90 f.
001af10c
001af10cloc_1af10c:
001af10csub r15, 16
001af110cmp r15, [r14]
001af113jb 0x1af151
001af115
001af115loc_1af115:
001af115lea rsi, [r15+8]
001af119mov [rsi-8], 1277
001af121movsd_xmm x0, [rbx+4*rax-4]
001af127movsd_xmm [rsi], x0
001af12bmov rax, rsi
001af12e
001af12eloc_1af12e:
001af12emov rsi, [rdi]
001af131mov rbx, rdi
001af134call rsi
001af136test al, 1
001af138je 0x1af14c
001af13amov rax, [rsp]
001af13eadd rax, 2
001af142mov rbx, [rsp+8]
001af147jmp 0x1af0c6
001af14c
001af14cloc_1af14c:
001af14cadd rsp, 16
001af150ret
001af151
001af151loc_1af151:
001af151call caml_call_gc
001af156jmp 0x1af115
001af158
001af158loc_1af158:
001af158call caml_call_gc
001af15djmp 0x1af0cf
001af162
001af162loc_1af162:
001af162push 35
001af164call caml_call_realloc_stack
001af169pop r10
001af16bjmp 0x1af0c2
001af0b0
001af0b0Stdlib.Array.loop:
001af0b0lea r10, [rsp-336]
001af0b8cmp r10, [r14+40]
001af0bcjb 0x1af162
001af0c2
001af0c2loc_1af0c2:
001af0c2sub rsp, 16
001af0c6
001af0c6loc_1af0c6:
001af0c6cmp r15, [r14]
001af0c9jbe 0x1af158
001af0cf
001af0cfloc_1af0cf:
001af0cfmov rdi, [rbx+32]
001af0d3cmp rax, rdi
001af0d6jne 0x1af0e4
001af0d8mov eax, 1
001af0ddadd rsp, 16
001af0e1ret
001af0e2
001af0e2 66 90 f.
001af0e4
001af0e4loc_1af0e4:
001af0e4mov [rsp+8], rbx
001af0e9mov [rsp], rax
001af0edmov rdi, [rbx+16]
001af0f1mov rbx, [rbx+24]
001af0f5movzx rsi, [rbx-8]
001af0facmp rsi, 254
001af101je 0x1af10c
001af103mov rax, [rbx+4*rax-4]
001af108jmp 0x1af12e
001af10a
001af10a 66 90 f.
001af10c
001af10cloc_1af10c:
001af10csub r15, 16
001af110cmp r15, [r14]
001af113jb 0x1af151
001af115
001af115loc_1af115:
001af115lea rsi, [r15+8]
001af119mov [rsi-8], 1277
001af121movsd_xmm x0, [rbx+4*rax-4]
001af127movsd_xmm [rsi], x0
001af12bmov rax, rsi
001af12e
001af12eloc_1af12e:
001af12emov rsi, [rdi]
001af131mov rbx, rdi
001af134call rsi
001af136test al, 1
001af138je 0x1af14c
001af13amov rax, [rsp]
001af13eadd rax, 2
001af142mov rbx, [rsp+8]
001af147jmp 0x1af0c6
001af14c
001af14cloc_1af14c:
001af14cadd rsp, 16
001af150ret
001af151
001af151loc_1af151:
001af151call caml_call_gc
001af156jmp 0x1af115
001af158
001af158loc_1af158:
001af158call caml_call_gc
001af15djmp 0x1af0cf
001af162
001af162loc_1af162:
001af162push 35
001af164call caml_call_realloc_stack
001af169pop r10
001af16bjmp 0x1af0c2
001af0b0
001af170
001af170Stdlib.Array.find_mapi:
001af170mov rdi, [rbx-8]
001af174shr rdi, 9
001af178or rdi, 1
001af17csub r15, 48
001af180cmp r15, [r14]
001af183jb 0x1af1c2
001af185
001af185loc_1af185:
001af185lea rsi, [r15+8]
001af189mov [rsi-8], 5367
001af191lea rdx, [rip+56]
001af198mov [rsi], rdx
001af19bmov rdx, 0x100000000000005
001af1a5mov [rsi+8], rdx
001af1a9mov [rsi+16], rax
001af1admov [rsi+24], rbx
001af1b1mov [rsi+32], rdi
001af1b5mov eax, 1
001af1bamov rbx, rsi
001af1bdjmp 0x1af1d0
001af1c2
001af1c2loc_1af1c2:
001af1c2call caml_call_gc
001af1c7jmp 0x1af185
001af170
001af170Stdlib.Array.find_mapi:
001af170mov rdi, [rbx-8]
001af174shr rdi, 9
001af178or rdi, 1
001af17csub r15, 48
001af180cmp r15, [r14]
001af183jb 0x1af1c2
001af185
001af185loc_1af185:
001af185lea rsi, [r15+8]
001af189mov [rsi-8], 5367
001af191lea rdx, [rip+56]
001af198mov [rsi], rdx
001af19bmov rdx, 0x100000000000005
001af1a5mov [rsi+8], rdx
001af1a9mov [rsi+16], rax
001af1admov [rsi+24], rbx
001af1b1mov [rsi+32], rdi
001af1b5mov eax, 1
001af1bamov rbx, rsi
001af1bdjmp 0x1af1d0
001af1c2
001af1c2loc_1af1c2:
001af1c2call caml_call_gc
001af1c7jmp 0x1af185
001af170
001af1c9
001af1c9 // align 0x10
001af1c9 // align 0x10
001af1d0
001af1d0Stdlib.Array.loop:
001af1d0lea r10, [rsp-336]
001af1d8cmp r10, [r14+40]
001af1dcjb 0x1af282
001af1e2
001af1e2loc_1af1e2:
001af1e2sub rsp, 16
001af1e6
001af1e6loc_1af1e6:
001af1e6mov rdi, rbx
001af1e9cmp r15, [r14]
001af1ecjbe 0x1af278
001af1f2
001af1f2loc_1af1f2:
001af1f2mov rbx, [rdi+32]
001af1f6cmp rax, rbx
001af1f9jne 0x1af208
001af1fbmov eax, 1
001af200add rsp, 16
001af204ret
001af205
001af205 0f 1f 00 ...
001af208
001af208loc_1af208:
001af208mov [rsp+8], rdi
001af20dmov [rsp], rax
001af211mov rsi, [rdi+24]
001af215movzx rbx, [rsi-8]
001af21acmp rbx, 254
001af221je 0x1af22c
001af223mov rbx, [rsi+4*rax-4]
001af228jmp 0x1af24b
001af22a
001af22a 66 90 f.
001af22c
001af22cloc_1af22c:
001af22csub r15, 16
001af230cmp r15, [r14]
001af233jb 0x1af271
001af235
001af235loc_1af235:
001af235lea rbx, [r15+8]
001af239mov [rbx-8], 1277
001af241movsd_xmm x0, [rsi+4*rax-4]
001af247movsd_xmm [rbx], x0
001af24b
001af24bloc_1af24b:
001af24bmov rdi, [rdi+16]
001af24fcall caml_apply2
001af254test al, 1
001af256je 0x1af26c
001af258mov rax, [rsp]
001af25cadd rax, 2
001af260mov rbx, [rsp+8]
001af265jmp 0x1af1e6
001af26a
001af26a 66 90 f.
001af26c
001af26cloc_1af26c:
001af26cadd rsp, 16
001af270ret
001af271
001af271loc_1af271:
001af271call caml_call_gc
001af276jmp 0x1af235
001af278
001af278loc_1af278:
001af278call caml_call_gc
001af27djmp 0x1af1f2
001af282
001af282loc_1af282:
001af282push 35
001af284call caml_call_realloc_stack
001af289pop r10
001af28bjmp 0x1af1e2
001af1d0
001af1d0Stdlib.Array.loop:
001af1d0lea r10, [rsp-336]
001af1d8cmp r10, [r14+40]
001af1dcjb 0x1af282
001af1e2
001af1e2loc_1af1e2:
001af1e2sub rsp, 16
001af1e6
001af1e6loc_1af1e6:
001af1e6mov rdi, rbx
001af1e9cmp r15, [r14]
001af1ecjbe 0x1af278
001af1f2
001af1f2loc_1af1f2:
001af1f2mov rbx, [rdi+32]
001af1f6cmp rax, rbx
001af1f9jne 0x1af208
001af1fbmov eax, 1
001af200add rsp, 16
001af204ret
001af205
001af205 0f 1f 00 ...
001af208
001af208loc_1af208:
001af208mov [rsp+8], rdi
001af20dmov [rsp], rax
001af211mov rsi, [rdi+24]
001af215movzx rbx, [rsi-8]
001af21acmp rbx, 254
001af221je 0x1af22c
001af223mov rbx, [rsi+4*rax-4]
001af228jmp 0x1af24b
001af22a
001af22a 66 90 f.
001af22c
001af22cloc_1af22c:
001af22csub r15, 16
001af230cmp r15, [r14]
001af233jb 0x1af271
001af235
001af235loc_1af235:
001af235lea rbx, [r15+8]
001af239mov [rbx-8], 1277
001af241movsd_xmm x0, [rsi+4*rax-4]
001af247movsd_xmm [rbx], x0
001af24b
001af24bloc_1af24b:
001af24bmov rdi, [rdi+16]
001af24fcall caml_apply2
001af254test al, 1
001af256je 0x1af26c
001af258mov rax, [rsp]
001af25cadd rax, 2
001af260mov rbx, [rsp+8]
001af265jmp 0x1af1e6
001af26a
001af26a 66 90 f.
001af26c
001af26cloc_1af26c:
001af26cadd rsp, 16
001af270ret
001af271
001af271loc_1af271:
001af271call caml_call_gc
001af276jmp 0x1af235
001af278
001af278loc_1af278:
001af278call caml_call_gc
001af27djmp 0x1af1f2
001af282
001af282loc_1af282:
001af282push 35
001af284call caml_call_realloc_stack
001af289pop r10
001af28bjmp 0x1af1e2
001af1d0
001af290
001af290Stdlib.Array.split:
001af290sub rsp, 32
001af294mov [rsp+16], rax
001af299lea rsi, [rip+0x18ea00]
001af2a0mov rdi, rax
001af2a3lea rax, [rip+0x51636]
001af2aacall caml_c_call
001af2afcmp rax, 1
001af2b3je 0x1af2c4
001af2b5lea rax, [rip+0x18e99c]
001af2bcadd rsp, 32
001af2c0ret
001af2c1
001af2c1 0f 1f 00 ...
001af2c4
001af2c4loc_1af2c4:
001af2c4mov rbx, [rsp+16]
001af2c9mov rax, [rbx]
001af2ccmov [rsp], rax
001af2d0mov rdi, [rbx-8]
001af2d4shr rdi, 9
001af2d8or rdi, 1
001af2dcmov [rsp+8], rdi
001af2e1mov rsi, [rax]
001af2e4lea rax, [rip+0x4a9b5]
001af2ebcall caml_c_call
001af2f0mov [rsp+24], rax
001af2f5mov rax, [rsp]
001af2f9mov rsi, [rax+8]
001af2fdmov rdi, [rsp+8]
001af302lea rax, [rip+0x4a997]
001af309call caml_c_call
001af30emov r13, rax
001af311mov r12l, 3
001af317mov rax, [rsp+8]
001af31cadd rax, -2
001af320cmp r12, rax
001af323jg 0x1af3c7
001af329mov [rsp+8], rax
001af32emov [rsp], r13
001af332
001af332loc_1af332:
001af332mov rax, [rsp+16]
001af337mov r13, [rax+4*r12-4]
001af33cmov rsi, [r13]
001af340mov rbx, [rsp+24]
001af345movzx rax, [rbx-8]
001af34acmp rax, 254
001af350je 0x1af368
001af352lea rdi, [rbx+4*r12-4]
001af357mov rbx, rsp
001af35amov rsp, [r14+64]
001af35ecall caml_modify
001af363mov rsp, rbx
001af366jmp 0x1af373
001af368
001af368loc_1af368:
001af368movsd_xmm x0, [rsi]
001af36cmovsd_xmm [rbx+4*r12-4], x0
001af373
001af373loc_1af373:
001af373mov rsi, [r13+8]
001af377mov r13, [rsp]
001af37bmovzx rax, [r13-8]
001af380cmp rax, 254
001af386je 0x1af3a0
001af388lea rdi, [r13+4*r12-4]
001af38dmov rbx, rsp
001af390mov rsp, [r14+64]
001af394call caml_modify
001af399mov rsp, rbx
001af39cjmp 0x1af3ab
001af39e
001af39e 66 90 f.
001af3a0
001af3a0loc_1af3a0:
001af3a0movsd_xmm x0, [rsi]
001af3a4movsd_xmm [r13+4*r12-4], x0
001af3ab
001af3abloc_1af3ab:
001af3abmov rax, r12
001af3aeadd r12, 2
001af3b2mov rbx, [rsp+8]
001af3b7cmp rax, rbx
001af3baje 0x1af3c7
001af3bccmp r15, [r14]
001af3bfja 0x1af332
001af3c5jmp 0x1af3f4
001af3c7
001af3c7loc_1af3c7:
001af3c7sub r15, 24
001af3cbcmp r15, [r14]
001af3cejb 0x1af3ed
001af3d0
001af3d0loc_1af3d0:
001af3d0lea rax, [r15+8]
001af3d4mov [rax-8], 2048
001af3dcmov rbx, [rsp+24]
001af3e1mov [rax], rbx
001af3e4mov [rax+8], r13
001af3e8add rsp, 32
001af3ecret
001af3ed
001af3edloc_1af3ed:
001af3edcall caml_call_gc
001af3f2jmp 0x1af3d0
001af3f4
001af3f4loc_1af3f4:
001af3f4call caml_call_gc
001af3f9jmp 0x1af332
001af290
001af290Stdlib.Array.split:
001af290sub rsp, 32
001af294mov [rsp+16], rax
001af299lea rsi, [rip+0x18ea00]
001af2a0mov rdi, rax
001af2a3lea rax, [rip+0x51636]
001af2aacall caml_c_call
001af2afcmp rax, 1
001af2b3je 0x1af2c4
001af2b5lea rax, [rip+0x18e99c]
001af2bcadd rsp, 32
001af2c0ret
001af2c1
001af2c1 0f 1f 00 ...
001af2c4
001af2c4loc_1af2c4:
001af2c4mov rbx, [rsp+16]
001af2c9mov rax, [rbx]
001af2ccmov [rsp], rax
001af2d0mov rdi, [rbx-8]
001af2d4shr rdi, 9
001af2d8or rdi, 1
001af2dcmov [rsp+8], rdi
001af2e1mov rsi, [rax]
001af2e4lea rax, [rip+0x4a9b5]
001af2ebcall caml_c_call
001af2f0mov [rsp+24], rax
001af2f5mov rax, [rsp]
001af2f9mov rsi, [rax+8]
001af2fdmov rdi, [rsp+8]
001af302lea rax, [rip+0x4a997]
001af309call caml_c_call
001af30emov r13, rax
001af311mov r12l, 3
001af317mov rax, [rsp+8]
001af31cadd rax, -2
001af320cmp r12, rax
001af323jg 0x1af3c7
001af329mov [rsp+8], rax
001af32emov [rsp], r13
001af332
001af332loc_1af332:
001af332mov rax, [rsp+16]
001af337mov r13, [rax+4*r12-4]
001af33cmov rsi, [r13]
001af340mov rbx, [rsp+24]
001af345movzx rax, [rbx-8]
001af34acmp rax, 254
001af350je 0x1af368
001af352lea rdi, [rbx+4*r12-4]
001af357mov rbx, rsp
001af35amov rsp, [r14+64]
001af35ecall caml_modify
001af363mov rsp, rbx
001af366jmp 0x1af373
001af368
001af368loc_1af368:
001af368movsd_xmm x0, [rsi]
001af36cmovsd_xmm [rbx+4*r12-4], x0
001af373
001af373loc_1af373:
001af373mov rsi, [r13+8]
001af377mov r13, [rsp]
001af37bmovzx rax, [r13-8]
001af380cmp rax, 254
001af386je 0x1af3a0
001af388lea rdi, [r13+4*r12-4]
001af38dmov rbx, rsp
001af390mov rsp, [r14+64]
001af394call caml_modify
001af399mov rsp, rbx
001af39cjmp 0x1af3ab
001af39e
001af39e 66 90 f.
001af3a0
001af3a0loc_1af3a0:
001af3a0movsd_xmm x0, [rsi]
001af3a4movsd_xmm [r13+4*r12-4], x0
001af3ab
001af3abloc_1af3ab:
001af3abmov rax, r12
001af3aeadd r12, 2
001af3b2mov rbx, [rsp+8]
001af3b7cmp rax, rbx
001af3baje 0x1af3c7
001af3bccmp r15, [r14]
001af3bfja 0x1af332
001af3c5jmp 0x1af3f4
001af3c7
001af3c7loc_1af3c7:
001af3c7sub r15, 24
001af3cbcmp r15, [r14]
001af3cejb 0x1af3ed
001af3d0
001af3d0loc_1af3d0:
001af3d0lea rax, [r15+8]
001af3d4mov [rax-8], 2048
001af3dcmov rbx, [rsp+24]
001af3e1mov [rax], rbx
001af3e4mov [rax+8], r13
001af3e8add rsp, 32
001af3ecret
001af3ed
001af3edloc_1af3ed:
001af3edcall caml_call_gc
001af3f2jmp 0x1af3d0
001af3f4
001af3f4loc_1af3f4:
001af3f4call caml_call_gc
001af3f9jmp 0x1af332
001af290
001af3fe
001af3fe // align 0x10
001af3fe // align 0x10
001af400
001af400Stdlib.Array.combine:
001af400lea r10, [rsp-344]
001af408cmp r10, [r14+40]
001af40cjb 0x1af622
001af412
001af412loc_1af412:
001af412sub rsp, 24
001af416mov [rsp+16], rax
001af41bmov [rsp+8], rbx
001af420mov rax, [rax-8]
001af424shr rax, 9
001af428or rax, 1
001af42cmov [rsp], rax
001af430mov rbx, [rbx-8]
001af434shr rbx, 9
001af438or rbx, 1
001af43ccmp rax, rbx
001af43fje 0x1af44d
001af441lea rax, [rip+0x18e7f8]
001af448call camlStdlib.invalid_arg_10
001af44d
001af44dloc_1af44d:
001af44dmov rdi, [rsp]
001af451cmp rdi, 1
001af455jne 0x1af464
001af457lea rax, [rip+0x18e842]
001af45eadd rsp, 24
001af462ret
001af463
001af463 90 .
001af464
001af464loc_1af464:
001af464mov [rsp], rdi
001af468mov rbx, [rsp+8]
001af46dmovzx rax, [rbx-8]
001af472cmp rax, 254
001af478je 0x1af480
001af47amov rax, [rbx]
001af47djmp 0x1af4a1
001af47f
001af47f 90 .
001af480
001af480loc_1af480:
001af480sub r15, 16
001af484cmp r15, [r14]
001af487jb 0x1af618
001af48d
001af48dloc_1af48d:
001af48dlea rax, [r15+8]
001af491mov [rax-8], 1277
001af499movsd_xmm x0, [rbx]
001af49dmovsd_xmm [rax], x0
001af4a1
001af4a1loc_1af4a1:
001af4a1mov rsi, [rsp+16]
001af4a6movzx rbx, [rsi-8]
001af4abcmp rbx, 254
001af4b2je 0x1af4bc
001af4b4mov rbx, [rsi]
001af4b7jmp 0x1af4dd
001af4b9
001af4b9 0f 1f 00 ...
001af4bc
001af4bcloc_1af4bc:
001af4bcsub r15, 16
001af4c0cmp r15, [r14]
001af4c3jb 0x1af60e
001af4c9
001af4c9loc_1af4c9:
001af4c9lea rbx, [r15+8]
001af4cdmov [rbx-8], 1277
001af4d5movsd_xmm x0, [rsi]
001af4d9movsd_xmm [rbx], x0
001af4dd
001af4ddloc_1af4dd:
001af4ddsub r15, 24
001af4e1cmp r15, [r14]
001af4e4jb 0x1af604
001af4ea
001af4ealoc_1af4ea:
001af4ealea rsi, [r15+8]
001af4eemov [rsi-8], 2048
001af4f6mov [rsi], rbx
001af4f9mov [rsi+8], rax
001af4fdlea rax, [rip+0x4a79c]
001af504call caml_c_call
001af509mov r13, rax
001af50cmov r12l, 3
001af512mov rax, [rsp]
001af516add rax, -2
001af51acmp r12, rax
001af51djg 0x1af5e4
001af523mov [rsp], rax
001af527
001af527loc_1af527:
001af527mov rbx, [rsp+8]
001af52cmovzx rax, [rbx-8]
001af531cmp rax, 254
001af537je 0x1af540
001af539mov rax, [rbx+4*r12-4]
001af53ejmp 0x1af564
001af540
001af540loc_1af540:
001af540sub r15, 16
001af544cmp r15, [r14]
001af547jb 0x1af5fa
001af54d
001af54dloc_1af54d:
001af54dlea rax, [r15+8]
001af551mov [rax-8], 1277
001af559movsd_xmm x0, [rbx+4*r12-4]
001af560movsd_xmm [rax], x0
001af564
001af564loc_1af564:
001af564mov rdi, [rsp+16]
001af569movzx rbx, [rdi-8]
001af56ecmp rbx, 254
001af575je 0x1af580
001af577mov rbx, [rdi+4*r12-4]
001af57cjmp 0x1af5a0
001af57e
001af57e 66 90 f.
001af580
001af580loc_1af580:
001af580sub r15, 16
001af584cmp r15, [r14]
001af587jb 0x1af5f3
001af589
001af589loc_1af589:
001af589lea rbx, [r15+8]
001af58dmov [rbx-8], 1277
001af595movsd_xmm x0, [rdi+4*r12-4]
001af59cmovsd_xmm [rbx], x0
001af5a0
001af5a0loc_1af5a0:
001af5a0sub r15, 24
001af5a4cmp r15, [r14]
001af5a7jb 0x1af5ec
001af5a9
001af5a9loc_1af5a9:
001af5a9lea rsi, [r15+8]
001af5admov [rsi-8], 2048
001af5b5mov [rsi], rbx
001af5b8mov [rsi+8], rax
001af5bclea rdi, [r13+4*r12-4]
001af5c1mov rbx, rsp
001af5c4mov rsp, [r14+64]
001af5c8call caml_modify
001af5cdmov rsp, rbx
001af5d0mov rax, r12
001af5d3add r12, 2
001af5d7mov rbx, [rsp]
001af5dbcmp rax, rbx
001af5dejne 0x1af527
001af5e4
001af5e4loc_1af5e4:
001af5e4mov rax, r13
001af5e7add rsp, 24
001af5ebret
001af5ec
001af5ecloc_1af5ec:
001af5eccall caml_call_gc
001af5f1jmp 0x1af5a9
001af5f3
001af5f3loc_1af5f3:
001af5f3call caml_call_gc
001af5f8jmp 0x1af589
001af5fa
001af5faloc_1af5fa:
001af5facall caml_call_gc
001af5ffjmp 0x1af54d
001af604
001af604loc_1af604:
001af604call caml_call_gc
001af609jmp 0x1af4ea
001af60e
001af60eloc_1af60e:
001af60ecall caml_call_gc
001af613jmp 0x1af4c9
001af618
001af618loc_1af618:
001af618call caml_call_gc
001af61djmp 0x1af48d
001af622
001af622loc_1af622:
001af622push 36
001af624call caml_call_realloc_stack
001af629pop r10
001af62bjmp 0x1af412
001af400
001af400Stdlib.Array.combine:
001af400lea r10, [rsp-344]
001af408cmp r10, [r14+40]
001af40cjb 0x1af622
001af412
001af412loc_1af412:
001af412sub rsp, 24
001af416mov [rsp+16], rax
001af41bmov [rsp+8], rbx
001af420mov rax, [rax-8]
001af424shr rax, 9
001af428or rax, 1
001af42cmov [rsp], rax
001af430mov rbx, [rbx-8]
001af434shr rbx, 9
001af438or rbx, 1
001af43ccmp rax, rbx
001af43fje 0x1af44d
001af441lea rax, [rip+0x18e7f8]
001af448call camlStdlib.invalid_arg_10
001af44d
001af44dloc_1af44d:
001af44dmov rdi, [rsp]
001af451cmp rdi, 1
001af455jne 0x1af464
001af457lea rax, [rip+0x18e842]
001af45eadd rsp, 24
001af462ret
001af463
001af463 90 .
001af464
001af464loc_1af464:
001af464mov [rsp], rdi
001af468mov rbx, [rsp+8]
001af46dmovzx rax, [rbx-8]
001af472cmp rax, 254
001af478je 0x1af480
001af47amov rax, [rbx]
001af47djmp 0x1af4a1
001af47f
001af47f 90 .
001af480
001af480loc_1af480:
001af480sub r15, 16
001af484cmp r15, [r14]
001af487jb 0x1af618
001af48d
001af48dloc_1af48d:
001af48dlea rax, [r15+8]
001af491mov [rax-8], 1277
001af499movsd_xmm x0, [rbx]
001af49dmovsd_xmm [rax], x0
001af4a1
001af4a1loc_1af4a1:
001af4a1mov rsi, [rsp+16]
001af4a6movzx rbx, [rsi-8]
001af4abcmp rbx, 254
001af4b2je 0x1af4bc
001af4b4mov rbx, [rsi]
001af4b7jmp 0x1af4dd
001af4b9
001af4b9 0f 1f 00 ...
001af4bc
001af4bcloc_1af4bc:
001af4bcsub r15, 16
001af4c0cmp r15, [r14]
001af4c3jb 0x1af60e
001af4c9
001af4c9loc_1af4c9:
001af4c9lea rbx, [r15+8]
001af4cdmov [rbx-8], 1277
001af4d5movsd_xmm x0, [rsi]
001af4d9movsd_xmm [rbx], x0
001af4dd
001af4ddloc_1af4dd:
001af4ddsub r15, 24
001af4e1cmp r15, [r14]
001af4e4jb 0x1af604
001af4ea
001af4ealoc_1af4ea:
001af4ealea rsi, [r15+8]
001af4eemov [rsi-8], 2048
001af4f6mov [rsi], rbx
001af4f9mov [rsi+8], rax
001af4fdlea rax, [rip+0x4a79c]
001af504call caml_c_call
001af509mov r13, rax
001af50cmov r12l, 3
001af512mov rax, [rsp]
001af516add rax, -2
001af51acmp r12, rax
001af51djg 0x1af5e4
001af523mov [rsp], rax
001af527
001af527loc_1af527:
001af527mov rbx, [rsp+8]
001af52cmovzx rax, [rbx-8]
001af531cmp rax, 254
001af537je 0x1af540
001af539mov rax, [rbx+4*r12-4]
001af53ejmp 0x1af564
001af540
001af540loc_1af540:
001af540sub r15, 16
001af544cmp r15, [r14]
001af547jb 0x1af5fa
001af54d
001af54dloc_1af54d:
001af54dlea rax, [r15+8]
001af551mov [rax-8], 1277
001af559movsd_xmm x0, [rbx+4*r12-4]
001af560movsd_xmm [rax], x0
001af564
001af564loc_1af564:
001af564mov rdi, [rsp+16]
001af569movzx rbx, [rdi-8]
001af56ecmp rbx, 254
001af575je 0x1af580
001af577mov rbx, [rdi+4*r12-4]
001af57cjmp 0x1af5a0
001af57e
001af57e 66 90 f.
001af580
001af580loc_1af580:
001af580sub r15, 16
001af584cmp r15, [r14]
001af587jb 0x1af5f3
001af589
001af589loc_1af589:
001af589lea rbx, [r15+8]
001af58dmov [rbx-8], 1277
001af595movsd_xmm x0, [rdi+4*r12-4]
001af59cmovsd_xmm [rbx], x0
001af5a0
001af5a0loc_1af5a0:
001af5a0sub r15, 24
001af5a4cmp r15, [r14]
001af5a7jb 0x1af5ec
001af5a9
001af5a9loc_1af5a9:
001af5a9lea rsi, [r15+8]
001af5admov [rsi-8], 2048
001af5b5mov [rsi], rbx
001af5b8mov [rsi+8], rax
001af5bclea rdi, [r13+4*r12-4]
001af5c1mov rbx, rsp
001af5c4mov rsp, [r14+64]
001af5c8call caml_modify
001af5cdmov rsp, rbx
001af5d0mov rax, r12
001af5d3add r12, 2
001af5d7mov rbx, [rsp]
001af5dbcmp rax, rbx
001af5dejne 0x1af527
001af5e4
001af5e4loc_1af5e4:
001af5e4mov rax, r13
001af5e7add rsp, 24
001af5ebret
001af5ec
001af5ecloc_1af5ec:
001af5eccall caml_call_gc
001af5f1jmp 0x1af5a9
001af5f3
001af5f3loc_1af5f3:
001af5f3call caml_call_gc
001af5f8jmp 0x1af589
001af5fa
001af5faloc_1af5fa:
001af5facall caml_call_gc
001af5ffjmp 0x1af54d
001af604
001af604loc_1af604:
001af604call caml_call_gc
001af609jmp 0x1af4ea
001af60e
001af60eloc_1af60e:
001af60ecall caml_call_gc
001af613jmp 0x1af4c9
001af618
001af618loc_1af618:
001af618call caml_call_gc
001af61djmp 0x1af48d
001af622
001af622loc_1af622:
001af622push 36
001af624call caml_call_realloc_stack
001af629pop r10
001af62bjmp 0x1af412
001af400
001af630
001af630Stdlib.Array.sort:
001af630lea r10, [rsp-392]
001af638cmp r10, [r14+40]
001af63cjb 0x1afbff
001af642
001af642loc_1af642:
001af642sub rsp, 56
001af646mov [rsp+40], rbx
001af64bsub r15, 200
001af652cmp r15, [r14]
001af655jb 0x1afbc8
001af65b
001af65bloc_1af65b:
001af65blea rdi, [r15+8]
001af65fadd rdi, 152
001af666mov [rdi-8], 5367
001af66elea rdx, [rip-0xb8655]
001af675mov [rdi], rdx
001af678mov rsi, 0x200000000000007
001af682mov [rdi+8], rsi
001af686lea rsi, [rip+1411]
001af68dmov [rdi+16], rsi
001af691mov [rdi+24], rax
001af695mov [rdi+32], rbx
001af699lea rsi, [rdi-56]
001af69dmov [rsi-8], 6391
001af6a5lea rcx, [rip-0xb877c]
001af6acmov [rsi], rcx
001af6afmov rcx, 0x300000000000007
001af6b9mov [rsi+8], rcx
001af6bdlea rcx, [rip+2252]
001af6c4mov [rsi+16], rcx
001af6c8mov [rsi+24], rax
001af6ccmov [rsi+32], rbx
001af6d0mov [rsi+40], rdi
001af6d4lea rcx, [rsi-48]
001af6d8mov [rsp+24], rcx
001af6ddmov [rcx-8], 5367
001af6e5mov [rcx], rdx
001af6e8mov r8, 0x200000000000007
001af6f2mov [rcx+8], r8
001af6f6lea r8, [rip+2739]
001af6fdmov [rcx+16], r8
001af701mov [rcx+24], rbx
001af705mov [rcx+32], rdi
001af709lea rdi, [rcx-48]
001af70dmov [rsp+8], rdi
001af712mov [rdi-8], 5367
001af71amov [rdi], rdx
001af71dmov rdx, 0x200000000000007
001af727mov [rdi+8], rdx
001af72blea rdx, [rip+2958]
001af732mov [rdi+16], rdx
001af736mov [rdi+24], rax
001af73amov [rdi+32], rbx
001af73emov rax, [rbx-8]
001af742shr rax, 9
001af746or rax, 1
001af74amov [rsp+32], rax
001af74fadd rax, 2
001af753sar rax, 1
001af756mov rbx, rax
001af759shr rbx, 63
001af75dmov rdi, 0x5555555555555556
001af767imul rdi
001af76aadd rdx, rbx
001af76dlea rbx, [rdx+rdx-1]
001af772cmp rbx, 1
001af776jl 0x1af8ad
001af77cmov [rsp+16], rbx
001af781mov [rsp], rsi
001af785
001af785loc_1af785:
001af785mov rsi, [rsp+40]
001af78amov rax, [rsi-8]
001af78emov rdi, rax
001af791shr rdi, 9
001af795cmp rdi, rbx
001af798jbe 0x1afbfa
001af79eand rax, 255
001af7a4cmp rax, 254
001af7aaje 0x1af7b8
001af7acmov rdi, [rsi+4*rbx-4]
001af7b1mov [rsp+48], rdi
001af7b6jmp 0x1af7e0
001af7b8
001af7b8loc_1af7b8:
001af7b8sub r15, 16
001af7bccmp r15, [r14]
001af7bfjb 0x1afbbe
001af7c5
001af7c5loc_1af7c5:
001af7c5lea rdi, [r15+8]
001af7c9mov [rdi-8], 1277
001af7d1movsd_xmm x0, [rsi+4*rbx-4]
001af7d7movsd_xmm [rdi], x0
001af7dbmov [rsp+48], rdi
001af7e0
001af7e0loc_1af7e0:
001af7e0lea r11, [rip+37]
001af7e7push r11
001af7e9push [r14+48]
001af7edmov [r14+48], rsp
001af7f1mov rax, [rsp+48]
001af7f6mov rsi, [rsp+16]
001af7fbcall Stdlib.Array.trickledown
001af800pop [r14+48]
001af804add rsp, 8
001af808jmp 0x1af888
001af80a
001af80a 66 90 f.
001af80clea rbx, [rip+0x18e09d]
001af813mov rbx, [rbx+344]
001af81amov rdi, [rax]
001af81dcmp rdi, rbx
001af820jne 0x1af880
001af822mov rax, [rax+8]
001af826mov rsi, [rsp+40]
001af82bmov rbx, [rsi-8]
001af82fmov rdi, rbx
001af832shr rdi, 9
001af836cmp rdi, rax
001af839jbe 0x1afbf5
001af83fand rbx, 255
001af846cmp rbx, 254
001af84dje 0x1af86c
001af84flea rdi, [rsi+4*rax-4]
001af854mov rsi, [rsp+48]
001af859mov rbx, rsp
001af85cmov rsp, [r14+64]
001af860call caml_modify
001af865mov rsp, rbx
001af868jmp 0x1af888
001af86a
001af86a 66 90 f.
001af86c
001af86cloc_1af86c:
001af86cmov rbx, [rsp+48]
001af871movsd_xmm x0, [rbx]
001af875movsd_xmm [rsi+4*rax-4], x0
001af87bjmp 0x1af888
001af87d
001af87d 0f 1f 00 ...
001af880
001af880loc_1af880:
001af880call caml_reraise_exn
001af885nop [rax]
001af888
001af888loc_1af888:
001af888mov rbx, [rsp+16]
001af88dmov rax, rbx
001af890sub rbx, 2
001af894mov [rsp+16], rbx
001af899cmp rax, 1
001af89dje 0x1af8ad
001af89fcmp r15, [r14]
001af8a2ja 0x1af785
001af8a8jmp 0x1afbb4
001af8ad
001af8adloc_1af8ad:
001af8admov r12, [rsp+32]
001af8b2add r12, -2
001af8b6cmp r12, 5
001af8bajl 0x1afa37
001af8c0mov [rsp+16], r12
001af8c5
001af8c5loc_1af8c5:
001af8c5mov rax, [rsp+40]
001af8camov rbx, [rax-8]
001af8cemov rdi, rbx
001af8d1shr rdi, 9
001af8d5cmp rdi, r12
001af8d8jbe 0x1afbf0
001af8deand rbx, 255
001af8e5cmp rbx, 254
001af8ecje 0x1af8fc
001af8eemov rbx, [rax+4*r12-4]
001af8f3mov [rsp], rbx
001af8f7jmp 0x1af924
001af8f9
001af8f9 0f 1f 00 ...
001af8fc
001af8fcloc_1af8fc:
001af8fcsub r15, 16
001af900cmp r15, [r14]
001af903jb 0x1afbaa
001af909
001af909loc_1af909:
001af909lea rbx, [r15+8]
001af90dmov [rbx-8], 1277
001af915movsd_xmm x0, [rax+4*r12-4]
001af91cmovsd_xmm [rbx], x0
001af920mov [rsp], rbx
001af924
001af924loc_1af924:
001af924mov rbx, [rax-8]
001af928cmp rbx, 1023
001af92fjbe 0x1afbeb
001af935and rbx, 255
001af93ccmp rbx, 254
001af943je 0x1af94c
001af945mov rsi, [rax]
001af948jmp 0x1af96d
001af94a
001af94a 66 90 f.
001af94c
001af94cloc_1af94c:
001af94csub r15, 16
001af950cmp r15, [r14]
001af953jb 0x1afba0
001af959
001af959loc_1af959:
001af959lea rsi, [r15+8]
001af95dmov [rsi-8], 1277
001af965movsd_xmm x0, [rax]
001af969movsd_xmm [rsi], x0
001af96d
001af96dloc_1af96d:
001af96dmov rbx, [rax-8]
001af971mov rdi, rbx
001af974shr rdi, 9
001af978cmp rdi, r12
001af97bjbe 0x1afbe6
001af981and rbx, 255
001af988cmp rbx, 254
001af98fje 0x1af9a8
001af991lea rdi, [rax+4*r12-4]
001af996mov rbx, rsp
001af999mov rsp, [r14+64]
001af99dcall caml_modify
001af9a2mov rsp, rbx
001af9a5jmp 0x1af9b3
001af9a7
001af9a7 90 .
001af9a8
001af9a8loc_1af9a8:
001af9a8movsd_xmm x0, [rsi]
001af9acmovsd_xmm [rax+4*r12-4], x0
001af9b3
001af9b3loc_1af9b3:
001af9b3lea r11, [rip+38]
001af9bapush r11
001af9bcpush [r14+48]
001af9c0mov [r14+48], rsp
001af9c4mov ebx, 1
001af9c9mov rax, r12
001af9ccmov rdi, [rsp+40]
001af9d1call Stdlib.Array.bubbledown
001af9d6pop [r14+48]
001af9daadd rsp, 8
001af9dejmp 0x1afa04
001af9e0lea rbx, [rip+0x18dec9]
001af9e7mov rbx, [rbx+344]
001af9eemov rdi, [rax]
001af9f1cmp rdi, rbx
001af9f4jne 0x1af9fc
001af9f6mov rax, [rax+8]
001af9fajmp 0x1afa04
001af9fc
001af9fcloc_1af9fc:
001af9fccall caml_reraise_exn
001afa01nop [rax]
001afa04
001afa04loc_1afa04:
001afa04mov rbx, [rsp]
001afa08mov rdi, [rsp+8]
001afa0dcall Stdlib.Array.trickleup
001afa12mov r12, [rsp+16]
001afa17mov rax, r12
001afa1asub r12, 2
001afa1emov [rsp+16], r12
001afa23cmp rax, 5
001afa27je 0x1afa37
001afa29cmp r15, [r14]
001afa2cja 0x1af8c5
001afa32jmp 0x1afb96
001afa37
001afa37loc_1afa37:
001afa37mov rax, [rsp+32]
001afa3ccmp rax, 3
001afa40jle 0x1afb78
001afa46mov r12, [rsp+40]
001afa4bmov rax, [r12-8]
001afa50cmp rax, 2047
001afa56jbe 0x1afbe1
001afa5cand rax, 255
001afa62cmp rax, 254
001afa68je 0x1afa74
001afa6amov r13, [r12+8]
001afa6fjmp 0x1afa9a
001afa71
001afa71 0f 1f 00 ...
001afa74
001afa74loc_1afa74:
001afa74sub r15, 16
001afa78cmp r15, [r14]
001afa7bjb 0x1afb8c
001afa81
001afa81loc_1afa81:
001afa81lea r13, [r15+8]
001afa85mov [r13-8], 1277
001afa8dmovsd_xmm x0, [r12+8]
001afa94movsd_xmm [r13], x0
001afa9a
001afa9aloc_1afa9a:
001afa9amov rax, [r12-8]
001afa9fcmp rax, 1023
001afaa5jbe 0x1afbdc
001afaaband rax, 255
001afab1cmp rax, 254
001afab7je 0x1afac0
001afab9mov rsi, [r12]
001afabdjmp 0x1afae3
001afabf
001afabf 90 .
001afac0
001afac0loc_1afac0:
001afac0sub r15, 16
001afac4cmp r15, [r14]
001afac7jb 0x1afb82
001afacd
001afacdloc_1afacd:
001afacdlea rsi, [r15+8]
001afad1mov [rsi-8], 1277
001afad9movsd_xmm x0, [r12]
001afadfmovsd_xmm [rsi], x0
001afae3
001afae3loc_1afae3:
001afae3mov rax, [r12-8]
001afae8cmp rax, 2047
001afaeejbe 0x1afbd7
001afaf4and rax, 255
001afafacmp rax, 254
001afb00je 0x1afb1c
001afb02mov rdi, r12
001afb05add rdi, 8
001afb09mov rbx, rsp
001afb0cmov rsp, [r14+64]
001afb10call caml_modify
001afb15mov rsp, rbx
001afb18jmp 0x1afb27
001afb1a
001afb1a 66 90 f.
001afb1c
001afb1cloc_1afb1c:
001afb1cmovsd_xmm x0, [rsi]
001afb20movsd_xmm [r12+8], x0
001afb27
001afb27loc_1afb27:
001afb27mov rax, [r12-8]
001afb2ccmp rax, 1023
001afb32jbe 0x1afbd2
001afb38and rax, 255
001afb3ecmp rax, 254
001afb44je 0x1afb60
001afb46mov rdi, r12
001afb49mov rsi, r13
001afb4cmov rbx, rsp
001afb4fmov rsp, [r14+64]
001afb53call caml_modify
001afb58mov rsp, rbx
001afb5bjmp 0x1afb6c
001afb5d
001afb5d 0f 1f 00 ...
001afb60
001afb60loc_1afb60:
001afb60movsd_xmm x0, [r13]
001afb66movsd_xmm [r12], x0
001afb6c
001afb6cloc_1afb6c:
001afb6cmov eax, 1
001afb71add rsp, 56
001afb75ret
001afb76
001afb76 66 90 f.
001afb78
001afb78loc_1afb78:
001afb78mov eax, 1
001afb7dadd rsp, 56
001afb81ret
001afb82
001afb82loc_1afb82:
001afb82call caml_call_gc
001afb87jmp 0x1afacd
001afb8c
001afb8cloc_1afb8c:
001afb8ccall caml_call_gc
001afb91jmp 0x1afa81
001afb96
001afb96loc_1afb96:
001afb96call caml_call_gc
001afb9bjmp 0x1af8c5
001afba0
001afba0loc_1afba0:
001afba0call caml_call_gc
001afba5jmp 0x1af959
001afbaa
001afbaaloc_1afbaa:
001afbaacall caml_call_gc
001afbafjmp 0x1af909
001afbb4
001afbb4loc_1afbb4:
001afbb4call caml_call_gc
001afbb9jmp 0x1af785
001afbbe
001afbbeloc_1afbbe:
001afbbecall caml_call_gc
001afbc3jmp 0x1af7c5
001afbc8
001afbc8loc_1afbc8:
001afbc8call caml_call_gc
001afbcdjmp 0x1af65b
001afbd2
001afbd2loc_1afbd2:
001afbd2call caml_ml_array_bound_error
001afbd7
001afbd7loc_1afbd7:
001afbd7call caml_ml_array_bound_error
001afbdc
001afbdcloc_1afbdc:
001afbdccall caml_ml_array_bound_error
001afbe1
001afbe1loc_1afbe1:
001afbe1call caml_ml_array_bound_error
001afbe6
001afbe6loc_1afbe6:
001afbe6call caml_ml_array_bound_error
001afbeb
001afbebloc_1afbeb:
001afbebcall caml_ml_array_bound_error
001afbf0
001afbf0loc_1afbf0:
001afbf0call caml_ml_array_bound_error
001afbf5
001afbf5loc_1afbf5:
001afbf5call caml_ml_array_bound_error
001afbfa
001afbfaloc_1afbfa:
001afbfacall caml_ml_array_bound_error
001afbff
001afbffloc_1afbff:
001afbffpush 42
001afc01call caml_call_realloc_stack
001afc06pop r10
001afc08jmp 0x1af642
001af630
001af630Stdlib.Array.sort:
001af630lea r10, [rsp-392]
001af638cmp r10, [r14+40]
001af63cjb 0x1afbff
001af642
001af642loc_1af642:
001af642sub rsp, 56
001af646mov [rsp+40], rbx
001af64bsub r15, 200
001af652cmp r15, [r14]
001af655jb 0x1afbc8
001af65b
001af65bloc_1af65b:
001af65blea rdi, [r15+8]
001af65fadd rdi, 152
001af666mov [rdi-8], 5367
001af66elea rdx, [rip-0xb8655]
001af675mov [rdi], rdx
001af678mov rsi, 0x200000000000007
001af682mov [rdi+8], rsi
001af686lea rsi, [rip+1411]
001af68dmov [rdi+16], rsi
001af691mov [rdi+24], rax
001af695mov [rdi+32], rbx
001af699lea rsi, [rdi-56]
001af69dmov [rsi-8], 6391
001af6a5lea rcx, [rip-0xb877c]
001af6acmov [rsi], rcx
001af6afmov rcx, 0x300000000000007
001af6b9mov [rsi+8], rcx
001af6bdlea rcx, [rip+2252]
001af6c4mov [rsi+16], rcx
001af6c8mov [rsi+24], rax
001af6ccmov [rsi+32], rbx
001af6d0mov [rsi+40], rdi
001af6d4lea rcx, [rsi-48]
001af6d8mov [rsp+24], rcx
001af6ddmov [rcx-8], 5367
001af6e5mov [rcx], rdx
001af6e8mov r8, 0x200000000000007
001af6f2mov [rcx+8], r8
001af6f6lea r8, [rip+2739]
001af6fdmov [rcx+16], r8
001af701mov [rcx+24], rbx
001af705mov [rcx+32], rdi
001af709lea rdi, [rcx-48]
001af70dmov [rsp+8], rdi
001af712mov [rdi-8], 5367
001af71amov [rdi], rdx
001af71dmov rdx, 0x200000000000007
001af727mov [rdi+8], rdx
001af72blea rdx, [rip+2958]
001af732mov [rdi+16], rdx
001af736mov [rdi+24], rax
001af73amov [rdi+32], rbx
001af73emov rax, [rbx-8]
001af742shr rax, 9
001af746or rax, 1
001af74amov [rsp+32], rax
001af74fadd rax, 2
001af753sar rax, 1
001af756mov rbx, rax
001af759shr rbx, 63
001af75dmov rdi, 0x5555555555555556
001af767imul rdi
001af76aadd rdx, rbx
001af76dlea rbx, [rdx+rdx-1]
001af772cmp rbx, 1
001af776jl 0x1af8ad
001af77cmov [rsp+16], rbx
001af781mov [rsp], rsi
001af785
001af785loc_1af785:
001af785mov rsi, [rsp+40]
001af78amov rax, [rsi-8]
001af78emov rdi, rax
001af791shr rdi, 9
001af795cmp rdi, rbx
001af798jbe 0x1afbfa
001af79eand rax, 255
001af7a4cmp rax, 254
001af7aaje 0x1af7b8
001af7acmov rdi, [rsi+4*rbx-4]
001af7b1mov [rsp+48], rdi
001af7b6jmp 0x1af7e0
001af7b8
001af7b8loc_1af7b8:
001af7b8sub r15, 16
001af7bccmp r15, [r14]
001af7bfjb 0x1afbbe
001af7c5
001af7c5loc_1af7c5:
001af7c5lea rdi, [r15+8]
001af7c9mov [rdi-8], 1277
001af7d1movsd_xmm x0, [rsi+4*rbx-4]
001af7d7movsd_xmm [rdi], x0
001af7dbmov [rsp+48], rdi
001af7e0
001af7e0loc_1af7e0:
001af7e0lea r11, [rip+37]
001af7e7push r11
001af7e9push [r14+48]
001af7edmov [r14+48], rsp
001af7f1mov rax, [rsp+48]
001af7f6mov rsi, [rsp+16]
001af7fbcall Stdlib.Array.trickledown
001af800pop [r14+48]
001af804add rsp, 8
001af808jmp 0x1af888
001af80a
001af80a 66 90 f.
001af80clea rbx, [rip+0x18e09d]
001af813mov rbx, [rbx+344]
001af81amov rdi, [rax]
001af81dcmp rdi, rbx
001af820jne 0x1af880
001af822mov rax, [rax+8]
001af826mov rsi, [rsp+40]
001af82bmov rbx, [rsi-8]
001af82fmov rdi, rbx
001af832shr rdi, 9
001af836cmp rdi, rax
001af839jbe 0x1afbf5
001af83fand rbx, 255
001af846cmp rbx, 254
001af84dje 0x1af86c
001af84flea rdi, [rsi+4*rax-4]
001af854mov rsi, [rsp+48]
001af859mov rbx, rsp
001af85cmov rsp, [r14+64]
001af860call caml_modify
001af865mov rsp, rbx
001af868jmp 0x1af888
001af86a
001af86a 66 90 f.
001af86c
001af86cloc_1af86c:
001af86cmov rbx, [rsp+48]
001af871movsd_xmm x0, [rbx]
001af875movsd_xmm [rsi+4*rax-4], x0
001af87bjmp 0x1af888
001af87d
001af87d 0f 1f 00 ...
001af880
001af880loc_1af880:
001af880call caml_reraise_exn
001af885nop [rax]
001af888
001af888loc_1af888:
001af888mov rbx, [rsp+16]
001af88dmov rax, rbx
001af890sub rbx, 2
001af894mov [rsp+16], rbx
001af899cmp rax, 1
001af89dje 0x1af8ad
001af89fcmp r15, [r14]
001af8a2ja 0x1af785
001af8a8jmp 0x1afbb4
001af8ad
001af8adloc_1af8ad:
001af8admov r12, [rsp+32]
001af8b2add r12, -2
001af8b6cmp r12, 5
001af8bajl 0x1afa37
001af8c0mov [rsp+16], r12
001af8c5
001af8c5loc_1af8c5:
001af8c5mov rax, [rsp+40]
001af8camov rbx, [rax-8]
001af8cemov rdi, rbx
001af8d1shr rdi, 9
001af8d5cmp rdi, r12
001af8d8jbe 0x1afbf0
001af8deand rbx, 255
001af8e5cmp rbx, 254
001af8ecje 0x1af8fc
001af8eemov rbx, [rax+4*r12-4]
001af8f3mov [rsp], rbx
001af8f7jmp 0x1af924
001af8f9
001af8f9 0f 1f 00 ...
001af8fc
001af8fcloc_1af8fc:
001af8fcsub r15, 16
001af900cmp r15, [r14]
001af903jb 0x1afbaa
001af909
001af909loc_1af909:
001af909lea rbx, [r15+8]
001af90dmov [rbx-8], 1277
001af915movsd_xmm x0, [rax+4*r12-4]
001af91cmovsd_xmm [rbx], x0
001af920mov [rsp], rbx
001af924
001af924loc_1af924:
001af924mov rbx, [rax-8]
001af928cmp rbx, 1023
001af92fjbe 0x1afbeb
001af935and rbx, 255
001af93ccmp rbx, 254
001af943je 0x1af94c
001af945mov rsi, [rax]
001af948jmp 0x1af96d
001af94a
001af94a 66 90 f.
001af94c
001af94cloc_1af94c:
001af94csub r15, 16
001af950cmp r15, [r14]
001af953jb 0x1afba0
001af959
001af959loc_1af959:
001af959lea rsi, [r15+8]
001af95dmov [rsi-8], 1277
001af965movsd_xmm x0, [rax]
001af969movsd_xmm [rsi], x0
001af96d
001af96dloc_1af96d:
001af96dmov rbx, [rax-8]
001af971mov rdi, rbx
001af974shr rdi, 9
001af978cmp rdi, r12
001af97bjbe 0x1afbe6
001af981and rbx, 255
001af988cmp rbx, 254
001af98fje 0x1af9a8
001af991lea rdi, [rax+4*r12-4]
001af996mov rbx, rsp
001af999mov rsp, [r14+64]
001af99dcall caml_modify
001af9a2mov rsp, rbx
001af9a5jmp 0x1af9b3
001af9a7
001af9a7 90 .
001af9a8
001af9a8loc_1af9a8:
001af9a8movsd_xmm x0, [rsi]
001af9acmovsd_xmm [rax+4*r12-4], x0
001af9b3
001af9b3loc_1af9b3:
001af9b3lea r11, [rip+38]
001af9bapush r11
001af9bcpush [r14+48]
001af9c0mov [r14+48], rsp
001af9c4mov ebx, 1
001af9c9mov rax, r12
001af9ccmov rdi, [rsp+40]
001af9d1call Stdlib.Array.bubbledown
001af9d6pop [r14+48]
001af9daadd rsp, 8
001af9dejmp 0x1afa04
001af9e0lea rbx, [rip+0x18dec9]
001af9e7mov rbx, [rbx+344]
001af9eemov rdi, [rax]
001af9f1cmp rdi, rbx
001af9f4jne 0x1af9fc
001af9f6mov rax, [rax+8]
001af9fajmp 0x1afa04
001af9fc
001af9fcloc_1af9fc:
001af9fccall caml_reraise_exn
001afa01nop [rax]
001afa04
001afa04loc_1afa04:
001afa04mov rbx, [rsp]
001afa08mov rdi, [rsp+8]
001afa0dcall Stdlib.Array.trickleup
001afa12mov r12, [rsp+16]
001afa17mov rax, r12
001afa1asub r12, 2
001afa1emov [rsp+16], r12
001afa23cmp rax, 5
001afa27je 0x1afa37
001afa29cmp r15, [r14]
001afa2cja 0x1af8c5
001afa32jmp 0x1afb96
001afa37
001afa37loc_1afa37:
001afa37mov rax, [rsp+32]
001afa3ccmp rax, 3
001afa40jle 0x1afb78
001afa46mov r12, [rsp+40]
001afa4bmov rax, [r12-8]
001afa50cmp rax, 2047
001afa56jbe 0x1afbe1
001afa5cand rax, 255
001afa62cmp rax, 254
001afa68je 0x1afa74
001afa6amov r13, [r12+8]
001afa6fjmp 0x1afa9a
001afa71
001afa71 0f 1f 00 ...
001afa74
001afa74loc_1afa74:
001afa74sub r15, 16
001afa78cmp r15, [r14]
001afa7bjb 0x1afb8c
001afa81
001afa81loc_1afa81:
001afa81lea r13, [r15+8]
001afa85mov [r13-8], 1277
001afa8dmovsd_xmm x0, [r12+8]
001afa94movsd_xmm [r13], x0
001afa9a
001afa9aloc_1afa9a:
001afa9amov rax, [r12-8]
001afa9fcmp rax, 1023
001afaa5jbe 0x1afbdc
001afaaband rax, 255
001afab1cmp rax, 254
001afab7je 0x1afac0
001afab9mov rsi, [r12]
001afabdjmp 0x1afae3
001afabf
001afabf 90 .
001afac0
001afac0loc_1afac0:
001afac0sub r15, 16
001afac4cmp r15, [r14]
001afac7jb 0x1afb82
001afacd
001afacdloc_1afacd:
001afacdlea rsi, [r15+8]
001afad1mov [rsi-8], 1277
001afad9movsd_xmm x0, [r12]
001afadfmovsd_xmm [rsi], x0
001afae3
001afae3loc_1afae3:
001afae3mov rax, [r12-8]
001afae8cmp rax, 2047
001afaeejbe 0x1afbd7
001afaf4and rax, 255
001afafacmp rax, 254
001afb00je 0x1afb1c
001afb02mov rdi, r12
001afb05add rdi, 8
001afb09mov rbx, rsp
001afb0cmov rsp, [r14+64]
001afb10call caml_modify
001afb15mov rsp, rbx
001afb18jmp 0x1afb27
001afb1a
001afb1a 66 90 f.
001afb1c
001afb1cloc_1afb1c:
001afb1cmovsd_xmm x0, [rsi]
001afb20movsd_xmm [r12+8], x0
001afb27
001afb27loc_1afb27:
001afb27mov rax, [r12-8]
001afb2ccmp rax, 1023
001afb32jbe 0x1afbd2
001afb38and rax, 255
001afb3ecmp rax, 254
001afb44je 0x1afb60
001afb46mov rdi, r12
001afb49mov rsi, r13
001afb4cmov rbx, rsp
001afb4fmov rsp, [r14+64]
001afb53call caml_modify
001afb58mov rsp, rbx
001afb5bjmp 0x1afb6c
001afb5d
001afb5d 0f 1f 00 ...
001afb60
001afb60loc_1afb60:
001afb60movsd_xmm x0, [r13]
001afb66movsd_xmm [r12], x0
001afb6c
001afb6cloc_1afb6c:
001afb6cmov eax, 1
001afb71add rsp, 56
001afb75ret
001afb76
001afb76 66 90 f.
001afb78
001afb78loc_1afb78:
001afb78mov eax, 1
001afb7dadd rsp, 56
001afb81ret
001afb82
001afb82loc_1afb82:
001afb82call caml_call_gc
001afb87jmp 0x1afacd
001afb8c
001afb8cloc_1afb8c:
001afb8ccall caml_call_gc
001afb91jmp 0x1afa81
001afb96
001afb96loc_1afb96:
001afb96call caml_call_gc
001afb9bjmp 0x1af8c5
001afba0
001afba0loc_1afba0:
001afba0call caml_call_gc
001afba5jmp 0x1af959
001afbaa
001afbaaloc_1afbaa:
001afbaacall caml_call_gc
001afbafjmp 0x1af909
001afbb4
001afbb4loc_1afbb4:
001afbb4call caml_call_gc
001afbb9jmp 0x1af785
001afbbe
001afbbeloc_1afbbe:
001afbbecall caml_call_gc
001afbc3jmp 0x1af7c5
001afbc8
001afbc8loc_1afbc8:
001afbc8call caml_call_gc
001afbcdjmp 0x1af65b
001afbd2
001afbd2loc_1afbd2:
001afbd2call caml_ml_array_bound_error
001afbd7
001afbd7loc_1afbd7:
001afbd7call caml_ml_array_bound_error
001afbdc
001afbdcloc_1afbdc:
001afbdccall caml_ml_array_bound_error
001afbe1
001afbe1loc_1afbe1:
001afbe1call caml_ml_array_bound_error
001afbe6
001afbe6loc_1afbe6:
001afbe6call caml_ml_array_bound_error
001afbeb
001afbebloc_1afbeb:
001afbebcall caml_ml_array_bound_error
001afbf0
001afbf0loc_1afbf0:
001afbf0call caml_ml_array_bound_error
001afbf5
001afbf5loc_1afbf5:
001afbf5call caml_ml_array_bound_error
001afbfa
001afbfaloc_1afbfa:
001afbfacall caml_ml_array_bound_error
001afbff
001afbffloc_1afbff:
001afbffpush 42
001afc01call caml_call_realloc_stack
001afc06pop r10
001afc08jmp 0x1af642
001af630
Loading..