File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001c9350
001c9350camlCamlinternalFormat.type_format_gen_2489:
001c9350lea r10, [rsp-352]
001c9358cmp r10, [r14+40]
001c935cjb 0x1ca05c
001c9362
001c9362loc_1c9362:
001c9362sub rsp, 32
001c9366mov rcx, rax
001c9369mov rdi, rbx
001c936ccmp r15, [r14]
001c936fjbe 0x1ca052
001c9375
001c9375loc_1c9375:
001c9375test cl, 1
001c9378je 0x1c93a4
001c937asub r15, 24
001c937ecmp r15, [r14]
001c9381jb 0x1ca048
001c9387
001c9387loc_1c9387:
001c9387lea rax, [r15+8]
001c938bmov [rax-8], 2048
001c9393mov [rax], 1
001c939amov [rax+8], rdi
001c939eadd rsp, 32
001c93a2ret
001c93a3nop
001c93a4
001c93a4loc_1c93a4:
001c93a4mov [rsp+16], rdi
001c93a9mov [rsp+24], rcx
001c93aemovzx rax, [rcx-8]
001c93b3lea rdx, [rip+0x64af2]
001c93bamovsxd rax, [rdx+4*rax]
001c93beadd rdx, rax
001c93c1jmp rdx
001c93c3nop
001c93c4test dil, 1
001c93c8jne 0x1c9f48
001c93cemovzx rax, [rdi-8]
001c93d3test rax, rax
001c93d6jne 0x1c9f48
001c93dcmov rbx, [rdi]
001c93dfmov rax, [rcx]
001c93e2call camlCamlinternalFormat.type_format_gen_2489
001c93e7sub r15, 40
001c93ebcmp r15, [r14]
001c93eejb 0x1ca03e
001c93f4
001c93f4loc_1c93f4:
001c93f4lea rbx, [r15+8]
001c93f8add rbx, 24
001c93fcmov [rbx-8], 1024
001c9404mov rdi, [rax]
001c9407mov [rbx], rdi
001c940alea rdi, [rbx-24]
001c940emov [rdi-8], 2048
001c9416mov [rdi], rbx
001c9419mov rax, [rax+8]
001c941dmov [rdi+8], rax
001c9421mov rax, rdi
001c9424add rsp, 32
001c9428ret
001c9429nop [rax]
001c942ctest dil, 1
001c9430jne 0x1c9f48
001c9436movzx rax, [rdi-8]
001c943btest rax, rax
001c943ejne 0x1c9f48
001c9444mov rbx, [rdi]
001c9447mov rax, [rcx]
001c944acall camlCamlinternalFormat.type_format_gen_2489
001c944fsub r15, 40
001c9453cmp r15, [r14]
001c9456jb 0x1ca034
001c945c
001c945cloc_1c945c:
001c945clea rbx, [r15+8]
001c9460add rbx, 24
001c9464mov [rbx-8], 1025
001c946cmov rdi, [rax]
001c946fmov [rbx], rdi
001c9472lea rdi, [rbx-24]
001c9476mov [rdi-8], 2048
001c947emov [rdi], rbx
001c9481mov rax, [rax+8]
001c9485mov [rdi+8], rax
001c9489mov rax, rdi
001c948cadd rsp, 32
001c9490ret
001c9491nop [rax]
001c9494mov rax, [rcx]
001c9497mov rbx, rdi
001c949acall camlCamlinternalFormat.type_padding_2430
001c949fmov [rsp], rax
001c94a3mov rax, [rax+8]
001c94a7test al, 1
001c94a9jne 0x1c9514
001c94abmovzx rbx, [rax-8]
001c94b0cmp rbx, 1
001c94b4jne 0x1c9514
001c94b6mov rbx, [rax]
001c94b9mov rax, [rsp+24]
001c94bemov rax, [rax+8]
001c94c2call camlCamlinternalFormat.type_format_gen_2489
001c94c7sub r15, 48
001c94cbcmp r15, [r14]
001c94cejb 0x1ca02a
001c94d4
001c94d4loc_1c94d4:
001c94d4lea rbx, [r15+8]
001c94d8add rbx, 24
001c94dcmov [rbx-8], 2050
001c94e4mov rdi, [rsp]
001c94e8mov rdi, [rdi]
001c94ebmov [rbx], rdi
001c94eemov rdi, [rax]
001c94f1mov [rbx+8], rdi
001c94f5lea rdi, [rbx-24]
001c94f9mov [rdi-8], 2048
001c9501mov [rdi], rbx
001c9504mov rax, [rax+8]
001c9508mov [rdi+8], rax
001c950cmov rax, rdi
001c950fadd rsp, 32
001c9513ret
001c9514
001c9514loc_1c9514:
001c9514lea rax, [rip+0x18485d]
001c951bmov rax, [rax+448]
001c9522call caml_raise_exn
001c9527nop
001c9528mov rax, [rcx]
001c952bmov rbx, rdi
001c952ecall camlCamlinternalFormat.type_padding_2430
001c9533mov [rsp], rax
001c9537mov rax, [rax+8]
001c953btest al, 1
001c953djne 0x1c95a8
001c953fmovzx rbx, [rax-8]
001c9544cmp rbx, 1
001c9548jne 0x1c95a8
001c954amov rbx, [rax]
001c954dmov rax, [rsp+24]
001c9552mov rax, [rax+8]
001c9556call camlCamlinternalFormat.type_format_gen_2489
001c955bsub r15, 48
001c955fcmp r15, [r14]
001c9562jb 0x1ca020
001c9568
001c9568loc_1c9568:
001c9568lea rbx, [r15+8]
001c956cadd rbx, 24
001c9570mov [rbx-8], 2051
001c9578mov rdi, [rsp]
001c957cmov rdi, [rdi]
001c957fmov [rbx], rdi
001c9582mov rdi, [rax]
001c9585mov [rbx+8], rdi
001c9589lea rdi, [rbx-24]
001c958dmov [rdi-8], 2048
001c9595mov [rdi], rbx
001c9598mov rax, [rax+8]
001c959cmov [rdi+8], rax
001c95a0mov rax, rdi
001c95a3add rsp, 32
001c95a7ret
001c95a8
001c95a8loc_1c95a8:
001c95a8lea rax, [rip+0x1847c9]
001c95afmov rax, [rax+448]
001c95b6call caml_raise_exn
001c95bbnop
001c95bcmov rbx, [rcx+16]
001c95c0mov rax, [rcx+8]
001c95c4call camlCamlinternalFormat.type_padprec_2453
001c95c9mov [rsp], rax
001c95cdmov rax, [rax+16]
001c95d1test al, 1
001c95d3jne 0x1c9654
001c95d5movzx rbx, [rax-8]
001c95dacmp rbx, 2
001c95dejne 0x1c9654
001c95e0mov rbx, [rax]
001c95e3mov rax, [rsp+24]
001c95e8mov rax, [rax+24]
001c95eccall camlCamlinternalFormat.type_format_gen_2489
001c95f1sub r15, 64
001c95f5cmp r15, [r14]
001c95f8jb 0x1ca016
001c95fe
001c95feloc_1c95fe:
001c95felea rbx, [r15+8]
001c9602add rbx, 24
001c9606mov [rbx-8], 4100
001c960emov rdi, [rsp+24]
001c9613mov rdi, [rdi]
001c9616mov [rbx], rdi
001c9619mov rsi, [rsp]
001c961dmov rdi, [rsi]
001c9620mov [rbx+8], rdi
001c9624mov rdi, [rsi+8]
001c9628mov [rbx+16], rdi
001c962cmov rdi, [rax]
001c962fmov [rbx+24], rdi
001c9633lea rdi, [rbx-24]
001c9637mov [rdi-8], 2048
001c963fmov [rdi], rbx
001c9642mov rax, [rax+8]
001c9646mov [rdi+8], rax
001c964amov rax, rdi
001c964dadd rsp, 32
001c9651ret
001c9652nop
001c9654
001c9654loc_1c9654:
001c9654lea rax, [rip+0x18471d]
001c965bmov rax, [rax+448]
001c9662call caml_raise_exn
001c9667nop
001c9668mov rbx, [rcx+16]
001c966cmov rax, [rcx+8]
001c9670call camlCamlinternalFormat.type_padprec_2453
001c9675mov [rsp], rax
001c9679mov rax, [rax+16]
001c967dtest al, 1
001c967fjne 0x1c9700
001c9681movzx rbx, [rax-8]
001c9686cmp rbx, 3
001c968ajne 0x1c9700
001c968cmov rbx, [rax]
001c968fmov rax, [rsp+24]
001c9694mov rax, [rax+24]
001c9698call camlCamlinternalFormat.type_format_gen_2489
001c969dsub r15, 64
001c96a1cmp r15, [r14]
001c96a4jb 0x1ca00c
001c96aa
001c96aaloc_1c96aa:
001c96aalea rbx, [r15+8]
001c96aeadd rbx, 24
001c96b2mov [rbx-8], 4101
001c96bamov rdi, [rsp+24]
001c96bfmov rdi, [rdi]
001c96c2mov [rbx], rdi
001c96c5mov rsi, [rsp]
001c96c9mov rdi, [rsi]
001c96ccmov [rbx+8], rdi
001c96d0mov rdi, [rsi+8]
001c96d4mov [rbx+16], rdi
001c96d8mov rdi, [rax]
001c96dbmov [rbx+24], rdi
001c96dflea rdi, [rbx-24]
001c96e3mov [rdi-8], 2048
001c96ebmov [rdi], rbx
001c96eemov rax, [rax+8]
001c96f2mov [rdi+8], rax
001c96f6mov rax, rdi
001c96f9add rsp, 32
001c96fdret
001c96fenop
001c9700
001c9700loc_1c9700:
001c9700lea rax, [rip+0x184671]
001c9707mov rax, [rax+448]
001c970ecall caml_raise_exn
001c9713nop
001c9714mov rbx, [rcx+16]
001c9718mov rax, [rcx+8]
001c971ccall camlCamlinternalFormat.type_padprec_2453
001c9721mov [rsp], rax
001c9725mov rax, [rax+16]
001c9729test al, 1
001c972bjne 0x1c97ac
001c972dmovzx rbx, [rax-8]
001c9732cmp rbx, 4
001c9736jne 0x1c97ac
001c9738mov rbx, [rax]
001c973bmov rax, [rsp+24]
001c9740mov rax, [rax+24]
001c9744call camlCamlinternalFormat.type_format_gen_2489
001c9749sub r15, 64
001c974dcmp r15, [r14]
001c9750jb 0x1ca002
001c9756
001c9756loc_1c9756:
001c9756lea rbx, [r15+8]
001c975aadd rbx, 24
001c975emov [rbx-8], 4102
001c9766mov rdi, [rsp+24]
001c976bmov rdi, [rdi]
001c976emov [rbx], rdi
001c9771mov rsi, [rsp]
001c9775mov rdi, [rsi]
001c9778mov [rbx+8], rdi
001c977cmov rdi, [rsi+8]
001c9780mov [rbx+16], rdi
001c9784mov rdi, [rax]
001c9787mov [rbx+24], rdi
001c978blea rdi, [rbx-24]
001c978fmov [rdi-8], 2048
001c9797mov [rdi], rbx
001c979amov rax, [rax+8]
001c979emov [rdi+8], rax
001c97a2mov rax, rdi
001c97a5add rsp, 32
001c97a9ret
001c97aanop
001c97ac
001c97acloc_1c97ac:
001c97aclea rax, [rip+0x1845c5]
001c97b3mov rax, [rax+448]
001c97bacall caml_raise_exn
001c97bfnop
001c97c0mov rbx, [rcx+16]
001c97c4mov rax, [rcx+8]
001c97c8call camlCamlinternalFormat.type_padprec_2453
001c97cdmov [rsp], rax
001c97d1mov rax, [rax+16]
001c97d5test al, 1
001c97d7jne 0x1c9858
001c97d9movzx rbx, [rax-8]
001c97decmp rbx, 5
001c97e2jne 0x1c9858
001c97e4mov rbx, [rax]
001c97e7mov rax, [rsp+24]
001c97ecmov rax, [rax+24]
001c97f0call camlCamlinternalFormat.type_format_gen_2489
001c97f5sub r15, 64
001c97f9cmp r15, [r14]
001c97fcjb 0x1c9ff8
001c9802
001c9802loc_1c9802:
001c9802lea rbx, [r15+8]
001c9806add rbx, 24
001c980amov [rbx-8], 4103
001c9812mov rdi, [rsp+24]
001c9817mov rdi, [rdi]
001c981amov [rbx], rdi
001c981dmov rsi, [rsp]
001c9821mov rdi, [rsi]
001c9824mov [rbx+8], rdi
001c9828mov rdi, [rsi+8]
001c982cmov [rbx+16], rdi
001c9830mov rdi, [rax]
001c9833mov [rbx+24], rdi
001c9837lea rdi, [rbx-24]
001c983bmov [rdi-8], 2048
001c9843mov [rdi], rbx
001c9846mov rax, [rax+8]
001c984amov [rdi+8], rax
001c984emov rax, rdi
001c9851add rsp, 32
001c9855ret
001c9856nop
001c9858
001c9858loc_1c9858:
001c9858lea rax, [rip+0x184519]
001c985fmov rax, [rax+448]
001c9866call caml_raise_exn
001c986bnop
001c986cmov rbx, [rcx+16]
001c9870mov rax, [rcx+8]
001c9874call camlCamlinternalFormat.type_padprec_2453
001c9879mov [rsp], rax
001c987dmov rax, [rax+16]
001c9881test al, 1
001c9883jne 0x1c9904
001c9885movzx rbx, [rax-8]
001c988acmp rbx, 6
001c988ejne 0x1c9904
001c9890mov rbx, [rax]
001c9893mov rax, [rsp+24]
001c9898mov rax, [rax+24]
001c989ccall camlCamlinternalFormat.type_format_gen_2489
001c98a1sub r15, 64
001c98a5cmp r15, [r14]
001c98a8jb 0x1c9fee
001c98ae
001c98aeloc_1c98ae:
001c98aelea rbx, [r15+8]
001c98b2add rbx, 24
001c98b6mov [rbx-8], 4104
001c98bemov rdi, [rsp+24]
001c98c3mov rdi, [rdi]
001c98c6mov [rbx], rdi
001c98c9mov rsi, [rsp]
001c98cdmov rdi, [rsi]
001c98d0mov [rbx+8], rdi
001c98d4mov rdi, [rsi+8]
001c98d8mov [rbx+16], rdi
001c98dcmov rdi, [rax]
001c98dfmov [rbx+24], rdi
001c98e3lea rdi, [rbx-24]
001c98e7mov [rdi-8], 2048
001c98efmov [rdi], rbx
001c98f2mov rax, [rax+8]
001c98f6mov [rdi+8], rax
001c98famov rax, rdi
001c98fdadd rsp, 32
001c9901ret
001c9902nop
001c9904
001c9904loc_1c9904:
001c9904lea rax, [rip+0x18446d]
001c990bmov rax, [rax+448]
001c9912call caml_raise_exn
001c9917nop
001c9918mov rax, [rcx]
001c991bmov rbx, rdi
001c991ecall camlCamlinternalFormat.type_padding_2430
001c9923mov [rsp], rax
001c9927mov rax, [rax+8]
001c992btest al, 1
001c992djne 0x1c9998
001c992fmovzx rbx, [rax-8]
001c9934cmp rbx, 7
001c9938jne 0x1c9998
001c993amov rbx, [rax]
001c993dmov rax, [rsp+24]
001c9942mov rax, [rax+8]
001c9946call camlCamlinternalFormat.type_format_gen_2489
001c994bsub r15, 48
001c994fcmp r15, [r14]
001c9952jb 0x1c9fe4
001c9958
001c9958loc_1c9958:
001c9958lea rbx, [r15+8]
001c995cadd rbx, 24
001c9960mov [rbx-8], 2057
001c9968mov rdi, [rsp]
001c996cmov rdi, [rdi]
001c996fmov [rbx], rdi
001c9972mov rdi, [rax]
001c9975mov [rbx+8], rdi
001c9979lea rdi, [rbx-24]
001c997dmov [rdi-8], 2048
001c9985mov [rdi], rbx
001c9988mov rax, [rax+8]
001c998cmov [rdi+8], rax
001c9990mov rax, rdi
001c9993add rsp, 32
001c9997ret
001c9998
001c9998loc_1c9998:
001c9998lea rax, [rip+0x1843d9]
001c999fmov rax, [rax+448]
001c99a6call caml_raise_exn
001c99abnop
001c99acmov rax, [rcx]
001c99afmov rbx, rdi
001c99b2call camlCamlinternalFormat.type_format_gen_2489
001c99b7sub r15, 40
001c99bbcmp r15, [r14]
001c99bejb 0x1c9fda
001c99c4
001c99c4loc_1c99c4:
001c99c4lea rbx, [r15+8]
001c99c8add rbx, 24
001c99ccmov [rbx-8], 1034
001c99d4mov rdi, [rax]
001c99d7mov [rbx], rdi
001c99dalea rdi, [rbx-24]
001c99demov [rdi-8], 2048
001c99e6mov [rdi], rbx
001c99e9mov rax, [rax+8]
001c99edmov [rdi+8], rax
001c99f1mov rax, rdi
001c99f4add rsp, 32
001c99f8ret
001c99f9nop [rax]
001c99fcmov rax, [rcx+8]
001c9a00mov rbx, rdi
001c9a03call camlCamlinternalFormat.type_format_gen_2489
001c9a08sub r15, 48
001c9a0ccmp r15, [r14]
001c9a0fjb 0x1c9fd0
001c9a15
001c9a15loc_1c9a15:
001c9a15lea rbx, [r15+8]
001c9a19add rbx, 24
001c9a1dmov [rbx-8], 2059
001c9a25mov rdi, [rsp+24]
001c9a2amov rdi, [rdi]
001c9a2dmov [rbx], rdi
001c9a30mov rdi, [rax]
001c9a33mov [rbx+8], rdi
001c9a37lea rdi, [rbx-24]
001c9a3bmov [rdi-8], 2048
001c9a43mov [rdi], rbx
001c9a46mov rax, [rax+8]
001c9a4amov [rdi+8], rax
001c9a4emov rax, rdi
001c9a51add rsp, 32
001c9a55ret
001c9a56nop
001c9a58mov rax, [rcx+8]
001c9a5cmov rbx, rdi
001c9a5fcall camlCamlinternalFormat.type_format_gen_2489
001c9a64sub r15, 48
001c9a68cmp r15, [r14]
001c9a6bjb 0x1c9fc6
001c9a71
001c9a71loc_1c9a71:
001c9a71lea rbx, [r15+8]
001c9a75add rbx, 24
001c9a79mov [rbx-8], 2060
001c9a81mov rdi, [rsp+24]
001c9a86mov rdi, [rdi]
001c9a89mov [rbx], rdi
001c9a8cmov rdi, [rax]
001c9a8fmov [rbx+8], rdi
001c9a93lea rdi, [rbx-24]
001c9a97mov [rdi-8], 2048
001c9a9fmov [rdi], rbx
001c9aa2mov rax, [rax+8]
001c9aa6mov [rdi+8], rax
001c9aaamov rax, rdi
001c9aadadd rsp, 32
001c9ab1ret
001c9ab2nop
001c9ab4test dil, 1
001c9ab8jne 0x1c9f48
001c9abemovzx rax, [rdi-8]
001c9ac3cmp rax, 8
001c9ac7jne 0x1c9f48
001c9acdmov rax, [rdi]
001c9ad0mov [rsp], rax
001c9ad4sub r15, 32
001c9ad8cmp r15, [r14]
001c9adbjb 0x1c9fbc
001c9ae1
001c9ae1loc_1c9ae1:
001c9ae1lea rsi, [r15+8]
001c9ae5add rsi, 16
001c9ae9mov [rsi-8], 1024
001c9af1mov [rsi], rax
001c9af4lea rdi, [rsi-16]
001c9af8mov [rdi-8], 1024
001c9b00mov rax, [rcx+8]
001c9b04mov [rdi], rax
001c9b07lea rax, [rip+0x36e02]
001c9b0ecall caml_c_call
001c9b13cmp rax, 1
001c9b17je 0x1c9b2c
001c9b19lea rax, [rip+0x184258]
001c9b20mov rax, [rax+448]
001c9b27call caml_raise_exn
001c9b2c
001c9b2cloc_1c9b2c:
001c9b2cmov rax, [rsp+16]
001c9b31mov rbx, [rax+8]
001c9b35mov rax, [rsp+24]
001c9b3amov rax, [rax+16]
001c9b3ecall camlCamlinternalFormat.type_format_gen_2489
001c9b43sub r15, 56
001c9b47cmp r15, [r14]
001c9b4ajb 0x1c9fb2
001c9b50
001c9b50loc_1c9b50:
001c9b50lea rbx, [r15+8]
001c9b54add rbx, 24
001c9b58mov [rbx-8], 3085
001c9b60mov rdi, [rsp+24]
001c9b65mov rdi, [rdi]
001c9b68mov [rbx], rdi
001c9b6bmov rdi, [rsp]
001c9b6fmov [rbx+8], rdi
001c9b73mov rdi, [rax]
001c9b76mov [rbx+16], rdi
001c9b7alea rdi, [rbx-24]
001c9b7emov [rdi-8], 2048
001c9b86mov [rdi], rbx
001c9b89mov rax, [rax+8]
001c9b8dmov [rdi+8], rax
001c9b91mov rax, rdi
001c9b94add rsp, 32
001c9b98ret
001c9b99nop [rax]
001c9b9ctest dil, 1
001c9ba0jne 0x1c9f48
001c9ba6movzx rax, [rdi-8]
001c9babcmp rax, 9
001c9bafjne 0x1c9f48
001c9bb5mov rax, [rdi]
001c9bb8mov [rsp+8], rax
001c9bbdcall camlCamlinternalFormatBasics.erase_rel_143
001c9bc2sub r15, 16
001c9bc6cmp r15, [r14]
001c9bc9jb 0x1c9fa8
001c9bcf
001c9bcfloc_1c9bcf:
001c9bcflea rbx, [r15+8]
001c9bd3mov [rsp], rbx
001c9bd7mov [rbx-8], 1024
001c9bdfmov [rbx], rax
001c9be2mov rax, [rsp+24]
001c9be7mov rax, [rax+8]
001c9bebcall camlCamlinternalFormatBasics.erase_rel_143
001c9bf0sub r15, 16
001c9bf4cmp r15, [r14]
001c9bf7jb 0x1c9f9e
001c9bfd
001c9bfdloc_1c9bfd:
001c9bfdlea rdi, [r15+8]
001c9c01mov [rdi-8], 1024
001c9c09mov [rdi], rax
001c9c0cmov rsi, [rsp]
001c9c10lea rax, [rip+0x36cf9]
001c9c17call caml_c_call
001c9c1ccmp rax, 1
001c9c20je 0x1c9c38
001c9c22lea rax, [rip+0x18414f]
001c9c29mov rax, [rax+448]
001c9c30call caml_raise_exn
001c9c35nop [rax]
001c9c38
001c9c38loc_1c9c38:
001c9c38mov rax, [rsp+16]
001c9c3dmov rax, [rax+16]
001c9c41call camlCamlinternalFormatBasics.erase_rel_143
001c9c46mov rbx, rax
001c9c49mov rax, [rsp+24]
001c9c4emov rax, [rax+16]
001c9c52call camlCamlinternalFormat.type_format_gen_2489
001c9c57sub r15, 56
001c9c5bcmp r15, [r14]
001c9c5ejb 0x1c9f94
001c9c64
001c9c64loc_1c9c64:
001c9c64lea rbx, [r15+8]
001c9c68add rbx, 24
001c9c6cmov [rbx-8], 3086
001c9c74mov rdi, [rsp+24]
001c9c79mov rdi, [rdi]
001c9c7cmov [rbx], rdi
001c9c7fmov rdi, [rsp+8]
001c9c84mov [rbx+8], rdi
001c9c88mov rdi, [rax]
001c9c8bmov [rbx+16], rdi
001c9c8flea rdi, [rbx-24]
001c9c93mov [rdi-8], 2048
001c9c9bmov [rdi], rbx
001c9c9emov rax, [rax+8]
001c9ca2mov [rdi+8], rax
001c9ca6mov rax, rdi
001c9ca9add rsp, 32
001c9cadret
001c9caenop
001c9cb0test dil, 1
001c9cb4jne 0x1c9f48
001c9cbamovzx rax, [rdi-8]
001c9cbfcmp rax, 10
001c9cc3jne 0x1c9f48
001c9cc9mov rbx, [rdi]
001c9cccmov rax, [rcx]
001c9ccfcall camlCamlinternalFormat.type_format_gen_2489
001c9cd4sub r15, 40
001c9cd8cmp r15, [r14]
001c9cdbjb 0x1c9f8a
001c9ce1
001c9ce1loc_1c9ce1:
001c9ce1lea rbx, [r15+8]
001c9ce5add rbx, 24
001c9ce9mov [rbx-8], 1039
001c9cf1mov rdi, [rax]
001c9cf4mov [rbx], rdi
001c9cf7lea rdi, [rbx-24]
001c9cfbmov [rdi-8], 2048
001c9d03mov [rdi], rbx
001c9d06mov rax, [rax+8]
001c9d0amov [rdi+8], rax
001c9d0emov rax, rdi
001c9d11add rsp, 32
001c9d15ret
001c9d16nop
001c9d18test dil, 1
001c9d1cjne 0x1c9f48
001c9d22movzx rax, [rdi-8]
001c9d27cmp rax, 11
001c9d2bjne 0x1c9f48
001c9d31mov rbx, [rdi]
001c9d34mov rax, [rcx]
001c9d37call camlCamlinternalFormat.type_format_gen_2489
001c9d3csub r15, 40
001c9d40cmp r15, [r14]
001c9d43jb 0x1c9f80
001c9d49
001c9d49loc_1c9d49:
001c9d49lea rbx, [r15+8]
001c9d4dadd rbx, 24
001c9d51mov [rbx-8], 1040
001c9d59mov rdi, [rax]
001c9d5cmov [rbx], rdi
001c9d5flea rdi, [rbx-24]
001c9d63mov [rdi-8], 2048
001c9d6bmov [rdi], rbx
001c9d6emov rax, [rax+8]
001c9d72mov [rdi+8], rax
001c9d76mov rax, rdi
001c9d79add rsp, 32
001c9d7dret
001c9d7enop
001c9d80mov rax, [rcx+8]
001c9d84mov rbx, rdi
001c9d87call camlCamlinternalFormat.type_format_gen_2489
001c9d8csub r15, 48
001c9d90cmp r15, [r14]
001c9d93jb 0x1c9f76
001c9d99
001c9d99loc_1c9d99:
001c9d99lea rbx, [r15+8]
001c9d9dadd rbx, 24
001c9da1mov [rbx-8], 2065
001c9da9mov rdi, [rsp+24]
001c9daemov rdi, [rdi]
001c9db1mov [rbx], rdi
001c9db4mov rdi, [rax]
001c9db7mov [rbx+8], rdi
001c9dbblea rdi, [rbx-24]
001c9dbfmov [rdi-8], 2048
001c9dc7mov [rdi], rbx
001c9dcamov rax, [rax+8]
001c9dcemov [rdi+8], rax
001c9dd2mov rax, rdi
001c9dd5add rsp, 32
001c9dd9ret
001c9ddanop
001c9ddcmov rbx, [rcx+8]
001c9de0mov rax, [rcx]
001c9de3add rsp, 32
001c9de7jmp 0x1ca070
001c9dectest dil, 1
001c9df0jne 0x1c9f48
001c9df6movzx rax, [rdi-8]
001c9dfbcmp rax, 13
001c9dffjne 0x1c9f48
001c9e05mov rbx, [rdi]
001c9e08mov rax, [rcx]
001c9e0bcall camlCamlinternalFormat.type_format_gen_2489
001c9e10sub r15, 40
001c9e14cmp r15, [r14]
001c9e17jb 0x1c9f6c
001c9e1d
001c9e1dloc_1c9e1d:
001c9e1dlea rbx, [r15+8]
001c9e21add rbx, 24
001c9e25mov [rbx-8], 1043
001c9e2dmov rdi, [rax]
001c9e30mov [rbx], rdi
001c9e33lea rdi, [rbx-24]
001c9e37mov [rdi-8], 2048
001c9e3fmov [rdi], rbx
001c9e42mov rax, [rax+8]
001c9e46mov [rdi+8], rax
001c9e4amov rax, rdi
001c9e4dadd rsp, 32
001c9e51ret
001c9e52nop
001c9e54test dil, 1
001c9e58jne 0x1c9f48
001c9e5emovzx rax, [rdi-8]
001c9e63cmp rax, 1
001c9e67jne 0x1c9f48
001c9e6dmov rbx, [rdi]
001c9e70mov rax, [rcx+16]
001c9e74call camlCamlinternalFormat.type_format_gen_2489
001c9e79sub r15, 56
001c9e7dcmp r15, [r14]
001c9e80jb 0x1c9f62
001c9e86
001c9e86loc_1c9e86:
001c9e86lea rbx, [r15+8]
001c9e8aadd rbx, 24
001c9e8emov [rbx-8], 3092
001c9e96mov rsi, [rsp+24]
001c9e9bmov rdi, [rsi]
001c9e9emov [rbx], rdi
001c9ea1mov rdi, [rsi+8]
001c9ea5mov [rbx+8], rdi
001c9ea9mov rdi, [rax]
001c9eacmov [rbx+16], rdi
001c9eb0lea rdi, [rbx-24]
001c9eb4mov [rdi-8], 2048
001c9ebcmov [rdi], rbx
001c9ebfmov rax, [rax+8]
001c9ec3mov [rdi+8], rax
001c9ec7mov rax, rdi
001c9ecaadd rsp, 32
001c9eceret
001c9ecfnop
001c9ed0test dil, 1
001c9ed4jne 0x1c9f48
001c9ed6movzx rax, [rdi-8]
001c9edbcmp rax, 2
001c9edfjne 0x1c9f48
001c9ee1mov rbx, [rdi]
001c9ee4mov rax, [rcx+8]
001c9ee8call camlCamlinternalFormat.type_format_gen_2489
001c9eedsub r15, 48
001c9ef1cmp r15, [r14]
001c9ef4jb 0x1c9f5b
001c9ef6
001c9ef6loc_1c9ef6:
001c9ef6lea rbx, [r15+8]
001c9efaadd rbx, 24
001c9efemov [rbx-8], 2069
001c9f06mov rdi, [rsp+24]
001c9f0bmov rdi, [rdi]
001c9f0emov [rbx], rdi
001c9f11mov rdi, [rax]
001c9f14mov [rbx+8], rdi
001c9f18lea rdi, [rbx-24]
001c9f1cmov [rdi-8], 2048
001c9f24mov [rdi], rbx
001c9f27mov rax, [rax+8]
001c9f2bmov [rdi+8], rax
001c9f2fmov rax, rdi
001c9f32add rsp, 32
001c9f36ret
001c9f37nop
001c9f38mov rbx, [rcx+8]
001c9f3cmov rax, [rcx]
001c9f3fadd rsp, 32
001c9f43jmp 0x1ca1f0
001c9f48
001c9f48loc_1c9f48:
001c9f48lea rax, [rip+0x183e29]
001c9f4fmov rax, [rax+448]
001c9f56call caml_raise_exn
001c9f5b
001c9f5bloc_1c9f5b:
001c9f5bcall caml_call_gc
001c9f60jmp 0x1c9ef6
001c9f62
001c9f62loc_1c9f62:
001c9f62call caml_call_gc
001c9f67jmp 0x1c9e86
001c9f6c
001c9f6cloc_1c9f6c:
001c9f6ccall caml_call_gc
001c9f71jmp 0x1c9e1d
001c9f76
001c9f76loc_1c9f76:
001c9f76call caml_call_gc
001c9f7bjmp 0x1c9d99
001c9f80
001c9f80loc_1c9f80:
001c9f80call caml_call_gc
001c9f85jmp 0x1c9d49
001c9f8a
001c9f8aloc_1c9f8a:
001c9f8acall caml_call_gc
001c9f8fjmp 0x1c9ce1
001c9f94
001c9f94loc_1c9f94:
001c9f94call caml_call_gc
001c9f99jmp 0x1c9c64
001c9f9e
001c9f9eloc_1c9f9e:
001c9f9ecall caml_call_gc
001c9fa3jmp 0x1c9bfd
001c9fa8
001c9fa8loc_1c9fa8:
001c9fa8call caml_call_gc
001c9fadjmp 0x1c9bcf
001c9fb2
001c9fb2loc_1c9fb2:
001c9fb2call caml_call_gc
001c9fb7jmp 0x1c9b50
001c9fbc
001c9fbcloc_1c9fbc:
001c9fbccall caml_call_gc
001c9fc1jmp 0x1c9ae1
001c9fc6
001c9fc6loc_1c9fc6:
001c9fc6call caml_call_gc
001c9fcbjmp 0x1c9a71
001c9fd0
001c9fd0loc_1c9fd0:
001c9fd0call caml_call_gc
001c9fd5jmp 0x1c9a15
001c9fda
001c9fdaloc_1c9fda:
001c9fdacall caml_call_gc
001c9fdfjmp 0x1c99c4
001c9fe4
001c9fe4loc_1c9fe4:
001c9fe4call caml_call_gc
001c9fe9jmp 0x1c9958
001c9fee
001c9feeloc_1c9fee:
001c9feecall caml_call_gc
001c9ff3jmp 0x1c98ae
001c9ff8
001c9ff8loc_1c9ff8:
001c9ff8call caml_call_gc
001c9ffdjmp 0x1c9802
001ca002
001ca002loc_1ca002:
001ca002call caml_call_gc
001ca007jmp 0x1c9756
001ca00c
001ca00cloc_1ca00c:
001ca00ccall caml_call_gc
001ca011jmp 0x1c96aa
001ca016
001ca016loc_1ca016:
001ca016call caml_call_gc
001ca01bjmp 0x1c95fe
001ca020
001ca020loc_1ca020:
001ca020call caml_call_gc
001ca025jmp 0x1c9568
001ca02a
001ca02aloc_1ca02a:
001ca02acall caml_call_gc
001ca02fjmp 0x1c94d4
001ca034
001ca034loc_1ca034:
001ca034call caml_call_gc
001ca039jmp 0x1c945c
001ca03e
001ca03eloc_1ca03e:
001ca03ecall caml_call_gc
001ca043jmp 0x1c93f4
001ca048
001ca048loc_1ca048:
001ca048call caml_call_gc
001ca04djmp 0x1c9387
001ca052
001ca052loc_1ca052:
001ca052call caml_call_gc
001ca057jmp 0x1c9375
001ca05c
001ca05cloc_1ca05c:
001ca05cpush 37
001ca05ecall caml_call_realloc_stack
001ca063pop r10
001ca065jmp 0x1c9362
001c9350
001c9350camlCamlinternalFormat.type_format_gen_2489:
001c9350lea r10, [rsp-352]
001c9358cmp r10, [r14+40]
001c935cjb 0x1ca05c
001c9362
001c9362loc_1c9362:
001c9362sub rsp, 32
001c9366mov rcx, rax
001c9369mov rdi, rbx
001c936ccmp r15, [r14]
001c936fjbe 0x1ca052
001c9375
001c9375loc_1c9375:
001c9375test cl, 1
001c9378je 0x1c93a4
001c937asub r15, 24
001c937ecmp r15, [r14]
001c9381jb 0x1ca048
001c9387
001c9387loc_1c9387:
001c9387lea rax, [r15+8]
001c938bmov [rax-8], 2048
001c9393mov [rax], 1
001c939amov [rax+8], rdi
001c939eadd rsp, 32
001c93a2ret
001c93a3nop
001c93a4
001c93a4loc_1c93a4:
001c93a4mov [rsp+16], rdi
001c93a9mov [rsp+24], rcx
001c93aemovzx rax, [rcx-8]
001c93b3lea rdx, [rip+0x64af2]
001c93bamovsxd rax, [rdx+4*rax]
001c93beadd rdx, rax
001c93c1jmp rdx
001c93c3nop
001c93c4test dil, 1
001c93c8jne 0x1c9f48
001c93cemovzx rax, [rdi-8]
001c93d3test rax, rax
001c93d6jne 0x1c9f48
001c93dcmov rbx, [rdi]
001c93dfmov rax, [rcx]
001c93e2call camlCamlinternalFormat.type_format_gen_2489
001c93e7sub r15, 40
001c93ebcmp r15, [r14]
001c93eejb 0x1ca03e
001c93f4
001c93f4loc_1c93f4:
001c93f4lea rbx, [r15+8]
001c93f8add rbx, 24
001c93fcmov [rbx-8], 1024
001c9404mov rdi, [rax]
001c9407mov [rbx], rdi
001c940alea rdi, [rbx-24]
001c940emov [rdi-8], 2048
001c9416mov [rdi], rbx
001c9419mov rax, [rax+8]
001c941dmov [rdi+8], rax
001c9421mov rax, rdi
001c9424add rsp, 32
001c9428ret
001c9429nop [rax]
001c942ctest dil, 1
001c9430jne 0x1c9f48
001c9436movzx rax, [rdi-8]
001c943btest rax, rax
001c943ejne 0x1c9f48
001c9444mov rbx, [rdi]
001c9447mov rax, [rcx]
001c944acall camlCamlinternalFormat.type_format_gen_2489
001c944fsub r15, 40
001c9453cmp r15, [r14]
001c9456jb 0x1ca034
001c945c
001c945cloc_1c945c:
001c945clea rbx, [r15+8]
001c9460add rbx, 24
001c9464mov [rbx-8], 1025
001c946cmov rdi, [rax]
001c946fmov [rbx], rdi
001c9472lea rdi, [rbx-24]
001c9476mov [rdi-8], 2048
001c947emov [rdi], rbx
001c9481mov rax, [rax+8]
001c9485mov [rdi+8], rax
001c9489mov rax, rdi
001c948cadd rsp, 32
001c9490ret
001c9491nop [rax]
001c9494mov rax, [rcx]
001c9497mov rbx, rdi
001c949acall camlCamlinternalFormat.type_padding_2430
001c949fmov [rsp], rax
001c94a3mov rax, [rax+8]
001c94a7test al, 1
001c94a9jne 0x1c9514
001c94abmovzx rbx, [rax-8]
001c94b0cmp rbx, 1
001c94b4jne 0x1c9514
001c94b6mov rbx, [rax]
001c94b9mov rax, [rsp+24]
001c94bemov rax, [rax+8]
001c94c2call camlCamlinternalFormat.type_format_gen_2489
001c94c7sub r15, 48
001c94cbcmp r15, [r14]
001c94cejb 0x1ca02a
001c94d4
001c94d4loc_1c94d4:
001c94d4lea rbx, [r15+8]
001c94d8add rbx, 24
001c94dcmov [rbx-8], 2050
001c94e4mov rdi, [rsp]
001c94e8mov rdi, [rdi]
001c94ebmov [rbx], rdi
001c94eemov rdi, [rax]
001c94f1mov [rbx+8], rdi
001c94f5lea rdi, [rbx-24]
001c94f9mov [rdi-8], 2048
001c9501mov [rdi], rbx
001c9504mov rax, [rax+8]
001c9508mov [rdi+8], rax
001c950cmov rax, rdi
001c950fadd rsp, 32
001c9513ret
001c9514
001c9514loc_1c9514:
001c9514lea rax, [rip+0x18485d]
001c951bmov rax, [rax+448]
001c9522call caml_raise_exn
001c9527nop
001c9528mov rax, [rcx]
001c952bmov rbx, rdi
001c952ecall camlCamlinternalFormat.type_padding_2430
001c9533mov [rsp], rax
001c9537mov rax, [rax+8]
001c953btest al, 1
001c953djne 0x1c95a8
001c953fmovzx rbx, [rax-8]
001c9544cmp rbx, 1
001c9548jne 0x1c95a8
001c954amov rbx, [rax]
001c954dmov rax, [rsp+24]
001c9552mov rax, [rax+8]
001c9556call camlCamlinternalFormat.type_format_gen_2489
001c955bsub r15, 48
001c955fcmp r15, [r14]
001c9562jb 0x1ca020
001c9568
001c9568loc_1c9568:
001c9568lea rbx, [r15+8]
001c956cadd rbx, 24
001c9570mov [rbx-8], 2051
001c9578mov rdi, [rsp]
001c957cmov rdi, [rdi]
001c957fmov [rbx], rdi
001c9582mov rdi, [rax]
001c9585mov [rbx+8], rdi
001c9589lea rdi, [rbx-24]
001c958dmov [rdi-8], 2048
001c9595mov [rdi], rbx
001c9598mov rax, [rax+8]
001c959cmov [rdi+8], rax
001c95a0mov rax, rdi
001c95a3add rsp, 32
001c95a7ret
001c95a8
001c95a8loc_1c95a8:
001c95a8lea rax, [rip+0x1847c9]
001c95afmov rax, [rax+448]
001c95b6call caml_raise_exn
001c95bbnop
001c95bcmov rbx, [rcx+16]
001c95c0mov rax, [rcx+8]
001c95c4call camlCamlinternalFormat.type_padprec_2453
001c95c9mov [rsp], rax
001c95cdmov rax, [rax+16]
001c95d1test al, 1
001c95d3jne 0x1c9654
001c95d5movzx rbx, [rax-8]
001c95dacmp rbx, 2
001c95dejne 0x1c9654
001c95e0mov rbx, [rax]
001c95e3mov rax, [rsp+24]
001c95e8mov rax, [rax+24]
001c95eccall camlCamlinternalFormat.type_format_gen_2489
001c95f1sub r15, 64
001c95f5cmp r15, [r14]
001c95f8jb 0x1ca016
001c95fe
001c95feloc_1c95fe:
001c95felea rbx, [r15+8]
001c9602add rbx, 24
001c9606mov [rbx-8], 4100
001c960emov rdi, [rsp+24]
001c9613mov rdi, [rdi]
001c9616mov [rbx], rdi
001c9619mov rsi, [rsp]
001c961dmov rdi, [rsi]
001c9620mov [rbx+8], rdi
001c9624mov rdi, [rsi+8]
001c9628mov [rbx+16], rdi
001c962cmov rdi, [rax]
001c962fmov [rbx+24], rdi
001c9633lea rdi, [rbx-24]
001c9637mov [rdi-8], 2048
001c963fmov [rdi], rbx
001c9642mov rax, [rax+8]
001c9646mov [rdi+8], rax
001c964amov rax, rdi
001c964dadd rsp, 32
001c9651ret
001c9652nop
001c9654
001c9654loc_1c9654:
001c9654lea rax, [rip+0x18471d]
001c965bmov rax, [rax+448]
001c9662call caml_raise_exn
001c9667nop
001c9668mov rbx, [rcx+16]
001c966cmov rax, [rcx+8]
001c9670call camlCamlinternalFormat.type_padprec_2453
001c9675mov [rsp], rax
001c9679mov rax, [rax+16]
001c967dtest al, 1
001c967fjne 0x1c9700
001c9681movzx rbx, [rax-8]
001c9686cmp rbx, 3
001c968ajne 0x1c9700
001c968cmov rbx, [rax]
001c968fmov rax, [rsp+24]
001c9694mov rax, [rax+24]
001c9698call camlCamlinternalFormat.type_format_gen_2489
001c969dsub r15, 64
001c96a1cmp r15, [r14]
001c96a4jb 0x1ca00c
001c96aa
001c96aaloc_1c96aa:
001c96aalea rbx, [r15+8]
001c96aeadd rbx, 24
001c96b2mov [rbx-8], 4101
001c96bamov rdi, [rsp+24]
001c96bfmov rdi, [rdi]
001c96c2mov [rbx], rdi
001c96c5mov rsi, [rsp]
001c96c9mov rdi, [rsi]
001c96ccmov [rbx+8], rdi
001c96d0mov rdi, [rsi+8]
001c96d4mov [rbx+16], rdi
001c96d8mov rdi, [rax]
001c96dbmov [rbx+24], rdi
001c96dflea rdi, [rbx-24]
001c96e3mov [rdi-8], 2048
001c96ebmov [rdi], rbx
001c96eemov rax, [rax+8]
001c96f2mov [rdi+8], rax
001c96f6mov rax, rdi
001c96f9add rsp, 32
001c96fdret
001c96fenop
001c9700
001c9700loc_1c9700:
001c9700lea rax, [rip+0x184671]
001c9707mov rax, [rax+448]
001c970ecall caml_raise_exn
001c9713nop
001c9714mov rbx, [rcx+16]
001c9718mov rax, [rcx+8]
001c971ccall camlCamlinternalFormat.type_padprec_2453
001c9721mov [rsp], rax
001c9725mov rax, [rax+16]
001c9729test al, 1
001c972bjne 0x1c97ac
001c972dmovzx rbx, [rax-8]
001c9732cmp rbx, 4
001c9736jne 0x1c97ac
001c9738mov rbx, [rax]
001c973bmov rax, [rsp+24]
001c9740mov rax, [rax+24]
001c9744call camlCamlinternalFormat.type_format_gen_2489
001c9749sub r15, 64
001c974dcmp r15, [r14]
001c9750jb 0x1ca002
001c9756
001c9756loc_1c9756:
001c9756lea rbx, [r15+8]
001c975aadd rbx, 24
001c975emov [rbx-8], 4102
001c9766mov rdi, [rsp+24]
001c976bmov rdi, [rdi]
001c976emov [rbx], rdi
001c9771mov rsi, [rsp]
001c9775mov rdi, [rsi]
001c9778mov [rbx+8], rdi
001c977cmov rdi, [rsi+8]
001c9780mov [rbx+16], rdi
001c9784mov rdi, [rax]
001c9787mov [rbx+24], rdi
001c978blea rdi, [rbx-24]
001c978fmov [rdi-8], 2048
001c9797mov [rdi], rbx
001c979amov rax, [rax+8]
001c979emov [rdi+8], rax
001c97a2mov rax, rdi
001c97a5add rsp, 32
001c97a9ret
001c97aanop
001c97ac
001c97acloc_1c97ac:
001c97aclea rax, [rip+0x1845c5]
001c97b3mov rax, [rax+448]
001c97bacall caml_raise_exn
001c97bfnop
001c97c0mov rbx, [rcx+16]
001c97c4mov rax, [rcx+8]
001c97c8call camlCamlinternalFormat.type_padprec_2453
001c97cdmov [rsp], rax
001c97d1mov rax, [rax+16]
001c97d5test al, 1
001c97d7jne 0x1c9858
001c97d9movzx rbx, [rax-8]
001c97decmp rbx, 5
001c97e2jne 0x1c9858
001c97e4mov rbx, [rax]
001c97e7mov rax, [rsp+24]
001c97ecmov rax, [rax+24]
001c97f0call camlCamlinternalFormat.type_format_gen_2489
001c97f5sub r15, 64
001c97f9cmp r15, [r14]
001c97fcjb 0x1c9ff8
001c9802
001c9802loc_1c9802:
001c9802lea rbx, [r15+8]
001c9806add rbx, 24
001c980amov [rbx-8], 4103
001c9812mov rdi, [rsp+24]
001c9817mov rdi, [rdi]
001c981amov [rbx], rdi
001c981dmov rsi, [rsp]
001c9821mov rdi, [rsi]
001c9824mov [rbx+8], rdi
001c9828mov rdi, [rsi+8]
001c982cmov [rbx+16], rdi
001c9830mov rdi, [rax]
001c9833mov [rbx+24], rdi
001c9837lea rdi, [rbx-24]
001c983bmov [rdi-8], 2048
001c9843mov [rdi], rbx
001c9846mov rax, [rax+8]
001c984amov [rdi+8], rax
001c984emov rax, rdi
001c9851add rsp, 32
001c9855ret
001c9856nop
001c9858
001c9858loc_1c9858:
001c9858lea rax, [rip+0x184519]
001c985fmov rax, [rax+448]
001c9866call caml_raise_exn
001c986bnop
001c986cmov rbx, [rcx+16]
001c9870mov rax, [rcx+8]
001c9874call camlCamlinternalFormat.type_padprec_2453
001c9879mov [rsp], rax
001c987dmov rax, [rax+16]
001c9881test al, 1
001c9883jne 0x1c9904
001c9885movzx rbx, [rax-8]
001c988acmp rbx, 6
001c988ejne 0x1c9904
001c9890mov rbx, [rax]
001c9893mov rax, [rsp+24]
001c9898mov rax, [rax+24]
001c989ccall camlCamlinternalFormat.type_format_gen_2489
001c98a1sub r15, 64
001c98a5cmp r15, [r14]
001c98a8jb 0x1c9fee
001c98ae
001c98aeloc_1c98ae:
001c98aelea rbx, [r15+8]
001c98b2add rbx, 24
001c98b6mov [rbx-8], 4104
001c98bemov rdi, [rsp+24]
001c98c3mov rdi, [rdi]
001c98c6mov [rbx], rdi
001c98c9mov rsi, [rsp]
001c98cdmov rdi, [rsi]
001c98d0mov [rbx+8], rdi
001c98d4mov rdi, [rsi+8]
001c98d8mov [rbx+16], rdi
001c98dcmov rdi, [rax]
001c98dfmov [rbx+24], rdi
001c98e3lea rdi, [rbx-24]
001c98e7mov [rdi-8], 2048
001c98efmov [rdi], rbx
001c98f2mov rax, [rax+8]
001c98f6mov [rdi+8], rax
001c98famov rax, rdi
001c98fdadd rsp, 32
001c9901ret
001c9902nop
001c9904
001c9904loc_1c9904:
001c9904lea rax, [rip+0x18446d]
001c990bmov rax, [rax+448]
001c9912call caml_raise_exn
001c9917nop
001c9918mov rax, [rcx]
001c991bmov rbx, rdi
001c991ecall camlCamlinternalFormat.type_padding_2430
001c9923mov [rsp], rax
001c9927mov rax, [rax+8]
001c992btest al, 1
001c992djne 0x1c9998
001c992fmovzx rbx, [rax-8]
001c9934cmp rbx, 7
001c9938jne 0x1c9998
001c993amov rbx, [rax]
001c993dmov rax, [rsp+24]
001c9942mov rax, [rax+8]
001c9946call camlCamlinternalFormat.type_format_gen_2489
001c994bsub r15, 48
001c994fcmp r15, [r14]
001c9952jb 0x1c9fe4
001c9958
001c9958loc_1c9958:
001c9958lea rbx, [r15+8]
001c995cadd rbx, 24
001c9960mov [rbx-8], 2057
001c9968mov rdi, [rsp]
001c996cmov rdi, [rdi]
001c996fmov [rbx], rdi
001c9972mov rdi, [rax]
001c9975mov [rbx+8], rdi
001c9979lea rdi, [rbx-24]
001c997dmov [rdi-8], 2048
001c9985mov [rdi], rbx
001c9988mov rax, [rax+8]
001c998cmov [rdi+8], rax
001c9990mov rax, rdi
001c9993add rsp, 32
001c9997ret
001c9998
001c9998loc_1c9998:
001c9998lea rax, [rip+0x1843d9]
001c999fmov rax, [rax+448]
001c99a6call caml_raise_exn
001c99abnop
001c99acmov rax, [rcx]
001c99afmov rbx, rdi
001c99b2call camlCamlinternalFormat.type_format_gen_2489
001c99b7sub r15, 40
001c99bbcmp r15, [r14]
001c99bejb 0x1c9fda
001c99c4
001c99c4loc_1c99c4:
001c99c4lea rbx, [r15+8]
001c99c8add rbx, 24
001c99ccmov [rbx-8], 1034
001c99d4mov rdi, [rax]
001c99d7mov [rbx], rdi
001c99dalea rdi, [rbx-24]
001c99demov [rdi-8], 2048
001c99e6mov [rdi], rbx
001c99e9mov rax, [rax+8]
001c99edmov [rdi+8], rax
001c99f1mov rax, rdi
001c99f4add rsp, 32
001c99f8ret
001c99f9nop [rax]
001c99fcmov rax, [rcx+8]
001c9a00mov rbx, rdi
001c9a03call camlCamlinternalFormat.type_format_gen_2489
001c9a08sub r15, 48
001c9a0ccmp r15, [r14]
001c9a0fjb 0x1c9fd0
001c9a15
001c9a15loc_1c9a15:
001c9a15lea rbx, [r15+8]
001c9a19add rbx, 24
001c9a1dmov [rbx-8], 2059
001c9a25mov rdi, [rsp+24]
001c9a2amov rdi, [rdi]
001c9a2dmov [rbx], rdi
001c9a30mov rdi, [rax]
001c9a33mov [rbx+8], rdi
001c9a37lea rdi, [rbx-24]
001c9a3bmov [rdi-8], 2048
001c9a43mov [rdi], rbx
001c9a46mov rax, [rax+8]
001c9a4amov [rdi+8], rax
001c9a4emov rax, rdi
001c9a51add rsp, 32
001c9a55ret
001c9a56nop
001c9a58mov rax, [rcx+8]
001c9a5cmov rbx, rdi
001c9a5fcall camlCamlinternalFormat.type_format_gen_2489
001c9a64sub r15, 48
001c9a68cmp r15, [r14]
001c9a6bjb 0x1c9fc6
001c9a71
001c9a71loc_1c9a71:
001c9a71lea rbx, [r15+8]
001c9a75add rbx, 24
001c9a79mov [rbx-8], 2060
001c9a81mov rdi, [rsp+24]
001c9a86mov rdi, [rdi]
001c9a89mov [rbx], rdi
001c9a8cmov rdi, [rax]
001c9a8fmov [rbx+8], rdi
001c9a93lea rdi, [rbx-24]
001c9a97mov [rdi-8], 2048
001c9a9fmov [rdi], rbx
001c9aa2mov rax, [rax+8]
001c9aa6mov [rdi+8], rax
001c9aaamov rax, rdi
001c9aadadd rsp, 32
001c9ab1ret
001c9ab2nop
001c9ab4test dil, 1
001c9ab8jne 0x1c9f48
001c9abemovzx rax, [rdi-8]
001c9ac3cmp rax, 8
001c9ac7jne 0x1c9f48
001c9acdmov rax, [rdi]
001c9ad0mov [rsp], rax
001c9ad4sub r15, 32
001c9ad8cmp r15, [r14]
001c9adbjb 0x1c9fbc
001c9ae1
001c9ae1loc_1c9ae1:
001c9ae1lea rsi, [r15+8]
001c9ae5add rsi, 16
001c9ae9mov [rsi-8], 1024
001c9af1mov [rsi], rax
001c9af4lea rdi, [rsi-16]
001c9af8mov [rdi-8], 1024
001c9b00mov rax, [rcx+8]
001c9b04mov [rdi], rax
001c9b07lea rax, [rip+0x36e02]
001c9b0ecall caml_c_call
001c9b13cmp rax, 1
001c9b17je 0x1c9b2c
001c9b19lea rax, [rip+0x184258]
001c9b20mov rax, [rax+448]
001c9b27call caml_raise_exn
001c9b2c
001c9b2cloc_1c9b2c:
001c9b2cmov rax, [rsp+16]
001c9b31mov rbx, [rax+8]
001c9b35mov rax, [rsp+24]
001c9b3amov rax, [rax+16]
001c9b3ecall camlCamlinternalFormat.type_format_gen_2489
001c9b43sub r15, 56
001c9b47cmp r15, [r14]
001c9b4ajb 0x1c9fb2
001c9b50
001c9b50loc_1c9b50:
001c9b50lea rbx, [r15+8]
001c9b54add rbx, 24
001c9b58mov [rbx-8], 3085
001c9b60mov rdi, [rsp+24]
001c9b65mov rdi, [rdi]
001c9b68mov [rbx], rdi
001c9b6bmov rdi, [rsp]
001c9b6fmov [rbx+8], rdi
001c9b73mov rdi, [rax]
001c9b76mov [rbx+16], rdi
001c9b7alea rdi, [rbx-24]
001c9b7emov [rdi-8], 2048
001c9b86mov [rdi], rbx
001c9b89mov rax, [rax+8]
001c9b8dmov [rdi+8], rax
001c9b91mov rax, rdi
001c9b94add rsp, 32
001c9b98ret
001c9b99nop [rax]
001c9b9ctest dil, 1
001c9ba0jne 0x1c9f48
001c9ba6movzx rax, [rdi-8]
001c9babcmp rax, 9
001c9bafjne 0x1c9f48
001c9bb5mov rax, [rdi]
001c9bb8mov [rsp+8], rax
001c9bbdcall camlCamlinternalFormatBasics.erase_rel_143
001c9bc2sub r15, 16
001c9bc6cmp r15, [r14]
001c9bc9jb 0x1c9fa8
001c9bcf
001c9bcfloc_1c9bcf:
001c9bcflea rbx, [r15+8]
001c9bd3mov [rsp], rbx
001c9bd7mov [rbx-8], 1024
001c9bdfmov [rbx], rax
001c9be2mov rax, [rsp+24]
001c9be7mov rax, [rax+8]
001c9bebcall camlCamlinternalFormatBasics.erase_rel_143
001c9bf0sub r15, 16
001c9bf4cmp r15, [r14]
001c9bf7jb 0x1c9f9e
001c9bfd
001c9bfdloc_1c9bfd:
001c9bfdlea rdi, [r15+8]
001c9c01mov [rdi-8], 1024
001c9c09mov [rdi], rax
001c9c0cmov rsi, [rsp]
001c9c10lea rax, [rip+0x36cf9]
001c9c17call caml_c_call
001c9c1ccmp rax, 1
001c9c20je 0x1c9c38
001c9c22lea rax, [rip+0x18414f]
001c9c29mov rax, [rax+448]
001c9c30call caml_raise_exn
001c9c35nop [rax]
001c9c38
001c9c38loc_1c9c38:
001c9c38mov rax, [rsp+16]
001c9c3dmov rax, [rax+16]
001c9c41call camlCamlinternalFormatBasics.erase_rel_143
001c9c46mov rbx, rax
001c9c49mov rax, [rsp+24]
001c9c4emov rax, [rax+16]
001c9c52call camlCamlinternalFormat.type_format_gen_2489
001c9c57sub r15, 56
001c9c5bcmp r15, [r14]
001c9c5ejb 0x1c9f94
001c9c64
001c9c64loc_1c9c64:
001c9c64lea rbx, [r15+8]
001c9c68add rbx, 24
001c9c6cmov [rbx-8], 3086
001c9c74mov rdi, [rsp+24]
001c9c79mov rdi, [rdi]
001c9c7cmov [rbx], rdi
001c9c7fmov rdi, [rsp+8]
001c9c84mov [rbx+8], rdi
001c9c88mov rdi, [rax]
001c9c8bmov [rbx+16], rdi
001c9c8flea rdi, [rbx-24]
001c9c93mov [rdi-8], 2048
001c9c9bmov [rdi], rbx
001c9c9emov rax, [rax+8]
001c9ca2mov [rdi+8], rax
001c9ca6mov rax, rdi
001c9ca9add rsp, 32
001c9cadret
001c9caenop
001c9cb0test dil, 1
001c9cb4jne 0x1c9f48
001c9cbamovzx rax, [rdi-8]
001c9cbfcmp rax, 10
001c9cc3jne 0x1c9f48
001c9cc9mov rbx, [rdi]
001c9cccmov rax, [rcx]
001c9ccfcall camlCamlinternalFormat.type_format_gen_2489
001c9cd4sub r15, 40
001c9cd8cmp r15, [r14]
001c9cdbjb 0x1c9f8a
001c9ce1
001c9ce1loc_1c9ce1:
001c9ce1lea rbx, [r15+8]
001c9ce5add rbx, 24
001c9ce9mov [rbx-8], 1039
001c9cf1mov rdi, [rax]
001c9cf4mov [rbx], rdi
001c9cf7lea rdi, [rbx-24]
001c9cfbmov [rdi-8], 2048
001c9d03mov [rdi], rbx
001c9d06mov rax, [rax+8]
001c9d0amov [rdi+8], rax
001c9d0emov rax, rdi
001c9d11add rsp, 32
001c9d15ret
001c9d16nop
001c9d18test dil, 1
001c9d1cjne 0x1c9f48
001c9d22movzx rax, [rdi-8]
001c9d27cmp rax, 11
001c9d2bjne 0x1c9f48
001c9d31mov rbx, [rdi]
001c9d34mov rax, [rcx]
001c9d37call camlCamlinternalFormat.type_format_gen_2489
001c9d3csub r15, 40
001c9d40cmp r15, [r14]
001c9d43jb 0x1c9f80
001c9d49
001c9d49loc_1c9d49:
001c9d49lea rbx, [r15+8]
001c9d4dadd rbx, 24
001c9d51mov [rbx-8], 1040
001c9d59mov rdi, [rax]
001c9d5cmov [rbx], rdi
001c9d5flea rdi, [rbx-24]
001c9d63mov [rdi-8], 2048
001c9d6bmov [rdi], rbx
001c9d6emov rax, [rax+8]
001c9d72mov [rdi+8], rax
001c9d76mov rax, rdi
001c9d79add rsp, 32
001c9d7dret
001c9d7enop
001c9d80mov rax, [rcx+8]
001c9d84mov rbx, rdi
001c9d87call camlCamlinternalFormat.type_format_gen_2489
001c9d8csub r15, 48
001c9d90cmp r15, [r14]
001c9d93jb 0x1c9f76
001c9d99
001c9d99loc_1c9d99:
001c9d99lea rbx, [r15+8]
001c9d9dadd rbx, 24
001c9da1mov [rbx-8], 2065
001c9da9mov rdi, [rsp+24]
001c9daemov rdi, [rdi]
001c9db1mov [rbx], rdi
001c9db4mov rdi, [rax]
001c9db7mov [rbx+8], rdi
001c9dbblea rdi, [rbx-24]
001c9dbfmov [rdi-8], 2048
001c9dc7mov [rdi], rbx
001c9dcamov rax, [rax+8]
001c9dcemov [rdi+8], rax
001c9dd2mov rax, rdi
001c9dd5add rsp, 32
001c9dd9ret
001c9ddanop
001c9ddcmov rbx, [rcx+8]
001c9de0mov rax, [rcx]
001c9de3add rsp, 32
001c9de7jmp 0x1ca070
001c9dectest dil, 1
001c9df0jne 0x1c9f48
001c9df6movzx rax, [rdi-8]
001c9dfbcmp rax, 13
001c9dffjne 0x1c9f48
001c9e05mov rbx, [rdi]
001c9e08mov rax, [rcx]
001c9e0bcall camlCamlinternalFormat.type_format_gen_2489
001c9e10sub r15, 40
001c9e14cmp r15, [r14]
001c9e17jb 0x1c9f6c
001c9e1d
001c9e1dloc_1c9e1d:
001c9e1dlea rbx, [r15+8]
001c9e21add rbx, 24
001c9e25mov [rbx-8], 1043
001c9e2dmov rdi, [rax]
001c9e30mov [rbx], rdi
001c9e33lea rdi, [rbx-24]
001c9e37mov [rdi-8], 2048
001c9e3fmov [rdi], rbx
001c9e42mov rax, [rax+8]
001c9e46mov [rdi+8], rax
001c9e4amov rax, rdi
001c9e4dadd rsp, 32
001c9e51ret
001c9e52nop
001c9e54test dil, 1
001c9e58jne 0x1c9f48
001c9e5emovzx rax, [rdi-8]
001c9e63cmp rax, 1
001c9e67jne 0x1c9f48
001c9e6dmov rbx, [rdi]
001c9e70mov rax, [rcx+16]
001c9e74call camlCamlinternalFormat.type_format_gen_2489
001c9e79sub r15, 56
001c9e7dcmp r15, [r14]
001c9e80jb 0x1c9f62
001c9e86
001c9e86loc_1c9e86:
001c9e86lea rbx, [r15+8]
001c9e8aadd rbx, 24
001c9e8emov [rbx-8], 3092
001c9e96mov rsi, [rsp+24]
001c9e9bmov rdi, [rsi]
001c9e9emov [rbx], rdi
001c9ea1mov rdi, [rsi+8]
001c9ea5mov [rbx+8], rdi
001c9ea9mov rdi, [rax]
001c9eacmov [rbx+16], rdi
001c9eb0lea rdi, [rbx-24]
001c9eb4mov [rdi-8], 2048
001c9ebcmov [rdi], rbx
001c9ebfmov rax, [rax+8]
001c9ec3mov [rdi+8], rax
001c9ec7mov rax, rdi
001c9ecaadd rsp, 32
001c9eceret
001c9ecfnop
001c9ed0test dil, 1
001c9ed4jne 0x1c9f48
001c9ed6movzx rax, [rdi-8]
001c9edbcmp rax, 2
001c9edfjne 0x1c9f48
001c9ee1mov rbx, [rdi]
001c9ee4mov rax, [rcx+8]
001c9ee8call camlCamlinternalFormat.type_format_gen_2489
001c9eedsub r15, 48
001c9ef1cmp r15, [r14]
001c9ef4jb 0x1c9f5b
001c9ef6
001c9ef6loc_1c9ef6:
001c9ef6lea rbx, [r15+8]
001c9efaadd rbx, 24
001c9efemov [rbx-8], 2069
001c9f06mov rdi, [rsp+24]
001c9f0bmov rdi, [rdi]
001c9f0emov [rbx], rdi
001c9f11mov rdi, [rax]
001c9f14mov [rbx+8], rdi
001c9f18lea rdi, [rbx-24]
001c9f1cmov [rdi-8], 2048
001c9f24mov [rdi], rbx
001c9f27mov rax, [rax+8]
001c9f2bmov [rdi+8], rax
001c9f2fmov rax, rdi
001c9f32add rsp, 32
001c9f36ret
001c9f37nop
001c9f38mov rbx, [rcx+8]
001c9f3cmov rax, [rcx]
001c9f3fadd rsp, 32
001c9f43jmp 0x1ca1f0
001c9f48
001c9f48loc_1c9f48:
001c9f48lea rax, [rip+0x183e29]
001c9f4fmov rax, [rax+448]
001c9f56call caml_raise_exn
001c9f5b
001c9f5bloc_1c9f5b:
001c9f5bcall caml_call_gc
001c9f60jmp 0x1c9ef6
001c9f62
001c9f62loc_1c9f62:
001c9f62call caml_call_gc
001c9f67jmp 0x1c9e86
001c9f6c
001c9f6cloc_1c9f6c:
001c9f6ccall caml_call_gc
001c9f71jmp 0x1c9e1d
001c9f76
001c9f76loc_1c9f76:
001c9f76call caml_call_gc
001c9f7bjmp 0x1c9d99
001c9f80
001c9f80loc_1c9f80:
001c9f80call caml_call_gc
001c9f85jmp 0x1c9d49
001c9f8a
001c9f8aloc_1c9f8a:
001c9f8acall caml_call_gc
001c9f8fjmp 0x1c9ce1
001c9f94
001c9f94loc_1c9f94:
001c9f94call caml_call_gc
001c9f99jmp 0x1c9c64
001c9f9e
001c9f9eloc_1c9f9e:
001c9f9ecall caml_call_gc
001c9fa3jmp 0x1c9bfd
001c9fa8
001c9fa8loc_1c9fa8:
001c9fa8call caml_call_gc
001c9fadjmp 0x1c9bcf
001c9fb2
001c9fb2loc_1c9fb2:
001c9fb2call caml_call_gc
001c9fb7jmp 0x1c9b50
001c9fbc
001c9fbcloc_1c9fbc:
001c9fbccall caml_call_gc
001c9fc1jmp 0x1c9ae1
001c9fc6
001c9fc6loc_1c9fc6:
001c9fc6call caml_call_gc
001c9fcbjmp 0x1c9a71
001c9fd0
001c9fd0loc_1c9fd0:
001c9fd0call caml_call_gc
001c9fd5jmp 0x1c9a15
001c9fda
001c9fdaloc_1c9fda:
001c9fdacall caml_call_gc
001c9fdfjmp 0x1c99c4
001c9fe4
001c9fe4loc_1c9fe4:
001c9fe4call caml_call_gc
001c9fe9jmp 0x1c9958
001c9fee
001c9feeloc_1c9fee:
001c9feecall caml_call_gc
001c9ff3jmp 0x1c98ae
001c9ff8
001c9ff8loc_1c9ff8:
001c9ff8call caml_call_gc
001c9ffdjmp 0x1c9802
001ca002
001ca002loc_1ca002:
001ca002call caml_call_gc
001ca007jmp 0x1c9756
001ca00c
001ca00cloc_1ca00c:
001ca00ccall caml_call_gc
001ca011jmp 0x1c96aa
001ca016
001ca016loc_1ca016:
001ca016call caml_call_gc
001ca01bjmp 0x1c95fe
001ca020
001ca020loc_1ca020:
001ca020call caml_call_gc
001ca025jmp 0x1c9568
001ca02a
001ca02aloc_1ca02a:
001ca02acall caml_call_gc
001ca02fjmp 0x1c94d4
001ca034
001ca034loc_1ca034:
001ca034call caml_call_gc
001ca039jmp 0x1c945c
001ca03e
001ca03eloc_1ca03e:
001ca03ecall caml_call_gc
001ca043jmp 0x1c93f4
001ca048
001ca048loc_1ca048:
001ca048call caml_call_gc
001ca04djmp 0x1c9387
001ca052
001ca052loc_1ca052:
001ca052call caml_call_gc
001ca057jmp 0x1c9375
001ca05c
001ca05cloc_1ca05c:
001ca05cpush 37
001ca05ecall caml_call_realloc_stack
001ca063pop r10
001ca065jmp 0x1c9362
001c9350
001ca06a
001ca06a // align 0x10
001ca06a // align 0x10
001ca070
001ca070camlCamlinternalFormat.type_formatting_gen_2490:
001ca070lea r10, [rsp-344]
001ca078cmp r10, [r14+40]
001ca07cjb 0x1ca1df
001ca082
001ca082loc_1ca082:
001ca082sub rsp, 24
001ca086mov [rsp+16], rbx
001ca08bmov rbx, rdi
001ca08emovzx rdi, [rax-8]
001ca093test rdi, rdi
001ca096je 0x1ca138
001ca09cmov rax, [rax]
001ca09fmov [rsp+8], rax
001ca0a4mov rax, [rax]
001ca0a7call camlCamlinternalFormat.type_format_gen_2489
001ca0acmov [rsp], rax
001ca0b0mov rbx, [rax+8]
001ca0b4mov rax, [rsp+16]
001ca0b9call camlCamlinternalFormat.type_format_gen_2489
001ca0besub r15, 88
001ca0c2cmp r15, [r14]
001ca0c5jb 0x1ca1d5
001ca0cb
001ca0cbloc_1ca0cb:
001ca0cblea rbx, [r15+8]
001ca0cfadd rbx, 64
001ca0d3mov [rbx-8], 2048
001ca0dbmov rdi, [rsp]
001ca0dfmov rdi, [rdi]
001ca0e2mov [rbx], rdi
001ca0e5mov rdi, [rsp+8]
001ca0eamov rdi, [rdi+8]
001ca0eemov [rbx+8], rdi
001ca0f2lea rdi, [rbx-16]
001ca0f6mov [rdi-8], 1025
001ca0femov [rdi], rbx
001ca101lea rbx, [rdi-24]
001ca105mov [rbx-8], 2066
001ca10dmov [rbx], rdi
001ca110mov rdi, [rax]
001ca113mov [rbx+8], rdi
001ca117lea rdi, [rbx-24]
001ca11bmov [rdi-8], 2048
001ca123mov [rdi], rbx
001ca126mov rax, [rax+8]
001ca12amov [rdi+8], rax
001ca12emov rax, rdi
001ca131add rsp, 24
001ca135ret
001ca136
001ca136 66 90 f.
001ca138
001ca138loc_1ca138:
001ca138mov rax, [rax]
001ca13bmov [rsp+8], rax
001ca140mov rax, [rax]
001ca143call camlCamlinternalFormat.type_format_gen_2489
001ca148mov [rsp], rax
001ca14cmov rbx, [rax+8]
001ca150mov rax, [rsp+16]
001ca155call camlCamlinternalFormat.type_format_gen_2489
001ca15asub r15, 88
001ca15ecmp r15, [r14]
001ca161jb 0x1ca1ce
001ca163
001ca163loc_1ca163:
001ca163lea rbx, [r15+8]
001ca167add rbx, 64
001ca16bmov [rbx-8], 2048
001ca173mov rdi, [rsp]
001ca177mov rdi, [rdi]
001ca17amov [rbx], rdi
001ca17dmov rdi, [rsp+8]
001ca182mov rdi, [rdi+8]
001ca186mov [rbx+8], rdi
001ca18alea rdi, [rbx-16]
001ca18emov [rdi-8], 1024
001ca196mov [rdi], rbx
001ca199lea rbx, [rdi-24]
001ca19dmov [rbx-8], 2066
001ca1a5mov [rbx], rdi
001ca1a8mov rdi, [rax]
001ca1abmov [rbx+8], rdi
001ca1aflea rdi, [rbx-24]
001ca1b3mov [rdi-8], 2048
001ca1bbmov [rdi], rbx
001ca1bemov rax, [rax+8]
001ca1c2mov [rdi+8], rax
001ca1c6mov rax, rdi
001ca1c9add rsp, 24
001ca1cdret
001ca1ce
001ca1celoc_1ca1ce:
001ca1cecall caml_call_gc
001ca1d3jmp 0x1ca163
001ca1d5
001ca1d5loc_1ca1d5:
001ca1d5call caml_call_gc
001ca1dajmp 0x1ca0cb
001ca1df
001ca1dfloc_1ca1df:
001ca1dfpush 36
001ca1e1call caml_call_realloc_stack
001ca1e6pop r10
001ca1e8jmp 0x1ca082
001ca070
001ca070camlCamlinternalFormat.type_formatting_gen_2490:
001ca070lea r10, [rsp-344]
001ca078cmp r10, [r14+40]
001ca07cjb 0x1ca1df
001ca082
001ca082loc_1ca082:
001ca082sub rsp, 24
001ca086mov [rsp+16], rbx
001ca08bmov rbx, rdi
001ca08emovzx rdi, [rax-8]
001ca093test rdi, rdi
001ca096je 0x1ca138
001ca09cmov rax, [rax]
001ca09fmov [rsp+8], rax
001ca0a4mov rax, [rax]
001ca0a7call camlCamlinternalFormat.type_format_gen_2489
001ca0acmov [rsp], rax
001ca0b0mov rbx, [rax+8]
001ca0b4mov rax, [rsp+16]
001ca0b9call camlCamlinternalFormat.type_format_gen_2489
001ca0besub r15, 88
001ca0c2cmp r15, [r14]
001ca0c5jb 0x1ca1d5
001ca0cb
001ca0cbloc_1ca0cb:
001ca0cblea rbx, [r15+8]
001ca0cfadd rbx, 64
001ca0d3mov [rbx-8], 2048
001ca0dbmov rdi, [rsp]
001ca0dfmov rdi, [rdi]
001ca0e2mov [rbx], rdi
001ca0e5mov rdi, [rsp+8]
001ca0eamov rdi, [rdi+8]
001ca0eemov [rbx+8], rdi
001ca0f2lea rdi, [rbx-16]
001ca0f6mov [rdi-8], 1025
001ca0femov [rdi], rbx
001ca101lea rbx, [rdi-24]
001ca105mov [rbx-8], 2066
001ca10dmov [rbx], rdi
001ca110mov rdi, [rax]
001ca113mov [rbx+8], rdi
001ca117lea rdi, [rbx-24]
001ca11bmov [rdi-8], 2048
001ca123mov [rdi], rbx
001ca126mov rax, [rax+8]
001ca12amov [rdi+8], rax
001ca12emov rax, rdi
001ca131add rsp, 24
001ca135ret
001ca136
001ca136 66 90 f.
001ca138
001ca138loc_1ca138:
001ca138mov rax, [rax]
001ca13bmov [rsp+8], rax
001ca140mov rax, [rax]
001ca143call camlCamlinternalFormat.type_format_gen_2489
001ca148mov [rsp], rax
001ca14cmov rbx, [rax+8]
001ca150mov rax, [rsp+16]
001ca155call camlCamlinternalFormat.type_format_gen_2489
001ca15asub r15, 88
001ca15ecmp r15, [r14]
001ca161jb 0x1ca1ce
001ca163
001ca163loc_1ca163:
001ca163lea rbx, [r15+8]
001ca167add rbx, 64
001ca16bmov [rbx-8], 2048
001ca173mov rdi, [rsp]
001ca177mov rdi, [rdi]
001ca17amov [rbx], rdi
001ca17dmov rdi, [rsp+8]
001ca182mov rdi, [rdi+8]
001ca186mov [rbx+8], rdi
001ca18alea rdi, [rbx-16]
001ca18emov [rdi-8], 1024
001ca196mov [rdi], rbx
001ca199lea rbx, [rdi-24]
001ca19dmov [rbx-8], 2066
001ca1a5mov [rbx], rdi
001ca1a8mov rdi, [rax]
001ca1abmov [rbx+8], rdi
001ca1aflea rdi, [rbx-24]
001ca1b3mov [rdi-8], 2048
001ca1bbmov [rdi], rbx
001ca1bemov rax, [rax+8]
001ca1c2mov [rdi+8], rax
001ca1c6mov rax, rdi
001ca1c9add rsp, 24
001ca1cdret
001ca1ce
001ca1celoc_1ca1ce:
001ca1cecall caml_call_gc
001ca1d3jmp 0x1ca163
001ca1d5
001ca1d5loc_1ca1d5:
001ca1d5call caml_call_gc
001ca1dajmp 0x1ca0cb
001ca1df
001ca1dfloc_1ca1df:
001ca1dfpush 36
001ca1e1call caml_call_realloc_stack
001ca1e6pop r10
001ca1e8jmp 0x1ca082
001ca070
001ca1ed
001ca1ed // align 0x10
001ca1ed // align 0x10
001ca1f0
001ca1f0camlCamlinternalFormat.type_ignored_param_2491:
001ca1f0lea r10, [rsp-328]
001ca1f8cmp r10, [r14+40]
001ca1fcjb 0x1ca38a
001ca202
001ca202loc_1ca202:
001ca202sub rsp, 8
001ca206cmp r15, [r14]
001ca209jbe 0x1ca380
001ca20f
001ca20floc_1ca20f:
001ca20ftest al, 1
001ca211je 0x1ca2a4
001ca217mov rsi, rax
001ca21asar rsi, 1
001ca21dcmp rsi, 2
001ca221jne 0x1ca35c
001ca227test dil, 1
001ca22bjne 0x1ca290
001ca22dmovzx rax, [rdi-8]
001ca232cmp rax, 14
001ca236jl 0x1ca290
001ca238mov rdi, [rdi]
001ca23bmov rax, rbx
001ca23emov rbx, rdi
001ca241call camlCamlinternalFormat.type_format_gen_2489
001ca246sub r15, 48
001ca24acmp r15, [r14]
001ca24djb 0x1ca376
001ca253
001ca253loc_1ca253:
001ca253lea rbx, [r15+8]
001ca257add rbx, 24
001ca25bmov [rbx-8], 2071
001ca263mov [rbx], 5
001ca26amov rdi, [rax]
001ca26dmov [rbx+8], rdi
001ca271lea rdi, [rbx-24]
001ca275mov [rdi-8], 2048
001ca27dmov [rdi], rbx
001ca280mov rax, [rax+8]
001ca284mov [rdi+8], rax
001ca288mov rax, rdi
001ca28badd rsp, 8
001ca28fret
001ca290
001ca290loc_1ca290:
001ca290lea rax, [rip+0x183ae1]
001ca297mov rax, [rax+448]
001ca29ecall caml_raise_exn
001ca2a3nop
001ca2a4
001ca2a4loc_1ca2a4:
001ca2a4movzx rsi, [rax-8]
001ca2a9cmp rsi, 8
001ca2adje 0x1ca32c
001ca2afcmp rsi, 9
001ca2b3jne 0x1ca35c
001ca2b9mov [rsp], rax
001ca2bdmov rax, [rax+8]
001ca2c1call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca2c6mov rbx, [rax+8]
001ca2casub r15, 72
001ca2cecmp r15, [r14]
001ca2d1jb 0x1ca36c
001ca2d7
001ca2d7loc_1ca2d7:
001ca2d7lea rdi, [r15+8]
001ca2dbadd rdi, 48
001ca2dfmov [rdi-8], 2057
001ca2e7mov rsi, [rsp]
001ca2ebmov rsi, [rsi]
001ca2eemov [rdi], rsi
001ca2f1mov rax, [rax]
001ca2f4mov [rdi+8], rax
001ca2f8lea rsi, [rdi-24]
001ca2fcmov [rsi-8], 2071
001ca304mov [rsi], rdi
001ca307mov rax, [rbx]
001ca30amov [rsi+8], rax
001ca30elea rax, [rsi-24]
001ca312mov [rax-8], 2048
001ca31amov [rax], rsi
001ca31dmov rbx, [rbx+8]
001ca321mov [rax+8], rbx
001ca325add rsp, 8
001ca329ret
001ca32a
001ca32a 66 90 f.
001ca32c
001ca32cloc_1ca32c:
001ca32csub r15, 24
001ca330cmp r15, [r14]
001ca333jb 0x1ca365
001ca335
001ca335loc_1ca335:
001ca335lea rsi, [r15+8]
001ca339mov [rsi-8], 2056
001ca341mov rdx, [rax]
001ca344mov [rsi], rdx
001ca347mov rax, [rax+8]
001ca34bmov [rsi+8], rax
001ca34fmov rax, rsi
001ca352add rsp, 8
001ca356jmp 0x1ca3a0
001ca35b
001ca35b 90 .
001ca35c
001ca35cloc_1ca35c:
001ca35cadd rsp, 8
001ca360jmp 0x1ca3a0
001ca365
001ca365loc_1ca365:
001ca365call caml_call_gc
001ca36ajmp 0x1ca335
001ca36c
001ca36cloc_1ca36c:
001ca36ccall caml_call_gc
001ca371jmp 0x1ca2d7
001ca376
001ca376loc_1ca376:
001ca376call caml_call_gc
001ca37bjmp 0x1ca253
001ca380
001ca380loc_1ca380:
001ca380call caml_call_gc
001ca385jmp 0x1ca20f
001ca38a
001ca38aloc_1ca38a:
001ca38apush 34
001ca38ccall caml_call_realloc_stack
001ca391pop r10
001ca393jmp 0x1ca202
001ca1f0
001ca1f0camlCamlinternalFormat.type_ignored_param_2491:
001ca1f0lea r10, [rsp-328]
001ca1f8cmp r10, [r14+40]
001ca1fcjb 0x1ca38a
001ca202
001ca202loc_1ca202:
001ca202sub rsp, 8
001ca206cmp r15, [r14]
001ca209jbe 0x1ca380
001ca20f
001ca20floc_1ca20f:
001ca20ftest al, 1
001ca211je 0x1ca2a4
001ca217mov rsi, rax
001ca21asar rsi, 1
001ca21dcmp rsi, 2
001ca221jne 0x1ca35c
001ca227test dil, 1
001ca22bjne 0x1ca290
001ca22dmovzx rax, [rdi-8]
001ca232cmp rax, 14
001ca236jl 0x1ca290
001ca238mov rdi, [rdi]
001ca23bmov rax, rbx
001ca23emov rbx, rdi
001ca241call camlCamlinternalFormat.type_format_gen_2489
001ca246sub r15, 48
001ca24acmp r15, [r14]
001ca24djb 0x1ca376
001ca253
001ca253loc_1ca253:
001ca253lea rbx, [r15+8]
001ca257add rbx, 24
001ca25bmov [rbx-8], 2071
001ca263mov [rbx], 5
001ca26amov rdi, [rax]
001ca26dmov [rbx+8], rdi
001ca271lea rdi, [rbx-24]
001ca275mov [rdi-8], 2048
001ca27dmov [rdi], rbx
001ca280mov rax, [rax+8]
001ca284mov [rdi+8], rax
001ca288mov rax, rdi
001ca28badd rsp, 8
001ca28fret
001ca290
001ca290loc_1ca290:
001ca290lea rax, [rip+0x183ae1]
001ca297mov rax, [rax+448]
001ca29ecall caml_raise_exn
001ca2a3nop
001ca2a4
001ca2a4loc_1ca2a4:
001ca2a4movzx rsi, [rax-8]
001ca2a9cmp rsi, 8
001ca2adje 0x1ca32c
001ca2afcmp rsi, 9
001ca2b3jne 0x1ca35c
001ca2b9mov [rsp], rax
001ca2bdmov rax, [rax+8]
001ca2c1call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca2c6mov rbx, [rax+8]
001ca2casub r15, 72
001ca2cecmp r15, [r14]
001ca2d1jb 0x1ca36c
001ca2d7
001ca2d7loc_1ca2d7:
001ca2d7lea rdi, [r15+8]
001ca2dbadd rdi, 48
001ca2dfmov [rdi-8], 2057
001ca2e7mov rsi, [rsp]
001ca2ebmov rsi, [rsi]
001ca2eemov [rdi], rsi
001ca2f1mov rax, [rax]
001ca2f4mov [rdi+8], rax
001ca2f8lea rsi, [rdi-24]
001ca2fcmov [rsi-8], 2071
001ca304mov [rsi], rdi
001ca307mov rax, [rbx]
001ca30amov [rsi+8], rax
001ca30elea rax, [rsi-24]
001ca312mov [rax-8], 2048
001ca31amov [rax], rsi
001ca31dmov rbx, [rbx+8]
001ca321mov [rax+8], rbx
001ca325add rsp, 8
001ca329ret
001ca32a
001ca32a 66 90 f.
001ca32c
001ca32cloc_1ca32c:
001ca32csub r15, 24
001ca330cmp r15, [r14]
001ca333jb 0x1ca365
001ca335
001ca335loc_1ca335:
001ca335lea rsi, [r15+8]
001ca339mov [rsi-8], 2056
001ca341mov rdx, [rax]
001ca344mov [rsi], rdx
001ca347mov rax, [rax+8]
001ca34bmov [rsi+8], rax
001ca34fmov rax, rsi
001ca352add rsp, 8
001ca356jmp 0x1ca3a0
001ca35b
001ca35b 90 .
001ca35c
001ca35cloc_1ca35c:
001ca35cadd rsp, 8
001ca360jmp 0x1ca3a0
001ca365
001ca365loc_1ca365:
001ca365call caml_call_gc
001ca36ajmp 0x1ca335
001ca36c
001ca36cloc_1ca36c:
001ca36ccall caml_call_gc
001ca371jmp 0x1ca2d7
001ca376
001ca376loc_1ca376:
001ca376call caml_call_gc
001ca37bjmp 0x1ca253
001ca380
001ca380loc_1ca380:
001ca380call caml_call_gc
001ca385jmp 0x1ca20f
001ca38a
001ca38aloc_1ca38a:
001ca38apush 34
001ca38ccall caml_call_realloc_stack
001ca391pop r10
001ca393jmp 0x1ca202
001ca1f0
001ca398
001ca398 // align 0x10
001ca398 // align 0x10
001ca3a0
001ca3a0camlCamlinternalFormat.type_ignored_param_one_2492:
001ca3a0lea r10, [rsp-328]
001ca3a8cmp r10, [r14+40]
001ca3acjb 0x1ca40e
001ca3ae
001ca3aeloc_1ca3ae:
001ca3aesub rsp, 8
001ca3b2mov [rsp], rax
001ca3b6mov rax, rbx
001ca3b9mov rbx, rdi
001ca3bccall camlCamlinternalFormat.type_format_gen_2489
001ca3c1sub r15, 48
001ca3c5cmp r15, [r14]
001ca3c8jb 0x1ca407
001ca3ca
001ca3caloc_1ca3ca:
001ca3calea rbx, [r15+8]
001ca3ceadd rbx, 24
001ca3d2mov [rbx-8], 2071
001ca3damov rdi, [rsp]
001ca3demov [rbx], rdi
001ca3e1mov rdi, [rax]
001ca3e4mov [rbx+8], rdi
001ca3e8lea rdi, [rbx-24]
001ca3ecmov [rdi-8], 2048
001ca3f4mov [rdi], rbx
001ca3f7mov rax, [rax+8]
001ca3fbmov [rdi+8], rax
001ca3ffmov rax, rdi
001ca402add rsp, 8
001ca406ret
001ca407
001ca407loc_1ca407:
001ca407call caml_call_gc
001ca40cjmp 0x1ca3ca
001ca40e
001ca40eloc_1ca40e:
001ca40epush 34
001ca410call caml_call_realloc_stack
001ca415pop r10
001ca417jmp 0x1ca3ae
001ca3a0
001ca3a0camlCamlinternalFormat.type_ignored_param_one_2492:
001ca3a0lea r10, [rsp-328]
001ca3a8cmp r10, [r14+40]
001ca3acjb 0x1ca40e
001ca3ae
001ca3aeloc_1ca3ae:
001ca3aesub rsp, 8
001ca3b2mov [rsp], rax
001ca3b6mov rax, rbx
001ca3b9mov rbx, rdi
001ca3bccall camlCamlinternalFormat.type_format_gen_2489
001ca3c1sub r15, 48
001ca3c5cmp r15, [r14]
001ca3c8jb 0x1ca407
001ca3ca
001ca3caloc_1ca3ca:
001ca3calea rbx, [r15+8]
001ca3ceadd rbx, 24
001ca3d2mov [rbx-8], 2071
001ca3damov rdi, [rsp]
001ca3demov [rbx], rdi
001ca3e1mov rdi, [rax]
001ca3e4mov [rbx+8], rdi
001ca3e8lea rdi, [rbx-24]
001ca3ecmov [rdi-8], 2048
001ca3f4mov [rdi], rbx
001ca3f7mov rax, [rax+8]
001ca3fbmov [rdi+8], rax
001ca3ffmov rax, rdi
001ca402add rsp, 8
001ca406ret
001ca407
001ca407loc_1ca407:
001ca407call caml_call_gc
001ca40cjmp 0x1ca3ca
001ca40e
001ca40eloc_1ca40e:
001ca40epush 34
001ca410call caml_call_realloc_stack
001ca415pop r10
001ca417jmp 0x1ca3ae
001ca3a0
001ca419
001ca419 // align 0x10
001ca419 // align 0x10
001ca420
001ca420camlCamlinternalFormat.type_ignored_format_substitution_2493:
001ca420lea r10, [rsp-368]
001ca428cmp r10, [r14+40]
001ca42cjb 0x1cad08
001ca432
001ca432loc_1ca432:
001ca432sub rsp, 48
001ca436mov rcx, rax
001ca439test cl, 1
001ca43cje 0x1ca478
001ca43emov rax, rbx
001ca441mov rbx, rdi
001ca444call camlCamlinternalFormat.type_format_gen_2489
001ca449sub r15, 24
001ca44dcmp r15, [r14]
001ca450jb 0x1cacfe
001ca456
001ca456loc_1ca456:
001ca456lea rbx, [r15+8]
001ca45amov [rbx-8], 2048
001ca462mov [rbx], 1
001ca469mov [rbx+8], rax
001ca46dmov rax, rbx
001ca470add rsp, 48
001ca474ret
001ca475nop [rax]
001ca478
001ca478loc_1ca478:
001ca478mov [rsp+24], rdi
001ca47dmov [rsp+40], rbx
001ca482mov [rsp+32], rcx
001ca487movzx rax, [rcx-8]
001ca48clea rdx, [rip+0x63a7d]
001ca493movsxd rax, [rdx+4*rax]
001ca497add rdx, rax
001ca49ajmp rdx
001ca49ctest dil, 1
001ca4a0jne 0x1cac30
001ca4a6movzx rax, [rdi-8]
001ca4abtest rax, rax
001ca4aejne 0x1cac30
001ca4b4mov rdi, [rdi]
001ca4b7mov rax, [rcx]
001ca4bacall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca4bfsub r15, 40
001ca4c3cmp r15, [r14]
001ca4c6jb 0x1cacf4
001ca4cc
001ca4ccloc_1ca4cc:
001ca4cclea rbx, [r15+8]
001ca4d0add rbx, 24
001ca4d4mov [rbx-8], 1024
001ca4dcmov rdi, [rax]
001ca4dfmov [rbx], rdi
001ca4e2lea rdi, [rbx-24]
001ca4e6mov [rdi-8], 2048
001ca4eemov [rdi], rbx
001ca4f1mov rax, [rax+8]
001ca4f5mov [rdi+8], rax
001ca4f9mov rax, rdi
001ca4fcadd rsp, 48
001ca500ret
001ca501nop [rax]
001ca504test dil, 1
001ca508jne 0x1cac30
001ca50emovzx rax, [rdi-8]
001ca513cmp rax, 1
001ca517jne 0x1cac30
001ca51dmov rdi, [rdi]
001ca520mov rax, [rcx]
001ca523call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca528sub r15, 40
001ca52ccmp r15, [r14]
001ca52fjb 0x1cacea
001ca535
001ca535loc_1ca535:
001ca535lea rbx, [r15+8]
001ca539add rbx, 24
001ca53dmov [rbx-8], 1025
001ca545mov rdi, [rax]
001ca548mov [rbx], rdi
001ca54blea rdi, [rbx-24]
001ca54fmov [rdi-8], 2048
001ca557mov [rdi], rbx
001ca55amov rax, [rax+8]
001ca55emov [rdi+8], rax
001ca562mov rax, rdi
001ca565add rsp, 48
001ca569ret
001ca56anop
001ca56ctest dil, 1
001ca570jne 0x1cac30
001ca576movzx rax, [rdi-8]
001ca57bcmp rax, 2
001ca57fjne 0x1cac30
001ca585mov rdi, [rdi]
001ca588mov rax, [rcx]
001ca58bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca590sub r15, 40
001ca594cmp r15, [r14]
001ca597jb 0x1cace0
001ca59d
001ca59dloc_1ca59d:
001ca59dlea rbx, [r15+8]
001ca5a1add rbx, 24
001ca5a5mov [rbx-8], 1026
001ca5admov rdi, [rax]
001ca5b0mov [rbx], rdi
001ca5b3lea rdi, [rbx-24]
001ca5b7mov [rdi-8], 2048
001ca5bfmov [rdi], rbx
001ca5c2mov rax, [rax+8]
001ca5c6mov [rdi+8], rax
001ca5camov rax, rdi
001ca5cdadd rsp, 48
001ca5d1ret
001ca5d2nop
001ca5d4test dil, 1
001ca5d8jne 0x1cac30
001ca5demovzx rax, [rdi-8]
001ca5e3cmp rax, 3
001ca5e7jne 0x1cac30
001ca5edmov rdi, [rdi]
001ca5f0mov rax, [rcx]
001ca5f3call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca5f8sub r15, 40
001ca5fccmp r15, [r14]
001ca5ffjb 0x1cacd6
001ca605
001ca605loc_1ca605:
001ca605lea rbx, [r15+8]
001ca609add rbx, 24
001ca60dmov [rbx-8], 1027
001ca615mov rdi, [rax]
001ca618mov [rbx], rdi
001ca61blea rdi, [rbx-24]
001ca61fmov [rdi-8], 2048
001ca627mov [rdi], rbx
001ca62amov rax, [rax+8]
001ca62emov [rdi+8], rax
001ca632mov rax, rdi
001ca635add rsp, 48
001ca639ret
001ca63anop
001ca63ctest dil, 1
001ca640jne 0x1cac30
001ca646movzx rax, [rdi-8]
001ca64bcmp rax, 4
001ca64fjne 0x1cac30
001ca655mov rdi, [rdi]
001ca658mov rax, [rcx]
001ca65bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca660sub r15, 40
001ca664cmp r15, [r14]
001ca667jb 0x1caccc
001ca66d
001ca66dloc_1ca66d:
001ca66dlea rbx, [r15+8]
001ca671add rbx, 24
001ca675mov [rbx-8], 1028
001ca67dmov rdi, [rax]
001ca680mov [rbx], rdi
001ca683lea rdi, [rbx-24]
001ca687mov [rdi-8], 2048
001ca68fmov [rdi], rbx
001ca692mov rax, [rax+8]
001ca696mov [rdi+8], rax
001ca69amov rax, rdi
001ca69dadd rsp, 48
001ca6a1ret
001ca6a2nop
001ca6a4test dil, 1
001ca6a8jne 0x1cac30
001ca6aemovzx rax, [rdi-8]
001ca6b3cmp rax, 5
001ca6b7jne 0x1cac30
001ca6bdmov rdi, [rdi]
001ca6c0mov rax, [rcx]
001ca6c3call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca6c8sub r15, 40
001ca6cccmp r15, [r14]
001ca6cfjb 0x1cacc2
001ca6d5
001ca6d5loc_1ca6d5:
001ca6d5lea rbx, [r15+8]
001ca6d9add rbx, 24
001ca6ddmov [rbx-8], 1029
001ca6e5mov rdi, [rax]
001ca6e8mov [rbx], rdi
001ca6eblea rdi, [rbx-24]
001ca6efmov [rdi-8], 2048
001ca6f7mov [rdi], rbx
001ca6famov rax, [rax+8]
001ca6femov [rdi+8], rax
001ca702mov rax, rdi
001ca705add rsp, 48
001ca709ret
001ca70anop
001ca70ctest dil, 1
001ca710jne 0x1cac30
001ca716movzx rax, [rdi-8]
001ca71bcmp rax, 6
001ca71fjne 0x1cac30
001ca725mov rdi, [rdi]
001ca728mov rax, [rcx]
001ca72bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca730sub r15, 40
001ca734cmp r15, [r14]
001ca737jb 0x1cacb8
001ca73d
001ca73dloc_1ca73d:
001ca73dlea rbx, [r15+8]
001ca741add rbx, 24
001ca745mov [rbx-8], 1030
001ca74dmov rdi, [rax]
001ca750mov [rbx], rdi
001ca753lea rdi, [rbx-24]
001ca757mov [rdi-8], 2048
001ca75fmov [rdi], rbx
001ca762mov rax, [rax+8]
001ca766mov [rdi+8], rax
001ca76amov rax, rdi
001ca76dadd rsp, 48
001ca771ret
001ca772nop
001ca774test dil, 1
001ca778jne 0x1cac30
001ca77emovzx rax, [rdi-8]
001ca783cmp rax, 7
001ca787jne 0x1cac30
001ca78dmov rdi, [rdi]
001ca790mov rax, [rcx]
001ca793call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca798sub r15, 40
001ca79ccmp r15, [r14]
001ca79fjb 0x1cacae
001ca7a5
001ca7a5loc_1ca7a5:
001ca7a5lea rbx, [r15+8]
001ca7a9add rbx, 24
001ca7admov [rbx-8], 1031
001ca7b5mov rdi, [rax]
001ca7b8mov [rbx], rdi
001ca7bblea rdi, [rbx-24]
001ca7bfmov [rdi-8], 2048
001ca7c7mov [rdi], rbx
001ca7camov rax, [rax+8]
001ca7cemov [rdi+8], rax
001ca7d2mov rax, rdi
001ca7d5add rsp, 48
001ca7d9ret
001ca7danop
001ca7dctest dil, 1
001ca7e0jne 0x1cac30
001ca7e6movzx rax, [rdi-8]
001ca7ebcmp rax, 8
001ca7efjne 0x1cac30
001ca7f5mov rax, [rdi]
001ca7f8mov [rsp], rax
001ca7fcsub r15, 32
001ca800cmp r15, [r14]
001ca803jb 0x1caca4
001ca809
001ca809loc_1ca809:
001ca809lea rsi, [r15+8]
001ca80dadd rsi, 16
001ca811mov [rsi-8], 1024
001ca819mov [rsi], rax
001ca81clea rdi, [rsi-16]
001ca820mov [rdi-8], 1024
001ca828mov rax, [rcx]
001ca82bmov [rdi], rax
001ca82elea rax, [rip+0x360db]
001ca835call caml_c_call
001ca83acmp rax, 1
001ca83eje 0x1ca854
001ca840lea rax, [rip+0x183531]
001ca847mov rax, [rax+448]
001ca84ecall caml_raise_exn
001ca853nop
001ca854
001ca854loc_1ca854:
001ca854mov rax, [rsp+24]
001ca859mov rdi, [rax+8]
001ca85dmov rax, [rsp+32]
001ca862mov rax, [rax+8]
001ca866mov rbx, [rsp+40]
001ca86bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca870sub r15, 48
001ca874cmp r15, [r14]
001ca877jb 0x1cac9a
001ca87d
001ca87dloc_1ca87d:
001ca87dlea rbx, [r15+8]
001ca881add rbx, 24
001ca885mov [rbx-8], 2056
001ca88dmov rdi, [rsp]
001ca891mov [rbx], rdi
001ca894mov rdi, [rax]
001ca897mov [rbx+8], rdi
001ca89blea rdi, [rbx-24]
001ca89fmov [rdi-8], 2048
001ca8a7mov [rdi], rbx
001ca8aamov rax, [rax+8]
001ca8aemov [rdi+8], rax
001ca8b2mov rax, rdi
001ca8b5add rsp, 48
001ca8b9ret
001ca8banop
001ca8bctest dil, 1
001ca8c0jne 0x1cac30
001ca8c6movzx rax, [rdi-8]
001ca8cbcmp rax, 9
001ca8cfjne 0x1cac30
001ca8d5mov rax, [rdi+8]
001ca8d9mov [rsp+16], rax
001ca8demov rax, [rdi]
001ca8e1mov [rsp+8], rax
001ca8e6call camlCamlinternalFormatBasics.erase_rel_143
001ca8ebsub r15, 16
001ca8efcmp r15, [r14]
001ca8f2jb 0x1cac90
001ca8f8
001ca8f8loc_1ca8f8:
001ca8f8lea rbx, [r15+8]
001ca8fcmov [rsp], rbx
001ca900mov [rbx-8], 1024
001ca908mov [rbx], rax
001ca90bmov rax, [rsp+32]
001ca910mov rax, [rax]
001ca913call camlCamlinternalFormatBasics.erase_rel_143
001ca918sub r15, 16
001ca91ccmp r15, [r14]
001ca91fjb 0x1cac86
001ca925
001ca925loc_1ca925:
001ca925lea rdi, [r15+8]
001ca929mov [rdi-8], 1024
001ca931mov [rdi], rax
001ca934mov rsi, [rsp]
001ca938lea rax, [rip+0x35fd1]
001ca93fcall caml_c_call
001ca944cmp rax, 1
001ca948je 0x1ca960
001ca94alea rax, [rip+0x183427]
001ca951mov rax, [rax+448]
001ca958call caml_raise_exn
001ca95dnop [rax]
001ca960
001ca960loc_1ca960:
001ca960mov rax, [rsp+16]
001ca965call camlCamlinternalFormatBasics.erase_rel_143
001ca96asub r15, 16
001ca96ecmp r15, [r14]
001ca971jb 0x1cac7c
001ca977
001ca977loc_1ca977:
001ca977lea rbx, [r15+8]
001ca97bmov [rsp], rbx
001ca97fmov [rbx-8], 1024
001ca987mov [rbx], rax
001ca98amov rax, [rsp+32]
001ca98fmov rax, [rax+8]
001ca993call camlCamlinternalFormatBasics.erase_rel_143
001ca998sub r15, 16
001ca99ccmp r15, [r14]
001ca99fjb 0x1cac72
001ca9a5
001ca9a5loc_1ca9a5:
001ca9a5lea rdi, [r15+8]
001ca9a9mov [rdi-8], 1024
001ca9b1mov [rdi], rax
001ca9b4mov rsi, [rsp]
001ca9b8lea rax, [rip+0x35f51]
001ca9bfcall caml_c_call
001ca9c4cmp rax, 1
001ca9c8je 0x1ca9e0
001ca9calea rax, [rip+0x1833a7]
001ca9d1mov rax, [rax+448]
001ca9d8call caml_raise_exn
001ca9ddnop [rax]
001ca9e0
001ca9e0loc_1ca9e0:
001ca9e0mov rax, [rsp+8]
001ca9e5call camlCamlinternalFormat.symm_1179
001ca9eamov rbx, [rsp+16]
001ca9efcall camlCamlinternalFormat.trans_1362
001ca9f4call camlCamlinternalFormat.fmtty_rel_det_1361
001ca9f9mov [rsp], rax
001ca9fdmov rbx, [rax+8]
001caa01mov eax, 1
001caa06mov rdi, [rbx]
001caa09call rdi
001caa0bmov rax, [rsp]
001caa0fmov rbx, [rax+24]
001caa13mov eax, 1
001caa18mov rdi, [rbx]
001caa1bcall rdi
001caa1dmov rax, [rsp+32]
001caa22mov rax, [rax+16]
001caa26call camlCamlinternalFormatBasics.erase_rel_143
001caa2bmov rbx, [rsp+24]
001caa30mov rdi, [rbx+16]
001caa34mov rbx, [rsp+40]
001caa39call camlCamlinternalFormat.type_ignored_format_substitution_2493
001caa3emov [rsp], rax
001caa42mov rax, [rax]
001caa45call camlCamlinternalFormat.symm_1179
001caa4asub r15, 56
001caa4ecmp r15, [r14]
001caa51jb 0x1cac68
001caa57
001caa57loc_1caa57:
001caa57lea rbx, [r15+8]
001caa5badd rbx, 24
001caa5fmov [rbx-8], 3081
001caa67mov rdi, [rsp+8]
001caa6cmov [rbx], rdi
001caa6fmov rdi, [rsp+16]
001caa74mov [rbx+8], rdi
001caa78mov [rbx+16], rax
001caa7clea rax, [rbx-24]
001caa80mov [rax-8], 2048
001caa88mov [rax], rbx
001caa8bmov rbx, [rsp]
001caa8fmov rbx, [rbx+8]
001caa93mov [rax+8], rbx
001caa97add rsp, 48
001caa9bret
001caa9ctest dil, 1
001caaa0jne 0x1cac30
001caaa6movzx rax, [rdi-8]
001caaabcmp rax, 10
001caaafjne 0x1cac30
001caab5mov rdi, [rdi]
001caab8mov rax, [rcx]
001caabbcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001caac0sub r15, 40
001caac4cmp r15, [r14]
001caac7jb 0x1cac5e
001caacd
001caacdloc_1caacd:
001caacdlea rbx, [r15+8]
001caad1add rbx, 24
001caad5mov [rbx-8], 1034
001caaddmov rdi, [rax]
001caae0mov [rbx], rdi
001caae3lea rdi, [rbx-24]
001caae7mov [rdi-8], 2048
001caaefmov [rdi], rbx
001caaf2mov rax, [rax+8]
001caaf6mov [rdi+8], rax
001caafamov rax, rdi
001caafdadd rsp, 48
001cab01ret
001cab02nop
001cab04test dil, 1
001cab08jne 0x1cac30
001cab0emovzx rax, [rdi-8]
001cab13cmp rax, 11
001cab17jne 0x1cac30
001cab1dmov rdi, [rdi]
001cab20mov rax, [rcx]
001cab23call camlCamlinternalFormat.type_ignored_format_substitution_2493
001cab28sub r15, 40
001cab2ccmp r15, [r14]
001cab2fjb 0x1cac54
001cab35
001cab35loc_1cab35:
001cab35lea rbx, [r15+8]
001cab39add rbx, 24
001cab3dmov [rbx-8], 1035
001cab45mov rdi, [rax]
001cab48mov [rbx], rdi
001cab4blea rdi, [rbx-24]
001cab4fmov [rdi-8], 2048
001cab57mov [rdi], rbx
001cab5amov rax, [rax+8]
001cab5emov [rdi+8], rax
001cab62mov rax, rdi
001cab65add rsp, 48
001cab69ret
001cab6anop
001cab6ctest dil, 1
001cab70jne 0x1cac30
001cab76movzx rax, [rdi-8]
001cab7bcmp rax, 13
001cab7fjne 0x1cac30
001cab85mov rdi, [rdi]
001cab88mov rax, [rcx]
001cab8bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001cab90sub r15, 40
001cab94cmp r15, [r14]
001cab97jb 0x1cac4a
001cab9d
001cab9dloc_1cab9d:
001cab9dlea rbx, [r15+8]
001caba1add rbx, 24
001caba5mov [rbx-8], 1037
001cabadmov rdi, [rax]
001cabb0mov [rbx], rdi
001cabb3lea rdi, [rbx-24]
001cabb7mov [rdi-8], 2048
001cabbfmov [rdi], rbx
001cabc2mov rax, [rax+8]
001cabc6mov [rdi+8], rax
001cabcamov rax, rdi
001cabcdadd rsp, 48
001cabd1ret
001cabd2nop
001cabd4test dil, 1
001cabd8jne 0x1cac30
001cabdamovzx rax, [rdi-8]
001cabdfcmp rax, 14
001cabe3jl 0x1cac30
001cabe5mov rdi, [rdi]
001cabe8mov rax, [rcx]
001cabebcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001cabf0sub r15, 40
001cabf4cmp r15, [r14]
001cabf7jb 0x1cac43
001cabf9
001cabf9loc_1cabf9:
001cabf9lea rbx, [r15+8]
001cabfdadd rbx, 24
001cac01mov [rbx-8], 1038
001cac09mov rdi, [rax]
001cac0cmov [rbx], rdi
001cac0flea rdi, [rbx-24]
001cac13mov [rdi-8], 2048
001cac1bmov [rdi], rbx
001cac1emov rax, [rax+8]
001cac22mov [rdi+8], rax
001cac26mov rax, rdi
001cac29add rsp, 48
001cac2dret
001cac2enop
001cac30
001cac30loc_1cac30:
001cac30lea rax, [rip+0x183141]
001cac37mov rax, [rax+448]
001cac3ecall caml_raise_exn
001cac43
001cac43loc_1cac43:
001cac43call caml_call_gc
001cac48jmp 0x1cabf9
001cac4a
001cac4aloc_1cac4a:
001cac4acall caml_call_gc
001cac4fjmp 0x1cab9d
001cac54
001cac54loc_1cac54:
001cac54call caml_call_gc
001cac59jmp 0x1cab35
001cac5e
001cac5eloc_1cac5e:
001cac5ecall caml_call_gc
001cac63jmp 0x1caacd
001cac68
001cac68loc_1cac68:
001cac68call caml_call_gc
001cac6djmp 0x1caa57
001cac72
001cac72loc_1cac72:
001cac72call caml_call_gc
001cac77jmp 0x1ca9a5
001cac7c
001cac7cloc_1cac7c:
001cac7ccall caml_call_gc
001cac81jmp 0x1ca977
001cac86
001cac86loc_1cac86:
001cac86call caml_call_gc
001cac8bjmp 0x1ca925
001cac90
001cac90loc_1cac90:
001cac90call caml_call_gc
001cac95jmp 0x1ca8f8
001cac9a
001cac9aloc_1cac9a:
001cac9acall caml_call_gc
001cac9fjmp 0x1ca87d
001caca4
001caca4loc_1caca4:
001caca4call caml_call_gc
001caca9jmp 0x1ca809
001cacae
001cacaeloc_1cacae:
001cacaecall caml_call_gc
001cacb3jmp 0x1ca7a5
001cacb8
001cacb8loc_1cacb8:
001cacb8call caml_call_gc
001cacbdjmp 0x1ca73d
001cacc2
001cacc2loc_1cacc2:
001cacc2call caml_call_gc
001cacc7jmp 0x1ca6d5
001caccc
001cacccloc_1caccc:
001caccccall caml_call_gc
001cacd1jmp 0x1ca66d
001cacd6
001cacd6loc_1cacd6:
001cacd6call caml_call_gc
001cacdbjmp 0x1ca605
001cace0
001cace0loc_1cace0:
001cace0call caml_call_gc
001cace5jmp 0x1ca59d
001cacea
001cacealoc_1cacea:
001caceacall caml_call_gc
001cacefjmp 0x1ca535
001cacf4
001cacf4loc_1cacf4:
001cacf4call caml_call_gc
001cacf9jmp 0x1ca4cc
001cacfe
001cacfeloc_1cacfe:
001cacfecall caml_call_gc
001cad03jmp 0x1ca456
001cad08
001cad08loc_1cad08:
001cad08push 39
001cad0acall caml_call_realloc_stack
001cad0fpop r10
001cad11jmp 0x1ca432
001ca420
001ca420camlCamlinternalFormat.type_ignored_format_substitution_2493:
001ca420lea r10, [rsp-368]
001ca428cmp r10, [r14+40]
001ca42cjb 0x1cad08
001ca432
001ca432loc_1ca432:
001ca432sub rsp, 48
001ca436mov rcx, rax
001ca439test cl, 1
001ca43cje 0x1ca478
001ca43emov rax, rbx
001ca441mov rbx, rdi
001ca444call camlCamlinternalFormat.type_format_gen_2489
001ca449sub r15, 24
001ca44dcmp r15, [r14]
001ca450jb 0x1cacfe
001ca456
001ca456loc_1ca456:
001ca456lea rbx, [r15+8]
001ca45amov [rbx-8], 2048
001ca462mov [rbx], 1
001ca469mov [rbx+8], rax
001ca46dmov rax, rbx
001ca470add rsp, 48
001ca474ret
001ca475nop [rax]
001ca478
001ca478loc_1ca478:
001ca478mov [rsp+24], rdi
001ca47dmov [rsp+40], rbx
001ca482mov [rsp+32], rcx
001ca487movzx rax, [rcx-8]
001ca48clea rdx, [rip+0x63a7d]
001ca493movsxd rax, [rdx+4*rax]
001ca497add rdx, rax
001ca49ajmp rdx
001ca49ctest dil, 1
001ca4a0jne 0x1cac30
001ca4a6movzx rax, [rdi-8]
001ca4abtest rax, rax
001ca4aejne 0x1cac30
001ca4b4mov rdi, [rdi]
001ca4b7mov rax, [rcx]
001ca4bacall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca4bfsub r15, 40
001ca4c3cmp r15, [r14]
001ca4c6jb 0x1cacf4
001ca4cc
001ca4ccloc_1ca4cc:
001ca4cclea rbx, [r15+8]
001ca4d0add rbx, 24
001ca4d4mov [rbx-8], 1024
001ca4dcmov rdi, [rax]
001ca4dfmov [rbx], rdi
001ca4e2lea rdi, [rbx-24]
001ca4e6mov [rdi-8], 2048
001ca4eemov [rdi], rbx
001ca4f1mov rax, [rax+8]
001ca4f5mov [rdi+8], rax
001ca4f9mov rax, rdi
001ca4fcadd rsp, 48
001ca500ret
001ca501nop [rax]
001ca504test dil, 1
001ca508jne 0x1cac30
001ca50emovzx rax, [rdi-8]
001ca513cmp rax, 1
001ca517jne 0x1cac30
001ca51dmov rdi, [rdi]
001ca520mov rax, [rcx]
001ca523call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca528sub r15, 40
001ca52ccmp r15, [r14]
001ca52fjb 0x1cacea
001ca535
001ca535loc_1ca535:
001ca535lea rbx, [r15+8]
001ca539add rbx, 24
001ca53dmov [rbx-8], 1025
001ca545mov rdi, [rax]
001ca548mov [rbx], rdi
001ca54blea rdi, [rbx-24]
001ca54fmov [rdi-8], 2048
001ca557mov [rdi], rbx
001ca55amov rax, [rax+8]
001ca55emov [rdi+8], rax
001ca562mov rax, rdi
001ca565add rsp, 48
001ca569ret
001ca56anop
001ca56ctest dil, 1
001ca570jne 0x1cac30
001ca576movzx rax, [rdi-8]
001ca57bcmp rax, 2
001ca57fjne 0x1cac30
001ca585mov rdi, [rdi]
001ca588mov rax, [rcx]
001ca58bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca590sub r15, 40
001ca594cmp r15, [r14]
001ca597jb 0x1cace0
001ca59d
001ca59dloc_1ca59d:
001ca59dlea rbx, [r15+8]
001ca5a1add rbx, 24
001ca5a5mov [rbx-8], 1026
001ca5admov rdi, [rax]
001ca5b0mov [rbx], rdi
001ca5b3lea rdi, [rbx-24]
001ca5b7mov [rdi-8], 2048
001ca5bfmov [rdi], rbx
001ca5c2mov rax, [rax+8]
001ca5c6mov [rdi+8], rax
001ca5camov rax, rdi
001ca5cdadd rsp, 48
001ca5d1ret
001ca5d2nop
001ca5d4test dil, 1
001ca5d8jne 0x1cac30
001ca5demovzx rax, [rdi-8]
001ca5e3cmp rax, 3
001ca5e7jne 0x1cac30
001ca5edmov rdi, [rdi]
001ca5f0mov rax, [rcx]
001ca5f3call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca5f8sub r15, 40
001ca5fccmp r15, [r14]
001ca5ffjb 0x1cacd6
001ca605
001ca605loc_1ca605:
001ca605lea rbx, [r15+8]
001ca609add rbx, 24
001ca60dmov [rbx-8], 1027
001ca615mov rdi, [rax]
001ca618mov [rbx], rdi
001ca61blea rdi, [rbx-24]
001ca61fmov [rdi-8], 2048
001ca627mov [rdi], rbx
001ca62amov rax, [rax+8]
001ca62emov [rdi+8], rax
001ca632mov rax, rdi
001ca635add rsp, 48
001ca639ret
001ca63anop
001ca63ctest dil, 1
001ca640jne 0x1cac30
001ca646movzx rax, [rdi-8]
001ca64bcmp rax, 4
001ca64fjne 0x1cac30
001ca655mov rdi, [rdi]
001ca658mov rax, [rcx]
001ca65bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca660sub r15, 40
001ca664cmp r15, [r14]
001ca667jb 0x1caccc
001ca66d
001ca66dloc_1ca66d:
001ca66dlea rbx, [r15+8]
001ca671add rbx, 24
001ca675mov [rbx-8], 1028
001ca67dmov rdi, [rax]
001ca680mov [rbx], rdi
001ca683lea rdi, [rbx-24]
001ca687mov [rdi-8], 2048
001ca68fmov [rdi], rbx
001ca692mov rax, [rax+8]
001ca696mov [rdi+8], rax
001ca69amov rax, rdi
001ca69dadd rsp, 48
001ca6a1ret
001ca6a2nop
001ca6a4test dil, 1
001ca6a8jne 0x1cac30
001ca6aemovzx rax, [rdi-8]
001ca6b3cmp rax, 5
001ca6b7jne 0x1cac30
001ca6bdmov rdi, [rdi]
001ca6c0mov rax, [rcx]
001ca6c3call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca6c8sub r15, 40
001ca6cccmp r15, [r14]
001ca6cfjb 0x1cacc2
001ca6d5
001ca6d5loc_1ca6d5:
001ca6d5lea rbx, [r15+8]
001ca6d9add rbx, 24
001ca6ddmov [rbx-8], 1029
001ca6e5mov rdi, [rax]
001ca6e8mov [rbx], rdi
001ca6eblea rdi, [rbx-24]
001ca6efmov [rdi-8], 2048
001ca6f7mov [rdi], rbx
001ca6famov rax, [rax+8]
001ca6femov [rdi+8], rax
001ca702mov rax, rdi
001ca705add rsp, 48
001ca709ret
001ca70anop
001ca70ctest dil, 1
001ca710jne 0x1cac30
001ca716movzx rax, [rdi-8]
001ca71bcmp rax, 6
001ca71fjne 0x1cac30
001ca725mov rdi, [rdi]
001ca728mov rax, [rcx]
001ca72bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca730sub r15, 40
001ca734cmp r15, [r14]
001ca737jb 0x1cacb8
001ca73d
001ca73dloc_1ca73d:
001ca73dlea rbx, [r15+8]
001ca741add rbx, 24
001ca745mov [rbx-8], 1030
001ca74dmov rdi, [rax]
001ca750mov [rbx], rdi
001ca753lea rdi, [rbx-24]
001ca757mov [rdi-8], 2048
001ca75fmov [rdi], rbx
001ca762mov rax, [rax+8]
001ca766mov [rdi+8], rax
001ca76amov rax, rdi
001ca76dadd rsp, 48
001ca771ret
001ca772nop
001ca774test dil, 1
001ca778jne 0x1cac30
001ca77emovzx rax, [rdi-8]
001ca783cmp rax, 7
001ca787jne 0x1cac30
001ca78dmov rdi, [rdi]
001ca790mov rax, [rcx]
001ca793call camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca798sub r15, 40
001ca79ccmp r15, [r14]
001ca79fjb 0x1cacae
001ca7a5
001ca7a5loc_1ca7a5:
001ca7a5lea rbx, [r15+8]
001ca7a9add rbx, 24
001ca7admov [rbx-8], 1031
001ca7b5mov rdi, [rax]
001ca7b8mov [rbx], rdi
001ca7bblea rdi, [rbx-24]
001ca7bfmov [rdi-8], 2048
001ca7c7mov [rdi], rbx
001ca7camov rax, [rax+8]
001ca7cemov [rdi+8], rax
001ca7d2mov rax, rdi
001ca7d5add rsp, 48
001ca7d9ret
001ca7danop
001ca7dctest dil, 1
001ca7e0jne 0x1cac30
001ca7e6movzx rax, [rdi-8]
001ca7ebcmp rax, 8
001ca7efjne 0x1cac30
001ca7f5mov rax, [rdi]
001ca7f8mov [rsp], rax
001ca7fcsub r15, 32
001ca800cmp r15, [r14]
001ca803jb 0x1caca4
001ca809
001ca809loc_1ca809:
001ca809lea rsi, [r15+8]
001ca80dadd rsi, 16
001ca811mov [rsi-8], 1024
001ca819mov [rsi], rax
001ca81clea rdi, [rsi-16]
001ca820mov [rdi-8], 1024
001ca828mov rax, [rcx]
001ca82bmov [rdi], rax
001ca82elea rax, [rip+0x360db]
001ca835call caml_c_call
001ca83acmp rax, 1
001ca83eje 0x1ca854
001ca840lea rax, [rip+0x183531]
001ca847mov rax, [rax+448]
001ca84ecall caml_raise_exn
001ca853nop
001ca854
001ca854loc_1ca854:
001ca854mov rax, [rsp+24]
001ca859mov rdi, [rax+8]
001ca85dmov rax, [rsp+32]
001ca862mov rax, [rax+8]
001ca866mov rbx, [rsp+40]
001ca86bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001ca870sub r15, 48
001ca874cmp r15, [r14]
001ca877jb 0x1cac9a
001ca87d
001ca87dloc_1ca87d:
001ca87dlea rbx, [r15+8]
001ca881add rbx, 24
001ca885mov [rbx-8], 2056
001ca88dmov rdi, [rsp]
001ca891mov [rbx], rdi
001ca894mov rdi, [rax]
001ca897mov [rbx+8], rdi
001ca89blea rdi, [rbx-24]
001ca89fmov [rdi-8], 2048
001ca8a7mov [rdi], rbx
001ca8aamov rax, [rax+8]
001ca8aemov [rdi+8], rax
001ca8b2mov rax, rdi
001ca8b5add rsp, 48
001ca8b9ret
001ca8banop
001ca8bctest dil, 1
001ca8c0jne 0x1cac30
001ca8c6movzx rax, [rdi-8]
001ca8cbcmp rax, 9
001ca8cfjne 0x1cac30
001ca8d5mov rax, [rdi+8]
001ca8d9mov [rsp+16], rax
001ca8demov rax, [rdi]
001ca8e1mov [rsp+8], rax
001ca8e6call camlCamlinternalFormatBasics.erase_rel_143
001ca8ebsub r15, 16
001ca8efcmp r15, [r14]
001ca8f2jb 0x1cac90
001ca8f8
001ca8f8loc_1ca8f8:
001ca8f8lea rbx, [r15+8]
001ca8fcmov [rsp], rbx
001ca900mov [rbx-8], 1024
001ca908mov [rbx], rax
001ca90bmov rax, [rsp+32]
001ca910mov rax, [rax]
001ca913call camlCamlinternalFormatBasics.erase_rel_143
001ca918sub r15, 16
001ca91ccmp r15, [r14]
001ca91fjb 0x1cac86
001ca925
001ca925loc_1ca925:
001ca925lea rdi, [r15+8]
001ca929mov [rdi-8], 1024
001ca931mov [rdi], rax
001ca934mov rsi, [rsp]
001ca938lea rax, [rip+0x35fd1]
001ca93fcall caml_c_call
001ca944cmp rax, 1
001ca948je 0x1ca960
001ca94alea rax, [rip+0x183427]
001ca951mov rax, [rax+448]
001ca958call caml_raise_exn
001ca95dnop [rax]
001ca960
001ca960loc_1ca960:
001ca960mov rax, [rsp+16]
001ca965call camlCamlinternalFormatBasics.erase_rel_143
001ca96asub r15, 16
001ca96ecmp r15, [r14]
001ca971jb 0x1cac7c
001ca977
001ca977loc_1ca977:
001ca977lea rbx, [r15+8]
001ca97bmov [rsp], rbx
001ca97fmov [rbx-8], 1024
001ca987mov [rbx], rax
001ca98amov rax, [rsp+32]
001ca98fmov rax, [rax+8]
001ca993call camlCamlinternalFormatBasics.erase_rel_143
001ca998sub r15, 16
001ca99ccmp r15, [r14]
001ca99fjb 0x1cac72
001ca9a5
001ca9a5loc_1ca9a5:
001ca9a5lea rdi, [r15+8]
001ca9a9mov [rdi-8], 1024
001ca9b1mov [rdi], rax
001ca9b4mov rsi, [rsp]
001ca9b8lea rax, [rip+0x35f51]
001ca9bfcall caml_c_call
001ca9c4cmp rax, 1
001ca9c8je 0x1ca9e0
001ca9calea rax, [rip+0x1833a7]
001ca9d1mov rax, [rax+448]
001ca9d8call caml_raise_exn
001ca9ddnop [rax]
001ca9e0
001ca9e0loc_1ca9e0:
001ca9e0mov rax, [rsp+8]
001ca9e5call camlCamlinternalFormat.symm_1179
001ca9eamov rbx, [rsp+16]
001ca9efcall camlCamlinternalFormat.trans_1362
001ca9f4call camlCamlinternalFormat.fmtty_rel_det_1361
001ca9f9mov [rsp], rax
001ca9fdmov rbx, [rax+8]
001caa01mov eax, 1
001caa06mov rdi, [rbx]
001caa09call rdi
001caa0bmov rax, [rsp]
001caa0fmov rbx, [rax+24]
001caa13mov eax, 1
001caa18mov rdi, [rbx]
001caa1bcall rdi
001caa1dmov rax, [rsp+32]
001caa22mov rax, [rax+16]
001caa26call camlCamlinternalFormatBasics.erase_rel_143
001caa2bmov rbx, [rsp+24]
001caa30mov rdi, [rbx+16]
001caa34mov rbx, [rsp+40]
001caa39call camlCamlinternalFormat.type_ignored_format_substitution_2493
001caa3emov [rsp], rax
001caa42mov rax, [rax]
001caa45call camlCamlinternalFormat.symm_1179
001caa4asub r15, 56
001caa4ecmp r15, [r14]
001caa51jb 0x1cac68
001caa57
001caa57loc_1caa57:
001caa57lea rbx, [r15+8]
001caa5badd rbx, 24
001caa5fmov [rbx-8], 3081
001caa67mov rdi, [rsp+8]
001caa6cmov [rbx], rdi
001caa6fmov rdi, [rsp+16]
001caa74mov [rbx+8], rdi
001caa78mov [rbx+16], rax
001caa7clea rax, [rbx-24]
001caa80mov [rax-8], 2048
001caa88mov [rax], rbx
001caa8bmov rbx, [rsp]
001caa8fmov rbx, [rbx+8]
001caa93mov [rax+8], rbx
001caa97add rsp, 48
001caa9bret
001caa9ctest dil, 1
001caaa0jne 0x1cac30
001caaa6movzx rax, [rdi-8]
001caaabcmp rax, 10
001caaafjne 0x1cac30
001caab5mov rdi, [rdi]
001caab8mov rax, [rcx]
001caabbcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001caac0sub r15, 40
001caac4cmp r15, [r14]
001caac7jb 0x1cac5e
001caacd
001caacdloc_1caacd:
001caacdlea rbx, [r15+8]
001caad1add rbx, 24
001caad5mov [rbx-8], 1034
001caaddmov rdi, [rax]
001caae0mov [rbx], rdi
001caae3lea rdi, [rbx-24]
001caae7mov [rdi-8], 2048
001caaefmov [rdi], rbx
001caaf2mov rax, [rax+8]
001caaf6mov [rdi+8], rax
001caafamov rax, rdi
001caafdadd rsp, 48
001cab01ret
001cab02nop
001cab04test dil, 1
001cab08jne 0x1cac30
001cab0emovzx rax, [rdi-8]
001cab13cmp rax, 11
001cab17jne 0x1cac30
001cab1dmov rdi, [rdi]
001cab20mov rax, [rcx]
001cab23call camlCamlinternalFormat.type_ignored_format_substitution_2493
001cab28sub r15, 40
001cab2ccmp r15, [r14]
001cab2fjb 0x1cac54
001cab35
001cab35loc_1cab35:
001cab35lea rbx, [r15+8]
001cab39add rbx, 24
001cab3dmov [rbx-8], 1035
001cab45mov rdi, [rax]
001cab48mov [rbx], rdi
001cab4blea rdi, [rbx-24]
001cab4fmov [rdi-8], 2048
001cab57mov [rdi], rbx
001cab5amov rax, [rax+8]
001cab5emov [rdi+8], rax
001cab62mov rax, rdi
001cab65add rsp, 48
001cab69ret
001cab6anop
001cab6ctest dil, 1
001cab70jne 0x1cac30
001cab76movzx rax, [rdi-8]
001cab7bcmp rax, 13
001cab7fjne 0x1cac30
001cab85mov rdi, [rdi]
001cab88mov rax, [rcx]
001cab8bcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001cab90sub r15, 40
001cab94cmp r15, [r14]
001cab97jb 0x1cac4a
001cab9d
001cab9dloc_1cab9d:
001cab9dlea rbx, [r15+8]
001caba1add rbx, 24
001caba5mov [rbx-8], 1037
001cabadmov rdi, [rax]
001cabb0mov [rbx], rdi
001cabb3lea rdi, [rbx-24]
001cabb7mov [rdi-8], 2048
001cabbfmov [rdi], rbx
001cabc2mov rax, [rax+8]
001cabc6mov [rdi+8], rax
001cabcamov rax, rdi
001cabcdadd rsp, 48
001cabd1ret
001cabd2nop
001cabd4test dil, 1
001cabd8jne 0x1cac30
001cabdamovzx rax, [rdi-8]
001cabdfcmp rax, 14
001cabe3jl 0x1cac30
001cabe5mov rdi, [rdi]
001cabe8mov rax, [rcx]
001cabebcall camlCamlinternalFormat.type_ignored_format_substitution_2493
001cabf0sub r15, 40
001cabf4cmp r15, [r14]
001cabf7jb 0x1cac43
001cabf9
001cabf9loc_1cabf9:
001cabf9lea rbx, [r15+8]
001cabfdadd rbx, 24
001cac01mov [rbx-8], 1038
001cac09mov rdi, [rax]
001cac0cmov [rbx], rdi
001cac0flea rdi, [rbx-24]
001cac13mov [rdi-8], 2048
001cac1bmov [rdi], rbx
001cac1emov rax, [rax+8]
001cac22mov [rdi+8], rax
001cac26mov rax, rdi
001cac29add rsp, 48
001cac2dret
001cac2enop
001cac30
001cac30loc_1cac30:
001cac30lea rax, [rip+0x183141]
001cac37mov rax, [rax+448]
001cac3ecall caml_raise_exn
001cac43
001cac43loc_1cac43:
001cac43call caml_call_gc
001cac48jmp 0x1cabf9
001cac4a
001cac4aloc_1cac4a:
001cac4acall caml_call_gc
001cac4fjmp 0x1cab9d
001cac54
001cac54loc_1cac54:
001cac54call caml_call_gc
001cac59jmp 0x1cab35
001cac5e
001cac5eloc_1cac5e:
001cac5ecall caml_call_gc
001cac63jmp 0x1caacd
001cac68
001cac68loc_1cac68:
001cac68call caml_call_gc
001cac6djmp 0x1caa57
001cac72
001cac72loc_1cac72:
001cac72call caml_call_gc
001cac77jmp 0x1ca9a5
001cac7c
001cac7cloc_1cac7c:
001cac7ccall caml_call_gc
001cac81jmp 0x1ca977
001cac86
001cac86loc_1cac86:
001cac86call caml_call_gc
001cac8bjmp 0x1ca925
001cac90
001cac90loc_1cac90:
001cac90call caml_call_gc
001cac95jmp 0x1ca8f8
001cac9a
001cac9aloc_1cac9a:
001cac9acall caml_call_gc
001cac9fjmp 0x1ca87d
001caca4
001caca4loc_1caca4:
001caca4call caml_call_gc
001caca9jmp 0x1ca809
001cacae
001cacaeloc_1cacae:
001cacaecall caml_call_gc
001cacb3jmp 0x1ca7a5
001cacb8
001cacb8loc_1cacb8:
001cacb8call caml_call_gc
001cacbdjmp 0x1ca73d
001cacc2
001cacc2loc_1cacc2:
001cacc2call caml_call_gc
001cacc7jmp 0x1ca6d5
001caccc
001cacccloc_1caccc:
001caccccall caml_call_gc
001cacd1jmp 0x1ca66d
001cacd6
001cacd6loc_1cacd6:
001cacd6call caml_call_gc
001cacdbjmp 0x1ca605
001cace0
001cace0loc_1cace0:
001cace0call caml_call_gc
001cace5jmp 0x1ca59d
001cacea
001cacealoc_1cacea:
001caceacall caml_call_gc
001cacefjmp 0x1ca535
001cacf4
001cacf4loc_1cacf4:
001cacf4call caml_call_gc
001cacf9jmp 0x1ca4cc
001cacfe
001cacfeloc_1cacfe:
001cacfecall caml_call_gc
001cad03jmp 0x1ca456
001cad08
001cad08loc_1cad08:
001cad08push 39
001cad0acall caml_call_realloc_stack
001cad0fpop r10
001cad11jmp 0x1ca432
001ca420
001cad16
001cad16 // align 0x10
001cad16 // align 0x10
001cad20
001cad20camlCamlinternalFormat.recast_3388:
001cad20lea r10, [rsp-328]
001cad28cmp r10, [r14+40]
001cad2cjb 0x1cad53
001cad2e
001cad2eloc_1cad2e:
001cad2esub rsp, 8
001cad32mov [rsp], rax
001cad36mov rax, rbx
001cad39call camlCamlinternalFormat.symm_1179
001cad3ecall camlCamlinternalFormatBasics.erase_rel_143
001cad43mov rbx, rax
001cad46mov rax, [rsp]
001cad4aadd rsp, 8
001cad4ejmp 0x1c9310
001cad53
001cad53loc_1cad53:
001cad53push 34
001cad55call caml_call_realloc_stack
001cad5apop r10
001cad5cjmp 0x1cad2e
001cad20
001cad20camlCamlinternalFormat.recast_3388:
001cad20lea r10, [rsp-328]
001cad28cmp r10, [r14+40]
001cad2cjb 0x1cad53
001cad2e
001cad2eloc_1cad2e:
001cad2esub rsp, 8
001cad32mov [rsp], rax
001cad36mov rax, rbx
001cad39call camlCamlinternalFormat.symm_1179
001cad3ecall camlCamlinternalFormatBasics.erase_rel_143
001cad43mov rbx, rax
001cad46mov rax, [rsp]
001cad4aadd rsp, 8
001cad4ejmp 0x1c9310
001cad53
001cad53loc_1cad53:
001cad53push 34
001cad55call caml_call_realloc_stack
001cad5apop r10
001cad5cjmp 0x1cad2e
001cad20
001cad5e
001cad5e // align 0x10
001cad5e // align 0x10
001cad60
001cad60camlCamlinternalFormat.fix_padding_3404:
001cad60lea r10, [rsp-360]
001cad68cmp r10, [r14+40]
001cad6cjb 0x1cb02e
001cad72
001cad72loc_1cad72:
001cad72sub rsp, 40
001cad76mov rsi, rbx
001cad79mov rbx, [rdi-8]
001cad7dshr rbx, 10
001cad81lea rbx, [8*rbx-1]
001cad89movzx rdx, [rdi+rbx]
001cad8esub rbx, rdx
001cad91lea rbx, [rbx+rbx+1]
001cad96cmp rsi, 1
001cad9ajge 0x1cada8
001cad9cmov eax, 1
001cada1mov rdx, rax
001cada4jmp 0x1cadab
001cada6
001cada6 66 90 f.
001cada8
001cada8loc_1cada8:
001cada8mov rdx, rax
001cadab
001cadabloc_1cadab:
001cadabcmp rsi, 1
001cadafjl 0x1cadb8
001cadb1mov rax, rsi
001cadb4jmp 0x1cadc0
001cadb6
001cadb6 66 90 f.
001cadb8
001cadb8loc_1cadb8:
001cadb8mov eax, 2
001cadbdsub rax, rsi
001cadc0
001cadc0loc_1cadc0:
001cadc0cmp rax, rbx
001cadc3jg 0x1cadd0
001cadc5mov rax, rdi
001cadc8add rsp, 40
001cadccret
001cadcd
001cadcd 0f 1f 00 ...
001cadd0
001cadd0loc_1cadd0:
001cadd0mov [rsp+16], rax
001cadd5mov [rsp], rdx
001cadd9mov [rsp+32], rbx
001caddemov [rsp+24], rdi
001cade3cmp rdx, 5
001cade7jne 0x1cadf0
001cade9mov ebx, 97
001cadeejmp 0x1cadf5
001cadf0
001cadf0loc_1cadf0:
001cadf0mov ebx, 65
001cadf5
001cadf5loc_1cadf5:
001cadf5call Stdlib.Bytes.make
001cadfamov rdi, rax
001cadfdmov [rsp+8], rdi
001cae02mov rax, [rsp]
001cae06sar rax, 1
001cae09cmp rax, 1
001cae0dje 0x1cae30
001cae0fja 0x1cae54
001cae11mov esi, 1
001cae16mov ebx, 1
001cae1bmov rax, [rsp+24]
001cae20mov rdx, [rsp+32]
001cae25call Stdlib.Bytes.blit_string
001cae2ajmp 0x1cb001
001cae2f
001cae2f 90 .
001cae30
001cae30loc_1cae30:
001cae30mov rsi, [rsp+16]
001cae35mov rdx, [rsp+32]
001cae3asub rsi, rdx
001cae3dinc rsi
001cae40mov ebx, 1
001cae45mov rax, [rsp+24]
001cae4acall Stdlib.Bytes.blit_string
001cae4fjmp 0x1cb001
001cae54
001cae54loc_1cae54:
001cae54mov rcx, [rsp+32]
001cae59cmp rcx, 1
001cae5djle 0x1caf14
001cae63mov rax, [rsp+24]
001cae68mov rbx, [rax-8]
001cae6cshr rbx, 10
001cae70lea rbx, [8*rbx-1]
001cae78movzx rsi, [rax+rbx]
001cae7dsub rbx, rsi
001cae80cmp rbx, 0
001cae84jbe 0x1cb029
001cae8amovzx rbx, [rax]
001cae8elea rbx, [rbx+rbx+1]
001cae93cmp rbx, 87
001cae97je 0x1caea5
001cae99cmp rbx, 91
001cae9dje 0x1caea5
001cae9fcmp rbx, 65
001caea3jne 0x1caf14
001caea5
001caea5loc_1caea5:
001caea5mov rbx, [rax-8]
001caea9shr rbx, 10
001caeadlea rbx, [8*rbx-1]
001caeb5movzx rsi, [rax+rbx]
001caebasub rbx, rsi
001caebdcmp rbx, 0
001caec1jbe 0x1cb024
001caec7movzx rbx, [rax]
001caecbmov rsi, [rdi-8]
001caecfshr rsi, 10
001caed3lea rsi, [8*rsi-1]
001caedbmovzx rdx, [rdi+rsi]
001caee0sub rsi, rdx
001caee3cmp rsi, 0
001caee7jbe 0x1cb01f
001caeedmov [rdi], bl
001caeefmov rdx, rcx
001caef2add rdx, -2
001caef6mov rsi, [rsp+16]
001caefbsub rsi, rcx
001caefeadd rsi, 3
001caf02mov ebx, 3
001caf07call Stdlib.Bytes.blit_string
001caf0cjmp 0x1cb001
001caf11
001caf11 0f 1f 00 ...
001caf14
001caf14loc_1caf14:
001caf14cmp rcx, 3
001caf18jle 0x1cafe4
001caf1emov rax, [rsp+24]
001caf23mov rbx, [rax-8]
001caf27shr rbx, 10
001caf2blea rbx, [8*rbx-1]
001caf33movzx rsi, [rax+rbx]
001caf38sub rbx, rsi
001caf3bcmp rbx, 0
001caf3fjbe 0x1cb01a
001caf45movzx rsi, [rax]
001caf49lea rsi, [rsi+rsi+1]
001caf4ecmp rsi, 97
001caf52jne 0x1cafe4
001caf58cmp rbx, 1
001caf5cjbe 0x1cb015
001caf62movzx rbx, [rax+1]
001caf67lea rbx, [rbx+rbx+1]
001caf6ccmp rbx, 241
001caf73je 0x1caf7e
001caf75cmp rbx, 177
001caf7cjne 0x1cafe4
001caf7e
001caf7eloc_1caf7e:
001caf7emov rbx, [rax-8]
001caf82shr rbx, 10
001caf86lea rbx, [8*rbx-1]
001caf8emovzx rsi, [rax+rbx]
001caf93sub rbx, rsi
001caf96cmp rbx, 1
001caf9ajbe 0x1cb010
001caf9cmovzx rbx, [rax+1]
001cafa1mov rsi, [rdi-8]
001cafa5shr rsi, 10
001cafa9lea rsi, [8*rsi-1]
001cafb1movzx rdx, [rdi+rsi]
001cafb6sub rsi, rdx
001cafb9cmp rsi, 1
001cafbdjbe 0x1cb00b
001cafbfmov [rdi+1], bl
001cafc2mov rdx, rcx
001cafc5add rdx, -4
001cafc9mov rsi, [rsp+16]
001cafcesub rsi, rcx
001cafd1add rsi, 5
001cafd5mov ebx, 5
001cafdacall Stdlib.Bytes.blit_string
001cafdfjmp 0x1cb001
001cafe1
001cafe1 0f 1f 00 ...
001cafe4
001cafe4loc_1cafe4:
001cafe4mov rsi, [rsp+16]
001cafe9sub rsi, rcx
001cafecinc rsi
001cafefmov ebx, 1
001caff4mov rax, [rsp+24]
001caff9mov rdx, rcx
001caffccall Stdlib.Bytes.blit_string
001cb001
001cb001loc_1cb001:
001cb001mov rax, [rsp+8]
001cb006add rsp, 40
001cb00aret
001cb00b
001cb00bloc_1cb00b:
001cb00bcall caml_ml_array_bound_error
001cb010
001cb010loc_1cb010:
001cb010call caml_ml_array_bound_error
001cb015
001cb015loc_1cb015:
001cb015call caml_ml_array_bound_error
001cb01a
001cb01aloc_1cb01a:
001cb01acall caml_ml_array_bound_error
001cb01f
001cb01floc_1cb01f:
001cb01fcall caml_ml_array_bound_error
001cb024
001cb024loc_1cb024:
001cb024call caml_ml_array_bound_error
001cb029
001cb029loc_1cb029:
001cb029call caml_ml_array_bound_error
001cb02e
001cb02eloc_1cb02e:
001cb02epush 38
001cb030call caml_call_realloc_stack
001cb035pop r10
001cb037jmp 0x1cad72
001cad60
001cad60camlCamlinternalFormat.fix_padding_3404:
001cad60lea r10, [rsp-360]
001cad68cmp r10, [r14+40]
001cad6cjb 0x1cb02e
001cad72
001cad72loc_1cad72:
001cad72sub rsp, 40
001cad76mov rsi, rbx
001cad79mov rbx, [rdi-8]
001cad7dshr rbx, 10
001cad81lea rbx, [8*rbx-1]
001cad89movzx rdx, [rdi+rbx]
001cad8esub rbx, rdx
001cad91lea rbx, [rbx+rbx+1]
001cad96cmp rsi, 1
001cad9ajge 0x1cada8
001cad9cmov eax, 1
001cada1mov rdx, rax
001cada4jmp 0x1cadab
001cada6
001cada6 66 90 f.
001cada8
001cada8loc_1cada8:
001cada8mov rdx, rax
001cadab
001cadabloc_1cadab:
001cadabcmp rsi, 1
001cadafjl 0x1cadb8
001cadb1mov rax, rsi
001cadb4jmp 0x1cadc0
001cadb6
001cadb6 66 90 f.
001cadb8
001cadb8loc_1cadb8:
001cadb8mov eax, 2
001cadbdsub rax, rsi
001cadc0
001cadc0loc_1cadc0:
001cadc0cmp rax, rbx
001cadc3jg 0x1cadd0
001cadc5mov rax, rdi
001cadc8add rsp, 40
001cadccret
001cadcd
001cadcd 0f 1f 00 ...
001cadd0
001cadd0loc_1cadd0:
001cadd0mov [rsp+16], rax
001cadd5mov [rsp], rdx
001cadd9mov [rsp+32], rbx
001caddemov [rsp+24], rdi
001cade3cmp rdx, 5
001cade7jne 0x1cadf0
001cade9mov ebx, 97
001cadeejmp 0x1cadf5
001cadf0
001cadf0loc_1cadf0:
001cadf0mov ebx, 65
001cadf5
001cadf5loc_1cadf5:
001cadf5call Stdlib.Bytes.make
001cadfamov rdi, rax
001cadfdmov [rsp+8], rdi
001cae02mov rax, [rsp]
001cae06sar rax, 1
001cae09cmp rax, 1
001cae0dje 0x1cae30
001cae0fja 0x1cae54
001cae11mov esi, 1
001cae16mov ebx, 1
001cae1bmov rax, [rsp+24]
001cae20mov rdx, [rsp+32]
001cae25call Stdlib.Bytes.blit_string
001cae2ajmp 0x1cb001
001cae2f
001cae2f 90 .
001cae30
001cae30loc_1cae30:
001cae30mov rsi, [rsp+16]
001cae35mov rdx, [rsp+32]
001cae3asub rsi, rdx
001cae3dinc rsi
001cae40mov ebx, 1
001cae45mov rax, [rsp+24]
001cae4acall Stdlib.Bytes.blit_string
001cae4fjmp 0x1cb001
001cae54
001cae54loc_1cae54:
001cae54mov rcx, [rsp+32]
001cae59cmp rcx, 1
001cae5djle 0x1caf14
001cae63mov rax, [rsp+24]
001cae68mov rbx, [rax-8]
001cae6cshr rbx, 10
001cae70lea rbx, [8*rbx-1]
001cae78movzx rsi, [rax+rbx]
001cae7dsub rbx, rsi
001cae80cmp rbx, 0
001cae84jbe 0x1cb029
001cae8amovzx rbx, [rax]
001cae8elea rbx, [rbx+rbx+1]
001cae93cmp rbx, 87
001cae97je 0x1caea5
001cae99cmp rbx, 91
001cae9dje 0x1caea5
001cae9fcmp rbx, 65
001caea3jne 0x1caf14
001caea5
001caea5loc_1caea5:
001caea5mov rbx, [rax-8]
001caea9shr rbx, 10
001caeadlea rbx, [8*rbx-1]
001caeb5movzx rsi, [rax+rbx]
001caebasub rbx, rsi
001caebdcmp rbx, 0
001caec1jbe 0x1cb024
001caec7movzx rbx, [rax]
001caecbmov rsi, [rdi-8]
001caecfshr rsi, 10
001caed3lea rsi, [8*rsi-1]
001caedbmovzx rdx, [rdi+rsi]
001caee0sub rsi, rdx
001caee3cmp rsi, 0
001caee7jbe 0x1cb01f
001caeedmov [rdi], bl
001caeefmov rdx, rcx
001caef2add rdx, -2
001caef6mov rsi, [rsp+16]
001caefbsub rsi, rcx
001caefeadd rsi, 3
001caf02mov ebx, 3
001caf07call Stdlib.Bytes.blit_string
001caf0cjmp 0x1cb001
001caf11
001caf11 0f 1f 00 ...
001caf14
001caf14loc_1caf14:
001caf14cmp rcx, 3
001caf18jle 0x1cafe4
001caf1emov rax, [rsp+24]
001caf23mov rbx, [rax-8]
001caf27shr rbx, 10
001caf2blea rbx, [8*rbx-1]
001caf33movzx rsi, [rax+rbx]
001caf38sub rbx, rsi
001caf3bcmp rbx, 0
001caf3fjbe 0x1cb01a
001caf45movzx rsi, [rax]
001caf49lea rsi, [rsi+rsi+1]
001caf4ecmp rsi, 97
001caf52jne 0x1cafe4
001caf58cmp rbx, 1
001caf5cjbe 0x1cb015
001caf62movzx rbx, [rax+1]
001caf67lea rbx, [rbx+rbx+1]
001caf6ccmp rbx, 241
001caf73je 0x1caf7e
001caf75cmp rbx, 177
001caf7cjne 0x1cafe4
001caf7e
001caf7eloc_1caf7e:
001caf7emov rbx, [rax-8]
001caf82shr rbx, 10
001caf86lea rbx, [8*rbx-1]
001caf8emovzx rsi, [rax+rbx]
001caf93sub rbx, rsi
001caf96cmp rbx, 1
001caf9ajbe 0x1cb010
001caf9cmovzx rbx, [rax+1]
001cafa1mov rsi, [rdi-8]
001cafa5shr rsi, 10
001cafa9lea rsi, [8*rsi-1]
001cafb1movzx rdx, [rdi+rsi]
001cafb6sub rsi, rdx
001cafb9cmp rsi, 1
001cafbdjbe 0x1cb00b
001cafbfmov [rdi+1], bl
001cafc2mov rdx, rcx
001cafc5add rdx, -4
001cafc9mov rsi, [rsp+16]
001cafcesub rsi, rcx
001cafd1add rsi, 5
001cafd5mov ebx, 5
001cafdacall Stdlib.Bytes.blit_string
001cafdfjmp 0x1cb001
001cafe1
001cafe1 0f 1f 00 ...
001cafe4
001cafe4loc_1cafe4:
001cafe4mov rsi, [rsp+16]
001cafe9sub rsi, rcx
001cafecinc rsi
001cafefmov ebx, 1
001caff4mov rax, [rsp+24]
001caff9mov rdx, rcx
001caffccall Stdlib.Bytes.blit_string
001cb001
001cb001loc_1cb001:
001cb001mov rax, [rsp+8]
001cb006add rsp, 40
001cb00aret
001cb00b
001cb00bloc_1cb00b:
001cb00bcall caml_ml_array_bound_error
001cb010
001cb010loc_1cb010:
001cb010call caml_ml_array_bound_error
001cb015
001cb015loc_1cb015:
001cb015call caml_ml_array_bound_error
001cb01a
001cb01aloc_1cb01a:
001cb01acall caml_ml_array_bound_error
001cb01f
001cb01floc_1cb01f:
001cb01fcall caml_ml_array_bound_error
001cb024
001cb024loc_1cb024:
001cb024call caml_ml_array_bound_error
001cb029
001cb029loc_1cb029:
001cb029call caml_ml_array_bound_error
001cb02e
001cb02eloc_1cb02e:
001cb02epush 38
001cb030call caml_call_realloc_stack
001cb035pop r10
001cb037jmp 0x1cad72
001cad60
001cb03c
001cb03c // align 0x10
001cb03c // align 0x10
001cb040
001cb040camlCamlinternalFormat.fix_int_precision_3413:
001cb040lea r10, [rsp-360]
001cb048cmp r10, [r14+40]
001cb04cjb 0x1cb301
001cb052
001cb052loc_1cb052:
001cb052sub rsp, 40
001cb056cmp rax, 1
001cb05ajl 0x1cb064
001cb05cmov rsi, rax
001cb05fjmp 0x1cb06c
001cb061nop [rax]
001cb064
001cb064loc_1cb064:
001cb064mov esi, 2
001cb069sub rsi, rax
001cb06c
001cb06cloc_1cb06c:
001cb06cmov rax, [rbx-8]
001cb070shr rax, 10
001cb074lea rcx, [8*rax-1]
001cb07cmovzx rax, [rbx+rcx]
001cb081sub rcx, rax
001cb084lea rdi, [rcx+rcx+1]
001cb089cmp rcx, 0
001cb08djbe 0x1cb2fc
001cb093movzx rax, [rbx]
001cb097lea rax, [rax+rax+1]
001cb09ccmp rax, 117
001cb0a0jl 0x1cb0f0
001cb0a2cmp rax, 143
001cb0a8jl 0x1cb0d0
001cb0aaadd rax, -194
001cb0b0cmp rax, 11
001cb0b4ja 0x1cb2e0
001cb0bamov [rsp+24], rdi
001cb0bfmov [rsp+32], rsi
001cb0c4mov [rsp+16], rbx
001cb0c9jmp 0x1cb29c
001cb0cenop
001cb0d0
001cb0d0loc_1cb0d0:
001cb0d0cmp rax, 131
001cb0d6jl 0x1cb2e0
001cb0dcmov [rsp+24], rdi
001cb0e1mov [rsp+32], rsi
001cb0e6mov [rsp+16], rbx
001cb0ebjmp 0x1cb29c
001cb0f0
001cb0f0loc_1cb0f0:
001cb0f0cmp rax, 65
001cb0f4je 0x1cb208
001cb0facmp rax, 87
001cb0fejl 0x1cb2e0
001cb104mov [rsp], rax
001cb108mov [rsp+24], rdi
001cb10dmov [rsp+32], rsi
001cb112mov [rsp+16], rbx
001cb117add rax, -86
001cb11bsar rax, 1
001cb11elea rdx, [rip+0x62e27]
001cb125movsxd rax, [rdx+4*rax]
001cb129add rdx, rax
001cb12cjmp rdx
001cb12enop
001cb130mov rax, rsi
001cb133add rax, 4
001cb137cmp rax, rdi
001cb13ajle 0x1cb29c
001cb140cmp rdi, 3
001cb144jle 0x1cb29c
001cb14acmp rcx, 1
001cb14ejbe 0x1cb2f7
001cb154movzx rax, [rbx+1]
001cb159lea rax, [rax+rax+1]
001cb15ecmp rax, 241
001cb164je 0x1cb172
001cb166cmp rax, 177
001cb16cjne 0x1cb29c
001cb172
001cb172loc_1cb172:
001cb172mov ebx, 97
001cb177mov rax, rsi
001cb17aadd rax, 4
001cb17ecall Stdlib.Bytes.make
001cb183mov rdi, rax
001cb186mov [rsp], rdi
001cb18amov rax, [rsp+16]
001cb18fmov rbx, [rax-8]
001cb193shr rbx, 10
001cb197lea rbx, [8*rbx-1]
001cb19fmovzx rsi, [rax+rbx]
001cb1a4sub rbx, rsi
001cb1a7cmp rbx, 1
001cb1abjbe 0x1cb2f2
001cb1b1movzx rbx, [rax+1]
001cb1b6mov rsi, [rdi-8]
001cb1bashr rsi, 10
001cb1belea rsi, [8*rsi-1]
001cb1c6movzx rdx, [rdi+rsi]
001cb1cbsub rsi, rdx
001cb1cecmp rsi, 1
001cb1d2jbe 0x1cb2ed
001cb1d8mov [rdi+1], bl
001cb1dbmov rbx, [rsp+24]
001cb1e0mov rdx, rbx
001cb1e3add rdx, -4
001cb1e7mov rsi, [rsp+32]
001cb1ecsub rsi, rbx
001cb1efadd rsi, 9
001cb1f3mov ebx, 5
001cb1f8call Stdlib.Bytes.blit_string
001cb1fdmov rax, [rsp]
001cb201add rsp, 40
001cb205ret
001cb206nop
001cb208
001cb208loc_1cb208:
001cb208mov [rsp], rax
001cb20cmov [rsp+24], rdi
001cb211mov [rsp+32], rsi
001cb216mov [rsp+16], rbx
001cb21bmov rax, rsi
001cb21eadd rax, 2
001cb222cmp rax, rdi
001cb225jle 0x1cb2e0
001cb22bmov ebx, 97
001cb230call Stdlib.Bytes.make
001cb235mov rdi, rax
001cb238mov [rsp+8], rdi
001cb23dmov rax, [rsp]
001cb241sar rax, 1
001cb244mov rbx, [rdi-8]
001cb248shr rbx, 10
001cb24clea rbx, [8*rbx-1]
001cb254movzx rsi, [rdi+rbx]
001cb259sub rbx, rsi
001cb25ccmp rbx, 0
001cb260jbe 0x1cb2e8
001cb266mov [rdi], al
001cb268mov rax, [rsp+24]
001cb26dmov rdx, rax
001cb270add rdx, -2
001cb274mov rsi, [rsp+32]
001cb279sub rsi, rax
001cb27cadd rsi, 5
001cb280mov ebx, 3
001cb285mov rax, [rsp+16]
001cb28acall Stdlib.Bytes.blit_string
001cb28fmov rax, [rsp+8]
001cb294add rsp, 40
001cb298ret
001cb299nop [rax]
001cb29c
001cb29cloc_1cb29c:
001cb29ccmp rsi, rdi
001cb29fjle 0x1cb2e0
001cb2a1mov ebx, 97
001cb2a6mov rax, rsi
001cb2a9call Stdlib.Bytes.make
001cb2aemov rdi, rax
001cb2b1mov [rsp], rdi
001cb2b5mov rsi, [rsp+32]
001cb2bamov rdx, [rsp+24]
001cb2bfsub rsi, rdx
001cb2c2inc rsi
001cb2c5mov ebx, 1
001cb2camov rax, [rsp+16]
001cb2cfcall Stdlib.Bytes.blit_string
001cb2d4mov rax, [rsp]
001cb2d8add rsp, 40
001cb2dcret
001cb2ddnop [rax]
001cb2e0
001cb2e0loc_1cb2e0:
001cb2e0mov rax, rbx
001cb2e3add rsp, 40
001cb2e7ret
001cb2e8
001cb2e8loc_1cb2e8:
001cb2e8call caml_ml_array_bound_error
001cb2ed
001cb2edloc_1cb2ed:
001cb2edcall caml_ml_array_bound_error
001cb2f2
001cb2f2loc_1cb2f2:
001cb2f2call caml_ml_array_bound_error
001cb2f7
001cb2f7loc_1cb2f7:
001cb2f7call caml_ml_array_bound_error
001cb2fc
001cb2fcloc_1cb2fc:
001cb2fccall caml_ml_array_bound_error
001cb301
001cb301loc_1cb301:
001cb301push 38
001cb303call caml_call_realloc_stack
001cb308pop r10
001cb30ajmp 0x1cb052
001cb040
001cb040camlCamlinternalFormat.fix_int_precision_3413:
001cb040lea r10, [rsp-360]
001cb048cmp r10, [r14+40]
001cb04cjb 0x1cb301
001cb052
001cb052loc_1cb052:
001cb052sub rsp, 40
001cb056cmp rax, 1
001cb05ajl 0x1cb064
001cb05cmov rsi, rax
001cb05fjmp 0x1cb06c
001cb061nop [rax]
001cb064
001cb064loc_1cb064:
001cb064mov esi, 2
001cb069sub rsi, rax
001cb06c
001cb06cloc_1cb06c:
001cb06cmov rax, [rbx-8]
001cb070shr rax, 10
001cb074lea rcx, [8*rax-1]
001cb07cmovzx rax, [rbx+rcx]
001cb081sub rcx, rax
001cb084lea rdi, [rcx+rcx+1]
001cb089cmp rcx, 0
001cb08djbe 0x1cb2fc
001cb093movzx rax, [rbx]
001cb097lea rax, [rax+rax+1]
001cb09ccmp rax, 117
001cb0a0jl 0x1cb0f0
001cb0a2cmp rax, 143
001cb0a8jl 0x1cb0d0
001cb0aaadd rax, -194
001cb0b0cmp rax, 11
001cb0b4ja 0x1cb2e0
001cb0bamov [rsp+24], rdi
001cb0bfmov [rsp+32], rsi
001cb0c4mov [rsp+16], rbx
001cb0c9jmp 0x1cb29c
001cb0cenop
001cb0d0
001cb0d0loc_1cb0d0:
001cb0d0cmp rax, 131
001cb0d6jl 0x1cb2e0
001cb0dcmov [rsp+24], rdi
001cb0e1mov [rsp+32], rsi
001cb0e6mov [rsp+16], rbx
001cb0ebjmp 0x1cb29c
001cb0f0
001cb0f0loc_1cb0f0:
001cb0f0cmp rax, 65
001cb0f4je 0x1cb208
001cb0facmp rax, 87
001cb0fejl 0x1cb2e0
001cb104mov [rsp], rax
001cb108mov [rsp+24], rdi
001cb10dmov [rsp+32], rsi
001cb112mov [rsp+16], rbx
001cb117add rax, -86
001cb11bsar rax, 1
001cb11elea rdx, [rip+0x62e27]
001cb125movsxd rax, [rdx+4*rax]
001cb129add rdx, rax
001cb12cjmp rdx
001cb12enop
001cb130mov rax, rsi
001cb133add rax, 4
001cb137cmp rax, rdi
001cb13ajle 0x1cb29c
001cb140cmp rdi, 3
001cb144jle 0x1cb29c
001cb14acmp rcx, 1
001cb14ejbe 0x1cb2f7
001cb154movzx rax, [rbx+1]
001cb159lea rax, [rax+rax+1]
001cb15ecmp rax, 241
001cb164je 0x1cb172
001cb166cmp rax, 177
001cb16cjne 0x1cb29c
001cb172
001cb172loc_1cb172:
001cb172mov ebx, 97
001cb177mov rax, rsi
001cb17aadd rax, 4
001cb17ecall Stdlib.Bytes.make
001cb183mov rdi, rax
001cb186mov [rsp], rdi
001cb18amov rax, [rsp+16]
001cb18fmov rbx, [rax-8]
001cb193shr rbx, 10
001cb197lea rbx, [8*rbx-1]
001cb19fmovzx rsi, [rax+rbx]
001cb1a4sub rbx, rsi
001cb1a7cmp rbx, 1
001cb1abjbe 0x1cb2f2
001cb1b1movzx rbx, [rax+1]
001cb1b6mov rsi, [rdi-8]
001cb1bashr rsi, 10
001cb1belea rsi, [8*rsi-1]
001cb1c6movzx rdx, [rdi+rsi]
001cb1cbsub rsi, rdx
001cb1cecmp rsi, 1
001cb1d2jbe 0x1cb2ed
001cb1d8mov [rdi+1], bl
001cb1dbmov rbx, [rsp+24]
001cb1e0mov rdx, rbx
001cb1e3add rdx, -4
001cb1e7mov rsi, [rsp+32]
001cb1ecsub rsi, rbx
001cb1efadd rsi, 9
001cb1f3mov ebx, 5
001cb1f8call Stdlib.Bytes.blit_string
001cb1fdmov rax, [rsp]
001cb201add rsp, 40
001cb205ret
001cb206nop
001cb208
001cb208loc_1cb208:
001cb208mov [rsp], rax
001cb20cmov [rsp+24], rdi
001cb211mov [rsp+32], rsi
001cb216mov [rsp+16], rbx
001cb21bmov rax, rsi
001cb21eadd rax, 2
001cb222cmp rax, rdi
001cb225jle 0x1cb2e0
001cb22bmov ebx, 97
001cb230call Stdlib.Bytes.make
001cb235mov rdi, rax
001cb238mov [rsp+8], rdi
001cb23dmov rax, [rsp]
001cb241sar rax, 1
001cb244mov rbx, [rdi-8]
001cb248shr rbx, 10
001cb24clea rbx, [8*rbx-1]
001cb254movzx rsi, [rdi+rbx]
001cb259sub rbx, rsi
001cb25ccmp rbx, 0
001cb260jbe 0x1cb2e8
001cb266mov [rdi], al
001cb268mov rax, [rsp+24]
001cb26dmov rdx, rax
001cb270add rdx, -2
001cb274mov rsi, [rsp+32]
001cb279sub rsi, rax
001cb27cadd rsi, 5
001cb280mov ebx, 3
001cb285mov rax, [rsp+16]
001cb28acall Stdlib.Bytes.blit_string
001cb28fmov rax, [rsp+8]
001cb294add rsp, 40
001cb298ret
001cb299nop [rax]
001cb29c
001cb29cloc_1cb29c:
001cb29ccmp rsi, rdi
001cb29fjle 0x1cb2e0
001cb2a1mov ebx, 97
001cb2a6mov rax, rsi
001cb2a9call Stdlib.Bytes.make
001cb2aemov rdi, rax
001cb2b1mov [rsp], rdi
001cb2b5mov rsi, [rsp+32]
001cb2bamov rdx, [rsp+24]
001cb2bfsub rsi, rdx
001cb2c2inc rsi
001cb2c5mov ebx, 1
001cb2camov rax, [rsp+16]
001cb2cfcall Stdlib.Bytes.blit_string
001cb2d4mov rax, [rsp]
001cb2d8add rsp, 40
001cb2dcret
001cb2ddnop [rax]
001cb2e0
001cb2e0loc_1cb2e0:
001cb2e0mov rax, rbx
001cb2e3add rsp, 40
001cb2e7ret
001cb2e8
001cb2e8loc_1cb2e8:
001cb2e8call caml_ml_array_bound_error
001cb2ed
001cb2edloc_1cb2ed:
001cb2edcall caml_ml_array_bound_error
001cb2f2
001cb2f2loc_1cb2f2:
001cb2f2call caml_ml_array_bound_error
001cb2f7
001cb2f7loc_1cb2f7:
001cb2f7call caml_ml_array_bound_error
001cb2fc
001cb2fcloc_1cb2fc:
001cb2fccall caml_ml_array_bound_error
001cb301
001cb301loc_1cb301:
001cb301push 38
001cb303call caml_call_realloc_stack
001cb308pop r10
001cb30ajmp 0x1cb052
001cb040
001cb30f
001cb30f // align 0x10
001cb30f // align 0x10
001cb310
001cb310camlCamlinternalFormat.string_to_caml_string_3423:
001cb310lea r10, [rsp-336]
001cb318cmp r10, [r14+40]
001cb31cjb 0x1cb3ac
001cb322
001cb322loc_1cb322:
001cb322sub rsp, 16
001cb326mov [rsp+8], rax
001cb32bmov [rsp], rax
001cb32fcall Stdlib.Bytes.unsafe_escape
001cb334mov rbx, [rsp]
001cb338cmp rbx, rax
001cb33bjne 0x1cb348
001cb33dmov rax, [rsp+8]
001cb342mov [rsp], rax
001cb346jmp 0x1cb34c
001cb348
001cb348loc_1cb348:
001cb348mov [rsp], rax
001cb34c
001cb34cloc_1cb34c:
001cb34cmov rbx, [rax-8]
001cb350shr rbx, 10
001cb354lea rbx, [8*rbx-1]
001cb35cmovzx rax, [rax+rbx]
001cb361sub rbx, rax
001cb364lea rax, [rbx+rbx+1]
001cb369mov [rsp+8], rax
001cb36emov ebx, 69
001cb373add rax, 4
001cb377call Stdlib.Bytes.make
001cb37cmov r12, rax
001cb37fmov ecx, 3
001cb384mov esi, 1
001cb389mov rdi, [rsp]
001cb38dmov rdx, r12
001cb390mov r8, [rsp+8]
001cb395mov rbx, rsp
001cb398mov rsp, [r14+64]
001cb39ccall caml_blit_string
001cb3a1mov rsp, rbx
001cb3a4mov rax, r12
001cb3a7add rsp, 16
001cb3abret
001cb3ac
001cb3acloc_1cb3ac:
001cb3acpush 35
001cb3aecall caml_call_realloc_stack
001cb3b3pop r10
001cb3b5jmp 0x1cb322
001cb310
001cb310camlCamlinternalFormat.string_to_caml_string_3423:
001cb310lea r10, [rsp-336]
001cb318cmp r10, [r14+40]
001cb31cjb 0x1cb3ac
001cb322
001cb322loc_1cb322:
001cb322sub rsp, 16
001cb326mov [rsp+8], rax
001cb32bmov [rsp], rax
001cb32fcall Stdlib.Bytes.unsafe_escape
001cb334mov rbx, [rsp]
001cb338cmp rbx, rax
001cb33bjne 0x1cb348
001cb33dmov rax, [rsp+8]
001cb342mov [rsp], rax
001cb346jmp 0x1cb34c
001cb348
001cb348loc_1cb348:
001cb348mov [rsp], rax
001cb34c
001cb34cloc_1cb34c:
001cb34cmov rbx, [rax-8]
001cb350shr rbx, 10
001cb354lea rbx, [8*rbx-1]
001cb35cmovzx rax, [rax+rbx]
001cb361sub rbx, rax
001cb364lea rax, [rbx+rbx+1]
001cb369mov [rsp+8], rax
001cb36emov ebx, 69
001cb373add rax, 4
001cb377call Stdlib.Bytes.make
001cb37cmov r12, rax
001cb37fmov ecx, 3
001cb384mov esi, 1
001cb389mov rdi, [rsp]
001cb38dmov rdx, r12
001cb390mov r8, [rsp+8]
001cb395mov rbx, rsp
001cb398mov rsp, [r14+64]
001cb39ccall caml_blit_string
001cb3a1mov rsp, rbx
001cb3a4mov rax, r12
001cb3a7add rsp, 16
001cb3abret
001cb3ac
001cb3acloc_1cb3ac:
001cb3acpush 35
001cb3aecall caml_call_realloc_stack
001cb3b3pop r10
001cb3b5jmp 0x1cb322
001cb310
Loading..