Similarity

001f9aa0
001f9aa0caml_uniform_array_make:
001f9aa0push r12
001f9aa2push rbp
001f9aa3push rbx
001f9aa4mov rbx, rdi
001f9aa7sub rsp, 176
001f9aaemovdqa x0, [rip+0x30616]
001f9ab6sar rbx, 1
001f9ab9mov [rsp+8], rdi
001f9abemovq x1, rsp
001f9ac3mov [rsp], rsi
001f9ac7mov rax, [0x28]
001f9ad0mov [rsp+168], rax
001f9ad8mov rax, [rip+0x7c505]
001f9adfmov r12, [rax]
001f9ae3lea rax, [rsp+8]
001f9ae8movups [rsp+40], x0
001f9aedmov [rsp+24], 1
001f9af6movq x0, rax
001f9afblea rax, [rsp+32]
001f9b00mov [rsp+96], rax
001f9b05lea rax, [rsp+96]
001f9b0amov rbp, [r12+160]
001f9b12punpcklqdq x0, x1
001f9b16mov [r12+160], rax
001f9b1emov eax, 1
001f9b23movups [rsp+56], x0
001f9b28movq x0, rax
001f9b2dlea rax, [rsp+24]
001f9b32punpcklqdq x0, x0
001f9b36mov [rsp+32], rbp
001f9b3bmov [rsp+120], rax
001f9b40movups [rsp+104], x0
001f9b45je 0x1f9c80
001f9b4bcmp rbx, 256
001f9b52jbe 0x1f9c28
001f9b58mov rax, rbx
001f9b5bshr rax, 54
001f9b5fjne 0x1f9c91
001f9b65mov rax, [rsp]
001f9b69test al, 1
001f9b6bje 0x1f9bf0
001f9b6dxor esi, esi
001f9b6fmov rdi, rbx
001f9b72call caml_alloc_shr
001f9b77mov rdx, [rsp]
001f9b7bmov [rsp+24], rax
001f9b80mov [rax], rdx
001f9b83lea rdx, [8*rbx]
001f9b8bmov eax, 8
001f9b90nop [rax+rax]
001f9b9bnop
001f9b9cmov rcx, [rsp+24]
001f9ba1mov rsi, [rsp]
001f9ba5add rcx, rax
001f9ba8add rax, 8
001f9bacmov [rcx], rsi
001f9bafcmp rax, rdx
001f9bb2jne 0x1f9ba0
001f9bb4call caml_process_pending_actions
001f9bb9mov rax, [rsp+24]
001f9bbemov [r12+160], rbp
001f9bc6mov rdx, [rsp+168]
001f9bcesub rdx, [0x28]
001f9bd7jne 0x1f9c8c
001f9bddadd rsp, 176
001f9be4pop rbx
001f9be5pop rbp
001f9be6pop r12
001f9be8ret
001f9be9db 0x5d
001f9beapop r12
001f9becret
001f9bed
001f9bed 0f 1f 00 ...
001f9bf0
001f9bf0loc_1f9bf0:
001f9bf0cmp rax, [rip+0x17e9d1]
001f9bf7jae 0x1f9b71
001f9bfdcmp [rip+0x17e9cc], rax
001f9c04jae 0x1f9b71
001f9c0amov esi, 1
001f9c0fmov edi, 1
001f9c14call caml_ev_counter
001f9c19call caml_minor_collection
001f9c1ejmp 0x1f9b71
001f9c23
001f9c23 0f 1f 44 00 00 ..D..
001f9c28
001f9c28loc_1f9c28:
001f9c28xor esi, esi
001f9c2amov rdi, rbx
001f9c2dcall caml_alloc_small
001f9c32mov rdx, [rsp]
001f9c36mov [rsp+24], rax
001f9c3bmov [rax], rdx
001f9c3ecmp rbx, 1
001f9c42jbe 0x1f9bb8
001f9c48lea rdx, [8*rbx]
001f9c50mov eax, 8
001f9c55nop [rax+rax]
001f9c60
001f9c60loc_1f9c60:
001f9c60mov rcx, [rsp+24]
001f9c65mov rsi, [rsp]
001f9c69add rcx, rax
001f9c6cadd rax, 8
001f9c70mov [rcx], rsi
001f9c73cmp rdx, rax
001f9c76jne 0x1f9c60
001f9c78jmp 0x1f9bb8
001f9c7d
001f9c7d 0f 1f 00 ...
001f9c80
001f9c80loc_1f9c80:
001f9c80xor edi, edi
001f9c82call caml_atom
001f9c87jmp 0x1f9bc2
001f9c8c
001f9c8cloc_1f9c8c:
001f9c8ccall fn_f4590
001f9c91
001f9c91loc_1f9c91:
001f9c91lea rdi, [rip+0x35034]
001f9c98call caml_invalid_argument
001f9aa0

001f9c9d
001f9c9d // align 0x10

001f9ca0
001f9ca0caml_array_make:
001f9ca0test sil, 1
001f9ca4jne 0x1f9cb2
001f9ca6movzx eax, [rsi-8]
001f9caacmp al, -3
001f9cacje 0x1f9cc0
001f9caejmp 0x1f9aa0
001f9cb3db 0xe9
001f9cb4std
001f9cb5db 0xff
001f9cb6db 0xff
001f9cb7
001f9cb7 66 0f 1f 84 00 00 00 00 00 f........
001f9cc0
001f9cc0loc_1f9cc0:
001f9cc0movsd_xmm x0, [rsi]
001f9cc4sar rdi, 1
001f9cc7jmp 0x1f99e0
001f9ca0

001f9ccc
001f9ccc // align 0x10

001f9cd0
001f9cd0caml_array_create_float:
001f9cd0jmp 0x1f9900
001f9cd5db 0x27
001f9cd6cld
001f9cd7db 0xff
001f9cd8db 0xff
001f9cd0

001f9cd9
001f9cd9 // align 0x40

001f9d00
001f9d00caml_array_of_uniform_array:
001f9d00push rbp
001f9d01mov rcx, rdi
001f9d04push rbx
001f9d05sub rsp, 184
001f9d0cmov [rsp+8], rdi
001f9d11mov rax, [0x28]
001f9d1amov [rsp+168], rax
001f9d22mov rax, [rip+0x7c2bb]
001f9d29mov rbx, [rax]
001f9d2dmov eax, 1
001f9d32mov [rsp+16], 1
001f9d3bmov [rsp+24], 1
001f9d44movq x0, rax
001f9d49lea rax, [rsp+8]
001f9d4emov [rsp+56], rax
001f9d53punpcklqdq x0, x0
001f9d57lea rax, [rsp+32]
001f9d5cmov rbp, [rbx+160]
001f9d63mov [rsp+96], rax
001f9d68lea rax, [rsp+96]
001f9d6dmovups [rsp+40], x0
001f9d72movdqa x0, [rip+0x30352]
001f9d7amov [rbx+160], rax
001f9d81lea rax, [rsp+16]
001f9d86movups [rsp+104], x0
001f9d8bmovq x0, rax
001f9d90lea rax, [rsp+24]
001f9d95movq x1, rax
001f9d9amov [rsp+32], rbp
001f9d9fpunpcklqdq x0, x1
001f9da3movups [rsp+120], x0
001f9da8mov rdx, [rdi-8]
001f9dacshr rdx, 10
001f9db0je 0x1f9dca
001f9db2mov rax, [rdi]
001f9db5mov [rsp+16], rax
001f9dbatest al, 1
001f9dbcjne 0x1f9dca
001f9dbemovzx eax, [rax-8]
001f9dc2cmp al, -3
001f9dc4je 0x1f9df8
001f9dc6mov [rbx+160], rbp
001f9dcdmov rax, [rsp+168]
001f9dd5sub rax, [0x28]
001f9ddejne 0x1f9e98
001f9de4add rsp, 184
001f9debmov rax, rcx
001f9deepop rbx
001f9defpop rbp
001f9df0ret
001f9df1db 0xc8
001f9df2pop rbx
001f9df3pop rbp
001f9df4ret
001f9df5
001f9df5 0f 1f 00 ...
001f9df8
001f9df8loc_1f9df8:
001f9df8mov [rsp], rdx
001f9dfcmov esi, 254
001f9e01mov rdi, rdx
001f9e04cmp rdx, 256
001f9e0bja 0x1f9e78
001f9e0dcall caml_alloc_small
001f9e12mov rcx, [rsp+8]
001f9e17mov rdx, [rsp]
001f9e1bmov [rsp+24], rax
001f9e20mov rcx, [rcx]
001f9e23movsd_xmm x0, [rcx]
001f9e27movsd_xmm [rax], x0
001f9e2bcmp rdx, 1
001f9e2fjbe 0x1f9e62
001f9e31
001f9e31loc_1f9e31:
001f9e31shl rdx, 3
001f9e35mov eax, 8
001f9e3anop [rax+rax]
001f9e40
001f9e40loc_1f9e40:
001f9e40mov rcx, [rsp+8]
001f9e45add rcx, rax
001f9e48mov rcx, [rcx]
001f9e4bmovsd_xmm x0, [rcx]
001f9e4fmov rcx, [rsp+24]
001f9e54movsd_xmm [rcx+rax], x0
001f9e59add rax, 8
001f9e5dcmp rdx, rax
001f9e60jne 0x1f9e40
001f9e62
001f9e62loc_1f9e62:
001f9e62call caml_process_pending_actions
001f9e67mov rcx, [rsp+24]
001f9e6cjmp 0x1f9dca
001f9e71
001f9e71 0f 1f 80 00 00 00 00 .......
001f9e78
001f9e78loc_1f9e78:
001f9e78call caml_alloc_shr
001f9e7dmov rcx, [rsp+8]
001f9e82mov rdx, [rsp]
001f9e86mov [rsp+24], rax
001f9e8bmov rcx, [rcx]
001f9e8emovsd_xmm x0, [rcx]
001f9e92movsd_xmm [rax], x0
001f9e96jmp 0x1f9e31
001f9e98
001f9e98loc_1f9e98:
001f9e98call fn_f4590
001f9d00

001f9e9d
001f9e9d // align 0x10

001f9ea0
001f9ea0caml_make_vect:
001f9ea0test sil, 1
001f9ea4jne 0x1f9eb2
001f9ea6movzx eax, [rsi-8]
001f9eaacmp al, -3
001f9eacje 0x1f9ec0
001f9eaejmp 0x1f9aa0
001f9eb3db 0xe9
001f9eb4sti
001f9eb5db 0xff
001f9eb6db 0xff
001f9eb7
001f9eb7 66 0f 1f 84 00 00 00 00 00 f........
001f9ec0
001f9ec0loc_1f9ec0:
001f9ec0movsd_xmm x0, [rsi]
001f9ec4sar rdi, 1
001f9ec7jmp 0x1f99e0
001f9ea0

001f9ecc
001f9ecc // align 0x10

001f9ed0
001f9ed0caml_make_float_vect:
001f9ed0jmp 0x1f9900
001f9ed5db 0x27
001f9ed6cli
001f9ed7db 0xff
001f9ed8db 0xff
001f9ed0

001f9ed9
001f9ed9 // align 0x10

001f9ee0
001f9ee0caml_make_array:
001f9ee0jmp 0x1f9d00
001f9ee5db 0x17
001f9ee6db 0xfe
001f9ee7db 0xff
001f9ee8db 0xff
001f9ee0

001f9ee9
001f9ee9 // align 0x10

001f9ef0
001f9ef0caml_floatarray_blit:
001f9ef0sar r8, 1
001f9ef3jne 0x1f9f00
001f9ef5mov eax, 1
001f9efaret
001f9efbdb 0x00
001f9efcadd [rax], al
001f9eferet
001f9eff
001f9eff 90 .
001f9f00
001f9f00loc_1f9f00:
001f9f00sar rcx, 1
001f9f03sub rsp, 8
001f9f07mov rax, rdx
001f9f0asar rsi, 1
001f9f0dlea rsi, [rdi+8*rsi]
001f9f11lea rdx, [8*r8]
001f9f19lea rdi, [rax+8*rcx]
001f9f1dcall fn_f4520
001f9f22mov eax, 1
001f9f27add rsp, 8
001f9f2bret
001f9ef0

001f9f2c
001f9f2c // align 0x20

001f9f40
001f9f40caml_uniform_array_blit:
001f9f40push r12
001f9f42push rbp
001f9f43push rbx
001f9f44mov rbx, r8
001f9f47sar rbx, 1
001f9f4aje 0x1f9fb2
001f9f4csar rsi, 1
001f9f4fsar rcx, 1
001f9f52cmp rdx, [rip+0x17e66b]
001f9f59mov rax, rdi
001f9f5cjae 0x1f9f6f
001f9f5ecmp [rip+0x17e667], rdx
001f9f65jb 0x1fa000
001f9f6bcmp rdx, rax
001f9f6eje 0x1f9fc0
001f9f70lea r12, [rdx+8*rcx]
001f9f74
001f9f74loc_1f9f74:
001f9f74lea rbp, [rax+8*rsi]
001f9f78test rbx, rbx
001f9f7bjle 0x1f9fa8
001f9f7dsub r12, rbp
001f9f80nop [rax+rax]
001f9f8bnop
001f9f8cmov rsi, [rbp]
001f9f90
001f9f90loc_1f9f90:
001f9f90lea rdi, [rbp+r12]
001f9f95add rbp, 8
001f9f99call caml_modify
001f9f9esub rbx, 1
001f9fa2jne 0x1f9f90
001f9fa4mov edi, 1
001f9fa9call caml_check_urgent_gc
001f9faepop rbx
001f9fafmov eax, 1
001f9fb4pop rbp
001f9fb5pop r12
001f9fb7ret
001f9fb8db 0x5d
001f9fb9pop r12
001f9fbbret
001f9fbc
001f9fbc 0f 1f 40 00 ..@.
001f9fc0
001f9fc0loc_1f9fc0:
001f9fc0cmp rsi, rcx
001f9fc3jge 0x1f9f74
001f9fc5sub rdx, 8
001f9fc9add rcx, rbx
001f9fccadd rsi, rbx
001f9fcflea r12, [rdx+8*rcx]
001f9fd3lea rbp, [rdx+8*rsi]
001f9fd7sub r12, rbp
001f9fdatest rbx, rbx
001f9fddjle 0x1f9fa8
001f9fdfnop
001f9fe0
001f9fe0loc_1f9fe0:
001f9fe0mov rsi, [rbp]
001f9fe4lea rdi, [rbp+r12]
001f9fe9sub rbp, 8
001f9fedcall caml_modify
001f9ff2sub rbx, 1
001f9ff6jne 0x1f9fe0
001f9ff8jmp 0x1f9fa8
001f9ffa
001f9ffa 66 0f 1f 44 00 00 f..D..
001fa000
001fa000loc_1fa000:
001fa000mov rax, [rip+0x17e5d9]
001fa007lea rsi, [rdi+8*rsi]
001fa00blea rdi, [rdx+8*rcx]
001fa00fcmp rax, 1
001fa013je 0x1fa045
001fa015cmp rdi, rsi
001fa018jae 0x1fa057
001fa01alea rdx, [rsi+8*rbx]
001fa01esub rdi, rsi
001fa021nop [rax+rax]
001fa02cnop [rax]
001fa030
001fa030loc_1fa030:
001fa030mov rax, [rsi]
001fa033mov [rdi+rsi], rax
001fa037add rsi, 8
001fa03bcmp rdx, rsi
001fa03ejne 0x1fa030
001fa040jmp 0x1f9fb2
001fa045
001fa045loc_1fa045:
001fa045lea rdx, [8*rbx]
001fa04dcall fn_f4520
001fa052jmp 0x1f9fb2
001fa057
001fa057loc_1fa057:
001fa057lea rax, [rsi+8*rbx-8]
001fa05csub rdi, rsi
001fa05fnop
001fa060
001fa060loc_1fa060:
001fa060mov rcx, [rax]
001fa063mov rdx, rax
001fa066mov [rdi+rax], rcx
001fa06asub rax, 8
001fa06ecmp rsi, rdx
001fa071jne 0x1fa060
001fa073jmp 0x1f9fb2
001f9f40

001fa078
001fa078 // align 0x10

001fa080
001fa080caml_array_blit:
001fa080movzx eax, [rdx-8]
001fa084cmp al, -2
001fa086je 0x1fa098
001fa088jmp 0x1f9f40
001fa08ddb 0xaf
001fa08edb 0xfe
001fa08fdb 0xff
001fa090db 0xff
001fa091
001fa091 0f 1f 80 00 00 00 00 .......
001fa098
001fa098loc_1fa098:
001fa098sar r8, 1
001fa09bjne 0x1fa0a8
001fa09dmov eax, 1
001fa0a2ret
001fa0a3
001fa0a3 0f 1f 44 00 00 ..D..
001fa0a8
001fa0a8loc_1fa0a8:
001fa0a8shl r8, 3
001fa0acsub rsp, 8
001fa0b0sar rcx, 1
001fa0b3sar rsi, 1
001fa0b6lea rsi, [rdi+8*rsi]
001fa0balea rdi, [rdx+8*rcx]
001fa0bemov rdx, r8
001fa0c1call fn_f4520
001fa0c6mov eax, 1
001fa0cbadd rsp, 8
001fa0cfret
001fa080

001fa0d0
001fa0d0caml_floatarray_sub:
001fa0d0sar rsi, 1
001fa0d3sub rsp, 40
001fa0d7sar rdx, 1
001fa0damov rax, [0x28]
001fa0e3mov [rsp+24], rax
001fa0e8xor eax, eax
001fa0ealea rcx, [rsp+16]
001fa0efmov [rsp], rdi
001fa0f3mov edi, 1
001fa0f8mov [rsp+8], rsi
001fa0fdmov rsi, rsp
001fa100mov [rsp+16], rdx
001fa105lea rdx, [rsp+8]
001fa10acall fn_1f9200
001fa10fmov rdx, [rsp+24]
001fa114sub rdx, [0x28]
001fa11djne 0x1fa128
001fa11fadd rsp, 40
001fa123ret
001fa124call fn_f4590
001fa129db 0x63
001fa12amovsb [rdi], [rsi]
001fa12bout dx, eax
001fa12cdb 0xff
001fa0d0

001fa12d
001fa12d // align 0x10

001fa130
001fa130caml_uniform_array_sub:
001fa130sar rsi, 1
001fa133sub rsp, 40
001fa137sar rdx, 1
001fa13amov rax, [0x28]
001fa143mov [rsp+24], rax
001fa148xor eax, eax
001fa14alea rcx, [rsp+16]
001fa14fmov [rsp], rdi
001fa153mov edi, 1
001fa158mov [rsp+8], rsi
001fa15dmov rsi, rsp
001fa160mov [rsp+16], rdx
001fa165lea rdx, [rsp+8]
001fa16acall fn_1f9380
001fa16fmov rdx, [rsp+24]
001fa174sub rdx, [0x28]
001fa17djne 0x1fa188
001fa17fadd rsp, 40
001fa183ret
001fa184call fn_f4590
001fa189db 0x03
001fa18amovsb [rdi], [rsi]
001fa18bout dx, eax
001fa18cdb 0xff
001fa130

001fa18d
001fa18d // align 0x10

001fa190
001fa190caml_array_sub:
001fa190sar rsi, 1
001fa193sub rsp, 40
001fa197sar rdx, 1
001fa19amov rax, [0x28]
001fa1a3mov [rsp+24], rax
001fa1a8xor eax, eax
001fa1aamov [rsp+8], rsi
001fa1aflea rcx, [rsp+16]
001fa1b4mov rsi, rsp
001fa1b7mov [rsp+16], rdx
001fa1bclea rdx, [rsp+8]
001fa1c1mov [rsp], rdi
001fa1c5mov rax, [rdi-8]
001fa1c9shr rax, 10
001fa1cdje 0x1fa1db
001fa1cfmovzx eax, [rdi-8]
001fa1d3cmp al, -2
001fa1d5je 0x1fa200
001fa1d7mov edi, 1
001fa1dccall fn_1f9380
001fa1e1mov rdx, [rsp+24]
001fa1e6sub rdx, [0x28]
001fa1efjne 0x1fa20c
001fa1f1add rsp, 40
001fa1f5ret
001fa1f6db 0x83
001fa1f7db 0xc4
001fa1f8sub bl, al
001fa1fa
001fa1fa 66 0f 1f 44 00 00 f..D..
001fa200
001fa200loc_1fa200:
001fa200mov edi, 1
001fa205call fn_1f9200
001fa20ajmp 0x1fa1e5
001fa20c
001fa20cloc_1fa20c:
001fa20ccall fn_f4590
001fa190

001fa211
001fa211 // align 0x10

001fa220
001fa220caml_floatarray_append:
001fa220sub rsp, 72
001fa224pxor x0, x0
001fa228mov rax, [0x28]
001fa231mov [rsp+56], rax
001fa236xor eax, eax
001fa238mov [rsp], rdi
001fa23clea rdx, [rsp+16]
001fa241lea rcx, [rsp+32]
001fa246mov [rsp+8], rsi
001fa24bmovzx eax, [rdi-8]
001fa24fmovaps [rsp+16], x0
001fa254mov rax, [rdi-8]
001fa258mov edi, 2
001fa25dshr rax, 10
001fa261mov [rsp+32], rax
001fa266movzx eax, [rsi-8]
001fa26amov rax, [rsi-8]
001fa26emov rsi, rsp
001fa271shr rax, 10
001fa275mov [rsp+40], rax
001fa27acall fn_1f9200
001fa27fmov rdx, [rsp+56]
001fa284sub rdx, [0x28]
001fa28djne 0x1fa298
001fa28fadd rsp, 72
001fa293ret
001fa294call fn_f4590
001fa299db 0xf3
001fa29adb 0xa2
001fa29bout dx, eax
001fa29cdb 0xff
001fa220

001fa29d
001fa29d // align 0x10

001fa2a0
001fa2a0caml_uniform_array_append:
001fa2a0sub rsp, 72
001fa2a4pxor x0, x0
001fa2a8mov rax, [0x28]
001fa2b1mov [rsp+56], rax
001fa2b6xor eax, eax
001fa2b8mov [rsp], rdi
001fa2bclea rdx, [rsp+16]
001fa2c1lea rcx, [rsp+32]
001fa2c6mov [rsp+8], rsi
001fa2cbmovzx eax, [rdi-8]
001fa2cfmovaps [rsp+16], x0
001fa2d4mov rax, [rdi-8]
001fa2d8mov edi, 2
001fa2ddshr rax, 10
001fa2e1mov [rsp+32], rax
001fa2e6movzx eax, [rsi-8]
001fa2eamov rax, [rsi-8]
001fa2eemov rsi, rsp
001fa2f1shr rax, 10
001fa2f5mov [rsp+40], rax
001fa2facall fn_1f9380
001fa2ffmov rdx, [rsp+56]
001fa304sub rdx, [0x28]
001fa30djne 0x1fa318
001fa30fadd rsp, 72
001fa313ret
001fa314call fn_f4590
001fa319db 0x73
001fa31adb 0xa2
001fa31bout dx, eax
001fa31cdb 0xff
001fa2a0

001fa31d
001fa31d // align 0x10

001fa320
001fa320caml_array_append:
001fa320sub rsp, 72
001fa324pxor x0, x0
001fa328mov rax, [0x28]
001fa331mov [rsp+56], rax
001fa336xor eax, eax
001fa338mov [rsp], rdi
001fa33cmov rcx, rsp
001fa33fmov [rsp+8], rsi
001fa344movzx eax, [rdi-8]
001fa348movaps [rsp+16], x0
001fa34dmov rax, [rdi-8]
001fa351shr rax, 10
001fa355mov [rsp+32], rax
001fa35amovzx eax, [rsi-8]
001fa35emov rax, [rsi-8]
001fa362shr rax, 10
001fa366mov [rsp+40], rax
001fa36bmov rdx, [rdi-8]
001fa36fmov rax, rsp
001fa372shr rdx, 10
001fa376je 0x1fa3b8
001fa378mov rdx, [rcx]
001fa37bmovzx edx, [rdx-8]
001fa37fcmp dl, -2
001fa382je 0x1fa3d3
001fa384lea rcx, [rsp+32]
001fa389lea rdx, [rsp+16]
001fa38emov rsi, rax
001fa391mov edi, 2
001fa396call fn_1f9380
001fa39bmov rdx, [rsp+56]
001fa3a0sub rdx, [0x28]
001fa3a9jne 0x1fa3ec
001fa3abadd rsp, 72
001fa3afret
001fa3b0db 0x83
001fa3b1db 0xc4
001fa3b2ret
001fa3b4
001fa3b4 0f 1f 40 00 ..@.
001fa3b8
001fa3b8loc_1fa3b8:
001fa3b8mov rdx, [rsi-8]
001fa3bclea rcx, [rsp+8]
001fa3c1shr rdx, 10
001fa3c5je 0x1fa388
001fa3c7mov rdx, [rcx]
001fa3camovzx edx, [rdx-8]
001fa3cecmp dl, -2
001fa3d1jne 0x1fa388
001fa3d3
001fa3d3loc_1fa3d3:
001fa3d3lea rcx, [rsp+32]
001fa3d8lea rdx, [rsp+16]
001fa3ddmov rsi, rax
001fa3e0mov edi, 2
001fa3e5call fn_1f9200
001fa3eajmp 0x1fa39f
001fa3ec
001fa3ecloc_1fa3ec:
001fa3eccall fn_f4590
001fa320

001fa3f1
001fa3f1 // align 0x10

001fa400
001fa400caml_array_concat:
001fa400push r14
001fa402push r13
001fa404push r12
001fa406push rbp
001fa407push rbx
001fa408sub rsp, 400
001fa40fmov rax, [0x28]
001fa418mov [rsp+392], rax
001fa420xor eax, eax
001fa422cmp rdi, 1
001fa426je 0x1fa5a0
001fa42cmov rbx, rdi
001fa42fmov rax, rdi
001fa432xor ebp, ebp
001fa434nop [rax+rax]
001fa43cmov rax, [rax+8]
001fa440
001fa440loc_1fa440:
001fa440add rbp, 1
001fa444cmp rax, 1
001fa448jne 0x1fa440
001fa44acmp rbp, 16
001fa44ejg 0x1fa550
001fa454lea r14, [rsp+256]
001fa45clea r13, [rsp+128]
001fa464mov r12, rsp
001fa467xor eax, eax
001fa469nop [rax+rax]
001fa474nop [rax+rax]
001fa47cmov rdx, [rbx]
001fa47fmov [r12+8*rax], rdx
001fa483mov [r13+8*rax], 0
001fa48cmov rdx, [rbx]
001fa48fmovzx ecx, [rdx-8]
001fa493mov rdx, [rdx-8]
001fa497shr rdx, 10
001fa49bmov [r14+8*rax], rdx
001fa49fmov rbx, [rbx+8]
001fa4a3add rax, 1
001fa4a7cmp rbx, 1
001fa4abjne 0x1fa480
001fa4adtest rbp, rbp
001fa4b0je 0x1fa5b3
001fa4b6mov rcx, r12
001fa4b9xor esi, esi
001fa4bbmov rdx, [rcx]
001fa4bemov rax, [rdx-8]
001fa4c2shr rax, 10
001fa4c6je 0x1fa538
001fa4c8movzx eax, [rdx-8]
001fa4cccmp al, -2
001fa4ceje 0x1fa5d0
001fa4d4mov rcx, r14
001fa4d7mov rdx, r13
001fa4damov rsi, r12
001fa4ddmov rdi, rbp
001fa4e0call fn_1f9380
001fa4e5mov rbx, rax
001fa4e8cmp rbp, 16
001fa4ec
001fa4ecloc_1fa4ec:
001fa4ecjle 0x1fa50a
001fa4eemov rdi, r12
001fa4f1call caml_stat_free
001fa4f6mov rdi, r13
001fa4f9call caml_stat_free
001fa4femov rdi, r14
001fa501call caml_stat_free
001fa506mov rax, [rsp+392]
001fa50esub rax, [0x28]
001fa517jne 0x1fa5e9
001fa51dadd rsp, 400
001fa524mov rax, rbx
001fa527pop rbx
001fa528pop rbp
001fa529pop r12
001fa52bpop r13
001fa52dpop r14
001fa52fret
001fa530db 0x5d
001fa531pop r14
001fa533ret
001fa534
001fa534 0f 1f 40 00 ..@.
001fa538
001fa538loc_1fa538:
001fa538add rsi, 1
001fa53cadd rcx, 8
001fa540cmp rsi, rbp
001fa543jb 0x1fa4bf
001fa549jmp 0x1fa4d8
001fa54b
001fa54b 0f 1f 44 00 00 ..D..
001fa550
001fa550loc_1fa550:
001fa550lea r14, [8*rbp]
001fa558mov rdi, r14
001fa55bcall caml_stat_alloc
001fa560mov rdi, r14
001fa563mov r12, rax
001fa566call caml_stat_alloc_noexc
001fa56bmov r13, rax
001fa56etest rax, rax
001fa571je 0x1fa58f
001fa573mov rdi, r14
001fa576call caml_stat_alloc_noexc
001fa57bmov r14, rax
001fa57etest rax, rax
001fa581jne 0x1fa46b
001fa587mov rdi, r13
001fa58acall caml_stat_free
001fa58f
001fa58floc_1fa58f:
001fa58fmov rdi, r12
001fa592call caml_stat_free
001fa597call caml_raise_out_of_memory
001fa59cnop [rax]
001fa5a0
001fa5a0loc_1fa5a0:
001fa5a0lea r14, [rsp+256]
001fa5a8mov r12, rsp
001fa5ablea r13, [rsp+128]
001fa5b3
001fa5b3loc_1fa5b3:
001fa5b3mov rcx, r14
001fa5b6mov rdx, r13
001fa5b9mov rsi, r12
001fa5bcxor edi, edi
001fa5becall fn_1f9380
001fa5c3mov rbx, rax
001fa5c6jmp 0x1fa50a
001fa5cb
001fa5cb 0f 1f 44 00 00 ..D..
001fa5d0
001fa5d0loc_1fa5d0:
001fa5d0mov rcx, r14
001fa5d3mov rdx, r13
001fa5d6mov rsi, r12
001fa5d9mov rdi, rbp
001fa5dccall fn_1f9200
001fa5e1mov rbx, rax
001fa5e4jmp 0x1fa4ec
001fa5e9
001fa5e9loc_1fa5e9:
001fa5e9call fn_f4590
001fa400

001fa5ee
001fa5ee // align 0x10

001fa5f0
001fa5f0caml_floatarray_fill_unboxed:
001fa5f0lea rax, [rdi+8*rsi]
001fa5f4test rdx, rdx
001fa5f7jle 0x1fa60e
001fa5f9nop [rax]
001fa5fcmovsd_xmm [rax], x0
001fa600
001fa600loc_1fa600:
001fa600add rax, 8
001fa604sub rdx, 1
001fa608jne 0x1fa600
001fa60amov eax, 1
001fa60fret
001fa610db 0x00
001fa611add [rax], al
001fa613ret
001fa5f0

001fa614
001fa614 // align 0x10

001fa620
001fa620caml_floatarray_fill:
001fa620sar rsi, 1
001fa623sar rdx, 1
001fa626movsd_xmm x0, [rcx]
001fa62alea rax, [rdi+8*rsi]
001fa62etest rdx, rdx
001fa631jle 0x1fa64e
001fa633nop [rax+rax]
001fa63cmovsd_xmm [rax], x0
001fa640
001fa640loc_1fa640:
001fa640add rax, 8
001fa644sub rdx, 1
001fa648jne 0x1fa640
001fa64amov eax, 1
001fa64fret
001fa650db 0x00
001fa651add [rax], al
001fa653ret
001fa620

001fa654
001fa654 // align 0x10

001fa660
001fa660caml_uniform_array_fill:
001fa660mov rax, [rip+0x17df5d]
001fa667sar rdx, 1
001fa66asar rsi, 1
001fa66dpush r14
001fa66fpush r13
001fa671push r12
001fa673mov r12, rcx
001fa676push rbp
001fa677mov rbp, rdx
001fa67apush rbx
001fa67blea rbx, [rdi+8*rsi]
001fa67fcmp rdi, rax
001fa682jae 0x1fa6c0
001fa684cmp [rip+0x17df41], rdi
001fa68bjae 0x1fa6c0
001fa68dtest rdx, rdx
001fa690jle 0x1fa6ad
001fa692nop [rax+rax]
001fa69cmov [rbx], r12
001fa69fadd rbx, 8
001fa6a3sub rbp, 1
001fa6a7jne 0x1fa6a0
001fa6a9pop rbx
001fa6aamov eax, 1
001fa6afpop rbp
001fa6b0pop r12
001fa6b2pop r13
001fa6b4pop r14
001fa6b6ret
001fa6b7db 0x5d
001fa6b8pop r14
001fa6baret
001fa6bb
001fa6bb 0f 1f 44 00 00 ..D..
001fa6c0
001fa6c0loc_1fa6c0:
001fa6c0test r12b, 1
001fa6c4je 0x1fa758
001fa6ca
001fa6caloc_1fa6ca:
001fa6caxor r14l, r14l
001fa6cdtest rbp, rbp
001fa6d0jg 0x1fa6f1
001fa6d2jmp 0x1fa6ad
001fa6d4
001fa6d4 0f 1f 40 00 ..@.
001fa6d8
001fa6d8loc_1fa6d8:
001fa6d8lea rdx, [rax+8]
001fa6dcmov [r13+24], rdx
001fa6e0mov [rax], rbx
001fa6e3
001fa6e3loc_1fa6e3:
001fa6e3add rbx, 8
001fa6e7sub rbp, 1
001fa6ebje 0x1fa780
001fa6f1
001fa6f1loc_1fa6f1:
001fa6f1mov rsi, [rbx]
001fa6f4cmp r12, rsi
001fa6f7je 0x1fa6e3
001fa6f9mov [rbx], r12
001fa6fctest sil, 1
001fa700jne 0x1fa726
001fa702cmp rsi, [rip+0x17debf]
001fa709jae 0x1fa714
001fa70bcmp [rip+0x17debe], rsi
001fa712jb 0x1fa6e3
001fa714
001fa714loc_1fa714:
001fa714mov rax, [rip+0x7b8cd]
001fa71bxor edx, edx
001fa71dmov rdi, [rax]
001fa721call caml_darken
001fa726
001fa726loc_1fa726:
001fa726test r14l, r14l
001fa729je 0x1fa6e3
001fa72bmov rax, [rip+0x7b8b6]
001fa732mov rax, [rax]
001fa736mov r13, [rax+96]
001fa73amov rax, [r13+24]
001fa73ecmp rax, [r13+32]
001fa742jb 0x1fa6d8
001fa744mov rdi, r13
001fa747call caml_realloc_ref_table
001fa74cmov rax, [r13+24]
001fa750jmp 0x1fa6d8
001fa752
001fa752 66 0f 1f 44 00 00 f..D..
001fa758
001fa758loc_1fa758:
001fa758cmp r12, rax
001fa75bjae 0x1fa6ca
001fa761xor r14l, r14l
001fa764cmp [rip+0x17de65], r12
001fa76bsetb r14b
001fa76ftest rbp, rbp
001fa772jg 0x1fa6f1
001fa778nop [rax+rax]
001fa780
001fa780loc_1fa780:
001fa780test r14l, r14l
001fa783je 0x1fa6ad
001fa789mov edi, 1
001fa78ecall caml_check_urgent_gc
001fa793pop rbx
001fa794mov eax, 1
001fa799pop rbp
001fa79apop r12
001fa79cpop r13
001fa79epop r14
001fa7a0ret
001fa660

001fa7a1
001fa7a1 // align 0x10

001fa7b0
001fa7b0caml_array_fill:
001fa7b0movzx eax, [rdi-8]
001fa7b4cmp al, -2
001fa7b6je 0x1fa7c8
001fa7b8jmp 0x1fa660
001fa7bddb 0x9f
001fa7bedb 0xfe
001fa7bfdb 0xff
001fa7c0db 0xff
001fa7c1
001fa7c1 0f 1f 80 00 00 00 00 .......
001fa7c8
001fa7c8loc_1fa7c8:
001fa7c8sar rsi, 1
001fa7cbsar rdx, 1
001fa7cemovsd_xmm x0, [rcx]
001fa7d2lea rax, [rdi+8*rsi]
001fa7d6test rdx, rdx
001fa7d9jle 0x1fa7ee
001fa7dbnop [rax+rax]
001fa7e0
001fa7e0loc_1fa7e0:
001fa7e0movsd_xmm [rax], x0
001fa7e4add rax, 8
001fa7e8sub rdx, 1
001fa7ecjne 0x1fa7e0
001fa7ee
001fa7eeloc_1fa7ee:
001fa7eemov eax, 1
001fa7f3ret
001fa7b0

001fa7f4
001fa7f4 // align 0x10

001fa800
001fa800fn_1fa800:
001fa800push rbp
001fa801push rbx
001fa802sub rsp, 168
001fa809movdqa x0, [rip+0x2f8cf]
001fa811mov rax, [0x28]
001fa81amov [rsp+152], rax
001fa822mov rax, [rip+0x7b7bf]
001fa829lea rsi, [rsp+32]
001fa82emov rbx, [rax]
001fa832lea rax, [rsp+80]
001fa837movups [rsp+88], x0
001fa83cmov [rsp+8], 1
001fa845mov [rsp+16], 1
001fa84emov rbp, [rbx+160]
001fa855mov [rbx+160], rax
001fa85clea rax, [rsp+8]
001fa861movq x0, rax
001fa866lea rax, [rsp+16]
001fa86bmov [rsp+80], rbp
001fa870mov [rsp+24], 1
001fa879movq x1, rax
001fa87elea rax, [rsp+24]
001fa883punpcklqdq x0, x1
001fa887mov [rsp+120], rax
001fa88cmovups [rsp+104], x0
001fa891call caml_debuginfo_location
001fa896mov r8l, [rsp+32]
001fa89btest r8l, r8l
001fa89eje 0x1fa9a8
001fa8a4mov rdi, [rsp+40]
001fa8a9call caml_copy_string
001fa8aemov rdi, [rsp+48]
001fa8b3mov [rsp+16], rax
001fa8b8call caml_copy_string
001fa8bdmov edi, 9
001fa8c2xor esi, esi
001fa8c4mov [rsp+24], rax
001fa8c9call caml_alloc_small
001fa8cemov edi, [rsp+36]
001fa8d2mov edx, 1
001fa8d7mov [rsp+8], rax
001fa8dctest edi, edi
001fa8deje 0x1fa8e5
001fa8e0mov edx, 3
001fa8e5
001fa8e5loc_1fa8e5:
001fa8e5mov [rax], rdx
001fa8e8mov rdx, [rsp+16]
001fa8edmov rax, [rsp+8]
001fa8f2mov [rax+8], rdx
001fa8f6movsxd rax, [rsp+56]
001fa8fblea rdx, [rax+rax+1]
001fa900mov rax, [rsp+8]
001fa905mov [rax+16], rdx
001fa909movsxd rax, [rsp+60]
001fa90elea rdx, [rax+rax+1]
001fa913mov rax, [rsp+8]
001fa918mov [rax+24], rdx
001fa91cmovsxd rax, [rsp+72]
001fa921lea rdx, [rax+rax+1]
001fa926mov rax, [rsp+8]
001fa92bmov [rax+32], rdx
001fa92fmovsxd rax, [rsp+64]
001fa934lea rdx, [rax+rax+1]
001fa939mov rax, [rsp+8]
001fa93emov [rax+40], rdx
001fa942movsxd rax, [rsp+68]
001fa947lea rdx, [rax+rax+1]
001fa94cmov rax, [rsp+8]
001fa951mov [rax+48], rdx
001fa955mov esi, [rsp+76]
001fa959mov eax, 1
001fa95etest esi, esi
001fa960jne 0x1fa9d8
001fa962
001fa962loc_1fa962:
001fa962mov rdx, [rsp+8]
001fa967mov [rdx+56], rax
001fa96bmov rdx, [rsp+24]
001fa970mov rax, [rsp+8]
001fa975mov [rax+64], rdx
001fa979
001fa979loc_1fa979:
001fa979mov [rbx+160], rbp
001fa980mov rax, [rsp+8]
001fa985mov rdx, [rsp+152]
001fa98dsub rdx, [0x28]
001fa996jne 0x1fa9df
001fa998add rsp, 168
001fa99fpop rbx
001fa9a0pop rbp
001fa9a1ret
001fa9a2
001fa9a2 66 0f 1f 44 00 00 f..D..
001fa9a8
001fa9a8loc_1fa9a8:
001fa9a8mov esi, 1
001fa9admov edi, 1
001fa9b2call caml_alloc_small
001fa9b7mov ecx, [rsp+36]
001fa9bbmov edx, 1
001fa9c0mov [rsp+8], rax
001fa9c5test ecx, ecx
001fa9c7je 0x1fa9ce
001fa9c9mov edx, 3
001fa9ce
001fa9celoc_1fa9ce:
001fa9cemov [rax], rdx
001fa9d1jmp 0x1fa979
001fa9d3
001fa9d3 0f 1f 44 00 00 ..D..
001fa9d8
001fa9d8loc_1fa9d8:
001fa9d8mov eax, 3
001fa9ddjmp 0x1fa962
001fa9df
001fa9dfloc_1fa9df:
001fa9dfcall fn_f4590
001fa800

001fa9e4
001fa9e4 // align 0x10

001fa9f0
001fa9f0caml_record_backtraces:
001fa9f0mov rax, [rip+0x7b5ed]
001fa9f7movsxd rdi, edi
001fa9famov rax, [rax]
001fa9fecmp rdi, [rax+192]
001faa05jne 0x1faa10
001faa07ret
001faa08db 0x00
001faa09jne 0x1faa10
001faa0bret
001faa0c
001faa0c 0f 1f 40 00 ..@.
001faa10
001faa10loc_1faa10:
001faa10mov [rax+192], rdi
001faa17mov esi, 1
001faa1clea rdi, [rax+208]
001faa23mov [rax+184], 0
001faa2ejmp 0x209f70
001fa9f0

001faa33
001faa33 // align 0x10

001faa40
001faa40caml_record_backtrace:
001faa40mov rdx, [rip+0x7b59d]
001faa47sar rdi, 1
001faa4amovsxd rax, edi
001faa4dmov rdi, [rdx]
001faa51cmp rax, [rdi+192]
001faa58jne 0x1faa68
001faa5amov eax, 1
001faa5fret
001faa60db 0x00
001faa61add [rax], al
001faa63ret
001faa64
001faa64 0f 1f 40 00 ..@.
001faa68
001faa68loc_1faa68:
001faa68sub rsp, 8
001faa6cmov [rdi+192], rax
001faa73mov esi, 1
001faa78add rdi, 208
001faa7fmov [rdi-24], 0
001faa87call caml_modify_generational_global_root
001faa8cmov eax, 1
001faa91add rsp, 8
001faa95ret
001faa40

001faa96
001faa96 // align 0x10

001faaa0
001faaa0caml_backtrace_status:
001faaa0mov rax, [rip+0x7b53d]
001faaa7mov rdx, [rax]
001faaabmov eax, 1
001faab0cmp [rdx+192], 0
001faab8jne 0x1faac0
001faabaret
001faabbdb 0x00
001faabcjne 0x1faac0
001faaberet
001faabf
001faabf 90 .
001faac0
001faac0loc_1faac0:
001faac0mov eax, 3
001faac5ret
001faaa0

001faac6
001faac6 // align 0x10

001faad0
001faad0caml_print_exception_backtrace:
001faad0push r15
001faad2push r14
001faad4push r13
001faad6push r12
001faad8push rbp
001faad9push rbx
001faadasub rsp, 72
001faademov rax, [0x28]
001faae7mov [rsp+56], rax
001faaecxor eax, eax
001faaeecall caml_debug_info_available
001faaf3test eax, eax
001faaf5je 0x1fada1
001faafbmov rax, [rip+0x7b4e2]
001fab02xor ebp, ebp
001fab04xor edx, edx
001fab06lea r13, [rip+0x34cb7]
001fab0dlea r12, [rip+0x34414]
001fab14mov rax, [rax]
001fab18cmp [rax+184], 0
001fab20jle 0x1fac6a
001fab26nop [rax+rax]
001fab2cmov rax, [rax+200]
001fab33mov r15, rsp
001fab36lea r14, [rip+0x341ad]
001fab3dmov rdi, [rax+8*rdx]
001fab41call caml_debuginfo_extract
001fab46mov rbx, rax
001fab49test rax, rax
001fab4cjne 0x1fabae
001fab4ejmp 0x1fac4c
001fab53db 0xf5
001fab54add [rax], al
001fab56db 0x00
001fab57
001fab57 66 0f 1f 84 00 00 00 00 00 f........
001fab60
001fab60loc_1fab60:
001fab60test edx, edx
001fab62jne 0x1fab9a
001fab64test ebp, ebp
001fab66jne 0x1fad20
001fab6ctest eax, eax
001fab6elea r8, [rip+0x34162]
001fab75lea rcx, [rip+0x34bac]
001fab7ccmove r8, r12
001fab80
001fab80loc_1fab80:
001fab80mov rdi, [rip+0x17d959]
001fab87lea rdx, [rip+0x34177]
001fab8emov esi, 1
001fab93xor eax, eax
001fab95call fn_f41b0
001fab9a
001fab9aloc_1fab9a:
001fab9amov rdi, rbx
001fab9dcall caml_debuginfo_next
001faba2mov rbx, rax
001faba5test rax, rax
001faba8je 0x1fac4c
001fabae
001fabaeloc_1fabae:
001fabaemov rsi, r15
001fabb1mov rdi, rbx
001fabb4call caml_debuginfo_location
001fabb9mov ecx, [rsp]
001fabbcmov edx, [rsp+4]
001fabc0mov eax, [rsp+44]
001fabc4test ecx, ecx
001fabc6je 0x1fab60
001fabc8test edx, edx
001fabcaje 0x1fad40
001fabd0test ebp, ebp
001fabd2je 0x1facd0
001fabd8test eax, eax
001fabdalea rdx, [rip+0x340f6]
001fabe1lea rsi, [rip+0x34110]
001fabe8cmove rdx, r12
001fabec
001fabecloc_1fabec:
001fabecmov eax, [rsp+24]
001fabf0mov ecx, [rsp+32]
001fabf4mov r9, [rsp+8]
001fabf9mov r8, [rsp+16]
001fabfemov r10l, [rsp+28]
001fac03mov r11l, [rsp+36]
001fac08mov rdi, [rip+0x17d8d1]
001fac0fcmp eax, ecx
001fac11je 0x1facf8
001fac17sub rsp, 8
001fac1bpush r11
001fac1dpush r10
001fac1fpush rcx
001fac20mov rcx, rsi
001fac23mov esi, 1
001fac28push rax
001fac29xor eax, eax
001fac2bpush rdx
001fac2cmov rdx, r13
001fac2fcall fn_f41b0
001fac34mov rdi, rbx
001fac37add rsp, 48
001fac3bcall caml_debuginfo_next
001fac40mov rbx, rax
001fac43test rax, rax
001fac46jne 0x1fabae
001fac4c
001fac4cloc_1fac4c:
001fac4cmov rax, [rip+0x7b395]
001fac53add ebp, 1
001fac56movsxd rdx, ebp
001fac59mov rax, [rax]
001fac5dcmp rdx, [rax+184]
001fac64jl 0x1fab30
001fac6a
001fac6aloc_1fac6a:
001fac6acall caml_debug_info_status
001fac6fcmp eax, -2
001fac72je 0x1fadfe
001fac78cmp eax, -1
001fac7bjge 0x1fad79
001fac81cmp eax, -4
001fac84je 0x1faddc
001fac8acmp eax, -3
001fac8djne 0x1facac
001fac8fmov rcx, [rip+0x17d84a]
001fac96mov edx, 83
001fac9bmov esi, 1
001faca0lea rdi, [rip+0x34bf9]
001faca7call fn_f4700
001facac
001facacloc_1facac:
001facacmov rax, [rsp+56]
001facb1sub rax, [0x28]
001facbajne 0x1fae20
001facc0add rsp, 72
001facc4pop rbx
001facc5pop rbp
001facc6pop r12
001facc8pop r13
001faccapop r14
001facccpop r15
001facceret
001faccf
001faccf 90 .
001facd0
001facd0loc_1facd0:
001facd0mov rdx, r12
001facd3mov rsi, r14
001facd6test eax, eax
001facd8je 0x1fabec
001facdelea rdx, [rip+0x33ff2]
001face5lea rsi, [rip+0x34002]
001facecjmp 0x1fabec
001facf1
001facf1 0f 1f 80 00 00 00 00 .......
001facf8
001facf8loc_1facf8:
001facf8push r11
001facfamov rcx, rsi
001facfdmov esi, 1
001fad02push r10
001fad04push rax
001fad05xor eax, eax
001fad07push rdx
001fad08lea rdx, [rip+0x34a81]
001fad0fcall fn_f41b0
001fad14add rsp, 32
001fad18jmp 0x1fab9a
001fad1d
001fad1d 0f 1f 00 ...
001fad20
001fad20loc_1fad20:
001fad20test eax, eax
001fad22lea r8, [rip+0x33fae]
001fad29lea rcx, [rip+0x33fb2]
001fad30cmove r8, r12
001fad34jmp 0x1fab80
001fad39
001fad39 0f 1f 80 00 00 00 00 .......
001fad40
001fad40loc_1fad40:
001fad40test ebp, ebp
001fad42jne 0x1fad60
001fad44test eax, eax
001fad46lea rdx, [rip+0x33f8a]
001fad4dlea rsi, [rip+0x349d4]
001fad54cmove rdx, r12
001fad58jmp 0x1fabec
001fad5d
001fad5d 0f 1f 00 ...
001fad60
001fad60loc_1fad60:
001fad60test eax, eax
001fad62lea rdx, [rip+0x33f6e]
001fad69lea rsi, [rip+0x33f72]
001fad70cmove rdx, r12
001fad74jmp 0x1fabec
001fad79
001fad79loc_1fad79:
001fad79jne 0x1facac
001fad7fmov rcx, [rip+0x17d75a]
001fad86mov edx, 70
001fad8bmov esi, 1
001fad90lea rdi, [rip+0x34a69]
001fad97call fn_f4700
001fad9cjmp 0x1facac
001fada1
001fada1loc_1fada1:
001fada1mov rax, [rsp+56]
001fada6sub rax, [0x28]
001fadafjne 0x1fae20
001fadb1mov rcx, [rip+0x17d728]
001fadb8add rsp, 72
001fadbcmov edx, 63
001fadc1mov esi, 1
001fadc6pop rbx
001fadc7lea rdi, [rip+0x34982]
001fadcepop rbp
001fadcfpop r12
001fadd1pop r13
001fadd3pop r14
001fadd5pop r15
001fadd7jmp 0xf4700
001faddc
001faddcloc_1faddc:
001faddcmov rcx, [rip+0x17d6fd]
001fade3mov edx, 138
001fade8mov esi, 1
001fadedlea rdi, [rip+0x34b04]
001fadf4call fn_f4700
001fadf9jmp 0x1facac
001fadfe
001fadfeloc_1fadfe:
001fadfemov rcx, [rip+0x17d6db]
001fae05mov edx, 82
001fae0amov esi, 1
001fae0flea rdi, [rip+0x34a32]
001fae16call fn_f4700
001fae1bjmp 0x1facac
001fae20
001fae20loc_1fae20:
001fae20call fn_f4590
001faad0

001fae25
001fae25 // align 0x10

001fae30
001fae30caml_ml_debug_info_status:
001fae30sub rsp, 8
001fae34call caml_debug_info_status
001fae39add rsp, 8
001fae3dcdqe
001fae3flea rax, [rax+rax+1]
001fae44ret
001fae45db 0x44
001fae46add [rcx], al
001fae48ret
001fae30

001fae49
001fae49 // align 0x10

001fae50
001fae50caml_get_exception_raw_backtrace:
001fae50push r14
001fae52push r13
001fae54push r12
001fae56push rbp
001fae57push rbx
001fae58sub rsp, 4096
001fae5for [rsp], 0
001fae64sub rsp, 4096
001fae6bor [rsp], 0
001fae70sub rsp, 96
001fae74mov rax, [0x28]
001fae7dmov [rsp+8280], rax
001fae85mov rax, [rip+0x7b158]
001fae8cmov r14, [rax]
001fae90lea rax, [rsp+16]
001fae95mov [rsp+8], 1
001fae9emov rbp, [r14+160]
001faea5mov [r14+160], rax
001faeacmov eax, 1
001faeb1movq x0, rax
001faeb6cmp [r14+192], 0
001faebelea rax, [rsp+8]
001faec3punpcklqdq x0, x0
001faec7mov [rsp+16], rbp
001faeccmov [rsp+40], rax
001faed1movups [rsp+24], x0
001faed6je 0x1faef4
001faed8mov rsi, [r14+200]
001faedftest rsi, rsi
001faee2je 0x1faef4
001faee4mov rbx, [r14+184]
001faeebtest rbx, rbx
001faeeejne 0x1faf30
001faef0xor esi, esi
001faef2xor edi, edi
001faef4
001faef4loc_1faef4:
001faef4call caml_alloc
001faef9mov [r14+160], rbp
001faf00mov rdx, [rsp+8280]
001faf08sub rdx, [0x28]
001faf11jne 0x1faf95
001faf13add rsp, 8288
001faf1apop rbx
001faf1bpop rbp
001faf1cpop r12
001faf1epop r13
001faf20pop r14
001faf22ret
001faf23db 0x5d
001faf24pop r14
001faf26ret
001faf27
001faf27 66 0f 1f 84 00 00 00 00 00 f........
001faf30
001faf30loc_1faf30:
001faf30mov r12l, 1024
001faf36lea r13, [rsp+80]
001faf3bmov ecx, 8192
001faf40cmp ebx, r12l
001faf43mov rdi, r13
001faf46cmovle r12l, ebx
001faf4amovsxd r12, r12l
001faf4dlea rdx, [8*r12]
001faf55call fn_f42c0
001faf5axor esi, esi
001faf5cmov rdi, r12
001faf5fcall caml_alloc
001faf64mov [rsp+8], rax
001faf69test ebx, ebx
001faf6bjle 0x1faefd
001faf6dxor ebx, ebx
001faf6fnop
001faf70
001faf70loc_1faf70:
001faf70mov rsi, [r13+8*rbx]
001faf75lea rdi, [rax+8*rbx]
001faf79add rbx, 1
001faf7dor rsi, 1
001faf81call caml_initialize
001faf86mov rax, [rsp+8]
001faf8bcmp rbx, r12
001faf8ejl 0x1faf70
001faf90jmp 0x1faefd
001faf95
001faf95loc_1faf95:
001faf95call fn_f4590
001fae50

001faf9a
001faf9a // align 0x40

001fafc0
001fafc0caml_restore_raw_backtrace:
001fafc0mov rax, [rip+0x7b01d]
001fafc7push r12
001fafc9push rbp
001fafcapush rbx
001fafcbmov rbp, [rax]
001fafcfmov rbx, rsi
001fafd2mov rsi, rdi
001fafd5lea rax, [rbp+208]
001fafdcmov rdi, rax
001fafdfcall caml_modify_generational_global_root
001fafe4mov rax, [rbx-8]
001fafe8mov r12, rax
001fafebshr r12, 10
001fafefcmp rax, 0x1003ff
001faff5ja 0x1fb070
001faff7test r12, r12
001faffaje 0x1fb0a0
001fb000mov rdx, [rbp+200]
001fb007test rdx, rdx
001fb00aje 0x1fb082
001fb00cmov [rbp+184], r12
001fb013mov rax, [rbx]
001fb016and rax, -2
001fb01amov [rdx], rax
001fb01dcmp [rbp+184], 1
001fb025jle 0x1fb063
001fb027lea rsi, [rbx+8]
001fb02bmov eax, 1
001fb030nop [rax+rax]
001fb03bnop
001fb03cmov rdx, [rsi]
001fb03fmov rcx, [rbp+200]
001fb046add rsi, 8
001fb04aand rdx, -2
001fb04emov [rcx+8*rax], rdx
001fb052add rax, 1
001fb056cmp [rbp+184], rax
001fb05djg 0x1fb040
001fb05fpop rbx
001fb060mov eax, 1
001fb065pop rbp
001fb066pop r12
001fb068ret
001fb069db 0x5d
001fb06apop r12
001fb06cret
001fb06d
001fb06d 0f 1f 00 ...
001fb070
001fb070loc_1fb070:
001fb070mov rdx, [rbp+200]
001fb077mov r12l, 1024
001fb07dtest rdx, rdx
001fb080jne 0x1fb010
001fb082
001fb082loc_1fb082:
001fb082call caml_alloc_backtrace_buffer
001fb087cmp eax, -1
001fb08aje 0x1fb063
001fb08cmov rdx, [rbp+200]
001fb093jmp 0x1fb010
001fb098
001fb098 0f 1f 84 00 00 00 00 00 ........
001fb0a0
001fb0a0loc_1fb0a0:
001fb0a0mov [rbp+184], 0
001fb0abmov eax, 1
001fb0b0pop rbx
001fb0b1pop rbp
001fb0b2pop r12
001fb0b4ret
001fafc0

001fb0b5
001fb0b5 // align 0x10

001fb0c0
001fb0c0caml_convert_raw_backtrace_slot:
001fb0c0push rbx
001fb0c1mov rbx, rdi
001fb0c4call caml_debug_info_available
001fb0c9test eax, eax
001fb0cbje 0x1fb0de
001fb0cdand rbx, -2
001fb0d1mov rdi, rbx
001fb0d4pop rbx
001fb0d5jmp 0x1fa800
001fb0dalea rdi, [rip+0x348a3]
001fb0e1call caml_failwith
001fb0e6db 0xd6
001fb0e7db 0xb8
001fb0e8add [rax], al
001fb0c0

001fb0ea
001fb0ea // align 0x10

001fb0f0
001fb0f0caml_convert_raw_backtrace:
001fb0f0push r14
001fb0f2push r13
001fb0f4push r12
001fb0f6push rbp
001fb0f7push rbx
001fb0f8sub rsp, 176
001fb0ffmov [rsp+8], rdi
001fb104mov rax, [0x28]
001fb10dmov [rsp+168], rax
001fb115mov rax, [rip+0x7aec8]
001fb11cmov r13, [rax]
001fb120mov eax, 1
001fb125mov [rsp+24], 1
001fb12emovq x0, rax
001fb133lea rax, [rsp+8]
001fb138mov [rsp+56], rax
001fb13dlea rax, [rsp+32]
001fb142mov r14, [r13+160]
001fb149punpcklqdq x0, x0
001fb14dmov [rsp+96], rax
001fb152lea rax, [rsp+96]
001fb157mov [r13+160], rax
001fb15elea rax, [rsp+24]
001fb163mov [rsp+32], r14
001fb168mov [rsp+120], rax
001fb16dmovups [rsp+40], x0
001fb172movups [rsp+104], x0
001fb177call caml_debug_info_available
001fb17ctest eax, eax
001fb17eje 0x1fb297
001fb184xor ebx, ebx
001fb186xor ebp, ebp
001fb188nop [rax]
001fb18cmov rdx, [rsp+8]
001fb191mov rax, [rdx-8]
001fb195shr rax, 10
001fb199cmp rbp, rax
001fb19cjae 0x1fb1e0
001fb19elea rax, [rdx+8*rbp]
001fb1a2mov rdi, [rax]
001fb1a5and rdi, -2
001fb1a9call caml_debuginfo_extract
001fb1aemov rdi, rax
001fb1b1test rax, rax
001fb1b4je 0x1fb1d1
001fb1b6nop [rax+rax]
001fb1bccall caml_debuginfo_next
001fb1c1add rbx, 1
001fb1c5mov rdi, rax
001fb1c8test rax, rax
001fb1cbjne 0x1fb1c0
001fb1cdadd rbp, 1
001fb1d1
001fb1d1loc_1fb1d1:
001fb1d1jmp 0x1fb190
001fb1d3db 0xc5
001fb1d4add ebx, ebp
001fb1d6db 0xb9
001fb1d7
001fb1d7 66 0f 1f 84 00 00 00 00 00 f........
001fb1e0
001fb1e0loc_1fb1e0:
001fb1e0xor esi, esi
001fb1e2mov rdi, rbx
001fb1e5xor ebp, ebp
001fb1e7xor r12l, r12l
001fb1eacall caml_alloc
001fb1efmov [rsp+24], rax
001fb1f4nop [rax+rax]
001fb1ffnop
001fb200
001fb200loc_1fb200:
001fb200mov rdx, [rsp+8]
001fb205mov rax, [rdx-8]
001fb209shr rax, 10
001fb20dcmp r12, rax
001fb210jae 0x1fb268
001fb212lea rax, [rdx+8*r12]
001fb216mov rdi, [rax]
001fb219and rdi, -2
001fb21dcall caml_debuginfo_extract
001fb222mov rbx, rax
001fb225test rax, rax
001fb228je 0x1fb25d
001fb22anop [rax+rax]
001fb230
001fb230loc_1fb230:
001fb230mov rdi, rbx
001fb233call fn_1fa800
001fb238mov rsi, rax
001fb23bmov rax, [rsp+24]
001fb240lea rdi, [rax+8*rbp]
001fb244add rbp, 1
001fb248call caml_modify
001fb24dmov rdi, rbx
001fb250call caml_debuginfo_next
001fb255mov rbx, rax
001fb258test rax, rax
001fb25bjne 0x1fb230
001fb25d
001fb25dloc_1fb25d:
001fb25dadd r12, 1
001fb261jmp 0x1fb200
001fb263
001fb263 0f 1f 44 00 00 ..D..
001fb268
001fb268loc_1fb268:
001fb268mov [r13+160], r14
001fb26fmov rax, [rsp+24]
001fb274mov rdx, [rsp+168]
001fb27csub rdx, [0x28]
001fb285jne 0x1fb2a3
001fb287add rsp, 176
001fb28epop rbx
001fb28fpop rbp
001fb290pop r12
001fb292pop r13
001fb294pop r14
001fb296ret
001fb297
001fb297loc_1fb297:
001fb297lea rdi, [rip+0x346ea]
001fb29ecall caml_failwith
001fb2a3
001fb2a3loc_1fb2a3:
001fb2a3call fn_f4590
001fb0f0

001fb2a8
001fb2a8 // align 0x10

001fb2b0
001fb2b0caml_raw_backtrace_length:
001fb2b0mov rax, [rdi-8]
001fb2b4shr rax, 10
001fb2b8lea rax, [rax+rax+1]
001fb2bdret
001fb2bedb 0x44
001fb2bfadd [rcx], al
001fb2c1ret
001fb2b0

001fb2c2
001fb2c2 // align 0x10

001fb2d0
001fb2d0caml_raw_backtrace_slot:
001fb2d0sub rsp, 8
001fb2d4mov rax, [rdi-8]
001fb2d8sar rsi, 1
001fb2dbshr rax, 10
001fb2dfcmp rsi, rax
001fb2e2jae 0x1fb301
001fb2e4lea rax, [rdi+8*rsi]
001fb2e8mov rdi, [rax]
001fb2eband rdi, -2
001fb2efcall caml_debuginfo_extract
001fb2f4add rsp, 8
001fb2f8or rax, 1
001fb2fcret
001fb2fdlea rdi, [rip+0x346a0]
001fb304call caml_invalid_argument
001fb309db 0xf3
001fb30amov dh, 0
001fb30cdb 0x00
001fb2d0

001fb30d
001fb30d // align 0x10

001fb310
001fb310caml_raw_backtrace_next_slot:
001fb310push rbp
001fb311push rbx
001fb312sub rsp, 184
001fb319mov [rsp+8], rdi
001fb31eand rdi, -2
001fb322mov rax, [0x28]
001fb32bmov [rsp+168], rax
001fb333mov rax, [rip+0x7acaa]
001fb33amov rbx, [rax]
001fb33emov eax, 1
001fb343mov [rsp+24], 1
001fb34cmovq x0, rax
001fb351lea rax, [rsp+8]
001fb356mov [rsp+56], rax
001fb35blea rax, [rsp+32]
001fb360mov rbp, [rbx+160]
001fb367punpcklqdq x0, x0
001fb36bmov [rsp+96], rax
001fb370lea rax, [rsp+96]
001fb375mov [rbx+160], rax
001fb37clea rax, [rsp+24]
001fb381mov [rsp+32], rbp
001fb386mov [rsp+120], rax
001fb38bmovups [rsp+40], x0
001fb390movups [rsp+104], x0
001fb395call caml_debuginfo_next
001fb39amov rdi, rax
001fb39dmov eax, 1
001fb3a2test rdi, rdi
001fb3a5je 0x1fb3b4
001fb3a7or rdi, 1
001fb3abcall caml_alloc_some
001fb3b0mov [rbx+160], rbp
001fb3b7mov rdx, [rsp+168]
001fb3bfsub rdx, [0x28]
001fb3c8jne 0x1fb3d8
001fb3caadd rsp, 184
001fb3d1pop rbx
001fb3d2pop rbp
001fb3d3ret
001fb3d4call fn_f4590
001fb3d9db 0xb3
001fb3daxchg eax, ecx
001fb3dbout dx, eax
001fb3dcdb 0xff
001fb310

001fb3dd
001fb3dd // align 0x10

001fb3e0
001fb3e0caml_get_exception_backtrace:
001fb3e0push r13
001fb3e2push r12
001fb3e4push rbp
001fb3e5push rbx
001fb3e6sub rsp, 120
001fb3eamovdqa x0, [rip+0x2ecea]
001fb3f2mov rax, [0x28]
001fb3fbmov [rsp+104], rax
001fb400mov rax, [rip+0x7abdd]
001fb407mov rbp, [rax]
001fb40blea rax, [rsp+32]
001fb410movups [rsp+40], x0
001fb415mov [rsp+8], 1
001fb41emov [rsp+16], 1
001fb427mov r12, [rbp+160]
001fb42emov [rbp+160], rax
001fb435lea rax, [rsp+8]
001fb43amovq x0, rax
001fb43flea rax, [rsp+16]
001fb444mov [rsp+32], r12
001fb449mov [rsp+24], 1
001fb452movq x1, rax
001fb457lea rax, [rsp+24]
001fb45cpunpcklqdq x0, x1
001fb460mov [rsp+72], rax
001fb465movups [rsp+56], x0
001fb46acall caml_debug_info_available
001fb46fmov edx, eax
001fb471mov eax, 1
001fb476test edx, edx
001fb478jne 0x1fb4a8
001fb47amov [rbp+160], r12
001fb481mov rdx, [rsp+104]
001fb486sub rdx, [0x28]
001fb48fjne 0x1fb524
001fb495add rsp, 120
001fb499pop rbx
001fb49apop rbp
001fb49bpop r12
001fb49dpop r13
001fb49fret
001fb4a0db 0x5c
001fb4a1pop r13
001fb4a3ret
001fb4a4
001fb4a4 0f 1f 40 00 ..@.
001fb4a8
001fb4a8loc_1fb4a8:
001fb4a8mov edi, 1
001fb4adxor r13l, r13l
001fb4b0call caml_get_exception_raw_backtrace
001fb4b5xor esi, esi
001fb4b7mov [rsp+24], rax
001fb4bcmov rdi, [rax-8]
001fb4c0shr rdi, 10
001fb4c4call caml_alloc
001fb4c9mov [rsp+8], rax
001fb4cejmp 0x1fb503
001fb4d0
001fb4d0loc_1fb4d0:
001fb4d0lea rbx, [8*r13]
001fb4d8add r13, 1
001fb4dcadd rax, rbx
001fb4dfmov rdi, [rax]
001fb4e2and rdi, -2
001fb4e6call caml_debuginfo_extract
001fb4ebmov rdi, rax
001fb4eecall fn_1fa800
001fb4f3add rbx, [rsp+8]
001fb4f8mov rsi, rax
001fb4fbmov rdi, rbx
001fb4fecall caml_modify
001fb503
001fb503loc_1fb503:
001fb503mov rax, [rsp+24]
001fb508mov rdx, [rax-8]
001fb50cshr rdx, 10
001fb510cmp r13, rdx
001fb513jb 0x1fb4d0
001fb515mov rdi, [rsp+8]
001fb51acall caml_alloc_some
001fb51fjmp 0x1fb47e
001fb524
001fb524loc_1fb524:
001fb524call fn_f4590
001fb3e0

001fb529
001fb529 // align 0x20

001fb540
001fb540caml_ba_compare:
001fb540mov r8, rsi
001fb543mov r9, [rdi+24]
001fb547mov rax, [rsi+24]
001fb54blea rcx, [rdi+8]
001fb54flea rsi, [rsi+8]
001fb553mov r10, rdi
001fb556mov rdx, r9
001fb559and eax, 511
001fb55eand edx, 511
001fb564cmp rdx, rax
001fb567je 0x1fb570
001fb569sub eax, edx
001fb56bret
001fb56cmov rdi, [rcx+8]
001fb570
001fb570loc_1fb570:
001fb570mov rax, [rsi+8]
001fb574cmp rdi, rax
001fb577jne 0x1fb5c8
001fb579xor edx, edx
001fb57bxor eax, eax
001fb57dtest rdi, rdi
001fb580jg 0x1fb5ab
001fb582jmp 0x1fb9e3
001fb587nop [rax+rax]
001fb592nop [rax+rax]
001fb59cadd edx, 1
001fb59fmovsxd rax, edx
001fb5a2cmp rdi, rax
001fb5a5jle 0x1fb5d0
001fb5a7mov r11, [rsi+8*rax+32]
001fb5accmp [rcx+8*rax+32], r11
001fb5b1je 0x1fb5a0
001fb5b3jl 0x1fb679
001fb5b9mov eax, 1
001fb5beret
001fb5bfnop [rax+rax]
001fb5c4sub eax, edi
001fb5c6ret
001fb5c7nop [rax+rax]
001fb5ccmov esi, 1
001fb5d1xor edx, edx
001fb5d3xor eax, eax
001fb5d5nop [rax]
001fb5dcadd edx, 1
001fb5dfimul rsi, [rcx+8*rax+32]
001fb5e5movsxd rax, edx
001fb5e8cmp rdi, rax
001fb5ebjg 0x1fb5e0
001fb5edmovzx eax, r9b
001fb5f1cmp r9b, 13
001fb5f5ja 0xf4880
001fb5fblea rdx, [rip+0x3606e]
001fb602movsxd rax, [rdx+4*rax]
001fb606add rax, rdx
001fb609jmp rax
001fb60cadd rsi, rsi
001fb60fmov rcx, [r10+8]
001fb613mov rdx, [r8+8]
001fb617test rsi, rsi
001fb61aje 0x1fb9e0
001fb620mov rax, [rip+0x7a9bd]
001fb627mov rdi, [rax]
001fb62bxor eax, eax
001fb62djmp 0x1fb66a
001fb62fnop [rax+rax]
001fb634comiss x0, x1
001fb637ja 0x1fb5bd
001fb639ucomiss x0, x1
001fb63cjp 0x1fb644
001fb63eje 0x1fb65d
001fb640mov [rdi+216], 1
001fb64bucomiss x0, x0
001fb64ejnp 0x1fb5bd
001fb654ucomiss x1, x1
001fb657jnp 0x1fb679
001fb659add rax, 1
001fb65d
001fb65dloc_1fb65d:
001fb65dcmp rax, rsi
001fb660je 0x1fb9e0
001fb666movss x0, [rcx+4*rax]
001fb66bmovss x1, [rdx+4*rax]
001fb670comiss x1, x0
001fb673jbe 0x1fb638
001fb675mov eax, -1
001fb67aret
001fb67bmov rdx, [r10+8]
001fb67fmov rcx, [r8+8]
001fb683test rsi, rsi
001fb686je 0x1fb9e0
001fb68cxor eax, eax
001fb68ejmp 0x1fb6ab
001fb690
001fb690loc_1fb690:
001fb690nop [rax]
001fb694jg 0x1fb5bd
001fb69aadd rax, 1
001fb69ecmp rsi, rax
001fb6a1je 0x1fb9e0
001fb6a7mov rdi, [rcx+8*rax]
001fb6ab
001fb6abloc_1fb6ab:
001fb6abcmp [rdx+8*rax], rdi
001fb6afjge 0x1fb698
001fb6b1jmp 0x1fb679
001fb6b3add rsi, rsi
001fb6b6mov rcx, [r10+8]
001fb6bamov rdx, [r8+8]
001fb6betest rsi, rsi
001fb6c1je 0x1fb9e0
001fb6c7mov rax, [rip+0x7a916]
001fb6cemov rdi, [rax]
001fb6d2xor eax, eax
001fb6d4jmp 0x1fb71e
001fb6d6nop [rax+rax]
001fb6dccomisd x0, x1
001fb6e0
001fb6e0loc_1fb6e0:
001fb6e0ja 0x1fb5bd
001fb6e6ucomisd x0, x1
001fb6eajp 0x1fb6f2
001fb6ecje 0x1fb711
001fb6eemov [rdi+216], 1
001fb6f9ucomisd x0, x0
001fb6fdjnp 0x1fb5bd
001fb703ucomisd x1, x1
001fb707jnp 0x1fb679
001fb70dadd rax, 1
001fb711
001fb711loc_1fb711:
001fb711cmp rax, rsi
001fb714je 0x1fb9e0
001fb71amovsd_xmm x0, [rcx+8*rax]
001fb71fmovsd_xmm x1, [rdx+8*rax]
001fb724comisd x1, x0
001fb728jbe 0x1fb6e0
001fb72ajmp 0x1fb679
001fb72fmov rdx, [r10+8]
001fb733mov rcx, [r8+8]
001fb737test rsi, rsi
001fb73aje 0x1fb9e0
001fb740xor eax, eax
001fb742jmp 0x1fb763
001fb744
001fb744loc_1fb744:
001fb744nop [rax+rax]
001fb74cjg 0x1fb5bd
001fb752add rax, 1
001fb756cmp rsi, rax
001fb759je 0x1fb9e0
001fb75fmov rdi, [rcx+8*rax]
001fb763
001fb763loc_1fb763:
001fb763cmp [rdx+8*rax], rdi
001fb767jge 0x1fb750
001fb769jmp 0x1fb679
001fb76emov rdx, [r10+8]
001fb772mov rcx, [r8+8]
001fb776test rsi, rsi
001fb779je 0x1fb9e0
001fb77fxor eax, eax
001fb781jmp 0x1fb7a3
001fb783
001fb783loc_1fb783:
001fb783nop [rax+rax]
001fb78cjg 0x1fb5bd
001fb792add rax, 1
001fb796cmp rsi, rax
001fb799je 0x1fb9e0
001fb79fmov edi, [rcx+4*rax]
001fb7a2cmp [rdx+4*rax], edi
001fb7a5jge 0x1fb790
001fb7a7jmp 0x1fb679
001fb7acmov rdi, [r10+8]
001fb7b0mov r8, [r8+8]
001fb7b4test rsi, rsi
001fb7b7je 0x1fb9e0
001fb7bdxor eax, eax
001fb7bfjmp 0x1fb7de
001fb7c1
001fb7c1loc_1fb7c1:
001fb7c1nop [rax]
001fb7c4cmp cx, dx
001fb7c7jb 0x1fb5bd
001fb7cdadd rax, 1
001fb7d1cmp rsi, rax
001fb7d4je 0x1fb9e0
001fb7damovzx edx, [rdi+2*rax]
001fb7de
001fb7deloc_1fb7de:
001fb7demovzx ecx, [r8+2*rax]
001fb7e3cmp dx, cx
001fb7e6jae 0x1fb7c8
001fb7e8jmp 0x1fb679
001fb7edmov rdx, [r10+8]
001fb7f1mov rcx, [r8+8]
001fb7f5test rsi, rsi
001fb7f8je 0x1fb9e0
001fb7fexor eax, eax
001fb800jmp 0x1fb823
001fb802
001fb802loc_1fb802:
001fb802nop [rax+rax]
001fb80cjg 0x1fb5bd
001fb812add rax, 1
001fb816cmp rsi, rax
001fb819je 0x1fb9e0
001fb81fmovzx edi, [rcx+2*rax]
001fb823
001fb823loc_1fb823:
001fb823cmp [rdx+2*rax], di
001fb827jge 0x1fb810
001fb829jmp 0x1fb679
001fb82emov rdi, [r10+8]
001fb832mov r8, [r8+8]
001fb836test rsi, rsi
001fb839je 0x1fb9e0
001fb83fxor eax, eax
001fb841jmp 0x1fb865
001fb843
001fb843loc_1fb843:
001fb843nop [rax+rax]
001fb84ccmp cl, dl
001fb84ejb 0x1fb5bd
001fb854add rax, 1
001fb858cmp rsi, rax
001fb85bje 0x1fb9e0
001fb861movzx edx, [rdi+rax]
001fb865
001fb865loc_1fb865:
001fb865movzx ecx, [r8+rax]
001fb86acmp dl, cl
001fb86cjae 0x1fb850
001fb86ejmp 0x1fb679
001fb873mov rdx, [r10+8]
001fb877mov rcx, [r8+8]
001fb87btest rsi, rsi
001fb87eje 0x1fb9e0
001fb884xor eax, eax
001fb886jmp 0x1fb8a3
001fb888
001fb888loc_1fb888:
001fb888nop [rax]
001fb88cjg 0x1fb5bd
001fb892add rax, 1
001fb896cmp rsi, rax
001fb899je 0x1fb9e0
001fb89fmovzx edi, [rcx+rax]
001fb8a3
001fb8a3loc_1fb8a3:
001fb8a3cmp [rdx+rax], dil
001fb8a7jge 0x1fb890
001fb8a9jmp 0x1fb679
001fb8aemov rdi, [r10+8]
001fb8b2mov r8, [r8+8]
001fb8b6test rsi, rsi
001fb8b9je 0x1fb9e0
001fb8bfxor eax, eax
001fb8c1jmp 0x1fb8e5
001fb8c3
001fb8c3loc_1fb8c3:
001fb8c3nop [rax+rax]
001fb8cccmp cl, dl
001fb8cejb 0x1fb5bd
001fb8d4add rax, 1
001fb8d8cmp rsi, rax
001fb8dbje 0x1fb9e0
001fb8e1movzx edx, [rdi+rax]
001fb8e5
001fb8e5loc_1fb8e5:
001fb8e5movzx ecx, [r8+rax]
001fb8eacmp dl, cl
001fb8ecjae 0x1fb8d0
001fb8eejmp 0x1fb679
001fb8f3mov r9, [r10+8]
001fb8f7mov rdi, [r8+8]
001fb8fbtest rsi, rsi
001fb8feje 0x1fb9e0
001fb904mov rax, [rip+0x7a6d9]
001fb90bmovss x2, [rip+0x2e6ed]
001fb913xor ecx, ecx
001fb915mov r8, [rax]
001fb919jmp 0x1fb95a
001fb91bnop
001fb91ccomiss x0, x1
001fb91fja 0x1fb5bd
001fb925ucomiss x1, x0
001fb928jp 0x1fb930
001fb92aje 0x1fb94d
001fb92cmov [r8+216], 1
001fb937ucomiss x0, x0
001fb93ajnp 0x1fb5bd
001fb940ucomiss x1, x1
001fb943jnp 0x1fb679
001fb949add rcx, 1
001fb94d
001fb94dloc_1fb94d:
001fb94dcmp rsi, rcx
001fb950je 0x1fb9e0
001fb956movzx eax, [r9+2*rcx]
001fb95bmov edx, eax
001fb95dshl edx, 13
001fb960and edx, 0xfffe000
001fb966movd x0, edx
001fb96amulss x0, x2
001fb96ecomiss x0, [rip+0x2e68f]
001fb975movd edx, x0
001fb979jb 0x1fb985
001fb97bor edx, 0x7f800000
001fb981shl eax, 16
001fb984and eax, 0xffffffff80000000
001fb989or eax, edx
001fb98bmovd x0, eax
001fb98fmovzx eax, [rdi+2*rcx]
001fb993mov edx, eax
001fb995shl edx, 13
001fb998and edx, 0xfffe000
001fb99emovd x1, edx
001fb9a2mulss x1, x2
001fb9a6comiss x1, [rip+0x2e657]
001fb9admovd edx, x1
001fb9b1jb 0x1fb9bd
001fb9b3or edx, 0x7f800000
001fb9b9shl eax, 16
001fb9bcand eax, 0xffffffff80000000
001fb9c1or eax, edx
001fb9c3movd x1, eax
001fb9c7comiss x1, x0
001fb9cajbe 0x1fb920
001fb9d0jmp 0x1fb679
001fb9d5nop [rax]
001fb9dcxor eax, eax
001fb9deret
001fb9dfmovzx eax, r9b
001fb9e3
001fb9e3loc_1fb9e3:
001fb9e3cmp r9b, 13
001fb9e7ja 0xf4880
001fb9edlea rdx, [rip+0x35cb4]
001fb9f4movsxd rax, [rdx+4*rax]
001fb9f8add rax, rdx
001fb9fbjmp rax
001fb9femov rdx, [r10+8]
001fba02mov rcx, [r8+8]
001fba06mov esi, 1
001fba0bjmp 0x1fb690
001fba10mov rdx, [r10+8]
001fba14mov rcx, [r8+8]
001fba18mov esi, 1
001fba1djmp 0x1fb744
001fba22mov rdx, [r10+8]
001fba26mov rcx, [r8+8]
001fba2amov esi, 1
001fba2fjmp 0x1fb783
001fba34mov rdi, [r10+8]
001fba38mov r8, [r8+8]
001fba3cmov esi, 1
001fba41jmp 0x1fb7c1
001fba46mov rdx, [r10+8]
001fba4amov rcx, [r8+8]
001fba4emov esi, 1
001fba53jmp 0x1fb802
001fba58mov rdi, [r10+8]
001fba5cmov r8, [r8+8]
001fba60mov esi, 1
001fba65jmp 0x1fb843
001fba6amov rdx, [r10+8]
001fba6emov rcx, [r8+8]
001fba72mov esi, 1
001fba77jmp 0x1fb888
001fba7cmov rcx, [r10+8]
001fba80mov rdx, [r8+8]
001fba84mov esi, 1
001fba89jmp 0x1fb6cb
001fba8emov rcx, [r10+8]
001fba92mov rdx, [r8+8]
001fba96mov esi, 1
001fba9bjmp 0x1fb624
001fbaa0mov r9, [r10+8]
001fbaa4mov rdi, [r8+8]
001fbaa8mov esi, 1
001fbaadjmp 0x1fb908
001fbab2mov rdi, [r10+8]
001fbab6mov r8, [r8+8]
001fbabamov esi, 1
001fbabfjmp 0x1fb8c3
001fbac4mov rcx, [r10+8]
001fbac8mov rdx, [r8+8]
001fbaccmov esi, 2
001fbad1jmp 0x1fb6cb
001fbad6mov rcx, [r10+8]
001fbadamov rdx, [r8+8]
001fbademov esi, 2
001fbae3jmp 0x1fb624
001fbae8db 0x38
001fbae9sti
001fbaeadb 0xff
001fbaebdb 0xff
001fb540

001fbaec
001fbaec // align 0x20

001fbb00
001fbb00caml_ba_hash:
001fbb00push r13
001fbb02lea rsi, [rdi+8]
001fbb06mov r8, rdi
001fbb09push r12
001fbb0bpush rbp
001fbb0cpush rbx
001fbb0dsub rsp, 8
001fbb11mov rdi, [rsi+8]
001fbb15test rdi, rdi
001fbb18jle 0x1fbdf0
001fbb1exor edx, edx
001fbb20mov ecx, 1
001fbb25xor eax, eax
001fbb27nop [rax+rax]
001fbb32nop [rax+rax]
001fbb3cadd edx, 1
001fbb3fimul rcx, [rsi+8*rax+32]
001fbb45movsxd rax, edx
001fbb48cmp rax, rdi
001fbb4bjl 0x1fbb40
001fbb4dmovzx eax, [rsi+16]
001fbb51cmp eax, 13
001fbb54ja 0xf4882
001fbb5alea rdx, [rip+0x35b7f]
001fbb61movsxd rax, [rdx+4*rax]
001fbb65add rax, rdx
001fbb68jmp rax
001fbb6bdb 0xd0
001fbb6cjmp rax
001fbb6f
001fbb6f 90 .
001fbb70mov ebp, 256
001fbb75mov rbx, [r8+8]
001fbb79cmp rcx, rbp
001fbb7ccmovle rbp, rcx
001fbb80xor edi, edi
001fbb82cmp rcx, 3
001fbb86jle 0x1fbbb6
001fbb88mov r12l, 4
001fbb8esub r12, rbx
001fbb91nop [rax+rax]
001fbb9cnop [rax]
001fbba0
001fbba0loc_1fbba0:
001fbba0mov esi, [rbx]
001fbba2add rbx, 4
001fbba6call caml_hash_mix_uint32
001fbbabmov edi, eax
001fbbadlea rax, [rbx+r12]
001fbbb1cmp rbp, rax
001fbbb4jge 0x1fbba0
001fbbb6
001fbbb6loc_1fbbb6:
001fbbb6and ebp, 3
001fbbb9cmp rbp, 2
001fbbbdje 0x1fbec8
001fbbc3cmp rbp, 3
001fbbc7je 0x1fbeb3
001fbbcdcmp rbp, 1
001fbbd1je 0x1fbe15
001fbbd7nop [rax+rax]
001fbbe0
001fbbe0loc_1fbbe0:
001fbbe0mov eax, edi
001fbbe2
001fbbe2loc_1fbbe2:
001fbbe2add rsp, 8
001fbbe6pop rbx
001fbbe7pop rbp
001fbbe8pop r12
001fbbeapop r13
001fbbecret
001fbbed
001fbbed 0f 1f 00 ...
001fbbf0mov r12l, 128
001fbbf6mov rbx, [r8+8]
001fbbfacmp rcx, r12
001fbbfdcmovle r12, rcx
001fbc01cmp rcx, 1
001fbc05jle 0x1fbecc
001fbc0bmov ebp, 2
001fbc10xor edi, edi
001fbc12nop [rax+rax]
001fbc1dnop [rax]
001fbc20
001fbc20loc_1fbc20:
001fbc20mov esi, [rbx]
001fbc22add rbp, 2
001fbc26add rbx, 4
001fbc2acall caml_hash_mix_uint32
001fbc2fmov edi, eax
001fbc31cmp r12, rbp
001fbc34jge 0x1fbc20
001fbc36
001fbc36loc_1fbc36:
001fbc36and r12l, 1
001fbc3aje 0x1fbbe0
001fbc3c
001fbc3cloc_1fbc3c:
001fbc3cmovzx esi, [rbx]
001fbc3fcall caml_hash_mix_uint32
001fbc44mov eax, eax
001fbc46jmp 0x1fbbe2
001fbc48
001fbc48 0f 1f 84 00 00 00 00 00 ........
001fbc50mov ebp, 64
001fbc55mov r12, [r8+8]
001fbc59cmp rcx, rbp
001fbc5ccmovle rbp, rcx
001fbc60test rcx, rcx
001fbc63jle 0x1fbe0e
001fbc69
001fbc69loc_1fbc69:
001fbc69xor ebx, ebx
001fbc6bxor edi, edi
001fbc6dnop [rax]
001fbc70
001fbc70loc_1fbc70:
001fbc70mov rsi, [r12+8*rbx]
001fbc74add rbx, 1
001fbc78call caml_hash_mix_intnat
001fbc7dmov edi, eax
001fbc7fcmp rbp, rbx
001fbc82jg 0x1fbc70
001fbc84jmp 0x1fbbe0
001fbc89add rcx, rcx
001fbc8cmov ebp, 32
001fbc91mov r12, [r8+8]
001fbc95cmp rcx, rbp
001fbc98cmovle rbp, rcx
001fbc9ctest rcx, rcx
001fbc9fjle 0x1fbe0e
001fbca5
001fbca5loc_1fbca5:
001fbca5xor ebx, ebx
001fbca7xor edi, edi
001fbca9nop [rax]
001fbcb0
001fbcb0loc_1fbcb0:
001fbcb0movsd_xmm x0, [r12+8*rbx]
001fbcb6add rbx, 1
001fbcbacall caml_hash_mix_double
001fbcbfmov edi, eax
001fbcc1cmp rbp, rbx
001fbcc4jg 0x1fbcb0
001fbcc6jmp 0x1fbbe0
001fbccbadd rcx, rcx
001fbccemov ebp, 64
001fbcd3mov r12, [r8+8]
001fbcd7cmp rcx, rbp
001fbcdacmovle rbp, rcx
001fbcdetest rcx, rcx
001fbce1jle 0x1fbe0e
001fbce7
001fbce7loc_1fbce7:
001fbce7xor ebx, ebx
001fbce9xor edi, edi
001fbcebnop [rax+rax]
001fbcf0
001fbcf0loc_1fbcf0:
001fbcf0movss x0, [r12+4*rbx]
001fbcf6add rbx, 1
001fbcfacall caml_hash_mix_float
001fbcffmov edi, eax
001fbd01cmp rbp, rbx
001fbd04jg 0x1fbcf0
001fbd06jmp 0x1fbbe0
001fbd0bmov ebp, 128
001fbd10mov r12, [r8+8]
001fbd14cmp rcx, rbp
001fbd17cmovle rbp, rcx
001fbd1btest rcx, rcx
001fbd1ejle 0x1fbe0e
001fbd24
001fbd24loc_1fbd24:
001fbd24xor ebx, ebx
001fbd26xor edi, edi
001fbd28xor r13l, r13l
001fbd2bjmp 0x1fbd4c
001fbd2d
001fbd2d 0f 1f 00 ...
001fbd30
001fbd30loc_1fbd30:
001fbd30cmp ax, -32768
001fbd34cmove esi, r13l
001fbd38
001fbd38loc_1fbd38:
001fbd38call caml_hash_mix_uint32
001fbd3dadd rbx, 1
001fbd41mov edi, eax
001fbd43cmp rbp, rbx
001fbd46jle 0x1fbbe0
001fbd4c
001fbd4cloc_1fbd4c:
001fbd4cmovzx eax, [r12+2*rbx]
001fbd51mov edx, eax
001fbd53movzx esi, ax
001fbd56not edx
001fbd58and dh, 124
001fbd5bjne 0x1fbd30
001fbd5dtest ax, 1023
001fbd61mov eax, 31745
001fbd66cmovne esi, eax
001fbd69jmp 0x1fbd38
001fbd6bmov ebp, 64
001fbd70mov r12, [r8+8]
001fbd74cmp rcx, rbp
001fbd77cmovle rbp, rcx
001fbd7btest rcx, rcx
001fbd7ejle 0x1fbe0e
001fbd84
001fbd84loc_1fbd84:
001fbd84xor ebx, ebx
001fbd86xor edi, edi
001fbd88nop [rax+rax]
001fbd90
001fbd90loc_1fbd90:
001fbd90mov esi, [r12+4*rbx]
001fbd94add rbx, 1
001fbd98call caml_hash_mix_uint32
001fbd9dmov edi, eax
001fbd9fcmp rbp, rbx
001fbda2jg 0x1fbd90
001fbda4jmp 0x1fbbe0
001fbda9mov ebp, 32
001fbdaemov r12, [r8+8]
001fbdb2cmp rcx, rbp
001fbdb5cmovle rbp, rcx
001fbdb9test rcx, rcx
001fbdbcjle 0x1fbe0e
001fbdbe
001fbdbeloc_1fbdbe:
001fbdbexor ebx, ebx
001fbdc0xor edi, edi
001fbdc2nop [rax+rax]
001fbdcdnop [rax]
001fbdd0
001fbdd0loc_1fbdd0:
001fbdd0mov rsi, [r12+8*rbx]
001fbdd4add rbx, 1
001fbdd8call caml_hash_mix_int64
001fbdddmov edi, eax
001fbddfcmp rbp, rbx
001fbde2jg 0x1fbdd0
001fbde4jmp 0x1fbbe0
001fbde9
001fbde9 0f 1f 80 00 00 00 00 .......
001fbdf0
001fbdf0loc_1fbdf0:
001fbdf0movzx eax, [rsi+16]
001fbdf4cmp eax, 13
001fbdf7ja 0xf4882
001fbdfdlea rdx, [rip+0x35918]
001fbe04movsxd rax, [rdx+4*rax]
001fbe08add rax, rdx
001fbe0bjmp rax
001fbe0e
001fbe0eloc_1fbe0e:
001fbe0exor eax, eax
001fbe10jmp 0x1fbbe2
001fbe15
001fbe15loc_1fbe15:
001fbe15xor eax, eax
001fbe17
001fbe17loc_1fbe17:
001fbe17movzx esi, [rbx]
001fbe1aor esi, eax
001fbe1ccall caml_hash_mix_uint32
001fbe21mov eax, eax
001fbe23jmp 0x1fbbe2
001fbe28mov rbx, [r8+8]
001fbe2cmov ebp, 1
001fbe31xor edi, edi
001fbe33jmp 0x1fbbb6
001fbe38mov r12, [r8+8]
001fbe3cmov ebp, 1
001fbe41jmp 0x1fbc69
001fbe46mov rbx, [r8+8]
001fbe4axor edi, edi
001fbe4cjmp 0x1fbc3c
001fbe51mov r12, [r8+8]
001fbe55mov ebp, 1
001fbe5ajmp 0x1fbd84
001fbe5fmov r12, [r8+8]
001fbe63mov ebp, 1
001fbe68jmp 0x1fbca5
001fbe6dmov r12, [r8+8]
001fbe71mov ebp, 1
001fbe76jmp 0x1fbdbe
001fbe7bmov r12, [r8+8]
001fbe7fmov ebp, 2
001fbe84jmp 0x1fbca5
001fbe89mov r12, [r8+8]
001fbe8dmov ebp, 2
001fbe92jmp 0x1fbce7
001fbe97mov r12, [r8+8]
001fbe9bmov ebp, 1
001fbea0jmp 0x1fbce7
001fbea5mov r12, [r8+8]
001fbea9mov ebp, 1
001fbeaejmp 0x1fbd24
001fbeb3
001fbeb3loc_1fbeb3:
001fbeb3movzx edx, [rbx+2]
001fbeb7shl edx, 16
001fbeba
001fbebaloc_1fbeba:
001fbebamovzx eax, [rbx+1]
001fbebeshl eax, 8
001fbec1or eax, edx
001fbec3jmp 0x1fbe17
001fbec8
001fbec8loc_1fbec8:
001fbec8xor edx, edx
001fbecajmp 0x1fbeba
001fbecc
001fbeccloc_1fbecc:
001fbeccxor edi, edi
001fbecejmp 0x1fbc36
001fbb00