Similarity

00211318
00211318 // align 0x10

00211320
00211320caml_ml_pos_in_64:
00211320push r13
00211322push r12
00211324push rbp
00211325push rbx
00211326sub rsp, 104
0021132amov [rsp+8], rdi
0021132fmov rax, [0x28]
00211338mov [rsp+88], rax
0021133dmov rax, [rip+0x64ca0]
00211344mov rbp, [rax]
00211348lea rax, [rsp+16]
0021134dmov r12, [rbp+160]
00211354mov [rbp+160], rax
0021135bmov eax, 1
00211360movq x0, rax
00211365lea rax, [rsp+8]
0021136apunpcklqdq x0, x0
0021136emov [rsp+16], r12
00211373mov [rsp+40], rax
00211378movups [rsp+24], x0
0021137dmov rbx, [rdi+8]
00211381lea r13, [rbx+40]
00211385mov rdi, r13
00211388call fn_f4780
0021138dcmp eax, 16
00211390je 0x2113f8
00211392test eax, eax
00211394jne 0x211415
00211396mov [0xfffffffffffffff0], rbx
0021139fmov rax, [rbx+32]
002113a3mov rdi, r13
002113a6sub rax, [rbx+24]
002113aamov rbx, [rbx+8]
002113aesub rbx, rax
002113b1call fn_f47c0
002113b6test eax, eax
002113b8jne 0x211407
002113bamov [0xfffffffffffffff0], 0
002113c7mov rdi, rbx
002113cacall caml_copy_int64
002113cfmov [rbp+160], r12
002113d6mov rdx, [rsp+88]
002113dbsub rdx, [0x28]
002113e4jne 0x211402
002113e6add rsp, 104
002113eapop rbx
002113ebpop rbp
002113ecpop r12
002113eepop r13
002113f0ret
002113f1db 0x5c
002113f2pop r13
002113f4ret
002113f5
002113f5 0f 1f 00 ...
002113f8
002113f8loc_2113f8:
002113f8mov rdi, r13
002113fbcall caml_plat_lock_non_blocking_actual
00211400jmp 0x21139a
00211402
00211402loc_211402:
00211402call fn_f4590
00211407
00211407loc_211407:
00211407mov esi, eax
00211409lea rdi, [rip+0x1e10a]
00211410call caml_plat_fatal_error
00211415
00211415loc_211415:
00211415mov esi, eax
00211417lea rdi, [rip+0x1e109]
0021141ecall caml_plat_fatal_error
00211320

00211423
00211423 // align 0x10

00211430
00211430caml_ml_input_scan_line:
00211430push r13
00211432push r12
00211434push rbp
00211435push rbx
00211436sub rsp, 104
0021143amov [rsp+8], rdi
0021143fmov rax, [0x28]
00211448mov [rsp+88], rax
0021144dmov rax, [rip+0x64b90]
00211454mov rbx, [rax]
00211458lea rax, [rsp+16]
0021145dmov rbp, [rbx+160]
00211464mov [rbx+160], rax
0021146bmov eax, 1
00211470movq x0, rax
00211475lea rax, [rsp+8]
0021147apunpcklqdq x0, x0
0021147emov [rsp+16], rbp
00211483mov [rsp+40], rax
00211488movups [rsp+24], x0
0021148dmov r12, [rdi+8]
00211491lea r13, [r12+40]
00211496mov rdi, r13
00211499call fn_f4780
0021149ecmp eax, 16
002114a1je 0x211500
002114a3test eax, eax
002114a5jne 0x21151d
002114a7mov [0xfffffffffffffff0], r12
002114b0mov rdi, r12
002114b3call caml_input_scan_line
002114b8mov rdi, r13
002114bbmov r12, rax
002114becall fn_f47c0
002114c3test eax, eax
002114c5jne 0x21150f
002114c7mov [0xfffffffffffffff0], 0
002114d4lea rax, [r12+r12+1]
002114d9mov [rbx+160], rbp
002114e0mov rdx, [rsp+88]
002114e5sub rdx, [0x28]
002114eejne 0x21150a
002114f0add rsp, 104
002114f4pop rbx
002114f5pop rbp
002114f6pop r12
002114f8pop r13
002114faret
002114fbdb 0x5c
002114fcpop r13
002114feret
002114ff
002114ff 90 .
00211500
00211500loc_211500:
00211500mov rdi, r13
00211503call caml_plat_lock_non_blocking_actual
00211508jmp 0x2114ab
0021150a
0021150aloc_21150a:
0021150acall fn_f4590
0021150f
0021150floc_21150f:
0021150fmov esi, eax
00211511lea rdi, [rip+0x1e002]
00211518call caml_plat_fatal_error
0021151d
0021151dloc_21151d:
0021151dmov esi, eax
0021151flea rdi, [rip+0x1e001]
00211526call caml_plat_fatal_error
00211430

0021152b
0021152b // align 0x10

00211530
00211530caml_terminfo_rows:
00211530sub rsp, 8
00211534mov rax, [rdi+8]
00211538mov edi, [rax]
0021153acall caml_num_rows_fd
0021153fadd rsp, 8
00211543cdqe
00211545lea rax, [rax+rax+1]
0021154aret
0021154bdb 0x44
0021154cadd [rcx], al
0021154eret
00211530

0021154f
0021154f // align 0x10

00211550
00211550caml_lex_engine:
00211550sar rsi, 1
00211553mov rcx, rdi
00211556mov rdi, rdx
00211559mov r8l, esi
0021155ctest esi, esi
0021155ejs 0x211678
00211564mov rax, [rdx+40]
00211568mov [rdx+56], -1
00211570mov [rdx+32], rax
00211574mov [rdx+48], rax
00211578mov rdx, [rcx]
0021157bmovsxd rax, r8l
0021157elea r9, [rax+rax]
00211582movsx eax, [rdx+2*rax]
00211586test eax, eax
00211588js 0x211668
0021158emov r10, [rdi+16]
00211592jmp 0x2115f2
00211594db 0x57
00211595adc bl, ch
00211597pop rdx
00211598
00211598 0f 1f 84 00 00 00 00 00 ........
002115a0
002115a0loc_2115a0:
002115a0cmp [rdi+64], 1
002115a5je 0x211680
002115abmov esi, 256
002115b0
002115b0loc_2115b0:
002115b0mov rdx, [rcx+32]
002115b4add eax, esi
002115b6cdqe
002115b8movsx edx, [rdx+2*rax]
002115bccmp edx, r8l
002115bfje 0x211640
002115c1mov rax, [rcx+16]
002115c5movsx rax, [rax+r9]
002115camovsx r8l, ax
002115cetest r8l, r8l
002115d1js 0x211652
002115d3
002115d3loc_2115d3:
002115d3cmp esi, 256
002115d9jne 0x2115e3
002115dbmov [rdi+64], 1
002115e3
002115e3loc_2115e3:
002115e3mov rdx, [rcx]
002115e6lea r9, [rax+rax]
002115eamovsx eax, [rdx+2*rax]
002115eetest eax, eax
002115f0js 0x211668
002115f2
002115f2loc_2115f2:
002115f2mov rdx, [rcx+8]
002115f6movsx rsi, [rdx+r9]
002115fbmov rdx, [rdi+40]
002115fftest si, si
00211602js 0x21161b
00211604lea rsi, [rsi+rsi+1]
00211609movq x0, rdx
0021160emovq x1, rsi
00211613punpcklqdq x0, x1
00211617movups [rdi+48], x0
0021161b
0021161bloc_21161b:
0021161bcmp r10, rdx
0021161ejle 0x2115a0
00211620mov r11, rdx
00211623mov rsi, [rdi+8]
00211627add rdx, 2
0021162bsar r11, 1
0021162emovzx esi, [r11+rsi]
00211633mov [rdi+40], rdx
00211637jmp 0x2115b0
0021163c
0021163c 0f 1f 40 00 ..@.
00211640
00211640loc_211640:
00211640mov rdx, [rcx+24]
00211644movsx rax, [rdx+2*rax]
00211649movsx r8l, ax
0021164dtest r8l, r8l
00211650jns 0x2115d3
00211652
00211652loc_211652:
00211652mov rax, [rdi+48]
00211656mov [rdi+40], rax
0021165amov rax, [rdi+56]
0021165ecmp rax, -1
00211662je 0x21168c
00211664ret
00211665
00211665 0f 1f 00 ...
00211668
00211668loc_211668:
00211668not eax
0021166acdqe
0021166clea rax, [rax+rax+1]
00211671ret
00211672
00211672 66 0f 1f 44 00 00 f..D..
00211678
00211678loc_211678:
00211678not r8l
0021167bjmp 0x21157c
00211680
00211680loc_211680:
00211680not r8l
00211683movsxd r8, r8l
00211686lea rax, [r8+r8+1]
0021168bret
0021168c
0021168cloc_21168c:
0021168cpush rax
0021168dlea rdi, [rip+0x1da17]
00211694call caml_failwith
00211550

00211699
00211699 // align 0x40

002116c0
002116c0caml_new_lex_engine:
002116c0sar rsi, 1
002116c3push rbx
002116c4mov r8, rdx
002116c7mov r11l, esi
002116catest esi, esi
002116ccjs 0x211980
002116d2mov rax, [rdx+40]
002116d6mov [rdx+56], -1
002116demov [rdx+32], rax
002116e2mov [rdx+48], rax
002116e6mov rdx, [rdi]
002116e9movsxd rax, r11l
002116eclea r10, [rax+rax]
002116f0movsx esi, [rdx+2*rax]
002116f4test esi, esi
002116f6jns 0x21179c
002116fcjmp 0x2118f0
00211701db 0xeb
00211702add [rax], eax
00211704db 0x00
00211705
00211705 0f 1f 00 ...
00211708
00211708loc_211708:
00211708cmp [r8+64], 1
0021170dje 0x211988
00211713mov r9l, 256
00211719
00211719loc_211719:
00211719mov rax, [rdi+32]
0021171dadd esi, r9l
00211720movsxd rsi, esi
00211723movsx eax, [rax+2*rsi]
00211727cmp eax, r11l
0021172aje 0x2118b0
00211730mov rax, [rdi+16]
00211734movsx rsi, [rax+r10]
00211739movsx ebx, si
0021173ctest ebx, ebx
0021173ejs 0x2118c4
00211744
00211744loc_211744:
00211744mov rax, [rdi+40]
00211748mov rdx, [rdi+72]
0021174cmovzx eax, [rax+r10]
00211751add eax, r9l
00211754cdqe
00211756movsx edx, [rdx+2*rax]
0021175acmp edx, r11l
0021175dje 0x2118e0
00211763mov rax, [rdi+56]
00211767movzx edx, [rax+r10]
0021176c
0021176cloc_21176c:
0021176ctest dx, dx
0021176fjne 0x211858
00211775
00211775loc_211775:
00211775cmp r9l, 256
0021177cjne 0x211786
0021177emov [r8+64], 1
00211786
00211786loc_211786:
00211786mov rax, [rdi]
00211789lea r10, [rsi+rsi]
0021178dmovsx esi, [rax+2*rsi]
00211791test esi, esi
00211793js 0x2118f0
00211799mov r11l, ebx
0021179c
0021179cloc_21179c:
0021179cmov rax, [rdi+8]
002117a0movsx rbx, [rax+r10]
002117a5test bx, bx
002117a8jns 0x2117d8
002117aamov rax, [r8+40]
002117ae
002117aeloc_2117ae:
002117aecmp [r8+16], rax
002117b2jle 0x211708
002117b8mov rcx, rax
002117bbmov rdx, [r8+8]
002117bfadd rax, 2
002117c3sar rcx, 1
002117c6movzx r9l, [rcx+rdx]
002117cbmov [r8+40], rax
002117cfjmp 0x211719
002117d4
002117d4 0f 1f 40 00 ..@.
002117d8
002117d8loc_2117d8:
002117d8mov rax, [rdi+48]
002117dcmov r9, [r8+72]
002117e0movzx edx, [rax+r10]
002117e5add rdx, [rdi+80]
002117e9movzx eax, [rdx]
002117eccmp al, -1
002117eejne 0x211811
002117f0jmp 0x211833
002117f2
002117f2 66 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 00 ff............
00211800
00211800loc_211800:
00211800lea rcx, [r9+8*rcx]
00211804mov rcx, [rcx]
00211807mov [rax], rcx
0021180amovzx eax, [rdx]
0021180dcmp al, -1
0021180fje 0x211833
00211811
00211811loc_211811:
00211811mov rcx, rdx
00211814lea rax, [r9+8*rax]
00211818add rdx, 2
0021181cmovzx ecx, [rcx+1]
00211820cmp cl, -1
00211823jne 0x211800
00211825mov [rax], -1
0021182cmovzx eax, [rdx]
0021182fcmp al, -1
00211831jne 0x211811
00211833
00211833loc_211833:
00211833mov rax, [r8+40]
00211837lea rdx, [rbx+rbx+1]
0021183cmovq x1, rdx
00211841movq x0, rax
00211846punpcklqdq x0, x1
0021184amovups [r8+48], x0
0021184fjmp 0x2117ae
00211854
00211854 0f 1f 40 00 ..@.
00211858
00211858loc_211858:
00211858add rdx, [rdi+80]
0021185cmov r11, [r8+40]
00211860movzx eax, [rdx]
00211863mov r10, [r8+72]
00211867cmp al, -1
00211869jne 0x211895
0021186bjmp 0x211775
00211870
00211870 66 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 44 00 00 ff...........D..
00211880
00211880loc_211880:
00211880lea rcx, [r10+8*rcx]
00211884mov rcx, [rcx]
00211887mov [rax], rcx
0021188a
0021188aloc_21188a:
0021188amovzx eax, [rdx]
0021188dcmp al, -1
0021188fje 0x211775
00211895
00211895loc_211895:
00211895mov rcx, rdx
00211898lea rax, [r10+8*rax]
0021189cadd rdx, 2
002118a0movzx ecx, [rcx+1]
002118a4cmp cl, -1
002118a7jne 0x211880
002118a9mov [rax], r11
002118acjmp 0x21188a
002118ae
002118ae 66 90 f.
002118b0
002118b0loc_2118b0:
002118b0mov rax, [rdi+24]
002118b4movsx rsi, [rax+2*rsi]
002118b9movsx ebx, si
002118bctest ebx, ebx
002118bejns 0x211744
002118c4
002118c4loc_2118c4:
002118c4mov rax, [r8+48]
002118c8mov [r8+40], rax
002118ccmov rax, [r8+56]
002118d0cmp rax, -1
002118d4je 0x211995
002118dapop rbx
002118dbret
002118dc
002118dc 0f 1f 40 00 ..@.
002118e0
002118e0loc_2118e0:
002118e0mov rdx, [rdi+64]
002118e4movzx edx, [rdx+2*rax]
002118e8jmp 0x21176c
002118ed
002118ed 0f 1f 00 ...
002118f0
002118f0loc_2118f0:
002118f0mov rax, [rdi+40]
002118f4mov r8, [r8+72]
002118f8movzx edx, [rax+r10]
002118fdadd rdx, [rdi+80]
00211901movzx eax, [rdx]
00211904cmp al, -1
00211906jne 0x211951
00211908jmp 0x211973
0021190a
0021190a 66 66 2e 0f 1f 84 ff....
00211910 00 00 00 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 .....ff.........
00211920 66 66 2e 0f 1f 84 00 00 00 00 00 66 66 2e 0f 1f ff.........ff...
00211930 84 00 00 00 00 00 66 2e 0f 1f 84 00 00 00 00 00 ......f.........
00211940
00211940loc_211940:
00211940lea rcx, [r8+8*rcx]
00211944mov rcx, [rcx]
00211947mov [rax], rcx
0021194amovzx eax, [rdx]
0021194dcmp al, -1
0021194fje 0x211973
00211951
00211951loc_211951:
00211951mov rcx, rdx
00211954lea rax, [r8+8*rax]
00211958add rdx, 2
0021195cmovzx ecx, [rcx+1]
00211960cmp cl, -1
00211963jne 0x211940
00211965mov [rax], -1
0021196cmovzx eax, [rdx]
0021196fcmp al, -1
00211971jne 0x211951
00211973
00211973loc_211973:
00211973not esi
00211975pop rbx
00211976movsxd rax, esi
00211979lea rax, [rax+rax+1]
0021197eret
0021197f
0021197f 90 .
00211980
00211980loc_211980:
00211980not r11l
00211983jmp 0x2116ea
00211988
00211988loc_211988:
00211988not r11l
0021198bpop rbx
0021198cmovsxd rax, r11l
0021198flea rax, [rax+rax+1]
00211994ret
00211995
00211995loc_211995:
00211995lea rdi, [rip+0x1d70f]
0021199ccall caml_failwith
002116c0

002119a1
002119a1 // align 0x10

002119b0
002119b0fn_2119b0:
002119b0push rbp
002119b1mov rsi, rdi
002119b4push rbx
002119b5mov rbx, rdi
002119b8lea rdi, [rip+0x1ef89]
002119bfsub rsp, 8
002119c3mov rax, [rip+0x6461e]
002119camov rbp, [rax]
002119cexor eax, eax
002119d0call caml_gc_log
002119d5sub [rbp+352], rbx
002119dclock add [rip+0x16712c], rbx
002119e4mov rdx, [rip+0x167125]
002119ebmov rax, [rbp+344]
002119f2sub rax, rdx
002119f5test rax, rax
002119f8jg 0x211a05
002119famov [rbp+240], 0
00211a05
00211a05loc_211a05:
00211a05add rsp, 8
00211a09pop rbx
00211a0apop rbp
00211a0bret
002119b0

00211a0c
00211a0c // align 0x10

00211a10
00211a10fn_211a10:
00211a10push r15
00211a12pxor x0, x0
00211a16push r14
00211a18push r13
00211a1apush r12
00211a1cpush rbp
00211a1dpush rbx
00211a1emov rbx, rdi
00211a21sub rsp, 56
00211a25mov rax, [rip+0x645bc]
00211a2cmov [rsp+40], esi
00211a30mov [rsp+44], edx
00211a34mov r15, [rax]
00211a38mov rcx, [r15+136]
00211a3fmov rax, [r15+128]
00211a46movups [r15+128], x0
00211a4eadd [r15+400], rax
00211a55mov rdi, [r15+280]
00211a5cmovsd_xmm x6, [r15+312]
00211a65mov [rsp+32], rcx
00211a6amov rcx, [r15+336]
00211a71mov [rsp+8], rax
00211a76mov [r15+336], 0
00211a81mov [r15+312], 0
00211a8cmov [rsp+24], rcx
00211a91movsd_xmm [rsp+16], x6
00211a97call caml_heap_size
00211a9cpxor x3, x3
00211aa0mov rbp, rax
00211aa3mov rcx, rax
00211aa6mov rax, [rip+0x1668f3]
00211aadshr rbp, 3
00211ab1cvtsi2sd x3, rbp
00211ab6test rax, rax
00211ab9js 0x211e40
00211abfpxor x2, x2
00211ac3cvtsi2sd x2, rax
00211ac8
00211ac8loc_211ac8:
00211ac8movsd_xmm x1, [rip+0x18ca8]
00211ad0movapd x0, x3
00211ad4mulsd x0, x1
00211ad8addsd x1, x2
00211adcdivsd x0, x1
00211ae0comisd x0, [rip+0x18d50]
00211ae8jae 0x211da0
00211aeecvttsd2si rdx, x0
00211af3add rdx, rbp
00211af6js 0x211dbb
00211afc
00211afcloc_211afc:
00211afcpxor x1, x1
00211b00cvtsi2sd x1, rdx
00211b05
00211b05loc_211b05:
00211b05xor r13l, r13l
00211b08cmp rcx, 7
00211b0cjbe 0x211b58
00211b0emov rcx, rax
00211b11add rcx, 100
00211b15js 0x211e20
00211b1bpxor x0, x0
00211b1fcvtsi2sd x0, rcx
00211b24
00211b24loc_211b24:
00211b24movsd_xmm x4, [rip+0x18d14]
00211b2cmulsd x4, x1
00211b30mulsd x0, x4
00211b34divsd x0, x3
00211b38pxor x3, x3
00211b3ccvtsi2sd x3, [rsp+8]
00211b43divsd x0, x2
00211b47mulsd x0, [rip+0x18c31]
00211b4fmulsd x0, x3
00211b53cvttsd2si r13, x0
00211b58
00211b58loc_211b58:
00211b58mov rcx, [r15+328]
00211b5fxor r12l, r12l
00211b62test rcx, rcx
00211b65je 0x211baf
00211b67add rax, 100
00211b6bimul rax, rdx
00211b6ftest rax, rax
00211b72js 0x211de0
00211b78pxor x0, x0
00211b7ccvtsi2sd x0, rax
00211b81test rcx, rcx
00211b84js 0x211e02
00211b8a
00211b8aloc_211b8a:
00211b8apxor x3, x3
00211b8ecvtsi2sd x3, rcx
00211b93
00211b93loc_211b93:
00211b93divsd x0, x3
00211b97divsd x0, x2
00211b9bpxor x2, x2
00211b9fcvtsi2sd x2, [rsp+24]
00211ba6mulsd x0, x2
00211baacvttsd2si r12, x0
00211baf
00211bafloc_211baf:
00211bafmulsd x1, [rsp+16]
00211bb5xor eax, eax
00211bb7mov rdx, rbp
00211bbamov edi, 64
00211bbflea rsi, [rip+0x1d50a]
00211bc6cvttsd2si r14, x1
00211bcbcall caml_gc_message
00211bd0mov rdx, [rsp+8]
00211bd5xor eax, eax
00211bd7lea rsi, [rip+0x1d504]
00211bdemov edi, 64
00211be3call caml_gc_message
00211be8mov rdx, [rsp+32]
00211bedxor eax, eax
00211beflea rsi, [rip+0x1d503]
00211bf6mov edi, 64
00211bfbcall caml_gc_message
00211c00xor eax, eax
00211c02mov rdx, r13
00211c05mov edi, 64
00211c0alea rsi, [rip+0x1d506]
00211c11call caml_gc_message
00211c16mov rdx, [rsp+24]
00211c1bxor eax, eax
00211c1dlea rsi, [rip+0x1d50b]
00211c24mov edi, 64
00211c29call caml_gc_message
00211c2exor eax, eax
00211c30mov rdx, r12
00211c33mov edi, 64
00211c38lea rsi, [rip+0x1d507]
00211c3fcall caml_gc_message
00211c44movsd_xmm x0, [rsp+16]
00211c4amulsd x0, [rip+0x18bf6]
00211c52comisd x0, [rip+0x18bde]
00211c5ajae 0x211d80
00211c60cvttsd2si rdx, x0
00211c65
00211c65loc_211c65:
00211c65xor eax, eax
00211c67lea rsi, [rip+0x1d4f4]
00211c6emov edi, 64
00211c73call caml_gc_message
00211c78xor eax, eax
00211c7amov rdx, r14
00211c7dmov edi, 64
00211c82lea rsi, [rip+0x1d4f6]
00211c89call caml_gc_message
00211c8emov rax, [r15+360]
00211c95lock add [rip+0x166e73], rax
00211c9dcmp r13, r14
00211ca0mov rax, r14
00211ca3mov [r15+360], 0
00211caecmovge rax, r13
00211cb2cmp rax, r12
00211cb5cmovl rax, r12
00211cb9lock add [rip+0x166e57], rax
00211cc1lea rax, [rbx+1]
00211cc5cmp rax, 1
00211cc9jbe 0x211e68
00211ccfmov rax, [rip+0x166e3a]
00211cd6
00211cd6loc_211cd6:
00211cd6mov [r15+344], rax
00211cddmov esi, 85
00211ce2mov [r15+352], rbx
00211ce9mov r8, [rip+0x166e28]
00211cf0mov rdx, [rip+0x166e19]
00211cf7mov rcx, [rip+0x166e1a]
00211cfecmp rcx, rdx
00211d01lea rcx, [rip+0x1d3b7]
00211d08lea rdx, [rip+0x1d3b8]
00211d0fcmovb rdx, rcx
00211d13mov rdi, [rip+0x166df6]
00211d1amov ecx, [rsp+40]
00211d1etest ecx, ecx
00211d20je 0x211d38
00211d22mov ecx, [rip+0x166d38]
00211d28cmp ecx, 2
00211d2bja 0x211d38
00211d2dlea rsi, [rip+0x1fe6f]
00211d34movsx esi, [rsi+rcx]
00211d38
00211d38loc_211d38:
00211d38push rbx
00211d39mov r9, r12
00211d3cpush rax
00211d3dxor eax, eax
00211d3fpush r8
00211d41mov r8, r13
00211d44push rdx
00211d45mov rdx, rbp
00211d48push rdi
00211d49lea rdi, [rip+0x1ec28]
00211d50push r14
00211d52mov rcx, [rsp+56]
00211d57call caml_gc_log
00211d5cmov eax, [rsp+92]
00211d60add rsp, 48
00211d64test eax, eax
00211d66jne 0x211e80
00211d6cadd rsp, 56
00211d70pop rbx
00211d71pop rbp
00211d72pop r12
00211d74pop r13
00211d76pop r14
00211d78pop r15
00211d7aret
00211d7b
00211d7b 0f 1f 44 00 00 ..D..
00211d80
00211d80loc_211d80:
00211d80subsd x0, [rip+0x18ab0]
00211d88cvttsd2si rdx, x0
00211d8dbtc rdx, 63
00211d92jmp 0x211c65
00211d97
00211d97 66 0f 1f 84 00 00 00 00 00 f........
00211da0
00211da0loc_211da0:
00211da0subsd x0, [rip+0x18a90]
00211da8cvttsd2si rdx, x0
00211dadbtc rdx, 63
00211db2add rdx, rbp
00211db5jns 0x211afc
00211dbb
00211dbbloc_211dbb:
00211dbbmov rsi, rdx
00211dbemov rdi, rdx
00211dc1pxor x1, x1
00211dc5shr rsi, 1
00211dc8and edi, 1
00211dcbor rsi, rdi
00211dcecvtsi2sd x1, rsi
00211dd3addsd x1, x1
00211dd7jmp 0x211b05
00211ddc
00211ddc 0f 1f 40 00 ..@.
00211de0
00211de0loc_211de0:
00211de0mov rdx, rax
00211de3and eax, 1
00211de6pxor x0, x0
00211deashr rdx, 1
00211dedor rdx, rax
00211df0cvtsi2sd x0, rdx
00211df5addsd x0, x0
00211df9test rcx, rcx
00211dfcjns 0x211b8a
00211e02
00211e02loc_211e02:
00211e02mov rax, rcx
00211e05and ecx, 1
00211e08pxor x3, x3
00211e0cshr rax, 1
00211e0for rax, rcx
00211e12cvtsi2sd x3, rax
00211e17addsd x3, x3
00211e1bjmp 0x211b93
00211e20
00211e20loc_211e20:
00211e20mov rsi, rcx
00211e23and ecx, 1
00211e26pxor x0, x0
00211e2ashr rsi, 1
00211e2dor rsi, rcx
00211e30cvtsi2sd x0, rsi
00211e35addsd x0, x0
00211e39jmp 0x211b24
00211e3e
00211e3e 66 90 f.
00211e40
00211e40loc_211e40:
00211e40mov rdx, rax
00211e43mov rsi, rax
00211e46pxor x2, x2
00211e4ashr rdx, 1
00211e4dand esi, 1
00211e50or rdx, rsi
00211e53cvtsi2sd x2, rdx
00211e58addsd x2, x2
00211e5cjmp 0x211ac8
00211e61
00211e61 0f 1f 80 00 00 00 00 .......
00211e68
00211e68loc_211e68:
00211e68mov rax, [rip+0x166ca9]
00211e6fxor ebx, ebx
00211e71jmp 0x211cd6
00211e76
00211e76 66 2e 0f 1f 84 00 00 00 00 00 f.........
00211e80
00211e80loc_211e80:
00211e80mov rsi, rbp
00211e83mov edi, 17
00211e88call caml_ev_counter
00211e8dmov rsi, [rsp+8]
00211e92mov edi, 18
00211e97call caml_ev_counter
00211e9cmov rsi, r13
00211e9fmov edi, 19
00211ea4call caml_ev_counter
00211ea9mov rsi, r12
00211eacmov edi, 20
00211eb1call caml_ev_counter
00211eb6mov rsi, r14
00211eb9mov edi, 21
00211ebecall caml_ev_counter
00211ec3mov edi, 22
00211ec8mov rsi, [rip+0x166c41]
00211ecfcall caml_ev_counter
00211ed4mov edi, 23
00211ed9mov rsi, [rip+0x166c38]
00211ee0call caml_ev_counter
00211ee5mov rsi, [r15+344]
00211eecmov edi, 24
00211ef1call caml_ev_counter
00211ef6mov rsi, [r15+352]
00211efdadd rsp, 56
00211f01mov edi, 25
00211f06pop rbx
00211f07pop rbp
00211f08pop r12
00211f0apop r13
00211f0cpop r14
00211f0epop r15
00211f10jmp 0x21cb20
00211a10

00211f15
00211f15 // align 0x10

00211f20
00211f20fn_211f20:
00211f20push r15
00211f22push r14
00211f24push r13
00211f26push r12
00211f28push rbp
00211f29push rbx
00211f2asub rsp, 72
00211f2emov rax, [rip+0x640b3]
00211f35mov rbx, [rdi+16]
00211f39mov rbp, [0x28]
00211f42mov [rsp+56], rbp
00211f47mov rbp, rdi
00211f4ashl rbx, 4
00211f4emov rax, [rax]
00211f52mov rdi, [rax+280]
00211f59call caml_heap_size
00211f5emov r8, rax
00211f61mov r12, rax
00211f64shr r8, 5
00211f68cmp rbx, r8
00211f6bjb 0x212228
00211f71mov rdi, [rbp+8]
00211f75test rdi, rdi
00211f78je 0x211fce
00211f7amov rax, [rbp]
00211f7eshl rdi, 4
00211f82xor ecx, ecx
00211f84add rdi, rax
00211f87nop [rax+rax]
00211f92nop [rax+rax]
00211f9dnop [rax]
00211fa0
00211fa0loc_211fa0:
00211fa0mov rdx, [rax+8]
00211fa4sub rdx, [rax]
00211fa7lea rsi, [rcx+16]
00211fabcmp rdx, 512
00211fb2cmova rcx, rsi
00211fb6add rax, 16
00211fbacmp rdi, rax
00211fbdjne 0x211fa0
00211fbfmov rax, rbx
00211fc2sub rax, rcx
00211fc5cmp rax, r8
00211fc8jb 0x212297
00211fce
00211fceloc_211fce:
00211fcemov rsi, rbx
00211fd1mov rdx, r12
00211fd4lea rdi, [rip+0x1ead5]
00211fdbxor eax, eax
00211fddcall caml_gc_log
00211fe2mov rbx, [rbp+40]
00211fe6mov [rsp+32], 0
00211fefmov [rsp+40], 0
00211ff8mov [rsp+24], 0
00212001cmp rbx, [rbp+32]
00212005jae 0x21209b
0021200bmov rdx, [rbp+24]
0021200fmov rax, rbx
00212012lea r12, [rsp+32]
00212017shl rax, 4
0021201bmov rsi, [rdx+rax]
0021201f
0021201floc_21201f:
0021201fmov rax, rbx
00212022mov rdi, r12
00212025shl rax, 4
00212029mov rdx, [rdx+rax+8]
0021202ecall caml_addrmap_insert
00212033mov rdx, [rbp+24]
00212037add [rsp+24], 1
0021203dtest rdx, rdx
00212040je 0x212080
00212042mov rcx, [rbp+32]
00212046add rbx, 1
0021204acmp rbx, rcx
0021204djb 0x212069
0021204fjmp 0x212080
00212051
00212051 66 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 40 00 ff...........@.
00212060
00212060loc_212060:
00212060add rbx, 1
00212064cmp rbx, rcx
00212067jae 0x212080
00212069
00212069loc_212069:
00212069mov rax, rbx
0021206cshl rax, 4
00212070mov rsi, [rdx+rax]
00212074test rsi, rsi
00212077je 0x212060
00212079cmp rbx, rcx
0021207cjb 0x21201f
0021207enop
00212080
00212080loc_212080:
00212080mov rax, [rsp+24]
00212085test rax, rax
00212088je 0x21209b
0021208amov rsi, rax
0021208dlea rdi, [rip+0x1ea7c]
00212094xor eax, eax
00212096call caml_gc_log
0021209b
0021209bloc_21209b:
0021209blea rax, [rbp+24]
0021209fmov rdi, rax
002120a2mov [rsp], rax
002120a6call caml_addrmap_clear
002120abmovdqa x0, [rsp+32]
002120b1mov rax, [rbp+8]
002120b5movups [rbp+24], x0
002120b9mov [rsp+8], rax
002120betest rax, rax
002120c1je 0x212283
002120c7mov [rsp+16], 0
002120d0xor r14l, r14l
002120d3xor r13l, r13l
002120d6mov [rsp+8], 0
002120dfjmp 0x212105
002120e1
002120e1 0f 1f 80 00 00 00 00 .......
002120e8
002120e8loc_2120e8:
002120e8mov rax, r14
002120ebadd r14, 1
002120efshl rax, 4
002120f3movups [rcx+rax], x0
002120f7
002120f7loc_2120f7:
002120f7add r13, 1
002120fbcmp r13, [rbp+8]
002120ffjae 0x212190
00212105
00212105loc_212105:
00212105mov rcx, [rbp]
00212109mov rax, r13
0021210cshl rax, 4
00212110movdqu x0, [rcx+rax]
00212115movhlps x1, x0
00212118movq r15, x0
0021211dmovq r12, x1
00212122mov rax, r12
00212125sub rax, r15
00212128mov rsi, rax
0021212bsar rsi, 3
0021212fadd [rsp+8], rsi
00212134cmp rax, 512
0021213aja 0x2120e8
0021213cjmp 0x21214c
0021213e
0021213e 66 90 f.
00212140
00212140loc_212140:
00212140mov rsi, rcx
00212143and rsi, rbx
00212146je 0x21217d
00212148
00212148loc_212148:
00212148add r15, 8
0021214c
0021214cloc_21214c:
0021214ccmp r15, r12
0021214fjae 0x2120f7
00212151mov rcx, r15
00212154mov rdi, [rsp]
00212158mov ebx, 1
0021215dshr rcx, 3
00212161mov rsi, rcx
00212164shl rbx, cl
00212167and rsi, -64
0021216bcall caml_addrmap_insert_pos
00212170mov rcx, [rax]
00212173test rcx, rcx
00212176jne 0x212140
00212178mov esi, 1
0021217d
0021217dloc_21217d:
0021217dor rbx, rcx
00212180add [rsp+16], rsi
00212185mov [rax], rbx
00212188jmp 0x212148
0021218a
0021218a 66 0f 1f 44 00 00 f..D..
00212190
00212190loc_212190:
00212190mov rdi, [rsp+16]
00212195add [rsp+24], rdi
0021219a
0021219aloc_21219a:
0021219amov rsi, [rsp+8]
0021219fmov rcx, [rsp+24]
002121a4mov rdx, r14
002121a7xor eax, eax
002121a9lea rdi, [rip+0x1e988]
002121b0call caml_gc_log
002121b5mov rsi, [rbp+24]
002121b9mov [rbp+8], r14
002121bdtest rsi, rsi
002121c0je 0x21228b
002121c6mov rcx, [rbp+32]
002121caxor eax, eax
002121cctest rcx, rcx
002121cfjne 0x2121e9
002121d1jmp 0x2121fa
002121d3
002121d3 66 66 2e 0f 1f 84 00 00 00 00 00 66 90 ff.........f.
002121e0
002121e0loc_2121e0:
002121e0add rax, 1
002121e4cmp rax, rcx
002121e7je 0x2121fa
002121e9
002121e9loc_2121e9:
002121e9mov rdx, rax
002121ecshl rdx, 4
002121f0cmp [rsi+rdx], 0
002121f5je 0x2121e0
002121f7mov rcx, rax
002121fa
002121faloc_2121fa:
002121famov [rbp+40], rcx
002121fe
002121feloc_2121fe:
002121femov rax, [rsp+56]
00212203sub rax, [0x28]
0021220cjne 0x2122a0
00212212add rsp, 72
00212216pop rbx
00212217pop rbp
00212218pop r12
0021221apop r13
0021221cpop r14
0021221epop r15
00212220ret
00212221
00212221 0f 1f 80 00 00 00 00 .......
00212228
00212228loc_212228:
00212228mov rax, rbx
0021222bxor edx, edx
0021222dxor ecx, ecx
0021222f
0021222floc_21222f:
0021222flea r13, [rcx+2*rax]
00212233lea rdi, [rip+0x1e806]
0021223axor eax, eax
0021223cmov rsi, r13
0021223fshr rsi, 10
00212243call caml_gc_log
00212248mov rdi, [rbp]
0021224cmov rsi, r13
0021224fcall caml_stat_resize_noexc
00212254test rax, rax
00212257je 0x212270
00212259shr r13, 4
0021225dmov [rbp], rax
00212261mov [rbp+16], r13
00212265jmp 0x2121fe
00212267
00212267 66 0f 1f 84 00 00 00 00 00 f........
00212270
00212270loc_212270:
00212270lea rdi, [rip+0x1e809]
00212277xor eax, eax
00212279call caml_gc_log
0021227ejmp 0x211fce
00212283
00212283loc_212283:
00212283xor r14l, r14l
00212286jmp 0x21219a
0021228b
0021228bloc_21228b:
0021228bmov rcx, -1
00212292jmp 0x2121fa
00212297
00212297loc_212297:
00212297mov rdx, rcx
0021229ashr rdx, 10
0021229ejmp 0x21222f
002122a0
002122a0loc_2122a0:
002122a0call fn_f4590
00211f20

002122a5
002122a5 // align 0x10

002122b0
002122b0fn_2122b0:
002122b0push r14
002122b2mov r8, rsi
002122b5push r13
002122b7push r12
002122b9mov r12, rdi
002122bcpush rbp
002122bdpush rbx
002122bemov rdi, [rsi-8]
002122c2movzx eax, [rsi-8]
002122c6shr rdi, 10
002122cacmp al, -9
002122ccje 0x212380
002122d2xor ebx, ebx
002122d4xor ecx, ecx
002122d6xor ebp, ebp
002122d8
002122d8loc_2122d8:
002122d8mov edx, 8
002122ddcmp rdi, rdx
002122e0cmovbe rdx, rdi
002122e4mov eax, edx
002122e6cmp edx, ecx
002122e8jle 0x21232f
002122eamovsxd rbx, ecx
002122edmov rsi, [rip+0x1662d4]
002122f4mov r9, [rip+0x1662d5]
002122fblea rdx, [r8+8*rbx]
002122ffjmp 0x21230b
00212301
00212301 0f 1f 80 00 00 00 00 .......
00212308
00212308loc_212308:
00212308mov rbx, rcx
0021230b
0021230bloc_21230b:
0021230bmov rcx, [rdx]
0021230etest cl, 1
00212311jne 0x21231d
00212313cmp rcx, rsi
00212316jae 0x21232f
00212318cmp r9, rcx
0021231bjae 0x21232f
0021231d
0021231dloc_21231d:
0021231dlea rcx, [rbx+1]
00212321add rdx, 8
00212325cmp eax, ecx
00212327jg 0x212308
00212329add ebx, 1
0021232cmovsxd rbx, ebx
0021232f
0021232floc_21232f:
0021232fcmp rdi, rbx
00212332je 0x212370
00212334mov rax, [r12+8]
00212339lea r13, [r8+8*rdi]
0021233dlea r14, [r8+8*rbx]
00212341cmp rax, [r12+16]
00212346je 0x212396
00212348
00212348loc_212348:
00212348lea rdx, [rax+1]
0021234cshl rax, 4
00212350add rax, [r12]
00212354mov [r12+8], rdx
00212359mov [rax], r14
0021235cmov [rax+8], r13
00212360mov rax, rbx
00212363pop rbx
00212364sub rax, rbp
00212367pop rbp
00212368pop r12
0021236apop r13
0021236cpop r14
0021236eret
0021236f
0021236f 90 .
00212370
00212370loc_212370:
00212370sub rdi, rbp
00212373pop rbx
00212374pop rbp
00212375lea rax, [rdi+1]
00212379pop r12
0021237bpop r13
0021237dpop r14
0021237fret
00212380
00212380loc_212380:
00212380mov rbp, [rsi+8]
00212384shl rbp, 8
00212388shr rbp, 9
0021238cmov ecx, ebp
0021238emovsxd rbx, ebp
00212391jmp 0x2122d8
00212396
00212396loc_212396:
00212396mov rdi, r12
00212399call fn_211f20
0021239emov rax, [r12+8]
002123a3jmp 0x212348
002122b0

002123a5
002123a5 // align 0x10

002123b0
002123b0fn_2123b0:
002123b0push rbx
002123b1lea rbx, [rip+0x166708]
002123b8mov rdi, rbx
002123bbcall fn_f4710
002123c0test eax, eax
002123c2jne 0x2123ed
002123c4xor eax, eax
002123c6xchg [rip+0x166733], rax
002123cdlock add [rip+0x166722], 1
002123d6lock sub [rip+0x166711], 1
002123dfmov rdi, rbx
002123e2call fn_f47c0
002123e7test eax, eax
002123e9jne 0x2123fb
002123ebpop rbx
002123ecret
002123ed
002123edloc_2123ed:
002123edmov esi, eax
002123eflea rdi, [rip+0x1d119]
002123f6call caml_plat_fatal_error
002123fb
002123fbloc_2123fb:
002123fbmov esi, eax
002123fdlea rdi, [rip+0x1d116]
00212404call caml_plat_fatal_error
002123b0

00212409
00212409 // align 0x10

00212410
00212410fn_212410:
00212410mov rax, [rip+0x63bd1]
00212417push r14
00212419push r13
0021241bpush r12
0021241dpush rbp
0021241epush rbx
0021241fmov r12, [rax]
00212423mov rax, [rip+0x166686]
0021242atest rax, rax
0021242dje 0x212530
00212433
00212433loc_212433:
00212433call caml_domain_is_terminating
00212438test eax, eax
0021243aje 0x212448
0021243c
0021243cloc_21243c:
0021243cpop rbx
0021243dpop rbp
0021243epop r12
00212440pop r13
00212442pop r14
00212444ret
00212445
00212445 0f 1f 00 ...
00212448
00212448loc_212448:
00212448lea r14, [rip+0x166631]
0021244fmov rdi, r14
00212452call fn_f4710
00212457test eax, eax
00212459jne 0x212599
0021245fxor eax, eax
00212461mov rcx, rax
00212464mov r13, [rip+0x166645]
0021246bxchg [rip+0x16663e], rcx
00212472mov rbp, [rip+0x16663f]
00212479mov rbx, rbp
0021247cxchg [rip+0x166635], rax
00212483mov rdi, r14
00212486call fn_f47c0
0021248btest eax, eax
0021248djne 0x21258b
00212493test r13, r13
00212496jne 0x212550
0021249c
0021249cloc_21249c:
0021249ctest rbp, rbp
0021249fjne 0x2124c7
002124a1jmp 0x21243c
002124a3
002124a3 0f 1f 44 00 00 ..D..
002124a8
002124a8loc_2124a8:
002124a8cmp [rbx+56], 0
002124adjne 0x212505
002124af
002124afloc_2124af:
002124afmov rbp, [rbx+104]
002124b3mov rdi, rbx
002124b6call caml_stat_free
002124bbtest rbp, rbp
002124beje 0x21243c
002124c4mov rbx, rbp
002124c7
002124c7loc_2124c7:
002124c7mov rax, [rbx+80]
002124cbmov rbp, [r12+176]
002124d3test rax, rax
002124d6je 0x2124ec
002124d8mov rdx, [rbp+88]
002124dctest rdx, rdx
002124dfje 0x212518
002124e1mov [rdx], rax
002124e4mov rax, [rbx+88]
002124e8mov [rbp+88], rax
002124ec
002124ecloc_2124ec:
002124eccmp [rbx+16], 0
002124f1je 0x2124a8
002124f3mov rsi, rbp
002124f6mov rdi, rbx
002124f9call caml_final_merge_finalisable
002124fecmp [rbx+56], 0
00212503je 0x2124af
00212505
00212505loc_212505:
00212505lea rsi, [rbp+40]
00212509lea rdi, [rbx+40]
0021250dcall caml_final_merge_finalisable
00212512jmp 0x2124af
00212514
00212514 0f 1f 40 00 ..@.
00212518
00212518loc_212518:
00212518mov [rbp+80], rax
0021251cmov rax, [rbx+88]
00212520mov [rbp+88], rax
00212524jmp 0x2124ec
00212526
00212526 66 2e 0f 1f 84 00 00 00 00 00 f.........
00212530
00212530loc_212530:
00212530mov rax, [rip+0x166581]
00212537test rax, rax
0021253ajne 0x212433
00212540pop rbx
00212541pop rbp
00212542pop r12
00212544pop r13
00212546pop r14
00212548ret
00212549
00212549 0f 1f 80 00 00 00 00 .......
00212550
00212550loc_212550:
00212550mov rax, r13
00212553nop [rax+rax]
0021255enop
00212560
00212560loc_212560:
00212560mov rdx, rax
00212563mov rax, [rax]
00212566test rax, rax
00212569jne 0x212560
0021256bmov rax, [r12+168]
00212573mov rax, [rax+8]
00212577mov [rdx], rax
0021257amov rax, [r12+168]
00212582mov [rax+8], r13
00212586jmp 0x21249c
0021258b
0021258bloc_21258b:
0021258bmov esi, eax
0021258dlea rdi, [rip+0x1cf86]
00212594call caml_plat_fatal_error
00212599
00212599loc_212599:
00212599mov esi, eax
0021259blea rdi, [rip+0x1cf6d]
002125a2call caml_plat_fatal_error
00212410

002125a7
002125a7 // align 0x10

002125b0
002125b0fn_2125b0:
002125b0push r15
002125b2push r14
002125b4push r13
002125b6push r12
002125b8push rbp
002125b9mov ebp, edx
002125bbpush rbx
002125bcmov rbx, rdi
002125bfmov edi, 37
002125c4sub rsp, 152
002125cbmov r15l, [rsi]
002125cemov r12, [0x28]
002125d7mov [rsp+136], r12
002125dfmov r12, rcx
002125e2call caml_ev_begin
002125e7mov rdi, rbx
002125eacall caml_memprof_after_major_gc
002125efmov edi, 37
002125f4call caml_ev_end
002125f9mov edi, 23
002125fecall caml_ev_begin
00212603xor esi, esi
00212605mov rdi, rbx
00212608mov edx, ebp
0021260amov rcx, r12
0021260dcall caml_empty_minor_heap_no_major_slice_from_stw
00212612mov edi, 25
00212617call caml_ev_begin
0021261ccmp ebp, 1
0021261fje 0x212860
00212625mov edi, ebp
00212627call caml_global_barrier_and_check_final
0021262cmov r13, rax
0021262ftest rax, rax
00212632jne 0x212863
00212638lea rax, [rsp+32]
0021263dmov [rsp], rax
00212641mov rax, [rip+0x6330c]
00212648cmp [rax+56], 0
0021264djne 0x21296a
00212653mov rdi, [rbx+280]
0021265acall caml_cycle_heap
0021265ftest r15l, r15l
00212662jne 0x212a10
00212668mov rdi, rbx
0021266blea r12, [rip+2298]
00212672call caml_collect_gc_stats_sample_stw
00212677mov rax, [rip+0x63966]
0021267emov rsi, [rsp]
00212682mov rax, [rax]
00212686mov rdi, [rax+280]
0021268dcall caml_collect_heap_stats_sample
00212692mov rsi, [rsp+32]
00212697mov edi, 11
0021269ccall caml_ev_counter
002126a1mov rsi, [rsp+48]
002126a6mov edi, 12
002126abcall caml_ev_counter
002126b0mov rsi, [rsp+72]
002126b5mov edi, 13
002126bacall caml_ev_counter
002126bfmov rsi, [rsp+64]
002126c4mov edi, 14
002126c9call caml_ev_counter
002126cemov rsi, [rsp+56]
002126d3mov edi, 15
002126d8call caml_ev_counter
002126ddmov rsi, [rsp+88]
002126e2mov edi, 16
002126e7call caml_ev_counter
002126ecpxor x0, x0
002126f0mov edi, 8
002126f5movups [rbx+112], x0
002126f9call caml_ev_begin
002126femov rdx, rbx
00212701xor r8l, r8l
00212704mov rcx, rbx
00212707xor esi, esi
00212709mov rdi, r12
0021270ccall caml_do_roots
00212711xor eax, eax
00212713mov edx, 1
00212718lock cmpxchg [rip+0x1663e3], rdx
00212721jne 0x212732
00212723mov rsi, rbx
00212726mov rdi, r12
00212729call caml_scan_global_roots
0021272emov edi, 8
00212733call caml_ev_end
00212738mov edi, 9
0021273dcall caml_ev_begin
00212742xor r8l, r8l
00212745xor esi, esi
00212747mov rcx, rbx
0021274amov rdx, rbx
0021274dmov rdi, r12
00212750call caml_memprof_scan_roots
00212755mov edi, 9
0021275acall caml_ev_end
0021275fmov rax, [rbx+104]
00212763cmp [rax+8], 0
00212768jne 0x212789
0021276amov rcx, [rax+32]
0021276ecmp [rax+40], rcx
00212772jb 0x212789
00212774lock sub [rip+0x1663bf], 1
0021277dmov [rbx+112], 1
00212785call fn_212410
0021278amov rax, [rbx+168]
00212791mov rdx, [rax+8]
00212795mov [rax], rdx
00212798mov rax, [rbx+168]
0021279fmov [rax+8], 0
002127a7mov rax, [rbx+168]
002127aemov [rax+16], 0
002127b5mov rax, [rbx+168]
002127bcmov [rax+24], 0
002127c4mov rax, [rbx+168]
002127cbmov [rax+32], 0
002127d3mov rax, [rbx+168]
002127damov [rax+40], 0
002127e2mov rax, [rbx+168]
002127e9cmp [rax], 0
002127edje 0x212a00
002127f3mov rax, [rbx+176]
002127famov [rax+32], 0
00212802mov rax, [rbx+176]
00212809mov [rax+72], 0
00212811cmp ebp, 1
00212814je 0x212821
00212816mov edi, ebp
00212818call caml_enter_global_barrier
0021281dmov edi, 25
00212822call caml_ev_end
00212827mov edi, 23
0021282ccall caml_ev_end
00212831mov rax, [rsp+136]
00212839sub rax, [0x28]
00212842jne 0x212a76
00212848add rsp, 152
0021284fpop rbx
00212850pop rbp
00212851pop r12
00212853pop r13
00212855pop r14
00212857pop r15
00212859ret
0021285adb 0x5e
0021285bpop r15
0021285dret
0021285e
0021285e 66 90 f.
00212860
00212860loc_212860:
00212860xor r13l, r13l
00212863
00212863loc_212863:
00212863call caml_cycle_heap_from_stw_single
00212868mov rsi, [rip+0x1661f9]
0021286fxor eax, eax
00212871movsxd r14, ebp
00212874lea rdi, [rip+0x1e315]
0021287bcall caml_gc_log
00212880xor eax, eax
00212882lea rsi, [rip+0x1c90e]
00212889mov edi, 64
0021288eadd [rip+0x1661d2], 1
00212896call caml_gc_message
0021289bmov rax, [rip+0x16638e]
002128a2lea rcx, [rsp+32]
002128a7mov [rsp], rcx
002128abtest ah, 4
002128aejne 0x212990
002128b4
002128b4loc_2128b4:
002128b4mov [rbx+144], 0
002128bfmov rax, r14
002128c2mov [rip+0x16627f], r14
002128c9mov [rip+0x166270], r14
002128d0mov [rip+0x166186], 0
002128daxchg [rip+0x16620f], rax
002128e1mov eax, 1
002128e6xchg [rip+0x16620b], rax
002128edxor eax, eax
002128efmov rcx, rax
002128f2xchg [rip+0x166207], rcx
002128f9mov [rip+0x166234], 0
00212904mov [rip+0x166225], r14
0021290bmov [rip+0x166216], r14
00212912xchg [rip+0x1661ef], rax
00212919call caml_code_fragment_cleanup_from_stw_single
0021291ecmp ebp, 1
00212921jne 0x212950
00212923mov rax, [rip+0x6302e]
0021292acmp [rax+56], 0
0021292fje 0x212657
00212935mov rdi, rbx
00212938call caml_verify_heap_from_stw
0021293dlea rdi, [rip+0x1c86c]
00212944xor eax, eax
00212946call caml_gc_log
0021294bjmp 0x212657
00212950
00212950loc_212950:
00212950mov rdi, r13
00212953call caml_global_barrier_release_as_final
00212958mov rax, [rip+0x62ff9]
0021295fcmp [rax+56], 0
00212964je 0x212657
0021296a
0021296aloc_21296a:
0021296amov rdi, rbx
0021296dcall caml_verify_heap_from_stw
00212972lea rdi, [rip+0x1c837]
00212979xor eax, eax
0021297bcall caml_gc_log
00212980mov edi, ebp
00212982call caml_enter_global_barrier
00212987jmp 0x212657
0021298c
0021298c 0f 1f 40 00 ..@.
00212990
00212990loc_212990:
00212990mov rdi, rcx
00212993call caml_compute_gc_stats
00212998mov rdx, [rsp+104]
0021299dmov rsi, [rsp+64]
002129a2xor eax, eax
002129a4mov rcx, [rbx+144]
002129ablea rdi, [rip+0x1e206]
002129b2add rsi, rdx
002129b5add rdx, [rsp+80]
002129bamov [rsp+24], rcx
002129bfmov [rsp+16], rdx
002129c4mov [rsp+8], rsi
002129c9call caml_gc_log
002129cemov rsi, [rsp+8]
002129d3mov rdx, [rsp+16]
002129d8mov rax, [rip+0x166091]
002129dfmov rcx, [rsp+24]
002129e4test rax, rax
002129e7jne 0x212a28
002129e9
002129e9loc_2129e9:
002129e9mov [rip+0x166080], rsi
002129f0mov [rip+0x166081], rdx
002129f7jmp 0x2128b4
002129fc
002129fc 0f 1f 40 00 ..@.
00212a00
00212a00loc_212a00:
00212a00call fn_2123b0
00212a05jmp 0x2127f7
00212a0a
00212a0a 66 0f 1f 44 00 00 f..D..
00212a10
00212a10loc_212a10:
00212a10mov rdx, r12
00212a13mov esi, ebp
00212a15mov rdi, rbx
00212a18call caml_compact_heap
00212a1djmp 0x21266c
00212a22
00212a22 66 0f 1f 44 00 00 f..D..
00212a28
00212a28loc_212a28:
00212a28mov rdi, [rip+0x166049]
00212a2fpxor x0, x0
00212a33pxor x1, x1
00212a37sub rax, rdi
00212a3asub rdi, rcx
00212a3dadd rax, rcx
00212a40cvtsi2sd x1, rdi
00212a45lea rdi, [rip+0x1e1a4]
00212a4ccvtsi2sd x0, rax
00212a51mulsd x0, [rip+0x17d1f]
00212a59mov eax, 1
00212a5edivsd x0, x1
00212a62call caml_gc_log
00212a67mov rdx, [rsp+16]
00212a6cmov rsi, [rsp+8]
00212a71jmp 0x2129e9
00212a76
00212a76loc_212a76:
00212a76call fn_f4590
002125b0

00212a7b
00212a7b // align 0x10

00212a80
00212a80fn_212a80:
00212a80cmp [rip+0x165fd9], 1
00212a87je 0x212a90
00212a89
00212a89loc_212a89:
00212a89xor eax, eax
00212a8bret
00212a8c
00212a8c 0f 1f 40 00 ..@.
00212a90
00212a90loc_212a90:
00212a90mov rax, [rip+0x166099]
00212a97test rax, rax
00212a9ajne 0x212a89
00212a9cmov rax, [rip+0x16609d]
00212aa3test rax, rax
00212aa6jne 0x212a89
00212aa8mov rdx, [rip+0x166041]
00212aafmov rax, [rip+0x16604a]
00212ab6cmp rdx, rax
00212ab9jne 0x212a89
00212abbmov rax, [rip+0x165fee]
00212ac2test rax, rax
00212ac5jne 0x212a89
00212ac7mov rax, [rip+0x165fea]
00212acetest rax, rax
00212ad1sete al
00212ad4movzx eax, al
00212ad7ret
00212a80

00212ad8
00212ad8 // align 0x10

00212ae0
00212ae0fn_212ae0:
00212ae0mov eax, [rip+0x165f7a]
00212ae6test eax, eax
00212ae8je 0x212af0
00212aea
00212aealoc_212aea:
00212aeaxor eax, eax
00212aecret
00212aed
00212aed 0f 1f 00 ...
00212af0
00212af0loc_212af0:
00212af0mov rax, [rip+0x166051]
00212af7test rax, rax
00212afajne 0x212aea
00212afcmov rax, [rip+0x16603d]
00212b03test rax, rax
00212b06jne 0x212aea
00212b08mov rax, [rip+0x166011]
00212b0ftest rax, rax
00212b12jne 0x212aea
00212b14mov rdx, [rip+0x165fd5]
00212b1bmov rax, [rip+0x165fde]
00212b22cmp rdx, rax
00212b25jne 0x212aea
00212b27mov rax, [rip+0x165f82]
00212b2etest rax, rax
00212b31jne 0x212aea
00212b33mov rax, [rip+0x165f7e]
00212b3atest rax, rax
00212b3dsete al
00212b40movzx eax, al
00212b43ret
00212ae0

00212b44
00212b44 // align 0x20

00212b60
00212b60fn_212b60:
00212b60push rbp
00212b61mov edi, 24
00212b66mov ebp, edx
00212b68push rbx
00212b69mov rbx, rcx
00212b6csub rsp, 8
00212b70call caml_ev_begin
00212b75cmp ebp, 1
00212b78je 0x212bc0
00212b7amov edi, ebp
00212b7ccall caml_global_barrier_and_check_final
00212b81mov rdi, rax
00212b84test rax, rax
00212b87je 0x212ba9
00212b89call fn_212ae0
00212b8etest eax, eax
00212b90je 0x212c50
00212b96mov [rip+0x165ebc], 1
00212ba0call caml_global_barrier_release_as_final
00212ba5add rsp, 8
00212ba9
00212ba9loc_212ba9:
00212ba9mov edi, 24
00212baepop rbx
00212bafpop rbp
00212bb0jmp 0x21cae0
00212bb5db 0x27
00212bb6lahf
00212bb7add [rax], al
00212bb9
00212bb9 0f 1f 80 00 00 00 00 .......
00212bc0
00212bc0loc_212bc0:
00212bc0call fn_212ae0
00212bc5test eax, eax
00212bc7je 0x212be8
00212bc9mov [rip+0x165e8d], 1
00212bd3add rsp, 8
00212bd7mov edi, 24
00212bdcpop rbx
00212bddpop rbp
00212bdejmp 0x21cae0
00212be3
00212be3 0f 1f 44 00 00 ..D..
00212be8
00212be8loc_212be8:
00212be8call fn_212a80
00212bedtest eax, eax
00212befje 0x212ba9
00212bf1mov [rip+0x165e65], 2
00212bfbmov edx, 1
00212c00xor edi, edi
00212c02mov [rip+0x165f2b], 1
00212c0d
00212c0dloc_212c0d:
00212c0dmov rax, rbx
00212c10lea rcx, [rbx+8*rdx]
00212c14nop [rax+rax]
00212c1fnop
00212c20
00212c20loc_212c20:
00212c20mov rdx, [rax]
00212c23add rax, 8
00212c27mov rdx, [rdx+168]
00212c2emov [rdx+16], 1
00212c35cmp rax, rcx
00212c38jne 0x212c20
00212c3acmp ebp, 1
00212c3dje 0x212ba9
00212c43jmp 0x212ba4
00212c48
00212c48 0f 1f 84 00 00 00 00 00 ........
00212c50
00212c50loc_212c50:
00212c50call fn_212a80
00212c55test eax, eax
00212c57je 0x212ba4
00212c5dmov [rip+0x165df9], 2
00212c67movsxd rdx, ebp
00212c6amov [rip+0x165ec7], rdx
00212c71test ebp, ebp
00212c73jg 0x212c0d
00212c75jmp 0x212ba4
00212b60

00212c7a
00212c7a // align 0x10

00212c80
00212c80caml_orphan_finalisers:
00212c80push r14
00212c82push r13
00212c84push r12
00212c86push rbp
00212c87push rbx
00212c88sub rsp, 32
00212c8cmov rbx, [rdi+176]
00212c93mov rbp, [0x28]
00212c9cmov [rsp+24], rbp
00212ca1mov rbp, rdi
00212ca4cmp [rbx+80], 0
00212ca9je 0x212d50
00212caflock add [rip+0x165e64], 1
00212cb8mov eax, [rip+0x165d9e]
00212cbetest eax, eax
00212cc0jne 0x212da0
00212cc6lea r12, [rip+0x165daf]
00212ccdmov rdi, r12
00212cd0call fn_f4710
00212cd5test eax, eax
00212cd7jne 0x212def
00212cddmov rax, [rip+0x165dd0]
00212ce4mov [rbx+104], rax
00212ce8xchg [rip+0x165dc5], rbx
00212cefmov rdi, r12
00212cf2call fn_f47c0
00212cf7test eax, eax
00212cf9jne 0x212dfd
00212cffcall caml_alloc_final_info
00212d04mov rbx, rax
00212d07mov [rbp+176], rax
00212d0elock sub [rip+0x165e05], 1
00212d17cmp [rbx+32], 0
00212d1cje 0x212d88
00212d1ecmp [rbx+72], 0
00212d23je 0x212d70
00212d25mov rax, [rsp+24]
00212d2asub rax, [0x28]
00212d33jne 0x212dea
00212d39add rsp, 32
00212d3dpop rbx
00212d3epop rbp
00212d3fpop r12
00212d41pop r13
00212d43pop r14
00212d45ret
00212d46db 0x5d
00212d47pop r14
00212d49ret
00212d4a
00212d4a 66 0f 1f 44 00 00 f..D..
00212d50
00212d50loc_212d50:
00212d50cmp [rbx+24], 0
00212d55jne 0x212cb3
00212d5bcmp [rbx+64], 0
00212d60je 0x212d1b
00212d62jmp 0x212cb3
00212d67
00212d67 66 0f 1f 84 00 00 00 00 00 f........
00212d70
00212d70loc_212d70:
00212d70lock sub [rip+0x165daf], 1
00212d79mov [rbx+72], 1
00212d81jmp 0x212d29
00212d83
00212d83 0f 1f 44 00 00 ..D..
00212d88
00212d88loc_212d88:
00212d88lock sub [rip+0x165d9f], 1
00212d91mov [rbx+32], 1
00212d99jmp 0x212d22
00212d9b
00212d9b 0f 1f 44 00 00 ..D..
00212da0
00212da0loc_212da0:
00212da0mov r12, [rip+0x165cc1]
00212da7mov r14, rsp
00212daalea r13, [rip+6319]
00212db1mov rax, r12
00212db4nop [rax+rax]
00212dbfnop
00212dc0
00212dc0loc_212dc0:
00212dc0xor edx, edx
00212dc2mov rsi, r14
00212dc5mov rdi, r13
00212dc8mov [rsp+8], 0
00212dd0mov [rsp], rax
00212dd4call caml_try_run_on_all_domains
00212dd9mov rax, [rip+0x165c88]
00212de0cmp r12, rax
00212de3je 0x212dc0
00212de5jmp 0x212cca
00212dea
00212dealoc_212dea:
00212deacall fn_f4590
00212def
00212defloc_212def:
00212defmov esi, eax
00212df1lea rdi, [rip+0x1c717]
00212df8call caml_plat_fatal_error
00212dfd
00212dfdloc_212dfd:
00212dfdmov esi, eax
00212dfflea rdi, [rip+0x1c714]
00212e06call caml_plat_fatal_error
00212c80

00212e0b
00212e0b // align 0x10

00212e10
00212e10caml_shrink_mark_stack:
00212e10mov rax, [rip+0x631cd]
00212e17push rbx
00212e18mov esi, 64
00212e1dlea rdi, [rip+0x1ddf0]
00212e24mov rax, [rax]
00212e28mov rbx, [rax+104]
00212e2cxor eax, eax
00212e2ecall caml_gc_log
00212e33mov esi, 0x10000
00212e38mov rdi, [rbx]
00212e3bcall caml_stat_resize_noexc
00212e40test rax, rax
00212e43je 0x212e60
00212e45mov [rbx], rax
00212e48mov [rbx+16], 4096
00212e50pop rbx
00212e51ret
00212e52db 0x00
00212e53add [rbx-61], bl
00212e56
00212e56 66 2e 0f 1f 84 00 00 00 00 00 f.........
00212e60
00212e60loc_212e60:
00212e60lea rdi, [rip+0x1c357]
00212e67xor eax, eax
00212e69pop rbx
00212e6ajmp 0x21abf0
00212e10

00212e6f
00212e6f // align 0x10

00212e70
00212e70caml_darken_cont:
00212e70push r15
00212e72lea r15, [rdi-8]
00212e76push r14
00212e78xor r14l, r14l
00212e7bpush r13
00212e7dlea r13, [rip+0x165538]
00212e84push r12
00212e86lea r12, [rip+223]
00212e8dpush rbp
00212e8emov rbp, rdi
00212e91push rbx
00212e92lea rbx, [rip+0x62a63]
00212e99sub rsp, 24
00212e9djmp 0x212ec4
00212e9fdb 0xec
00212ea0sbb bl, ch
00212ea2db 0x21
00212ea3
00212ea3 0f 1f 44 00 00 ..D..
00212ea8
00212ea8loc_212ea8:
00212ea8cmp [rip+0x165519], rdx
00212eafje 0x212f00
00212eb1
00212eb1loc_212eb1:
00212eb1nop
00212eb3cmp r14l, 999
00212ebaja 0x212f50
00212ec0add r14l, 1
00212ec4
00212ec4loc_212ec4:
00212ec4mov rax, [r15]
00212ec7mov rdx, rax
00212ecaand edx, 768
00212ed0cmp [r13], rdx
00212ed4jne 0x212ea8
00212ed6mov rax, [r15]
00212ed9mov rdx, rax
00212edcand edx, 768
00212ee2cmp [r13], rdx
00212ee6jne 0x212ea8
00212ee8add rsp, 24
00212eecpop rbx
00212eedpop rbp
00212eeepop r12
00212ef0pop r13
00212ef2pop r14
00212ef4pop r15
00212ef6ret
00212ef7
00212ef7 66 0f 1f 84 00 00 00 00 00 f........
00212f00
00212f00loc_212f00:
00212f00mov rdx, rax
00212f03or dh, 3
00212f06lock cmpxchg [r15], rdx
00212f0bjne 0x212eb1
00212f0dmov rcx, [rbp]
00212f11cmp rcx, 1
00212f15je 0x212f3d
00212f17mov rdx, [rip+0x630ca]
00212f1esub rcx, 1
00212f22xor r8l, r8l
00212f25xor esi, esi
00212f27mov [rsp+8], rax
00212f2cmov rdi, r12
00212f2fmov rdx, [rdx]
00212f33call caml_scan_stack
00212f38mov rax, [rsp+8]
00212f3d
00212f3dloc_212f3d:
00212f3dand ah, 252
00212f40or rax, [r13]
00212f44mov [r15], rax
00212f47jmp 0x212eb1
00212f4c
00212f4c 0f 1f 40 00 ..@.
00212f50
00212f50loc_212f50:
00212f50mov edi, r14l
00212f53mov rsi, rbx
00212f56call caml_plat_spin_back_off
00212f5bmov r14l, eax
00212f5ejmp 0x212ec4
00212e70

00212f63
00212f63 // align 0x10

00212f70
00212f70caml_darken:
00212f70test sil, 1
00212f74jne 0x212fa6
00212f76cmp rsi, [rip+0x165647]
00212f7djae 0x212f8c
00212f7fcmp [rip+0x165646], rsi
00212f86jb 0x212fa6
00212f88mov rax, [rsi-8]
00212f8c
00212f8cloc_212f8c:
00212f8ccmp al, -7
00212f8eje 0x212fe0
00212f90mov rdx, rax
00212f93and edx, 768
00212f99cmp [rip+0x165424], rdx
00212fa0je 0x212fb0
00212fa2ret
00212fa3db 0x00
00212fa4je 0x212fb0
00212fa6
00212fa6loc_212fa6:
00212fa6ret
00212fa7
00212fa7 66 0f 1f 84 00 00 00 00 00 f........
00212fb0
00212fb0loc_212fb0:
00212fb0cmp [rdi+112], 0
00212fb5jne 0x213000
00212fb7
00212fb7loc_212fb7:
00212fb7movzx edx, al
00212fbacmp al, -11
00212fbcje 0x212ff8
00212fbeand ah, 252
00212fc1or rax, [rip+0x1653f8]
00212fc8mov [rsi-8], rax
00212fcccmp edx, 250
00212fd2ja 0x212fa6
00212fd4mov rdi, [rdi+104]
00212fd8jmp 0x2122b0
00212fdd
00212fdd 0f 1f 00 ...
00212fe0
00212fe0loc_212fe0:
00212fe0shr rax, 10
00212fe4shl rax, 3
00212fe8sub rsi, rax
00212febmov rax, [rsi-8]
00212fefjmp 0x212f94
00212ff1
00212ff1 0f 1f 80 00 00 00 00 .......
00212ff8
00212ff8loc_212ff8:
00212ff8mov rdi, rsi
00212ffbjmp 0x212e70
00213000
00213000loc_213000:
00213000lock add [rip+0x165b37], 1
00213009mov [rdi+112], 0
00213011jmp 0x212fb7
00212f70

00213013
00213013 // align 0x10

00213020
00213020fn_213020:
00213020push r15
00213022mov r11l, edx
00213025mov r15, rsi
00213028push r14
0021302apush r13
0021302cpush r12
0021302epush rbp
0021302fmov rbp, rdi
00213032push rbx
00213033sub rsp, 56
00213037mov rax, [rip+0x62faa]
0021303emov r13, [rax]
00213042mov rdx, [r13+168]
00213049mov rax, [rdx+40]
0021304dcmp rax, rsi
00213050jne 0x21305c
00213052test r11b, 1
00213056je 0x213332
0021305c
0021305cloc_21305c:
0021305cmov r12, [rdx]
0021305fmov [rsp+8], rdx
00213064test r12, r12
00213067je 0x21335f
0021306d
0021306dloc_21306d:
0021306dmov [rsp+16], 0
00213076xor r14l, r14l
00213079mov rcx, r13
0021307cmov [rsp+40], r15
00213081mov r15l, r11l
00213084nop [rax+rax]
0021308fnop
00213090
00213090loc_213090:
00213090mov rbx, r12
00213093mov r11, r12
00213096mov r12, [r12]
0021309amov rax, [rbx-8]
0021309emov r13, [rbx+8]
002130a2test r15l, r15l
002130a5jne 0x213294
002130abmov rdx, [rbx-8]
002130afmov r9, rax
002130b2and edx, 768
002130b8cmp rdx, [rip+0x165309]
002130bfsetne r10b
002130c3shr r9, 10
002130c7cmp rax, 3071
002130cdjbe 0x213323
002130d3test r10b, r10b
002130d6je 0x213323
002130dc
002130dcloc_2130dc:
002130dcmov [rsp], rbx
002130e0lea rsi, [rbx+16]
002130e4mov r10l, 1
002130eamov r8l, 2
002130f0
002130f0loc_2130f0:
002130f0mov rax, [rsi]
002130f3cmp rax, [rip+0x165356]
002130faje 0x213280
00213100lea rdx, [rax-8]
00213104test al, 1
00213106je 0x213167
00213108jmp 0x213280
0021310d
0021310d 0f 1f 00 ...
00213110
00213110loc_213110:
00213110mov rax, [rax]
00213113test al, 1
00213115jne 0x213280
0021311bmovzx edi, [rax-8]
0021311flea rdx, [rax-8]
00213123cmp dil, -6
00213127je 0x213280
0021312dmovzx edi, [rax-8]
00213131cmp dil, -10
00213135je 0x213280
0021313bmovzx edi, [rax-8]
0021313fcmp dil, -12
00213143je 0x213280
00213149movzx edi, [rax-8]
0021314dcmp dil, -3
00213151je 0x213280
00213157mov [rsi], rax
0021315acmp [rip+0x1652ef], rax
00213161je 0x213280
00213167
00213167loc_213167:
00213167movzx edi, [rdx]
0021316amov rbx, rdx
0021316dcmp dil, -6
00213171je 0x213110
00213173movzx eax, [rdx]
00213176cmp al, -7
00213178je 0x2132ec
0021317e
0021317eloc_21317e:
0021317emov rax, [rbx]
00213181and eax, 768
00213186cmp rax, [rip+0x16523b]
0021318dsetne r10b
00213191setne al
00213194movzx r10l, r10b
00213198nop [rax+rax]
002131a0
002131a0loc_2131a0:
002131a0add r8, 1
002131a4add rsi, 8
002131a8cmp r8, r9
002131abjae 0x2131b5
002131adtest al, al
002131afjne 0x2130f0
002131b5
002131b5loc_2131b5:
002131b5mov rbx, [rsp]
002131b9
002131b9loc_2131b9:
002131b9sub rbp, 1
002131bdsub rbp, r8
002131c0or r10l, r15l
002131c3je 0x21328a
002131c9
002131c9loc_2131c9:
002131c9cmp [rip+0x165280], r13
002131d0je 0x2131dc
002131d2test r13b, 1
002131d6je 0x2132ff
002131dc
002131dcloc_2131dc:
002131dcmov rax, [rcx+168]
002131e3add [rsp+16], 1
002131e9mov rax, [rax+8]
002131edmov [rbx], rax
002131f0mov rax, [rcx+168]
002131f7mov [rax+8], r11
002131fbmov rax, [rsp+8]
00213200mov [rax], r12
00213203
00213203loc_213203:
00213203add r14, 1
00213207test r12, r12
0021320aje 0x213215
0021320ctest rbp, rbp
0021320fjg 0x213090
00213215
00213215loc_213215:
00213215mov rax, [rcx+168]
0021321cmov r15, [rsp+40]
00213221mov r13, rcx
00213224mov rax, [rax+40]
00213228
00213228loc_213228:
00213228lea rsi, [rip+0x1bfc1]
0021322fcmp r15, rax
00213232je 0x213353
00213238
00213238loc_213238:
00213238mov r8, [rsp+16]
0021323dmov rcx, r14
00213240mov rdx, r15
00213243xor eax, eax
00213245lea rdi, [rip+0x1d9f4]
0021324ccall caml_gc_log
00213251mov rax, [r13+168]
00213258mov rcx, [rsp+8]
0021325dmov [rax+40], r15
00213261mov rax, [r13+168]
00213268mov [rax+32], rcx
0021326cadd rsp, 56
00213270mov rax, rbp
00213273pop rbx
00213274pop rbp
00213275pop r12
00213277pop r13
00213279pop r14
0021327bpop r15
0021327dret
0021327e
0021327e 66 90 f.
00213280
00213280loc_213280:
00213280mov eax, 1
00213285jmp 0x2131a0
0021328a
0021328aloc_21328a:
0021328amov [rsp+8], rbx
0021328fjmp 0x213203
00213294
00213294loc_213294:
00213294xor edx, edx
00213296mov rdi, rcx
00213299mov rsi, rbx
0021329cmov [rsp+32], rax
002132a1mov [rsp], rcx
002132a5mov [rsp+24], rbx
002132aacall caml_darken
002132afmov rdx, [rbx-8]
002132b3mov rax, [rsp+32]
002132b8mov rcx, [rsp]
002132bcmov r11, [rsp+24]
002132c1shr rax, 10
002132c5mov r9, rax
002132c8mov rax, rdx
002132cband eax, 768
002132d0cmp rax, [rip+0x1650f1]
002132d7je 0x2132e3
002132d9cmp r9, 2
002132ddja 0x2130dc
002132e3
002132e3loc_2132e3:
002132e3sub rbp, 3
002132e7jmp 0x2131c9
002132ec
002132ecloc_2132ec:
002132ecmov rax, [rdx]
002132efshr rax, 10
002132f3shl rax, 3
002132f7sub rbx, rax
002132fajmp 0x21317e
002132ff
002132ffloc_2132ff:
002132ffmov rdi, rcx
00213302xor edx, edx
00213304mov rsi, r13
00213307mov [rsp+24], r11
0021330cmov [rsp], rcx
00213310call caml_darken
00213315mov r11, [rsp+24]
0021331amov rcx, [rsp]
0021331ejmp 0x2131dc
00213323
00213323loc_213323:
00213323movzx r10l, r10b
00213327mov r8l, 2
0021332djmp 0x2131b9
00213332
00213332loc_213332:
00213332mov rax, [rdx+32]
00213336mov r12, [rax]
00213339mov [rsp+8], rax
0021333etest r12, r12
00213341jne 0x21306d
00213347mov [rsp+16], 0
00213350xor r14l, r14l
00213353
00213353loc_213353:
00213353lea rsi, [rip+0x1be80]
0021335ajmp 0x213238
0021335f
0021335floc_21335f:
0021335fmov [rsp+16], 0
00213368xor r14l, r14l
0021336bjmp 0x213228
00213020