File hevea_f46f610a6b0078f4aa208dda361f21de574cc56ad64b32889301afc466d33979.elf
Function:
Loading..
001b0580
001b0580Stdlib.Array.stable_sort:
001b0580lea r10, [rsp-368]
001b0588cmp r10, [r14+40]
001b058cjb 0x1b077f
001b0592
001b0592loc_1b0592:
001b0592sub rsp, 48
001b0596sub r15, 152
001b059dcmp r15, [r14]
001b05a0jb 0x1b0770
001b05a6
001b05a6loc_1b05a6:
001b05a6lea rcx, [r15+8]
001b05aaadd rcx, 104
001b05aemov [rcx-8], 5367
001b05b6lea rdi, [rip-0xba09d]
001b05bdmov [rcx], rdi
001b05c0mov rdi, 0x700000000000007
001b05camov [rcx+8], rdi
001b05celea rdi, [rip+443]
001b05d5mov [rcx+16], rdi
001b05d9mov [rcx+24], rax
001b05ddmov [rcx+32], rbx
001b05e1lea rdx, [rcx-48]
001b05e5mov [rdx-8], 5367
001b05edlea rdi, [rip-0xb9834]
001b05f4mov [rdx], rdi
001b05f7mov rsi, 0x400000000000007
001b0601mov [rdx+8], rsi
001b0605lea rsi, [rip+1380]
001b060cmov [rdx+16], rsi
001b0610mov [rdx+24], rax
001b0614mov [rdx+32], rbx
001b0618lea rax, [rdx-56]
001b061cmov [rax-8], 6391
001b0624mov [rax], rdi
001b0627mov rdi, 0x400000000000007
001b0631mov [rax+8], rdi
001b0635lea rdi, [rip+2084]
001b063cmov [rax+16], rdi
001b0640mov [rax+24], rbx
001b0644mov [rax+32], rcx
001b0648mov [rax+40], rdx
001b064cmov r8, [rbx-8]
001b0650mov rsi, r8
001b0653shr rsi, 9
001b0657or rsi, 1
001b065bcmp rsi, 11
001b065fjg 0x1b0674
001b0661mov edi, 1
001b0666mov eax, 1
001b066badd rsp, 48
001b066fjmp 0x1b0b70
001b0674
001b0674loc_1b0674:
001b0674mov [rsp], rax
001b0678mov [rsp+40], rcx
001b067dmov [rsp+32], rbx
001b0682mov rax, rsi
001b0685sar rax, 1
001b0688mov rdi, rax
001b068bshr rdi, 63
001b068fadd rax, rdi
001b0692or rax, 1
001b0696mov [rsp+16], rax
001b069bmov rdi, rsi
001b069esub rdi, rax
001b06a1inc rdi
001b06a4mov [rsp+8], rdi
001b06a9cmp r8, 1023
001b06b0jbe 0x1b077a
001b06b6and r8, 255
001b06bdcmp r8, 254
001b06c4je 0x1b06cc
001b06c6mov rsi, [rbx]
001b06c9jmp 0x1b06ed
001b06cb
001b06cb 90 .
001b06cc
001b06ccloc_1b06cc:
001b06ccsub r15, 16
001b06d0cmp r15, [r14]
001b06d3jb 0x1b0766
001b06d9
001b06d9loc_1b06d9:
001b06d9lea rsi, [r15+8]
001b06ddmov [rsi-8], 1277
001b06e5movsd_xmm x0, [rbx]
001b06e9movsd_xmm [rsi], x0
001b06ed
001b06edloc_1b06ed:
001b06edlea rax, [rip+0x495ac]
001b06f4call caml_c_call
001b06f9mov rbx, rax
001b06fcmov [rsp+24], rbx
001b0701mov edi, 1
001b0706mov rax, [rsp+16]
001b070bmov rsi, [rsp+8]
001b0710mov rdx, [rsp]
001b0714call Stdlib.Array.sortto
001b0719mov eax, 1
001b071emov rbx, [rsp+32]
001b0723mov rdi, [rsp+8]
001b0728mov rsi, [rsp+16]
001b072dmov rdx, [rsp]
001b0731call Stdlib.Array.sortto
001b0736mov r8l, 1
001b073cmov esi, 1
001b0741mov rax, [rsp+8]
001b0746mov rbx, [rsp+16]
001b074bmov rdi, [rsp+24]
001b0750mov rdx, rax
001b0753mov rcx, [rsp+32]
001b0758mov r9, [rsp+40]
001b075dadd rsp, 48
001b0761jmp 0x1b0790
001b0766
001b0766loc_1b0766:
001b0766call caml_call_gc
001b076bjmp 0x1b06d9
001b0770
001b0770loc_1b0770:
001b0770call caml_call_gc
001b0775jmp 0x1b05a6
001b077a
001b077aloc_1b077a:
001b077acall caml_ml_array_bound_error
001b077f
001b077floc_1b077f:
001b077fpush 39
001b0781call caml_call_realloc_stack
001b0786pop r10
001b0788jmp 0x1b0592
001b0580
001b0580Stdlib.Array.stable_sort:
001b0580lea r10, [rsp-368]
001b0588cmp r10, [r14+40]
001b058cjb 0x1b077f
001b0592
001b0592loc_1b0592:
001b0592sub rsp, 48
001b0596sub r15, 152
001b059dcmp r15, [r14]
001b05a0jb 0x1b0770
001b05a6
001b05a6loc_1b05a6:
001b05a6lea rcx, [r15+8]
001b05aaadd rcx, 104
001b05aemov [rcx-8], 5367
001b05b6lea rdi, [rip-0xba09d]
001b05bdmov [rcx], rdi
001b05c0mov rdi, 0x700000000000007
001b05camov [rcx+8], rdi
001b05celea rdi, [rip+443]
001b05d5mov [rcx+16], rdi
001b05d9mov [rcx+24], rax
001b05ddmov [rcx+32], rbx
001b05e1lea rdx, [rcx-48]
001b05e5mov [rdx-8], 5367
001b05edlea rdi, [rip-0xb9834]
001b05f4mov [rdx], rdi
001b05f7mov rsi, 0x400000000000007
001b0601mov [rdx+8], rsi
001b0605lea rsi, [rip+1380]
001b060cmov [rdx+16], rsi
001b0610mov [rdx+24], rax
001b0614mov [rdx+32], rbx
001b0618lea rax, [rdx-56]
001b061cmov [rax-8], 6391
001b0624mov [rax], rdi
001b0627mov rdi, 0x400000000000007
001b0631mov [rax+8], rdi
001b0635lea rdi, [rip+2084]
001b063cmov [rax+16], rdi
001b0640mov [rax+24], rbx
001b0644mov [rax+32], rcx
001b0648mov [rax+40], rdx
001b064cmov r8, [rbx-8]
001b0650mov rsi, r8
001b0653shr rsi, 9
001b0657or rsi, 1
001b065bcmp rsi, 11
001b065fjg 0x1b0674
001b0661mov edi, 1
001b0666mov eax, 1
001b066badd rsp, 48
001b066fjmp 0x1b0b70
001b0674
001b0674loc_1b0674:
001b0674mov [rsp], rax
001b0678mov [rsp+40], rcx
001b067dmov [rsp+32], rbx
001b0682mov rax, rsi
001b0685sar rax, 1
001b0688mov rdi, rax
001b068bshr rdi, 63
001b068fadd rax, rdi
001b0692or rax, 1
001b0696mov [rsp+16], rax
001b069bmov rdi, rsi
001b069esub rdi, rax
001b06a1inc rdi
001b06a4mov [rsp+8], rdi
001b06a9cmp r8, 1023
001b06b0jbe 0x1b077a
001b06b6and r8, 255
001b06bdcmp r8, 254
001b06c4je 0x1b06cc
001b06c6mov rsi, [rbx]
001b06c9jmp 0x1b06ed
001b06cb
001b06cb 90 .
001b06cc
001b06ccloc_1b06cc:
001b06ccsub r15, 16
001b06d0cmp r15, [r14]
001b06d3jb 0x1b0766
001b06d9
001b06d9loc_1b06d9:
001b06d9lea rsi, [r15+8]
001b06ddmov [rsi-8], 1277
001b06e5movsd_xmm x0, [rbx]
001b06e9movsd_xmm [rsi], x0
001b06ed
001b06edloc_1b06ed:
001b06edlea rax, [rip+0x495ac]
001b06f4call caml_c_call
001b06f9mov rbx, rax
001b06fcmov [rsp+24], rbx
001b0701mov edi, 1
001b0706mov rax, [rsp+16]
001b070bmov rsi, [rsp+8]
001b0710mov rdx, [rsp]
001b0714call Stdlib.Array.sortto
001b0719mov eax, 1
001b071emov rbx, [rsp+32]
001b0723mov rdi, [rsp+8]
001b0728mov rsi, [rsp+16]
001b072dmov rdx, [rsp]
001b0731call Stdlib.Array.sortto
001b0736mov r8l, 1
001b073cmov esi, 1
001b0741mov rax, [rsp+8]
001b0746mov rbx, [rsp+16]
001b074bmov rdi, [rsp+24]
001b0750mov rdx, rax
001b0753mov rcx, [rsp+32]
001b0758mov r9, [rsp+40]
001b075dadd rsp, 48
001b0761jmp 0x1b0790
001b0766
001b0766loc_1b0766:
001b0766call caml_call_gc
001b076bjmp 0x1b06d9
001b0770
001b0770loc_1b0770:
001b0770call caml_call_gc
001b0775jmp 0x1b05a6
001b077a
001b077aloc_1b077a:
001b077acall caml_ml_array_bound_error
001b077f
001b077floc_1b077f:
001b077fpush 39
001b0781call caml_call_realloc_stack
001b0786pop r10
001b0788jmp 0x1b0592
001b0580
001b078d
001b078d // align 0x10
001b078d // align 0x10
001b0790
001b0790Stdlib.Array.merge:
001b0790mov r12, rsi
001b0793mov r13, rcx
001b0796lea rsi, [rax+rbx-1]
001b079blea rbx, [r12+rdx-1]
001b07a0sub r15, 80
001b07a4cmp r15, [r14]
001b07a7jb 0x1b08ac
001b07ad
001b07adloc_1b07ad:
001b07adlea rcx, [r15+8]
001b07b1mov [rcx-8], 9463
001b07b9lea rdx, [rip-0xb9c30]
001b07c0mov [rcx], rdx
001b07c3mov rdx, 0x500000000000007
001b07cdmov [rcx+8], rdx
001b07d1lea rdx, [rip+232]
001b07d8mov [rcx+16], rdx
001b07dcmov rdx, [r9+24]
001b07e0mov [rcx+24], rdx
001b07e4mov rdx, [r9+32]
001b07e8mov [rcx+32], rdx
001b07ecmov [rcx+40], rdi
001b07f0mov [rcx+48], r13
001b07f4mov [rcx+56], rsi
001b07f8mov [rcx+64], rbx
001b07fcmov rbx, [rdi-8]
001b0800mov rsi, rbx
001b0803shr rsi, 9
001b0807cmp rsi, r12
001b080ajbe 0x1b08bb
001b0810and rbx, 255
001b0817cmp rbx, 254
001b081eje 0x1b0828
001b0820mov rsi, [rdi+4*r12-4]
001b0825jmp 0x1b0848
001b0827
001b0827 90 .
001b0828
001b0828loc_1b0828:
001b0828sub r15, 16
001b082ccmp r15, [r14]
001b082fjb 0x1b08a5
001b0831
001b0831loc_1b0831:
001b0831lea rsi, [r15+8]
001b0835mov [rsi-8], 1277
001b083dmovsd_xmm x0, [rdi+4*r12-4]
001b0844movsd_xmm [rsi], x0
001b0848
001b0848loc_1b0848:
001b0848mov rdi, [r9+32]
001b084cmov rbx, [rdi-8]
001b0850mov rdx, rbx
001b0853shr rdx, 9
001b0857cmp rdx, rax
001b085ajbe 0x1b08b6
001b085cand rbx, 255
001b0863cmp rbx, 254
001b086aje 0x1b0874
001b086cmov rbx, [rdi+4*rax-4]
001b0871jmp 0x1b0893
001b0873
001b0873 90 .
001b0874
001b0874loc_1b0874:
001b0874sub r15, 16
001b0878cmp r15, [r14]
001b087bjb 0x1b089e
001b087d
001b087dloc_1b087d:
001b087dlea rbx, [r15+8]
001b0881mov [rbx-8], 1277
001b0889movsd_xmm x0, [rdi+4*rax-4]
001b088fmovsd_xmm [rbx], x0
001b0893
001b0893loc_1b0893:
001b0893mov rdi, r12
001b0896mov rdx, r8
001b0899jmp 0x1b08c0
001b089e
001b089eloc_1b089e:
001b089ecall caml_call_gc
001b08a3jmp 0x1b087d
001b08a5
001b08a5loc_1b08a5:
001b08a5call caml_call_gc
001b08aajmp 0x1b0831
001b08ac
001b08acloc_1b08ac:
001b08accall caml_call_gc
001b08b1jmp 0x1b07ad
001b08b6
001b08b6loc_1b08b6:
001b08b6call caml_ml_array_bound_error
001b08bb
001b08bbloc_1b08bb:
001b08bbcall caml_ml_array_bound_error
001b0790
001b0790Stdlib.Array.merge:
001b0790mov r12, rsi
001b0793mov r13, rcx
001b0796lea rsi, [rax+rbx-1]
001b079blea rbx, [r12+rdx-1]
001b07a0sub r15, 80
001b07a4cmp r15, [r14]
001b07a7jb 0x1b08ac
001b07ad
001b07adloc_1b07ad:
001b07adlea rcx, [r15+8]
001b07b1mov [rcx-8], 9463
001b07b9lea rdx, [rip-0xb9c30]
001b07c0mov [rcx], rdx
001b07c3mov rdx, 0x500000000000007
001b07cdmov [rcx+8], rdx
001b07d1lea rdx, [rip+232]
001b07d8mov [rcx+16], rdx
001b07dcmov rdx, [r9+24]
001b07e0mov [rcx+24], rdx
001b07e4mov rdx, [r9+32]
001b07e8mov [rcx+32], rdx
001b07ecmov [rcx+40], rdi
001b07f0mov [rcx+48], r13
001b07f4mov [rcx+56], rsi
001b07f8mov [rcx+64], rbx
001b07fcmov rbx, [rdi-8]
001b0800mov rsi, rbx
001b0803shr rsi, 9
001b0807cmp rsi, r12
001b080ajbe 0x1b08bb
001b0810and rbx, 255
001b0817cmp rbx, 254
001b081eje 0x1b0828
001b0820mov rsi, [rdi+4*r12-4]
001b0825jmp 0x1b0848
001b0827
001b0827 90 .
001b0828
001b0828loc_1b0828:
001b0828sub r15, 16
001b082ccmp r15, [r14]
001b082fjb 0x1b08a5
001b0831
001b0831loc_1b0831:
001b0831lea rsi, [r15+8]
001b0835mov [rsi-8], 1277
001b083dmovsd_xmm x0, [rdi+4*r12-4]
001b0844movsd_xmm [rsi], x0
001b0848
001b0848loc_1b0848:
001b0848mov rdi, [r9+32]
001b084cmov rbx, [rdi-8]
001b0850mov rdx, rbx
001b0853shr rdx, 9
001b0857cmp rdx, rax
001b085ajbe 0x1b08b6
001b085cand rbx, 255
001b0863cmp rbx, 254
001b086aje 0x1b0874
001b086cmov rbx, [rdi+4*rax-4]
001b0871jmp 0x1b0893
001b0873
001b0873 90 .
001b0874
001b0874loc_1b0874:
001b0874sub r15, 16
001b0878cmp r15, [r14]
001b087bjb 0x1b089e
001b087d
001b087dloc_1b087d:
001b087dlea rbx, [r15+8]
001b0881mov [rbx-8], 1277
001b0889movsd_xmm x0, [rdi+4*rax-4]
001b088fmovsd_xmm [rbx], x0
001b0893
001b0893loc_1b0893:
001b0893mov rdi, r12
001b0896mov rdx, r8
001b0899jmp 0x1b08c0
001b089e
001b089eloc_1b089e:
001b089ecall caml_call_gc
001b08a3jmp 0x1b087d
001b08a5
001b08a5loc_1b08a5:
001b08a5call caml_call_gc
001b08aajmp 0x1b0831
001b08ac
001b08acloc_1b08ac:
001b08accall caml_call_gc
001b08b1jmp 0x1b07ad
001b08b6
001b08b6loc_1b08b6:
001b08b6call caml_ml_array_bound_error
001b08bb
001b08bbloc_1b08bb:
001b08bbcall caml_ml_array_bound_error
001b0790
001b08c0
001b08c0Stdlib.Array.loop:
001b08c0lea r10, [rsp-368]
001b08c8cmp r10, [r14+40]
001b08ccjb 0x1b0b55
001b08d2
001b08d2loc_1b08d2:
001b08d2sub rsp, 48
001b08d6
001b08d6loc_1b08d6:
001b08d6mov [rsp+16], rax
001b08dbmov rax, rbx
001b08demov [rsp+40], rax
001b08e3mov [rsp+24], rdi
001b08e8mov rbx, rsi
001b08ebmov [rsp+32], rbx
001b08f0mov [rsp+8], rdx
001b08f5mov [rsp], rcx
001b08f9cmp r15, [r14]
001b08fcjbe 0x1b0b37
001b0902
001b0902loc_1b0902:
001b0902mov rdi, [rcx+24]
001b0906call caml_apply2
001b090bcmp rax, 1
001b090fjg 0x1b0a20
001b0915mov r12, [rsp]
001b0919mov rax, [r12+48]
001b091emov rbx, [rax-8]
001b0922mov rdi, rbx
001b0925shr rdi, 9
001b0929mov r13, [rsp+8]
001b092ecmp rdi, r13
001b0931jbe 0x1b0b50
001b0937and rbx, 255
001b093ecmp rbx, 254
001b0945je 0x1b0964
001b0947lea rdi, [rax+4*r13-4]
001b094cmov rsi, [rsp+40]
001b0951mov rbx, rsp
001b0954mov rsp, [r14+64]
001b0958call caml_modify
001b095dmov rsp, rbx
001b0960jmp 0x1b0974
001b0962
001b0962 66 90 f.
001b0964
001b0964loc_1b0964:
001b0964mov rbx, [rsp+40]
001b0969movsd_xmm x0, [rbx]
001b096dmovsd_xmm [rax+4*r13-4], x0
001b0974
001b0974loc_1b0974:
001b0974mov rax, [rsp+16]
001b0979add rax, 2
001b097dmov rbx, [r12+56]
001b0982cmp rax, rbx
001b0985jge 0x1b09f4
001b0987mov rdi, [r12+32]
001b098cmov rbx, [rdi-8]
001b0990mov rsi, rbx
001b0993shr rsi, 9
001b0997cmp rsi, rax
001b099ajbe 0x1b0b4b
001b09a0and rbx, 255
001b09a7cmp rbx, 254
001b09aeje 0x1b09b8
001b09b0mov rbx, [rdi+4*rax-4]
001b09b5jmp 0x1b09db
001b09b7
001b09b7 90 .
001b09b8
001b09b8loc_1b09b8:
001b09b8sub r15, 16
001b09bccmp r15, [r14]
001b09bfjb 0x1b0b2d
001b09c5
001b09c5loc_1b09c5:
001b09c5lea rbx, [r15+8]
001b09c9mov [rbx-8], 1277
001b09d1movsd_xmm x0, [rdi+4*rax-4]
001b09d7movsd_xmm [rbx], x0
001b09db
001b09dbloc_1b09db:
001b09dbmov rdx, r13
001b09deadd rdx, 2
001b09e2mov rdi, [rsp+24]
001b09e7mov rsi, [rsp+32]
001b09ecmov rcx, r12
001b09efjmp 0x1b08d6
001b09f4
001b09f4loc_1b09f4:
001b09f4mov rdx, [r12+64]
001b09f9mov rbx, [rsp+24]
001b09fesub rdx, rbx
001b0a01inc rdx
001b0a04mov rsi, r13
001b0a07add rsi, 2
001b0a0bmov rdi, [r12+48]
001b0a10mov rax, [r12+40]
001b0a15add rsp, 48
001b0a19jmp 0x1ad4e0
001b0a1e
001b0a1e 66 90 f.
001b0a20
001b0a20loc_1b0a20:
001b0a20mov r12, [rsp]
001b0a24mov rax, [r12+48]
001b0a29mov rbx, [rax-8]
001b0a2dmov rdi, rbx
001b0a30shr rdi, 9
001b0a34mov r13, [rsp+8]
001b0a39cmp rdi, r13
001b0a3cjbe 0x1b0b46
001b0a42and rbx, 255
001b0a49cmp rbx, 254
001b0a50je 0x1b0a70
001b0a52lea rdi, [rax+4*r13-4]
001b0a57mov rsi, [rsp+32]
001b0a5cmov rbx, rsp
001b0a5fmov rsp, [r14+64]
001b0a63call caml_modify
001b0a68mov rsp, rbx
001b0a6bjmp 0x1b0a80
001b0a6d
001b0a6d 0f 1f 00 ...
001b0a70
001b0a70loc_1b0a70:
001b0a70mov rbx, [rsp+32]
001b0a75movsd_xmm x0, [rbx]
001b0a79movsd_xmm [rax+4*r13-4], x0
001b0a80
001b0a80loc_1b0a80:
001b0a80mov rdi, [rsp+24]
001b0a85add rdi, 2
001b0a89mov rax, [r12+64]
001b0a8ecmp rdi, rax
001b0a91jge 0x1b0afc
001b0a93mov rax, [r12+40]
001b0a98mov rbx, [rax-8]
001b0a9cmov rsi, rbx
001b0a9fshr rsi, 9
001b0aa3cmp rsi, rdi
001b0aa6jbe 0x1b0b41
001b0aacand rbx, 255
001b0ab3cmp rbx, 254
001b0abaje 0x1b0ac4
001b0abcmov rsi, [rax+4*rdi-4]
001b0ac1jmp 0x1b0ae3
001b0ac3
001b0ac3 90 .
001b0ac4
001b0ac4loc_1b0ac4:
001b0ac4sub r15, 16
001b0ac8cmp r15, [r14]
001b0acbjb 0x1b0b26
001b0acd
001b0acdloc_1b0acd:
001b0acdlea rsi, [r15+8]
001b0ad1mov [rsi-8], 1277
001b0ad9movsd_xmm x0, [rax+4*rdi-4]
001b0adfmovsd_xmm [rsi], x0
001b0ae3
001b0ae3loc_1b0ae3:
001b0ae3mov rdx, r13
001b0ae6add rdx, 2
001b0aeamov rax, [rsp+16]
001b0aefmov rbx, [rsp+40]
001b0af4mov rcx, r12
001b0af7jmp 0x1b08d6
001b0afc
001b0afcloc_1b0afc:
001b0afcmov rdx, [r12+56]
001b0b01mov rbx, [rsp+16]
001b0b06sub rdx, rbx
001b0b09inc rdx
001b0b0cmov rsi, r13
001b0b0fadd rsi, 2
001b0b13mov rdi, [r12+48]
001b0b18mov rax, [r12+32]
001b0b1dadd rsp, 48
001b0b21jmp 0x1ad4e0
001b0b26
001b0b26loc_1b0b26:
001b0b26call caml_call_gc
001b0b2bjmp 0x1b0acd
001b0b2d
001b0b2dloc_1b0b2d:
001b0b2dcall caml_call_gc
001b0b32jmp 0x1b09c5
001b0b37
001b0b37loc_1b0b37:
001b0b37call caml_call_gc
001b0b3cjmp 0x1b0902
001b0b41
001b0b41loc_1b0b41:
001b0b41call caml_ml_array_bound_error
001b0b46
001b0b46loc_1b0b46:
001b0b46call caml_ml_array_bound_error
001b0b4b
001b0b4bloc_1b0b4b:
001b0b4bcall caml_ml_array_bound_error
001b0b50
001b0b50loc_1b0b50:
001b0b50call caml_ml_array_bound_error
001b0b55
001b0b55loc_1b0b55:
001b0b55push 39
001b0b57call caml_call_realloc_stack
001b0b5cpop r10
001b0b5ejmp 0x1b08d2
001b08c0
001b08c0Stdlib.Array.loop:
001b08c0lea r10, [rsp-368]
001b08c8cmp r10, [r14+40]
001b08ccjb 0x1b0b55
001b08d2
001b08d2loc_1b08d2:
001b08d2sub rsp, 48
001b08d6
001b08d6loc_1b08d6:
001b08d6mov [rsp+16], rax
001b08dbmov rax, rbx
001b08demov [rsp+40], rax
001b08e3mov [rsp+24], rdi
001b08e8mov rbx, rsi
001b08ebmov [rsp+32], rbx
001b08f0mov [rsp+8], rdx
001b08f5mov [rsp], rcx
001b08f9cmp r15, [r14]
001b08fcjbe 0x1b0b37
001b0902
001b0902loc_1b0902:
001b0902mov rdi, [rcx+24]
001b0906call caml_apply2
001b090bcmp rax, 1
001b090fjg 0x1b0a20
001b0915mov r12, [rsp]
001b0919mov rax, [r12+48]
001b091emov rbx, [rax-8]
001b0922mov rdi, rbx
001b0925shr rdi, 9
001b0929mov r13, [rsp+8]
001b092ecmp rdi, r13
001b0931jbe 0x1b0b50
001b0937and rbx, 255
001b093ecmp rbx, 254
001b0945je 0x1b0964
001b0947lea rdi, [rax+4*r13-4]
001b094cmov rsi, [rsp+40]
001b0951mov rbx, rsp
001b0954mov rsp, [r14+64]
001b0958call caml_modify
001b095dmov rsp, rbx
001b0960jmp 0x1b0974
001b0962
001b0962 66 90 f.
001b0964
001b0964loc_1b0964:
001b0964mov rbx, [rsp+40]
001b0969movsd_xmm x0, [rbx]
001b096dmovsd_xmm [rax+4*r13-4], x0
001b0974
001b0974loc_1b0974:
001b0974mov rax, [rsp+16]
001b0979add rax, 2
001b097dmov rbx, [r12+56]
001b0982cmp rax, rbx
001b0985jge 0x1b09f4
001b0987mov rdi, [r12+32]
001b098cmov rbx, [rdi-8]
001b0990mov rsi, rbx
001b0993shr rsi, 9
001b0997cmp rsi, rax
001b099ajbe 0x1b0b4b
001b09a0and rbx, 255
001b09a7cmp rbx, 254
001b09aeje 0x1b09b8
001b09b0mov rbx, [rdi+4*rax-4]
001b09b5jmp 0x1b09db
001b09b7
001b09b7 90 .
001b09b8
001b09b8loc_1b09b8:
001b09b8sub r15, 16
001b09bccmp r15, [r14]
001b09bfjb 0x1b0b2d
001b09c5
001b09c5loc_1b09c5:
001b09c5lea rbx, [r15+8]
001b09c9mov [rbx-8], 1277
001b09d1movsd_xmm x0, [rdi+4*rax-4]
001b09d7movsd_xmm [rbx], x0
001b09db
001b09dbloc_1b09db:
001b09dbmov rdx, r13
001b09deadd rdx, 2
001b09e2mov rdi, [rsp+24]
001b09e7mov rsi, [rsp+32]
001b09ecmov rcx, r12
001b09efjmp 0x1b08d6
001b09f4
001b09f4loc_1b09f4:
001b09f4mov rdx, [r12+64]
001b09f9mov rbx, [rsp+24]
001b09fesub rdx, rbx
001b0a01inc rdx
001b0a04mov rsi, r13
001b0a07add rsi, 2
001b0a0bmov rdi, [r12+48]
001b0a10mov rax, [r12+40]
001b0a15add rsp, 48
001b0a19jmp 0x1ad4e0
001b0a1e
001b0a1e 66 90 f.
001b0a20
001b0a20loc_1b0a20:
001b0a20mov r12, [rsp]
001b0a24mov rax, [r12+48]
001b0a29mov rbx, [rax-8]
001b0a2dmov rdi, rbx
001b0a30shr rdi, 9
001b0a34mov r13, [rsp+8]
001b0a39cmp rdi, r13
001b0a3cjbe 0x1b0b46
001b0a42and rbx, 255
001b0a49cmp rbx, 254
001b0a50je 0x1b0a70
001b0a52lea rdi, [rax+4*r13-4]
001b0a57mov rsi, [rsp+32]
001b0a5cmov rbx, rsp
001b0a5fmov rsp, [r14+64]
001b0a63call caml_modify
001b0a68mov rsp, rbx
001b0a6bjmp 0x1b0a80
001b0a6d
001b0a6d 0f 1f 00 ...
001b0a70
001b0a70loc_1b0a70:
001b0a70mov rbx, [rsp+32]
001b0a75movsd_xmm x0, [rbx]
001b0a79movsd_xmm [rax+4*r13-4], x0
001b0a80
001b0a80loc_1b0a80:
001b0a80mov rdi, [rsp+24]
001b0a85add rdi, 2
001b0a89mov rax, [r12+64]
001b0a8ecmp rdi, rax
001b0a91jge 0x1b0afc
001b0a93mov rax, [r12+40]
001b0a98mov rbx, [rax-8]
001b0a9cmov rsi, rbx
001b0a9fshr rsi, 9
001b0aa3cmp rsi, rdi
001b0aa6jbe 0x1b0b41
001b0aacand rbx, 255
001b0ab3cmp rbx, 254
001b0abaje 0x1b0ac4
001b0abcmov rsi, [rax+4*rdi-4]
001b0ac1jmp 0x1b0ae3
001b0ac3
001b0ac3 90 .
001b0ac4
001b0ac4loc_1b0ac4:
001b0ac4sub r15, 16
001b0ac8cmp r15, [r14]
001b0acbjb 0x1b0b26
001b0acd
001b0acdloc_1b0acd:
001b0acdlea rsi, [r15+8]
001b0ad1mov [rsi-8], 1277
001b0ad9movsd_xmm x0, [rax+4*rdi-4]
001b0adfmovsd_xmm [rsi], x0
001b0ae3
001b0ae3loc_1b0ae3:
001b0ae3mov rdx, r13
001b0ae6add rdx, 2
001b0aeamov rax, [rsp+16]
001b0aefmov rbx, [rsp+40]
001b0af4mov rcx, r12
001b0af7jmp 0x1b08d6
001b0afc
001b0afcloc_1b0afc:
001b0afcmov rdx, [r12+56]
001b0b01mov rbx, [rsp+16]
001b0b06sub rdx, rbx
001b0b09inc rdx
001b0b0cmov rsi, r13
001b0b0fadd rsi, 2
001b0b13mov rdi, [r12+48]
001b0b18mov rax, [r12+32]
001b0b1dadd rsp, 48
001b0b21jmp 0x1ad4e0
001b0b26
001b0b26loc_1b0b26:
001b0b26call caml_call_gc
001b0b2bjmp 0x1b0acd
001b0b2d
001b0b2dloc_1b0b2d:
001b0b2dcall caml_call_gc
001b0b32jmp 0x1b09c5
001b0b37
001b0b37loc_1b0b37:
001b0b37call caml_call_gc
001b0b3cjmp 0x1b0902
001b0b41
001b0b41loc_1b0b41:
001b0b41call caml_ml_array_bound_error
001b0b46
001b0b46loc_1b0b46:
001b0b46call caml_ml_array_bound_error
001b0b4b
001b0b4bloc_1b0b4b:
001b0b4bcall caml_ml_array_bound_error
001b0b50
001b0b50loc_1b0b50:
001b0b50call caml_ml_array_bound_error
001b0b55
001b0b55loc_1b0b55:
001b0b55push 39
001b0b57call caml_call_realloc_stack
001b0b5cpop r10
001b0b5ejmp 0x1b08d2
001b08c0
001b0b63
001b0b63 // align 0x10
001b0b63 // align 0x10
001b0b70
001b0b70Stdlib.Array.isortto:
001b0b70lea r10, [rsp-384]
001b0b78cmp r10, [r14+40]
001b0b7cjb 0x1b0e43
001b0b82
001b0b82loc_1b0b82:
001b0b82sub rsp, 64
001b0b86mov r13, rbx
001b0b89mov ebx, 1
001b0b8eadd rsi, -2
001b0b92cmp rbx, rsi
001b0b95jg 0x1b0dee
001b0b9bmov [rsp+16], rsi
001b0ba0mov [rsp+8], rbx
001b0ba5mov [rsp+32], rdx
001b0baamov [rsp+24], rdi
001b0bafmov [rsp+48], r13
001b0bb4mov [rsp], rax
001b0bb8
001b0bb8loc_1b0bb8:
001b0bb8mov rax, [rsp]
001b0bbclea rax, [rax+rbx-1]
001b0bc1mov rdi, [rsp+32]
001b0bc6mov rdi, [rdi+32]
001b0bcamov rsi, [rdi-8]
001b0bcemov rdx, rsi
001b0bd1shr rdx, 9
001b0bd5cmp rdx, rax
001b0bd8jbe 0x1b0e3e
001b0bdeand rsi, 255
001b0be5cmp rsi, 254
001b0becje 0x1b0bfc
001b0beemov rsi, [rdi+4*rax-4]
001b0bf3mov [rsp+40], rsi
001b0bf8jmp 0x1b0c24
001b0bfa
001b0bfa 66 90 f.
001b0bfc
001b0bfcloc_1b0bfc:
001b0bfcsub r15, 16
001b0c00cmp r15, [r14]
001b0c03jb 0x1b0e20
001b0c09
001b0c09loc_1b0c09:
001b0c09lea rsi, [r15+8]
001b0c0dmov [rsi-8], 1277
001b0c15movsd_xmm x0, [rdi+4*rax-4]
001b0c1bmovsd_xmm [rsi], x0
001b0c1fmov [rsp+40], rsi
001b0c24
001b0c24loc_1b0c24:
001b0c24mov rax, [rsp+24]
001b0c29lea r12, [rax+rbx-3]
001b0c2emov [rsp+56], r12
001b0c33
001b0c33loc_1b0c33:
001b0c33mov rax, [rsp+24]
001b0c38cmp r12, rax
001b0c3bjl 0x1b0d6a
001b0c41mov rax, [r13-8]
001b0c45mov rbx, rax
001b0c48shr rbx, 9
001b0c4ccmp rbx, r12
001b0c4fjbe 0x1b0e39
001b0c55and rax, 255
001b0c5bcmp rax, 254
001b0c61je 0x1b0c6c
001b0c63mov rax, [r13+4*r12-4]
001b0c68jmp 0x1b0c90
001b0c6a
001b0c6a 66 90 f.
001b0c6c
001b0c6cloc_1b0c6c:
001b0c6csub r15, 16
001b0c70cmp r15, [r14]
001b0c73jb 0x1b0e16
001b0c79
001b0c79loc_1b0c79:
001b0c79lea rax, [r15+8]
001b0c7dmov [rax-8], 1277
001b0c85movsd_xmm x0, [r13+4*r12-4]
001b0c8cmovsd_xmm [rax], x0
001b0c90
001b0c90loc_1b0c90:
001b0c90mov rbx, [rsp+32]
001b0c95mov rdi, [rbx+24]
001b0c99mov rbx, [rsp+40]
001b0c9ecall caml_apply2
001b0ca3cmp rax, 1
001b0ca7jle 0x1b0d6a
001b0cadmov r13, [rsp+48]
001b0cb2mov rax, [r13-8]
001b0cb6mov rbx, rax
001b0cb9shr rbx, 9
001b0cbdmov r12, [rsp+56]
001b0cc2cmp rbx, r12
001b0cc5jbe 0x1b0e34
001b0ccband rax, 255
001b0cd1cmp rax, 254
001b0cd7je 0x1b0ce0
001b0cd9mov rsi, [r13+4*r12-4]
001b0cdejmp 0x1b0d04
001b0ce0
001b0ce0loc_1b0ce0:
001b0ce0sub r15, 16
001b0ce4cmp r15, [r14]
001b0ce7jb 0x1b0e0c
001b0ced
001b0cedloc_1b0ced:
001b0cedlea rsi, [r15+8]
001b0cf1mov [rsi-8], 1277
001b0cf9movsd_xmm x0, [r13+4*r12-4]
001b0d00movsd_xmm [rsi], x0
001b0d04
001b0d04loc_1b0d04:
001b0d04mov rax, r12
001b0d07add rax, 2
001b0d0bmov rbx, [r13-8]
001b0d0fmov rdi, rbx
001b0d12shr rdi, 9
001b0d16cmp rdi, rax
001b0d19jbe 0x1b0e2f
001b0d1fand rbx, 255
001b0d26cmp rbx, 254
001b0d2dje 0x1b0d48
001b0d2flea rdi, [r13+4*rax-4]
001b0d34mov rbx, rsp
001b0d37mov rsp, [r14+64]
001b0d3bcall caml_modify
001b0d40mov rsp, rbx
001b0d43jmp 0x1b0d53
001b0d45
001b0d45 0f 1f 00 ...
001b0d48
001b0d48loc_1b0d48:
001b0d48movsd_xmm x0, [rsi]
001b0d4cmovsd_xmm [r13+4*rax-4], x0
001b0d53
001b0d53loc_1b0d53:
001b0d53add r12, -2
001b0d57mov [rsp+56], r12
001b0d5ccmp r15, [r14]
001b0d5fja 0x1b0c33
001b0d65jmp 0x1b0e02
001b0d6a
001b0d6aloc_1b0d6a:
001b0d6amov rax, [rsp+56]
001b0d6fadd rax, 2
001b0d73mov r13, [rsp+48]
001b0d78mov rbx, [r13-8]
001b0d7cmov rdi, rbx
001b0d7fshr rdi, 9
001b0d83cmp rdi, rax
001b0d86jbe 0x1b0e2a
001b0d8cand rbx, 255
001b0d93cmp rbx, 254
001b0d9aje 0x1b0db8
001b0d9clea rdi, [r13+4*rax-4]
001b0da1mov rsi, [rsp+40]
001b0da6mov rbx, rsp
001b0da9mov rsp, [r14+64]
001b0dadcall caml_modify
001b0db2mov rsp, rbx
001b0db5jmp 0x1b0dc8
001b0db7
001b0db7 90 .
001b0db8
001b0db8loc_1b0db8:
001b0db8mov rbx, [rsp+40]
001b0dbdmovsd_xmm x0, [rbx]
001b0dc1movsd_xmm [r13+4*rax-4], x0
001b0dc8
001b0dc8loc_1b0dc8:
001b0dc8mov rbx, [rsp+8]
001b0dcdmov rax, rbx
001b0dd0add rbx, 2
001b0dd4mov [rsp+8], rbx
001b0dd9mov rdi, [rsp+16]
001b0ddecmp rax, rdi
001b0de1je 0x1b0dee
001b0de3cmp r15, [r14]
001b0de6ja 0x1b0bb8
001b0decjmp 0x1b0df8
001b0dee
001b0deeloc_1b0dee:
001b0deemov eax, 1
001b0df3add rsp, 64
001b0df7ret
001b0df8
001b0df8loc_1b0df8:
001b0df8call caml_call_gc
001b0dfdjmp 0x1b0bb8
001b0e02
001b0e02loc_1b0e02:
001b0e02call caml_call_gc
001b0e07jmp 0x1b0c33
001b0e0c
001b0e0cloc_1b0e0c:
001b0e0ccall caml_call_gc
001b0e11jmp 0x1b0ced
001b0e16
001b0e16loc_1b0e16:
001b0e16call caml_call_gc
001b0e1bjmp 0x1b0c79
001b0e20
001b0e20loc_1b0e20:
001b0e20call caml_call_gc
001b0e25jmp 0x1b0c09
001b0e2a
001b0e2aloc_1b0e2a:
001b0e2acall caml_ml_array_bound_error
001b0e2f
001b0e2floc_1b0e2f:
001b0e2fcall caml_ml_array_bound_error
001b0e34
001b0e34loc_1b0e34:
001b0e34call caml_ml_array_bound_error
001b0e39
001b0e39loc_1b0e39:
001b0e39call caml_ml_array_bound_error
001b0e3e
001b0e3eloc_1b0e3e:
001b0e3ecall caml_ml_array_bound_error
001b0e43
001b0e43loc_1b0e43:
001b0e43push 41
001b0e45call caml_call_realloc_stack
001b0e4apop r10
001b0e4cjmp 0x1b0b82
001b0b70
001b0b70Stdlib.Array.isortto:
001b0b70lea r10, [rsp-384]
001b0b78cmp r10, [r14+40]
001b0b7cjb 0x1b0e43
001b0b82
001b0b82loc_1b0b82:
001b0b82sub rsp, 64
001b0b86mov r13, rbx
001b0b89mov ebx, 1
001b0b8eadd rsi, -2
001b0b92cmp rbx, rsi
001b0b95jg 0x1b0dee
001b0b9bmov [rsp+16], rsi
001b0ba0mov [rsp+8], rbx
001b0ba5mov [rsp+32], rdx
001b0baamov [rsp+24], rdi
001b0bafmov [rsp+48], r13
001b0bb4mov [rsp], rax
001b0bb8
001b0bb8loc_1b0bb8:
001b0bb8mov rax, [rsp]
001b0bbclea rax, [rax+rbx-1]
001b0bc1mov rdi, [rsp+32]
001b0bc6mov rdi, [rdi+32]
001b0bcamov rsi, [rdi-8]
001b0bcemov rdx, rsi
001b0bd1shr rdx, 9
001b0bd5cmp rdx, rax
001b0bd8jbe 0x1b0e3e
001b0bdeand rsi, 255
001b0be5cmp rsi, 254
001b0becje 0x1b0bfc
001b0beemov rsi, [rdi+4*rax-4]
001b0bf3mov [rsp+40], rsi
001b0bf8jmp 0x1b0c24
001b0bfa
001b0bfa 66 90 f.
001b0bfc
001b0bfcloc_1b0bfc:
001b0bfcsub r15, 16
001b0c00cmp r15, [r14]
001b0c03jb 0x1b0e20
001b0c09
001b0c09loc_1b0c09:
001b0c09lea rsi, [r15+8]
001b0c0dmov [rsi-8], 1277
001b0c15movsd_xmm x0, [rdi+4*rax-4]
001b0c1bmovsd_xmm [rsi], x0
001b0c1fmov [rsp+40], rsi
001b0c24
001b0c24loc_1b0c24:
001b0c24mov rax, [rsp+24]
001b0c29lea r12, [rax+rbx-3]
001b0c2emov [rsp+56], r12
001b0c33
001b0c33loc_1b0c33:
001b0c33mov rax, [rsp+24]
001b0c38cmp r12, rax
001b0c3bjl 0x1b0d6a
001b0c41mov rax, [r13-8]
001b0c45mov rbx, rax
001b0c48shr rbx, 9
001b0c4ccmp rbx, r12
001b0c4fjbe 0x1b0e39
001b0c55and rax, 255
001b0c5bcmp rax, 254
001b0c61je 0x1b0c6c
001b0c63mov rax, [r13+4*r12-4]
001b0c68jmp 0x1b0c90
001b0c6a
001b0c6a 66 90 f.
001b0c6c
001b0c6cloc_1b0c6c:
001b0c6csub r15, 16
001b0c70cmp r15, [r14]
001b0c73jb 0x1b0e16
001b0c79
001b0c79loc_1b0c79:
001b0c79lea rax, [r15+8]
001b0c7dmov [rax-8], 1277
001b0c85movsd_xmm x0, [r13+4*r12-4]
001b0c8cmovsd_xmm [rax], x0
001b0c90
001b0c90loc_1b0c90:
001b0c90mov rbx, [rsp+32]
001b0c95mov rdi, [rbx+24]
001b0c99mov rbx, [rsp+40]
001b0c9ecall caml_apply2
001b0ca3cmp rax, 1
001b0ca7jle 0x1b0d6a
001b0cadmov r13, [rsp+48]
001b0cb2mov rax, [r13-8]
001b0cb6mov rbx, rax
001b0cb9shr rbx, 9
001b0cbdmov r12, [rsp+56]
001b0cc2cmp rbx, r12
001b0cc5jbe 0x1b0e34
001b0ccband rax, 255
001b0cd1cmp rax, 254
001b0cd7je 0x1b0ce0
001b0cd9mov rsi, [r13+4*r12-4]
001b0cdejmp 0x1b0d04
001b0ce0
001b0ce0loc_1b0ce0:
001b0ce0sub r15, 16
001b0ce4cmp r15, [r14]
001b0ce7jb 0x1b0e0c
001b0ced
001b0cedloc_1b0ced:
001b0cedlea rsi, [r15+8]
001b0cf1mov [rsi-8], 1277
001b0cf9movsd_xmm x0, [r13+4*r12-4]
001b0d00movsd_xmm [rsi], x0
001b0d04
001b0d04loc_1b0d04:
001b0d04mov rax, r12
001b0d07add rax, 2
001b0d0bmov rbx, [r13-8]
001b0d0fmov rdi, rbx
001b0d12shr rdi, 9
001b0d16cmp rdi, rax
001b0d19jbe 0x1b0e2f
001b0d1fand rbx, 255
001b0d26cmp rbx, 254
001b0d2dje 0x1b0d48
001b0d2flea rdi, [r13+4*rax-4]
001b0d34mov rbx, rsp
001b0d37mov rsp, [r14+64]
001b0d3bcall caml_modify
001b0d40mov rsp, rbx
001b0d43jmp 0x1b0d53
001b0d45
001b0d45 0f 1f 00 ...
001b0d48
001b0d48loc_1b0d48:
001b0d48movsd_xmm x0, [rsi]
001b0d4cmovsd_xmm [r13+4*rax-4], x0
001b0d53
001b0d53loc_1b0d53:
001b0d53add r12, -2
001b0d57mov [rsp+56], r12
001b0d5ccmp r15, [r14]
001b0d5fja 0x1b0c33
001b0d65jmp 0x1b0e02
001b0d6a
001b0d6aloc_1b0d6a:
001b0d6amov rax, [rsp+56]
001b0d6fadd rax, 2
001b0d73mov r13, [rsp+48]
001b0d78mov rbx, [r13-8]
001b0d7cmov rdi, rbx
001b0d7fshr rdi, 9
001b0d83cmp rdi, rax
001b0d86jbe 0x1b0e2a
001b0d8cand rbx, 255
001b0d93cmp rbx, 254
001b0d9aje 0x1b0db8
001b0d9clea rdi, [r13+4*rax-4]
001b0da1mov rsi, [rsp+40]
001b0da6mov rbx, rsp
001b0da9mov rsp, [r14+64]
001b0dadcall caml_modify
001b0db2mov rsp, rbx
001b0db5jmp 0x1b0dc8
001b0db7
001b0db7 90 .
001b0db8
001b0db8loc_1b0db8:
001b0db8mov rbx, [rsp+40]
001b0dbdmovsd_xmm x0, [rbx]
001b0dc1movsd_xmm [r13+4*rax-4], x0
001b0dc8
001b0dc8loc_1b0dc8:
001b0dc8mov rbx, [rsp+8]
001b0dcdmov rax, rbx
001b0dd0add rbx, 2
001b0dd4mov [rsp+8], rbx
001b0dd9mov rdi, [rsp+16]
001b0ddecmp rax, rdi
001b0de1je 0x1b0dee
001b0de3cmp r15, [r14]
001b0de6ja 0x1b0bb8
001b0decjmp 0x1b0df8
001b0dee
001b0deeloc_1b0dee:
001b0deemov eax, 1
001b0df3add rsp, 64
001b0df7ret
001b0df8
001b0df8loc_1b0df8:
001b0df8call caml_call_gc
001b0dfdjmp 0x1b0bb8
001b0e02
001b0e02loc_1b0e02:
001b0e02call caml_call_gc
001b0e07jmp 0x1b0c33
001b0e0c
001b0e0cloc_1b0e0c:
001b0e0ccall caml_call_gc
001b0e11jmp 0x1b0ced
001b0e16
001b0e16loc_1b0e16:
001b0e16call caml_call_gc
001b0e1bjmp 0x1b0c79
001b0e20
001b0e20loc_1b0e20:
001b0e20call caml_call_gc
001b0e25jmp 0x1b0c09
001b0e2a
001b0e2aloc_1b0e2a:
001b0e2acall caml_ml_array_bound_error
001b0e2f
001b0e2floc_1b0e2f:
001b0e2fcall caml_ml_array_bound_error
001b0e34
001b0e34loc_1b0e34:
001b0e34call caml_ml_array_bound_error
001b0e39
001b0e39loc_1b0e39:
001b0e39call caml_ml_array_bound_error
001b0e3e
001b0e3eloc_1b0e3e:
001b0e3ecall caml_ml_array_bound_error
001b0e43
001b0e43loc_1b0e43:
001b0e43push 41
001b0e45call caml_call_realloc_stack
001b0e4apop r10
001b0e4cjmp 0x1b0b82
001b0b70
001b0e51
001b0e51 // align 0x10
001b0e51 // align 0x10
001b0e60
001b0e60Stdlib.Array.sortto:
001b0e60lea r10, [rsp-368]
001b0e68cmp r10, [r14+40]
001b0e6cjb 0x1b0f2a
001b0e72
001b0e72loc_1b0e72:
001b0e72sub rsp, 48
001b0e76cmp rsi, 11
001b0e7ajg 0x1b0e8c
001b0e7cmov rdx, [rdx+40]
001b0e80add rsp, 48
001b0e84jmp 0x1b0b70
001b0e89
001b0e89 0f 1f 00 ...
001b0e8c
001b0e8cloc_1b0e8c:
001b0e8cmov [rsp+32], rdx
001b0e91mov [rsp+8], rdi
001b0e96mov [rsp+40], rbx
001b0e9bmov [rsp+24], rax
001b0ea0mov rcx, rsi
001b0ea3sar rcx, 1
001b0ea6mov r8, rcx
001b0ea9shr r8, 63
001b0eadadd rcx, r8
001b0eb0or rcx, 1
001b0eb4mov [rsp], rcx
001b0eb8sub rsi, rcx
001b0ebbinc rsi
001b0ebemov [rsp+16], rsi
001b0ec3lea rdi, [rdi+rcx-1]
001b0ec8lea rax, [rax+rcx-1]
001b0ecdcall Stdlib.Array.sortto
001b0ed2mov rbx, [rsp+16]
001b0ed7mov rax, [rsp+24]
001b0edclea rdi, [rax+rbx-1]
001b0ee1mov rdx, [rsp+32]
001b0ee6mov rbx, [rdx+24]
001b0eeamov rsi, [rsp]
001b0eeecall Stdlib.Array.sortto
001b0ef3mov rbx, [rsp]
001b0ef7mov r8, [rsp+8]
001b0efclea rsi, [r8+rbx-1]
001b0f01mov rdx, [rsp+16]
001b0f06mov rax, [rsp+24]
001b0f0blea rax, [rax+rdx-1]
001b0f10mov rdi, [rsp+32]
001b0f15mov r9, [rdi+32]
001b0f19mov rdi, [rsp+40]
001b0f1emov rcx, rdi
001b0f21add rsp, 48
001b0f25jmp 0x1b0790
001b0f2a
001b0f2aloc_1b0f2a:
001b0f2apush 39
001b0f2ccall caml_call_realloc_stack
001b0f31pop r10
001b0f33jmp 0x1b0e72
001b0e60
001b0e60Stdlib.Array.sortto:
001b0e60lea r10, [rsp-368]
001b0e68cmp r10, [r14+40]
001b0e6cjb 0x1b0f2a
001b0e72
001b0e72loc_1b0e72:
001b0e72sub rsp, 48
001b0e76cmp rsi, 11
001b0e7ajg 0x1b0e8c
001b0e7cmov rdx, [rdx+40]
001b0e80add rsp, 48
001b0e84jmp 0x1b0b70
001b0e89
001b0e89 0f 1f 00 ...
001b0e8c
001b0e8cloc_1b0e8c:
001b0e8cmov [rsp+32], rdx
001b0e91mov [rsp+8], rdi
001b0e96mov [rsp+40], rbx
001b0e9bmov [rsp+24], rax
001b0ea0mov rcx, rsi
001b0ea3sar rcx, 1
001b0ea6mov r8, rcx
001b0ea9shr r8, 63
001b0eadadd rcx, r8
001b0eb0or rcx, 1
001b0eb4mov [rsp], rcx
001b0eb8sub rsi, rcx
001b0ebbinc rsi
001b0ebemov [rsp+16], rsi
001b0ec3lea rdi, [rdi+rcx-1]
001b0ec8lea rax, [rax+rcx-1]
001b0ecdcall Stdlib.Array.sortto
001b0ed2mov rbx, [rsp+16]
001b0ed7mov rax, [rsp+24]
001b0edclea rdi, [rax+rbx-1]
001b0ee1mov rdx, [rsp+32]
001b0ee6mov rbx, [rdx+24]
001b0eeamov rsi, [rsp]
001b0eeecall Stdlib.Array.sortto
001b0ef3mov rbx, [rsp]
001b0ef7mov r8, [rsp+8]
001b0efclea rsi, [r8+rbx-1]
001b0f01mov rdx, [rsp+16]
001b0f06mov rax, [rsp+24]
001b0f0blea rax, [rax+rdx-1]
001b0f10mov rdi, [rsp+32]
001b0f15mov r9, [rdi+32]
001b0f19mov rdi, [rsp+40]
001b0f1emov rcx, rdi
001b0f21add rsp, 48
001b0f25jmp 0x1b0790
001b0f2a
001b0f2aloc_1b0f2a:
001b0f2apush 39
001b0f2ccall caml_call_realloc_stack
001b0f31pop r10
001b0f33jmp 0x1b0e72
001b0e60
001b0f38
001b0f38 // align 0x10
001b0f38 // align 0x10
001b0f40
001b0f40Stdlib.Array.shuffle_contract_violation:
001b0f40lea r10, [rsp-344]
001b0f48cmp r10, [r14+40]
001b0f4cjb 0x1b107a
001b0f52
001b0f52loc_1b0f52:
001b0f52sub rsp, 24
001b0f56mov [rsp+16], rax
001b0f5bmov [rsp], rbx
001b0f5fcall camlStdlib.string_of_int_175
001b0f64sub r15, 48
001b0f68cmp r15, [r14]
001b0f6bjb 0x1b1070
001b0f71
001b0f71loc_1b0f71:
001b0f71lea rbx, [r15+8]
001b0f75add rbx, 24
001b0f79mov [rbx-8], 2048
001b0f81mov [rbx], rax
001b0f84lea rax, [rip+0x18cbad]
001b0f8bmov [rbx+8], rax
001b0f8flea rax, [rbx-24]
001b0f93mov [rsp+8], rax
001b0f98mov [rax-8], 2048
001b0fa0lea rdi, [rip+0x18cbb9]
001b0fa7mov [rax], rdi
001b0faamov [rax+8], rbx
001b0faemov rax, [rsp]
001b0fb2call camlStdlib.string_of_int_175
001b0fb7sub r15, 48
001b0fbbcmp r15, [r14]
001b0fbejb 0x1b1066
001b0fc4
001b0fc4loc_1b0fc4:
001b0fc4lea rbx, [r15+8]
001b0fc8add rbx, 24
001b0fccmov [rbx-8], 2048
001b0fd4mov [rbx], rax
001b0fd7mov rax, [rsp+8]
001b0fdcmov [rbx+8], rax
001b0fe0lea rax, [rbx-24]
001b0fe4mov [rsp], rax
001b0fe8mov [rax-8], 2048
001b0ff0lea rdi, [rip+0x18cb91]
001b0ff7mov [rax], rdi
001b0ffamov [rax+8], rbx
001b0ffemov rax, [rsp+16]
001b1003add rax, 2
001b1007call camlStdlib.string_of_int_175
001b100csub r15, 48
001b1010cmp r15, [r14]
001b1013jb 0x1b105f
001b1015
001b1015loc_1b1015:
001b1015lea rdi, [r15+8]
001b1019add rdi, 24
001b101dmov [rdi-8], 2048
001b1025mov [rdi], rax
001b1028mov rax, [rsp]
001b102cmov [rdi+8], rax
001b1030lea rbx, [rdi-24]
001b1034mov [rbx-8], 2048
001b103clea rax, [rip+0x18cb5d]
001b1043mov [rbx], rax
001b1046mov [rbx+8], rdi
001b104alea rax, [rip+0x18cb87]
001b1051call Stdlib.String.concat
001b1056add rsp, 24
001b105ajmp 0x195ab0
001b105f
001b105floc_1b105f:
001b105fcall caml_call_gc
001b1064jmp 0x1b1015
001b1066
001b1066loc_1b1066:
001b1066call caml_call_gc
001b106bjmp 0x1b0fc4
001b1070
001b1070loc_1b1070:
001b1070call caml_call_gc
001b1075jmp 0x1b0f71
001b107a
001b107aloc_1b107a:
001b107apush 36
001b107ccall caml_call_realloc_stack
001b1081pop r10
001b1083jmp 0x1b0f52
001b0f40
001b0f40Stdlib.Array.shuffle_contract_violation:
001b0f40lea r10, [rsp-344]
001b0f48cmp r10, [r14+40]
001b0f4cjb 0x1b107a
001b0f52
001b0f52loc_1b0f52:
001b0f52sub rsp, 24
001b0f56mov [rsp+16], rax
001b0f5bmov [rsp], rbx
001b0f5fcall camlStdlib.string_of_int_175
001b0f64sub r15, 48
001b0f68cmp r15, [r14]
001b0f6bjb 0x1b1070
001b0f71
001b0f71loc_1b0f71:
001b0f71lea rbx, [r15+8]
001b0f75add rbx, 24
001b0f79mov [rbx-8], 2048
001b0f81mov [rbx], rax
001b0f84lea rax, [rip+0x18cbad]
001b0f8bmov [rbx+8], rax
001b0f8flea rax, [rbx-24]
001b0f93mov [rsp+8], rax
001b0f98mov [rax-8], 2048
001b0fa0lea rdi, [rip+0x18cbb9]
001b0fa7mov [rax], rdi
001b0faamov [rax+8], rbx
001b0faemov rax, [rsp]
001b0fb2call camlStdlib.string_of_int_175
001b0fb7sub r15, 48
001b0fbbcmp r15, [r14]
001b0fbejb 0x1b1066
001b0fc4
001b0fc4loc_1b0fc4:
001b0fc4lea rbx, [r15+8]
001b0fc8add rbx, 24
001b0fccmov [rbx-8], 2048
001b0fd4mov [rbx], rax
001b0fd7mov rax, [rsp+8]
001b0fdcmov [rbx+8], rax
001b0fe0lea rax, [rbx-24]
001b0fe4mov [rsp], rax
001b0fe8mov [rax-8], 2048
001b0ff0lea rdi, [rip+0x18cb91]
001b0ff7mov [rax], rdi
001b0ffamov [rax+8], rbx
001b0ffemov rax, [rsp+16]
001b1003add rax, 2
001b1007call camlStdlib.string_of_int_175
001b100csub r15, 48
001b1010cmp r15, [r14]
001b1013jb 0x1b105f
001b1015
001b1015loc_1b1015:
001b1015lea rdi, [r15+8]
001b1019add rdi, 24
001b101dmov [rdi-8], 2048
001b1025mov [rdi], rax
001b1028mov rax, [rsp]
001b102cmov [rdi+8], rax
001b1030lea rbx, [rdi-24]
001b1034mov [rbx-8], 2048
001b103clea rax, [rip+0x18cb5d]
001b1043mov [rbx], rax
001b1046mov [rbx+8], rdi
001b104alea rax, [rip+0x18cb87]
001b1051call Stdlib.String.concat
001b1056add rsp, 24
001b105ajmp 0x195ab0
001b105f
001b105floc_1b105f:
001b105fcall caml_call_gc
001b1064jmp 0x1b1015
001b1066
001b1066loc_1b1066:
001b1066call caml_call_gc
001b106bjmp 0x1b0fc4
001b1070
001b1070loc_1b1070:
001b1070call caml_call_gc
001b1075jmp 0x1b0f71
001b107a
001b107aloc_1b107a:
001b107apush 36
001b107ccall caml_call_realloc_stack
001b1081pop r10
001b1083jmp 0x1b0f52
001b0f40
001b1088
001b1088 // align 0x10
001b1088 // align 0x10
001b1090
001b1090Stdlib.Array.shuffle:
001b1090lea r10, [rsp-352]
001b1098cmp r10, [r14+40]
001b109cjb 0x1b124d
001b10a2
001b10a2loc_1b10a2:
001b10a2sub rsp, 32
001b10a6mov r13, [rbx-8]
001b10aashr r13, 9
001b10aeor r13, 1
001b10b2add r13, -2
001b10b6cmp r13, 3
001b10bajl 0x1b1225
001b10c0mov [rsp+24], r13
001b10c5mov [rsp+8], rbx
001b10camov [rsp], rax
001b10ce
001b10celoc_1b10ce:
001b10cemov rax, r13
001b10d1add rax, 2
001b10d5mov rbx, [rsp]
001b10d9mov rdi, [rbx]
001b10dccall rdi
001b10demov rbx, rax
001b10e1mov [rsp+16], rbx
001b10e6cmp rbx, 1
001b10eajl 0x1b10f6
001b10ecmov rax, [rsp+24]
001b10f1cmp rbx, rax
001b10f4jle 0x1b1100
001b10f6
001b10f6loc_1b10f6:
001b10f6mov rax, [rsp+24]
001b10fbcall Stdlib.Array.shuffle_contract_violation
001b1100
001b1100loc_1b1100:
001b1100mov r12, [rsp+8]
001b1105movzx rax, [r12-8]
001b110bcmp rax, 254
001b1111je 0x1b1124
001b1113mov r13, [rsp+24]
001b1118mov rax, [r12+4*r13-4]
001b111dmov [rsp+24], rax
001b1122jmp 0x1b1152
001b1124
001b1124loc_1b1124:
001b1124sub r15, 16
001b1128cmp r15, [r14]
001b112bjb 0x1b1243
001b1131
001b1131loc_1b1131:
001b1131lea rax, [r15+8]
001b1135mov [rax-8], 1277
001b113dmov r13, [rsp+24]
001b1142movsd_xmm x0, [r12+4*r13-4]
001b1149movsd_xmm [rax], x0
001b114dmov [rsp+24], rax
001b1152
001b1152loc_1b1152:
001b1152movzx rbx, [r12-8]
001b1158cmp rbx, 254
001b115fje 0x1b1170
001b1161mov rbp, [rsp+16]
001b1166mov rsi, [r12+4*rbp-4]
001b116bjmp 0x1b1199
001b116d
001b116d 0f 1f 00 ...
001b1170
001b1170loc_1b1170:
001b1170sub r15, 16
001b1174cmp r15, [r14]
001b1177jb 0x1b1239
001b117d
001b117dloc_1b117d:
001b117dlea rsi, [r15+8]
001b1181mov [rsi-8], 1277
001b1189mov rbp, [rsp+16]
001b118emovsd_xmm x0, [r12+4*rbp-4]
001b1195movsd_xmm [rsi], x0
001b1199
001b1199loc_1b1199:
001b1199movzx rbx, [r12-8]
001b119fcmp rbx, 254
001b11a6je 0x1b11c0
001b11a8lea rdi, [r12+4*r13-4]
001b11admov rbx, rsp
001b11b0mov rsp, [r14+64]
001b11b4call caml_modify
001b11b9mov rsp, rbx
001b11bcjmp 0x1b11cb
001b11be
001b11be 66 90 f.
001b11c0
001b11c0loc_1b11c0:
001b11c0movsd_xmm x0, [rsi]
001b11c4movsd_xmm [r12+4*r13-4], x0
001b11cb
001b11cbloc_1b11cb:
001b11cbmovzx rbx, [r12-8]
001b11d1cmp rbx, 254
001b11d8je 0x1b11f8
001b11dalea rdi, [r12+4*rbp-4]
001b11dfmov rsi, [rsp+24]
001b11e4mov rbx, rsp
001b11e7mov rsp, [r14+64]
001b11ebcall caml_modify
001b11f0mov rsp, rbx
001b11f3jmp 0x1b1208
001b11f5
001b11f5 0f 1f 00 ...
001b11f8
001b11f8loc_1b11f8:
001b11f8mov rax, [rsp+24]
001b11fdmovsd_xmm x0, [rax]
001b1201movsd_xmm [r12+4*rbp-4], x0
001b1208
001b1208loc_1b1208:
001b1208mov rax, r13
001b120bsub r13, 2
001b120fmov [rsp+24], r13
001b1214cmp rax, 3
001b1218je 0x1b1225
001b121acmp r15, [r14]
001b121dja 0x1b10ce
001b1223jmp 0x1b122f
001b1225
001b1225loc_1b1225:
001b1225mov eax, 1
001b122aadd rsp, 32
001b122eret
001b122f
001b122floc_1b122f:
001b122fcall caml_call_gc
001b1234jmp 0x1b10ce
001b1239
001b1239loc_1b1239:
001b1239call caml_call_gc
001b123ejmp 0x1b117d
001b1243
001b1243loc_1b1243:
001b1243call caml_call_gc
001b1248jmp 0x1b1131
001b124d
001b124dloc_1b124d:
001b124dpush 37
001b124fcall caml_call_realloc_stack
001b1254pop r10
001b1256jmp 0x1b10a2
001b1090
001b1090Stdlib.Array.shuffle:
001b1090lea r10, [rsp-352]
001b1098cmp r10, [r14+40]
001b109cjb 0x1b124d
001b10a2
001b10a2loc_1b10a2:
001b10a2sub rsp, 32
001b10a6mov r13, [rbx-8]
001b10aashr r13, 9
001b10aeor r13, 1
001b10b2add r13, -2
001b10b6cmp r13, 3
001b10bajl 0x1b1225
001b10c0mov [rsp+24], r13
001b10c5mov [rsp+8], rbx
001b10camov [rsp], rax
001b10ce
001b10celoc_1b10ce:
001b10cemov rax, r13
001b10d1add rax, 2
001b10d5mov rbx, [rsp]
001b10d9mov rdi, [rbx]
001b10dccall rdi
001b10demov rbx, rax
001b10e1mov [rsp+16], rbx
001b10e6cmp rbx, 1
001b10eajl 0x1b10f6
001b10ecmov rax, [rsp+24]
001b10f1cmp rbx, rax
001b10f4jle 0x1b1100
001b10f6
001b10f6loc_1b10f6:
001b10f6mov rax, [rsp+24]
001b10fbcall Stdlib.Array.shuffle_contract_violation
001b1100
001b1100loc_1b1100:
001b1100mov r12, [rsp+8]
001b1105movzx rax, [r12-8]
001b110bcmp rax, 254
001b1111je 0x1b1124
001b1113mov r13, [rsp+24]
001b1118mov rax, [r12+4*r13-4]
001b111dmov [rsp+24], rax
001b1122jmp 0x1b1152
001b1124
001b1124loc_1b1124:
001b1124sub r15, 16
001b1128cmp r15, [r14]
001b112bjb 0x1b1243
001b1131
001b1131loc_1b1131:
001b1131lea rax, [r15+8]
001b1135mov [rax-8], 1277
001b113dmov r13, [rsp+24]
001b1142movsd_xmm x0, [r12+4*r13-4]
001b1149movsd_xmm [rax], x0
001b114dmov [rsp+24], rax
001b1152
001b1152loc_1b1152:
001b1152movzx rbx, [r12-8]
001b1158cmp rbx, 254
001b115fje 0x1b1170
001b1161mov rbp, [rsp+16]
001b1166mov rsi, [r12+4*rbp-4]
001b116bjmp 0x1b1199
001b116d
001b116d 0f 1f 00 ...
001b1170
001b1170loc_1b1170:
001b1170sub r15, 16
001b1174cmp r15, [r14]
001b1177jb 0x1b1239
001b117d
001b117dloc_1b117d:
001b117dlea rsi, [r15+8]
001b1181mov [rsi-8], 1277
001b1189mov rbp, [rsp+16]
001b118emovsd_xmm x0, [r12+4*rbp-4]
001b1195movsd_xmm [rsi], x0
001b1199
001b1199loc_1b1199:
001b1199movzx rbx, [r12-8]
001b119fcmp rbx, 254
001b11a6je 0x1b11c0
001b11a8lea rdi, [r12+4*r13-4]
001b11admov rbx, rsp
001b11b0mov rsp, [r14+64]
001b11b4call caml_modify
001b11b9mov rsp, rbx
001b11bcjmp 0x1b11cb
001b11be
001b11be 66 90 f.
001b11c0
001b11c0loc_1b11c0:
001b11c0movsd_xmm x0, [rsi]
001b11c4movsd_xmm [r12+4*r13-4], x0
001b11cb
001b11cbloc_1b11cb:
001b11cbmovzx rbx, [r12-8]
001b11d1cmp rbx, 254
001b11d8je 0x1b11f8
001b11dalea rdi, [r12+4*rbp-4]
001b11dfmov rsi, [rsp+24]
001b11e4mov rbx, rsp
001b11e7mov rsp, [r14+64]
001b11ebcall caml_modify
001b11f0mov rsp, rbx
001b11f3jmp 0x1b1208
001b11f5
001b11f5 0f 1f 00 ...
001b11f8
001b11f8loc_1b11f8:
001b11f8mov rax, [rsp+24]
001b11fdmovsd_xmm x0, [rax]
001b1201movsd_xmm [r12+4*rbp-4], x0
001b1208
001b1208loc_1b1208:
001b1208mov rax, r13
001b120bsub r13, 2
001b120fmov [rsp+24], r13
001b1214cmp rax, 3
001b1218je 0x1b1225
001b121acmp r15, [r14]
001b121dja 0x1b10ce
001b1223jmp 0x1b122f
001b1225
001b1225loc_1b1225:
001b1225mov eax, 1
001b122aadd rsp, 32
001b122eret
001b122f
001b122floc_1b122f:
001b122fcall caml_call_gc
001b1234jmp 0x1b10ce
001b1239
001b1239loc_1b1239:
001b1239call caml_call_gc
001b123ejmp 0x1b117d
001b1243
001b1243loc_1b1243:
001b1243call caml_call_gc
001b1248jmp 0x1b1131
001b124d
001b124dloc_1b124d:
001b124dpush 37
001b124fcall caml_call_realloc_stack
001b1254pop r10
001b1256jmp 0x1b10a2
001b1090
001b125b
001b125b // align 0x10
001b125b // align 0x10
001b1260
001b1260Stdlib.Array.to_seq:
001b1260sub r15, 80
001b1264cmp r15, [r14]
001b1267jb 0x1b12d2
001b1269
001b1269loc_1b1269:
001b1269lea rbx, [r15+8]
001b126dadd rbx, 40
001b1271mov [rbx-8], 4343
001b1279lea rdi, [rip-0xba260]
001b1280mov [rbx], rdi
001b1283mov rdi, 0x200000000000007
001b128dmov [rbx+8], rdi
001b1291lea rdi, [rip+72]
001b1298mov [rbx+16], rdi
001b129cmov [rbx+24], rax
001b12a0mov edi, 1
001b12a5lea rax, [rbx-40]
001b12a9mov [rax-8], 4343
001b12b1lea rsi, [rip+264]
001b12b8mov [rax], rsi
001b12bbmov rsi, 0x100000000000005
001b12c5mov [rax+8], rsi
001b12c9mov [rax+16], rdi
001b12cdmov [rax+24], rbx
001b12d1ret
001b12d2
001b12d2loc_1b12d2:
001b12d2call caml_call_gc
001b12d7jmp 0x1b1269
001b1260
001b1260Stdlib.Array.to_seq:
001b1260sub r15, 80
001b1264cmp r15, [r14]
001b1267jb 0x1b12d2
001b1269
001b1269loc_1b1269:
001b1269lea rbx, [r15+8]
001b126dadd rbx, 40
001b1271mov [rbx-8], 4343
001b1279lea rdi, [rip-0xba260]
001b1280mov [rbx], rdi
001b1283mov rdi, 0x200000000000007
001b128dmov [rbx+8], rdi
001b1291lea rdi, [rip+72]
001b1298mov [rbx+16], rdi
001b129cmov [rbx+24], rax
001b12a0mov edi, 1
001b12a5lea rax, [rbx-40]
001b12a9mov [rax-8], 4343
001b12b1lea rsi, [rip+264]
001b12b8mov [rax], rsi
001b12bbmov rsi, 0x100000000000005
001b12c5mov [rax+8], rsi
001b12c9mov [rax+16], rdi
001b12cdmov [rax+24], rbx
001b12d1ret
001b12d2
001b12d2loc_1b12d2:
001b12d2call caml_call_gc
001b12d7jmp 0x1b1269
001b1260
001b12d9
001b12d9 // align 0x10
001b12d9 // align 0x10
001b12e0
001b12e0Stdlib.Array.aux:
001b12e0mov rbx, [rdi+24]
001b12e4mov rsi, [rbx-8]
001b12e8shr rsi, 9
001b12ecor rsi, 1
001b12f0cmp rax, rsi
001b12f3jge 0x1b1380
001b12f9movzx rsi, [rbx-8]
001b12fecmp rsi, 254
001b1305je 0x1b1310
001b1307mov rsi, [rbx+4*rax-4]
001b130cjmp 0x1b132f
001b130e
001b130e 66 90 f.
001b1310
001b1310loc_1b1310:
001b1310sub r15, 16
001b1314cmp r15, [r14]
001b1317jb 0x1b138d
001b1319
001b1319loc_1b1319:
001b1319lea rsi, [r15+8]
001b131dmov [rsi-8], 1277
001b1325movsd_xmm x0, [rbx+4*rax-4]
001b132bmovsd_xmm [rsi], x0
001b132f
001b132floc_1b132f:
001b132fadd rax, 2
001b1333sub r15, 64
001b1337cmp r15, [r14]
001b133ajb 0x1b1386
001b133c
001b133cloc_1b133c:
001b133clea rbx, [r15+8]
001b1340add rbx, 24
001b1344mov [rbx-8], 4343
001b134clea rdx, [rip+77]
001b1353mov [rbx], rdx
001b1356mov rdx, 0x100000000000005
001b1360mov [rbx+8], rdx
001b1364mov [rbx+16], rax
001b1368mov [rbx+24], rdi
001b136clea rax, [rbx-24]
001b1370mov [rax-8], 2048
001b1378mov [rax], rsi
001b137bmov [rax+8], rbx
001b137fret
001b1380
001b1380loc_1b1380:
001b1380mov eax, 1
001b1385ret
001b1386
001b1386loc_1b1386:
001b1386call caml_call_gc
001b138bjmp 0x1b133c
001b138d
001b138dloc_1b138d:
001b138dcall caml_call_gc
001b1392jmp 0x1b1319
001b12e0
001b12e0Stdlib.Array.aux:
001b12e0mov rbx, [rdi+24]
001b12e4mov rsi, [rbx-8]
001b12e8shr rsi, 9
001b12ecor rsi, 1
001b12f0cmp rax, rsi
001b12f3jge 0x1b1380
001b12f9movzx rsi, [rbx-8]
001b12fecmp rsi, 254
001b1305je 0x1b1310
001b1307mov rsi, [rbx+4*rax-4]
001b130cjmp 0x1b132f
001b130e
001b130e 66 90 f.
001b1310
001b1310loc_1b1310:
001b1310sub r15, 16
001b1314cmp r15, [r14]
001b1317jb 0x1b138d
001b1319
001b1319loc_1b1319:
001b1319lea rsi, [r15+8]
001b131dmov [rsi-8], 1277
001b1325movsd_xmm x0, [rbx+4*rax-4]
001b132bmovsd_xmm [rsi], x0
001b132f
001b132floc_1b132f:
001b132fadd rax, 2
001b1333sub r15, 64
001b1337cmp r15, [r14]
001b133ajb 0x1b1386
001b133c
001b133cloc_1b133c:
001b133clea rbx, [r15+8]
001b1340add rbx, 24
001b1344mov [rbx-8], 4343
001b134clea rdx, [rip+77]
001b1353mov [rbx], rdx
001b1356mov rdx, 0x100000000000005
001b1360mov [rbx+8], rdx
001b1364mov [rbx+16], rax
001b1368mov [rbx+24], rdi
001b136clea rax, [rbx-24]
001b1370mov [rax-8], 2048
001b1378mov [rax], rsi
001b137bmov [rax+8], rbx
001b137fret
001b1380
001b1380loc_1b1380:
001b1380mov eax, 1
001b1385ret
001b1386
001b1386loc_1b1386:
001b1386call caml_call_gc
001b138bjmp 0x1b133c
001b138d
001b138dloc_1b138d:
001b138dcall caml_call_gc
001b1392jmp 0x1b1319
001b12e0
001b1394
001b1394 // align 0x10
001b1394 // align 0x10
001b13a0
001b13a0Stdlib.Array.fun:
001b13a0mov rsi, rax
001b13a3mov rax, [rbx+16]
001b13a7mov rdi, [rbx+24]
001b13abmov rbx, rsi
001b13aejmp 0x1b12e0
001b13a0
001b13a0Stdlib.Array.fun:
001b13a0mov rsi, rax
001b13a3mov rax, [rbx+16]
001b13a7mov rdi, [rbx+24]
001b13abmov rbx, rsi
001b13aejmp 0x1b12e0
001b13a0
001b13b3
001b13b3 // align 0x10
001b13b3 // align 0x10
001b13c0
001b13c0Stdlib.Array.fun:
001b13c0mov rsi, rax
001b13c3mov rax, [rbx+16]
001b13c7mov rdi, [rbx+24]
001b13cbmov rbx, rsi
001b13cejmp 0x1b12e0
001b13c0
001b13c0Stdlib.Array.fun:
001b13c0mov rsi, rax
001b13c3mov rax, [rbx+16]
001b13c7mov rdi, [rbx+24]
001b13cbmov rbx, rsi
001b13cejmp 0x1b12e0
001b13c0
001b13d3
001b13d3 // align 0x10
001b13d3 // align 0x10
001b13e0
001b13e0Stdlib.Array.to_seqi:
001b13e0sub r15, 80
001b13e4cmp r15, [r14]
001b13e7jb 0x1b1452
001b13e9
001b13e9loc_1b13e9:
001b13e9lea rbx, [r15+8]
001b13edadd rbx, 40
001b13f1mov [rbx-8], 4343
001b13f9lea rdi, [rip-0xba3e0]
001b1400mov [rbx], rdi
001b1403mov rdi, 0x200000000000007
001b140dmov [rbx+8], rdi
001b1411lea rdi, [rip+72]
001b1418mov [rbx+16], rdi
001b141cmov [rbx+24], rax
001b1420mov edi, 1
001b1425lea rax, [rbx-40]
001b1429mov [rax-8], 4343
001b1431lea rsi, [rip+296]
001b1438mov [rax], rsi
001b143bmov rsi, 0x100000000000005
001b1445mov [rax+8], rsi
001b1449mov [rax+16], rdi
001b144dmov [rax+24], rbx
001b1451ret
001b1452
001b1452loc_1b1452:
001b1452call caml_call_gc
001b1457jmp 0x1b13e9
001b13e0
001b13e0Stdlib.Array.to_seqi:
001b13e0sub r15, 80
001b13e4cmp r15, [r14]
001b13e7jb 0x1b1452
001b13e9
001b13e9loc_1b13e9:
001b13e9lea rbx, [r15+8]
001b13edadd rbx, 40
001b13f1mov [rbx-8], 4343
001b13f9lea rdi, [rip-0xba3e0]
001b1400mov [rbx], rdi
001b1403mov rdi, 0x200000000000007
001b140dmov [rbx+8], rdi
001b1411lea rdi, [rip+72]
001b1418mov [rbx+16], rdi
001b141cmov [rbx+24], rax
001b1420mov edi, 1
001b1425lea rax, [rbx-40]
001b1429mov [rax-8], 4343
001b1431lea rsi, [rip+296]
001b1438mov [rax], rsi
001b143bmov rsi, 0x100000000000005
001b1445mov [rax+8], rsi
001b1449mov [rax+16], rdi
001b144dmov [rax+24], rbx
001b1451ret
001b1452
001b1452loc_1b1452:
001b1452call caml_call_gc
001b1457jmp 0x1b13e9
001b13e0
001b1459
001b1459 // align 0x10
001b1459 // align 0x10
001b1460
001b1460Stdlib.Array.aux:
001b1460mov rbx, [rdi+24]
001b1464mov rsi, [rbx-8]
001b1468shr rsi, 9
001b146cor rsi, 1
001b1470cmp rax, rsi
001b1473jge 0x1b151c
001b1479movzx rsi, [rbx-8]
001b147ecmp rsi, 254
001b1485je 0x1b1490
001b1487mov rsi, [rbx+4*rax-4]
001b148cjmp 0x1b14b3
001b148e
001b148e 66 90 f.
001b1490
001b1490loc_1b1490:
001b1490sub r15, 16
001b1494cmp r15, [r14]
001b1497jb 0x1b1529
001b149d
001b149dloc_1b149d:
001b149dlea rsi, [r15+8]
001b14a1mov [rsi-8], 1277
001b14a9movsd_xmm x0, [rbx+4*rax-4]
001b14afmovsd_xmm [rsi], x0
001b14b3
001b14b3loc_1b14b3:
001b14b3mov rbx, rax
001b14b6add rbx, 2
001b14basub r15, 88
001b14becmp r15, [r14]
001b14c1jb 0x1b1522
001b14c3
001b14c3loc_1b14c3:
001b14c3lea rdx, [r15+8]
001b14c7add rdx, 48
001b14cbmov [rdx-8], 4343
001b14d3lea rcx, [rip+102]
001b14damov [rdx], rcx
001b14ddmov rcx, 0x100000000000005
001b14e7mov [rdx+8], rcx
001b14ebmov [rdx+16], rbx
001b14efmov [rdx+24], rdi
001b14f3lea rbx, [rdx-24]
001b14f7mov [rbx-8], 2048
001b14ffmov [rbx], rax
001b1502mov [rbx+8], rsi
001b1506lea rax, [rbx-24]
001b150amov [rax-8], 2048
001b1512mov [rax], rbx
001b1515mov [rax+8], rdx
001b1519ret
001b151a
001b151a 66 90 f.
001b151c
001b151cloc_1b151c:
001b151cmov eax, 1
001b1521ret
001b1522
001b1522loc_1b1522:
001b1522call caml_call_gc
001b1527jmp 0x1b14c3
001b1529
001b1529loc_1b1529:
001b1529call caml_call_gc
001b152ejmp 0x1b149d
001b1460
001b1460Stdlib.Array.aux:
001b1460mov rbx, [rdi+24]
001b1464mov rsi, [rbx-8]
001b1468shr rsi, 9
001b146cor rsi, 1
001b1470cmp rax, rsi
001b1473jge 0x1b151c
001b1479movzx rsi, [rbx-8]
001b147ecmp rsi, 254
001b1485je 0x1b1490
001b1487mov rsi, [rbx+4*rax-4]
001b148cjmp 0x1b14b3
001b148e
001b148e 66 90 f.
001b1490
001b1490loc_1b1490:
001b1490sub r15, 16
001b1494cmp r15, [r14]
001b1497jb 0x1b1529
001b149d
001b149dloc_1b149d:
001b149dlea rsi, [r15+8]
001b14a1mov [rsi-8], 1277
001b14a9movsd_xmm x0, [rbx+4*rax-4]
001b14afmovsd_xmm [rsi], x0
001b14b3
001b14b3loc_1b14b3:
001b14b3mov rbx, rax
001b14b6add rbx, 2
001b14basub r15, 88
001b14becmp r15, [r14]
001b14c1jb 0x1b1522
001b14c3
001b14c3loc_1b14c3:
001b14c3lea rdx, [r15+8]
001b14c7add rdx, 48
001b14cbmov [rdx-8], 4343
001b14d3lea rcx, [rip+102]
001b14damov [rdx], rcx
001b14ddmov rcx, 0x100000000000005
001b14e7mov [rdx+8], rcx
001b14ebmov [rdx+16], rbx
001b14efmov [rdx+24], rdi
001b14f3lea rbx, [rdx-24]
001b14f7mov [rbx-8], 2048
001b14ffmov [rbx], rax
001b1502mov [rbx+8], rsi
001b1506lea rax, [rbx-24]
001b150amov [rax-8], 2048
001b1512mov [rax], rbx
001b1515mov [rax+8], rdx
001b1519ret
001b151a
001b151a 66 90 f.
001b151c
001b151cloc_1b151c:
001b151cmov eax, 1
001b1521ret
001b1522
001b1522loc_1b1522:
001b1522call caml_call_gc
001b1527jmp 0x1b14c3
001b1529
001b1529loc_1b1529:
001b1529call caml_call_gc
001b152ejmp 0x1b149d
001b1460
001b1533
001b1533 // align 0x10
001b1533 // align 0x10
001b1540
001b1540Stdlib.Array.fun:
001b1540mov rsi, rax
001b1543mov rax, [rbx+16]
001b1547mov rdi, [rbx+24]
001b154bmov rbx, rsi
001b154ejmp 0x1b1460
001b1540
001b1540Stdlib.Array.fun:
001b1540mov rsi, rax
001b1543mov rax, [rbx+16]
001b1547mov rdi, [rbx+24]
001b154bmov rbx, rsi
001b154ejmp 0x1b1460
001b1540
001b1553
001b1553 // align 0x10
001b1553 // align 0x10
001b1560
001b1560Stdlib.Array.fun:
001b1560mov rsi, rax
001b1563mov rax, [rbx+16]
001b1567mov rdi, [rbx+24]
001b156bmov rbx, rsi
001b156ejmp 0x1b1460
001b1560
001b1560Stdlib.Array.fun:
001b1560mov rsi, rax
001b1563mov rax, [rbx+16]
001b1567mov rdi, [rbx+24]
001b156bmov rbx, rsi
001b156ejmp 0x1b1460
001b1560
001b1573
001b1573 // align 0x10
001b1573 // align 0x10
001b1580
001b1580Stdlib.Array.of_rev_list:
001b1580lea r10, [rsp-336]
001b1588cmp r10, [r14+40]
001b158cjb 0x1b1642
001b1592
001b1592loc_1b1592:
001b1592sub rsp, 16
001b1596test al, 1
001b1598je 0x1b15a8
001b159alea rax, [rip+0x18c6ff]
001b15a1add rsp, 16
001b15a5ret
001b15a6
001b15a6 66 90 f.
001b15a8
001b15a8loc_1b15a8:
001b15a8mov [rsp], rax
001b15actest al, 1
001b15aeje 0x1b15bc
001b15b0mov eax, 1
001b15b5mov [rsp+8], rax
001b15bajmp 0x1b15cf
001b15bc
001b15bcloc_1b15bc:
001b15bcmov rbx, [rax+8]
001b15c0mov eax, 3
001b15c5call Stdlib.Array.list_length
001b15camov [rsp+8], rax
001b15cf
001b15cfloc_1b15cf:
001b15cfmov rbx, [rsp]
001b15d3mov rsi, [rbx]
001b15d6mov rdi, rax
001b15d9lea rax, [rip+0x486c0]
001b15e0call caml_c_call
001b15e5sub r15, 40
001b15e9cmp r15, [r14]
001b15ecjb 0x1b163b
001b15ee
001b15eeloc_1b15ee:
001b15eelea rdi, [r15+8]
001b15f2mov [rdi-8], 4343
001b15falea rbx, [rip-0xba5e1]
001b1601mov [rdi], rbx
001b1604mov rbx, 0x200000000000007
001b160emov [rdi+8], rbx
001b1612lea rbx, [rip+55]
001b1619mov [rdi+16], rbx
001b161dmov [rdi+24], rax
001b1621mov rax, [rsp]
001b1625mov rbx, [rax+8]
001b1629mov rax, [rsp+8]
001b162eadd rax, -4
001b1632add rsp, 16
001b1636jmp 0x1b1650
001b163b
001b163bloc_1b163b:
001b163bcall caml_call_gc
001b1640jmp 0x1b15ee
001b1642
001b1642loc_1b1642:
001b1642push 35
001b1644call caml_call_realloc_stack
001b1649pop r10
001b164bjmp 0x1b1592
001b1580
001b1580Stdlib.Array.of_rev_list:
001b1580lea r10, [rsp-336]
001b1588cmp r10, [r14+40]
001b158cjb 0x1b1642
001b1592
001b1592loc_1b1592:
001b1592sub rsp, 16
001b1596test al, 1
001b1598je 0x1b15a8
001b159alea rax, [rip+0x18c6ff]
001b15a1add rsp, 16
001b15a5ret
001b15a6
001b15a6 66 90 f.
001b15a8
001b15a8loc_1b15a8:
001b15a8mov [rsp], rax
001b15actest al, 1
001b15aeje 0x1b15bc
001b15b0mov eax, 1
001b15b5mov [rsp+8], rax
001b15bajmp 0x1b15cf
001b15bc
001b15bcloc_1b15bc:
001b15bcmov rbx, [rax+8]
001b15c0mov eax, 3
001b15c5call Stdlib.Array.list_length
001b15camov [rsp+8], rax
001b15cf
001b15cfloc_1b15cf:
001b15cfmov rbx, [rsp]
001b15d3mov rsi, [rbx]
001b15d6mov rdi, rax
001b15d9lea rax, [rip+0x486c0]
001b15e0call caml_c_call
001b15e5sub r15, 40
001b15e9cmp r15, [r14]
001b15ecjb 0x1b163b
001b15ee
001b15eeloc_1b15ee:
001b15eelea rdi, [r15+8]
001b15f2mov [rdi-8], 4343
001b15falea rbx, [rip-0xba5e1]
001b1601mov [rdi], rbx
001b1604mov rbx, 0x200000000000007
001b160emov [rdi+8], rbx
001b1612lea rbx, [rip+55]
001b1619mov [rdi+16], rbx
001b161dmov [rdi+24], rax
001b1621mov rax, [rsp]
001b1625mov rbx, [rax+8]
001b1629mov rax, [rsp+8]
001b162eadd rax, -4
001b1632add rsp, 16
001b1636jmp 0x1b1650
001b163b
001b163bloc_1b163b:
001b163bcall caml_call_gc
001b1640jmp 0x1b15ee
001b1642
001b1642loc_1b1642:
001b1642push 35
001b1644call caml_call_realloc_stack
001b1649pop r10
001b164bjmp 0x1b1592
001b1580
001b1650
001b1650Stdlib.Array.fill:
001b1650mov r13, rax
001b1653mov r12, rbx
001b1656mov rbp, rdi
001b1659cmp r15, [r14]
001b165cjbe 0x1b16b4
001b165e
001b165eloc_1b165e:
001b165etest r12b, 1
001b1662je 0x1b166c
001b1664mov rax, [rbp+24]
001b1668ret
001b1669
001b1669 0f 1f 00 ...
001b166c
001b166cloc_1b166c:
001b166cmov rsi, [r12]
001b1670mov rax, [rbp+24]
001b1674movzx rbx, [rax-8]
001b1679cmp rbx, 254
001b1680je 0x1b1698
001b1682lea rdi, [rax+4*r13-4]
001b1687mov rbx, rsp
001b168amov rsp, [r14+64]
001b168ecall caml_modify
001b1693mov rsp, rbx
001b1696jmp 0x1b16a3
001b1698
001b1698loc_1b1698:
001b1698movsd_xmm x0, [rsi]
001b169cmovsd_xmm [rax+4*r13-4], x0
001b16a3
001b16a3loc_1b16a3:
001b16a3mov rbx, [r12+8]
001b16a8mov rax, r13
001b16abadd rax, -2
001b16afmov rdi, rbp
001b16b2jmp 0x1b1650
001b16b4
001b16b4loc_1b16b4:
001b16b4call caml_call_gc
001b16b9jmp 0x1b165e
001b1650
001b1650Stdlib.Array.fill:
001b1650mov r13, rax
001b1653mov r12, rbx
001b1656mov rbp, rdi
001b1659cmp r15, [r14]
001b165cjbe 0x1b16b4
001b165e
001b165eloc_1b165e:
001b165etest r12b, 1
001b1662je 0x1b166c
001b1664mov rax, [rbp+24]
001b1668ret
001b1669
001b1669 0f 1f 00 ...
001b166c
001b166cloc_1b166c:
001b166cmov rsi, [r12]
001b1670mov rax, [rbp+24]
001b1674movzx rbx, [rax-8]
001b1679cmp rbx, 254
001b1680je 0x1b1698
001b1682lea rdi, [rax+4*r13-4]
001b1687mov rbx, rsp
001b168amov rsp, [r14+64]
001b168ecall caml_modify
001b1693mov rsp, rbx
001b1696jmp 0x1b16a3
001b1698
001b1698loc_1b1698:
001b1698movsd_xmm x0, [rsi]
001b169cmovsd_xmm [rax+4*r13-4], x0
001b16a3
001b16a3loc_1b16a3:
001b16a3mov rbx, [r12+8]
001b16a8mov rax, r13
001b16abadd rax, -2
001b16afmov rdi, rbp
001b16b2jmp 0x1b1650
001b16b4
001b16b4loc_1b16b4:
001b16b4call caml_call_gc
001b16b9jmp 0x1b165e
001b1650
001b16bb
001b16bb // align 0x10
001b16bb // align 0x10
001b16c0
001b16c0Stdlib.Array.of_seq:
001b16c0lea r10, [rsp-320]
001b16c8cmp r10, [r14+40]
001b16ccjb 0x1b16e7
001b16ce
001b16celoc_1b16ce:
001b16cemov rdi, rax
001b16d1mov ebx, 1
001b16d6lea rax, [rip+0x18bc9b]
001b16ddcall Stdlib.Seq.fold_left
001b16e2jmp 0x1b1580
001b16e7
001b16e7loc_1b16e7:
001b16e7push 33
001b16e9call caml_call_realloc_stack
001b16eepop r10
001b16f0jmp 0x1b16ce
001b16c0
001b16c0Stdlib.Array.of_seq:
001b16c0lea r10, [rsp-320]
001b16c8cmp r10, [r14+40]
001b16ccjb 0x1b16e7
001b16ce
001b16celoc_1b16ce:
001b16cemov rdi, rax
001b16d1mov ebx, 1
001b16d6lea rax, [rip+0x18bc9b]
001b16ddcall Stdlib.Seq.fold_left
001b16e2jmp 0x1b1580
001b16e7
001b16e7loc_1b16e7:
001b16e7push 33
001b16e9call caml_call_realloc_stack
001b16eepop r10
001b16f0jmp 0x1b16ce
001b16c0
001b16f2
001b16f2 // align 0x10
001b16f2 // align 0x10
001b1700
001b1700Stdlib.Array.fun:
001b1700sub r15, 24
001b1704cmp r15, [r14]
001b1707jb 0x1b1720
001b1709
001b1709loc_1b1709:
001b1709lea rdi, [r15+8]
001b170dmov [rdi-8], 2048
001b1715mov [rdi], rbx
001b1718mov [rdi+8], rax
001b171cmov rax, rdi
001b171fret
001b1720
001b1720loc_1b1720:
001b1720call caml_call_gc
001b1725jmp 0x1b1709
001b1700
001b1700Stdlib.Array.fun:
001b1700sub r15, 24
001b1704cmp r15, [r14]
001b1707jb 0x1b1720
001b1709
001b1709loc_1b1709:
001b1709lea rdi, [r15+8]
001b170dmov [rdi-8], 2048
001b1715mov [rdi], rbx
001b1718mov [rdi+8], rax
001b171cmov rax, rdi
001b171fret
001b1720
001b1720loc_1b1720:
001b1720call caml_call_gc
001b1725jmp 0x1b1709
001b1700
001b1727
001b1727 // align 0x10
001b1727 // align 0x10
001b1730
001b1730Stdlib.Array.entry:
001b1730lea rsi, [rip+0x18bc61]
001b1737lea rdi, [rip+0x18c172]
001b173eadd rdi, 32
001b1742mov rbx, rsp
001b1745mov rsp, [r14+64]
001b1749call caml_initialize
001b174emov rsp, rbx
001b1751lea rsi, [rip+0x18c548]
001b1758lea rdi, [rip+0x18c151]
001b175fadd rdi, 328
001b1766mov rbx, rsp
001b1769mov rsp, [r14+64]
001b176dcall caml_initialize
001b1772mov rsp, rbx
001b1775lea rsi, [rip+0x18bc34]
001b177clea rdi, [rip+0x18c12d]
001b1783mov rbx, rsp
001b1786mov rsp, [r14+64]
001b178acall caml_initialize
001b178fmov rsp, rbx
001b1792lea rsi, [rip+0x18bc37]
001b1799lea rdi, [rip+0x18c110]
001b17a0add rdi, 8
001b17a4mov rbx, rsp
001b17a7mov rsp, [r14+64]
001b17abcall caml_initialize
001b17b0mov rsp, rbx
001b17b3lea rsi, [rip+0x18bc36]
001b17balea rdi, [rip+0x18c0ef]
001b17c1add rdi, 16
001b17c5mov rbx, rsp
001b17c8mov rsp, [r14+64]
001b17cccall caml_initialize
001b17d1mov rsp, rbx
001b17d4lea rsi, [rip+0x18bc35]
001b17dblea rdi, [rip+0x18c0ce]
001b17e2add rdi, 48
001b17e6mov rbx, rsp
001b17e9mov rsp, [r14+64]
001b17edcall caml_initialize
001b17f2mov rsp, rbx
001b17f5lea rsi, [rip+0x18bc2c]
001b17fclea rdi, [rip+0x18c0ad]
001b1803add rdi, 24
001b1807mov rbx, rsp
001b180amov rsp, [r14+64]
001b180ecall caml_initialize
001b1813mov rsp, rbx
001b1816lea rsi, [rip+0x18bc2b]
001b181dlea rdi, [rip+0x18c08c]
001b1824add rdi, 40
001b1828mov rbx, rsp
001b182bmov rsp, [r14+64]
001b182fcall caml_initialize
001b1834mov rsp, rbx
001b1837lea rsi, [rip+0x18bc2a]
001b183elea rdi, [rip+0x18c06b]
001b1845add rdi, 56
001b1849mov rbx, rsp
001b184cmov rsp, [r14+64]
001b1850call caml_initialize
001b1855mov rsp, rbx
001b1858lea rsi, [rip+0x18bc29]
001b185flea rdi, [rip+0x18c04a]
001b1866add rdi, 64
001b186amov rbx, rsp
001b186dmov rsp, [r14+64]
001b1871call caml_initialize
001b1876mov rsp, rbx
001b1879lea rsi, [rip+0x18bc28]
001b1880lea rdi, [rip+0x18c029]
001b1887add rdi, 88
001b188bmov rbx, rsp
001b188emov rsp, [r14+64]
001b1892call caml_initialize
001b1897mov rsp, rbx
001b189alea rsi, [rip+0x18bc27]
001b18a1lea rdi, [rip+0x18c008]
001b18a8add rdi, 160
001b18afmov rbx, rsp
001b18b2mov rsp, [r14+64]
001b18b6call caml_initialize
001b18bbmov rsp, rbx
001b18belea rsi, [rip+0x18bc23]
001b18c5lea rdi, [rip+0x18bfe4]
001b18ccadd rdi, 104
001b18d0mov rbx, rsp
001b18d3mov rsp, [r14+64]
001b18d7call caml_initialize
001b18dcmov rsp, rbx
001b18dflea rsi, [rip+0x18bc22]
001b18e6lea rdi, [rip+0x18bfc3]
001b18edadd rdi, 112
001b18f1mov rbx, rsp
001b18f4mov rsp, [r14+64]
001b18f8call caml_initialize
001b18fdmov rsp, rbx
001b1900lea rsi, [rip+0x18bc21]
001b1907lea rdi, [rip+0x18bfa2]
001b190eadd rdi, 128
001b1915mov rbx, rsp
001b1918mov rsp, [r14+64]
001b191ccall caml_initialize
001b1921mov rsp, rbx
001b1924lea rsi, [rip+0x18bc1d]
001b192blea rdi, [rip+0x18bf7e]
001b1932add rdi, 168
001b1939mov rbx, rsp
001b193cmov rsp, [r14+64]
001b1940call caml_initialize
001b1945mov rsp, rbx
001b1948lea rsi, [rip+0x18bc19]
001b194flea rdi, [rip+0x18bf5a]
001b1956add rdi, 96
001b195amov rbx, rsp
001b195dmov rsp, [r14+64]
001b1961call caml_initialize
001b1966mov rsp, rbx
001b1969lea rsi, [rip+0x18bc18]
001b1970lea rdi, [rip+0x18bf39]
001b1977add rdi, 120
001b197bmov rbx, rsp
001b197emov rsp, [r14+64]
001b1982call caml_initialize
001b1987mov rsp, rbx
001b198alea rsi, [rip+0x18bc17]
001b1991lea rdi, [rip+0x18bf18]
001b1998add rdi, 72
001b199cmov rbx, rsp
001b199fmov rsp, [r14+64]
001b19a3call caml_initialize
001b19a8mov rsp, rbx
001b19ablea rsi, [rip+0x18bc0e]
001b19b2lea rdi, [rip+0x18bef7]
001b19b9add rdi, 336
001b19c0mov rbx, rsp
001b19c3mov rsp, [r14+64]
001b19c7call caml_initialize
001b19ccmov rsp, rbx
001b19cflea rsi, [rip+0x18bc0a]
001b19d6lea rdi, [rip+0x18bed3]
001b19ddadd rdi, 80
001b19e1mov rbx, rsp
001b19e4mov rsp, [r14+64]
001b19e8call caml_initialize
001b19edmov rsp, rbx
001b19f0lea rsi, [rip+0x18bc01]
001b19f7lea rdi, [rip+0x18beb2]
001b19feadd rdi, 136
001b1a05mov rbx, rsp
001b1a08mov rsp, [r14+64]
001b1a0ccall caml_initialize
001b1a11mov rsp, rbx
001b1a14lea rsi, [rip+0x18bbfd]
001b1a1blea rdi, [rip+0x18be8e]
001b1a22add rdi, 144
001b1a29mov rbx, rsp
001b1a2cmov rsp, [r14+64]
001b1a30call caml_initialize
001b1a35mov rsp, rbx
001b1a38lea rsi, [rip+0x18bbf9]
001b1a3flea rdi, [rip+0x18be6a]
001b1a46add rdi, 152
001b1a4dmov rbx, rsp
001b1a50mov rsp, [r14+64]
001b1a54call caml_initialize
001b1a59mov rsp, rbx
001b1a5clea rsi, [rip+0x18bbf5]
001b1a63lea rdi, [rip+0x18be46]
001b1a6aadd rdi, 184
001b1a71mov rbx, rsp
001b1a74mov rsp, [r14+64]
001b1a78call caml_initialize
001b1a7dmov rsp, rbx
001b1a80lea rsi, [rip+0x18bbf1]
001b1a87lea rdi, [rip+0x18be22]
001b1a8eadd rdi, 176
001b1a95mov rbx, rsp
001b1a98mov rsp, [r14+64]
001b1a9ccall caml_initialize
001b1aa1mov rsp, rbx
001b1aa4lea rsi, [rip+0x18bbed]
001b1aablea rdi, [rip+0x18bdfe]
001b1ab2add rdi, 192
001b1ab9mov rbx, rsp
001b1abcmov rsp, [r14+64]
001b1ac0call caml_initialize
001b1ac5mov rsp, rbx
001b1ac8lea rsi, [rip+0x18bbe9]
001b1acflea rdi, [rip+0x18bdda]
001b1ad6add rdi, 200
001b1addmov rbx, rsp
001b1ae0mov rsp, [r14+64]
001b1ae4call caml_initialize
001b1ae9mov rsp, rbx
001b1aeclea rsi, [rip+0x18bbe5]
001b1af3lea rdi, [rip+0x18bdb6]
001b1afaadd rdi, 208
001b1b01mov rbx, rsp
001b1b04mov rsp, [r14+64]
001b1b08call caml_initialize
001b1b0dmov rsp, rbx
001b1b10lea rsi, [rip+0x18bbe1]
001b1b17lea rdi, [rip+0x18bd92]
001b1b1eadd rdi, 216
001b1b25mov rbx, rsp
001b1b28mov rsp, [r14+64]
001b1b2ccall caml_initialize
001b1b31mov rsp, rbx
001b1b34lea rsi, [rip+0x18bbdd]
001b1b3blea rdi, [rip+0x18bd6e]
001b1b42add rdi, 224
001b1b49mov rbx, rsp
001b1b4cmov rsp, [r14+64]
001b1b50call caml_initialize
001b1b55mov rsp, rbx
001b1b58lea rsi, [rip+0x18bbd9]
001b1b5flea rdi, [rip+0x18bd4a]
001b1b66add rdi, 232
001b1b6dmov rbx, rsp
001b1b70mov rsp, [r14+64]
001b1b74call caml_initialize
001b1b79mov rsp, rbx
001b1b7clea rsi, [rip+0x18bbd5]
001b1b83lea rdi, [rip+0x18bd26]
001b1b8aadd rdi, 240
001b1b91mov rbx, rsp
001b1b94mov rsp, [r14+64]
001b1b98call caml_initialize
001b1b9dmov rsp, rbx
001b1ba0lea rsi, [rip+0x18bbd1]
001b1ba7lea rdi, [rip+0x18bd02]
001b1baeadd rdi, 248
001b1bb5mov rbx, rsp
001b1bb8mov rsp, [r14+64]
001b1bbccall caml_initialize
001b1bc1mov rsp, rbx
001b1bc4lea rsi, [rip+0x18bbcd]
001b1bcblea rdi, [rip+0x18bcde]
001b1bd2add rdi, 256
001b1bd9mov rbx, rsp
001b1bdcmov rsp, [r14+64]
001b1be0call caml_initialize
001b1be5mov rsp, rbx
001b1be8lea rsi, [rip+0x18bbc1]
001b1beflea rdi, [rip+0x18bcba]
001b1bf6add rdi, 264
001b1bfdmov rbx, rsp
001b1c00mov rsp, [r14+64]
001b1c04call caml_initialize
001b1c09mov rsp, rbx
001b1c0cmov edi, 1
001b1c11mov rbx, rsp
001b1c14mov rsp, [r14+64]
001b1c18call caml_fresh_oo_id
001b1c1dmov rsp, rbx
001b1c20call caml_alloc2
001b1c25lea rsi, [r15+8]
001b1c29mov [rsi-8], 2296
001b1c31lea rbx, [rip+0x18bfe8]
001b1c38mov [rsi], rbx
001b1c3bmov [rsi+8], rax
001b1c3flea rdi, [rip+0x18bc6a]
001b1c46add rdi, 344
001b1c4dmov rbx, rsp
001b1c50mov rsp, [r14+64]
001b1c54call caml_initialize
001b1c59mov rsp, rbx
001b1c5clea rsi, [rip+0x18bb6d]
001b1c63lea rdi, [rip+0x18bc46]
001b1c6aadd rdi, 272
001b1c71mov rbx, rsp
001b1c74mov rsp, [r14+64]
001b1c78call caml_initialize
001b1c7dmov rsp, rbx
001b1c80mov esi, 11
001b1c85lea rdi, [rip+0x18bc24]
001b1c8cadd rdi, 352
001b1c93mov rbx, rsp
001b1c96mov rsp, [r14+64]
001b1c9acall caml_initialize
001b1c9fmov rsp, rbx
001b1ca2lea rsi, [rip+0x18bb47]
001b1ca9lea rdi, [rip+0x18bc00]
001b1cb0add rdi, 280
001b1cb7mov rbx, rsp
001b1cbamov rsp, [r14+64]
001b1cbecall caml_initialize
001b1cc3mov rsp, rbx
001b1cc6lea rdi, [rip+0x18bbe3]
001b1ccdmov rsi, [rdi+280]
001b1cd4add rdi, 288
001b1cdbmov rbx, rsp
001b1cdemov rsp, [r14+64]
001b1ce2call caml_initialize
001b1ce7mov rsp, rbx
001b1cealea rsi, [rip+0x18bb1f]
001b1cf1lea rdi, [rip+0x18bbb8]
001b1cf8add rdi, 360
001b1cffmov rbx, rsp
001b1d02mov rsp, [r14+64]
001b1d06call caml_initialize
001b1d0bmov rsp, rbx
001b1d0elea rsi, [rip+0x18bb1b]
001b1d15lea rdi, [rip+0x18bb94]
001b1d1cadd rdi, 296
001b1d23mov rbx, rsp
001b1d26mov rsp, [r14+64]
001b1d2acall caml_initialize
001b1d2fmov rsp, rbx
001b1d32lea rsi, [rip+0x18bb17]
001b1d39lea rdi, [rip+0x18bb70]
001b1d40add rdi, 304
001b1d47mov rbx, rsp
001b1d4amov rsp, [r14+64]
001b1d4ecall caml_initialize
001b1d53mov rsp, rbx
001b1d56lea rsi, [rip+0x18bb0b]
001b1d5dlea rdi, [rip+0x18bb4c]
001b1d64add rdi, 312
001b1d6bmov rbx, rsp
001b1d6emov rsp, [r14+64]
001b1d72call caml_initialize
001b1d77mov rsp, rbx
001b1d7alea rsi, [rip+0x18baff]
001b1d81lea rdi, [rip+0x18bb28]
001b1d88add rdi, 368
001b1d8fmov rbx, rsp
001b1d92mov rsp, [r14+64]
001b1d96call caml_initialize
001b1d9bmov rsp, rbx
001b1d9elea rsi, [rip+0x18baf3]
001b1da5lea rdi, [rip+0x18bb04]
001b1dacadd rdi, 320
001b1db3mov rbx, rsp
001b1db6mov rsp, [r14+64]
001b1dbacall caml_initialize
001b1dbfmov rsp, rbx
001b1dc2mov eax, 1
001b1dc7ret
001b1730
001b1730Stdlib.Array.entry:
001b1730lea rsi, [rip+0x18bc61]
001b1737lea rdi, [rip+0x18c172]
001b173eadd rdi, 32
001b1742mov rbx, rsp
001b1745mov rsp, [r14+64]
001b1749call caml_initialize
001b174emov rsp, rbx
001b1751lea rsi, [rip+0x18c548]
001b1758lea rdi, [rip+0x18c151]
001b175fadd rdi, 328
001b1766mov rbx, rsp
001b1769mov rsp, [r14+64]
001b176dcall caml_initialize
001b1772mov rsp, rbx
001b1775lea rsi, [rip+0x18bc34]
001b177clea rdi, [rip+0x18c12d]
001b1783mov rbx, rsp
001b1786mov rsp, [r14+64]
001b178acall caml_initialize
001b178fmov rsp, rbx
001b1792lea rsi, [rip+0x18bc37]
001b1799lea rdi, [rip+0x18c110]
001b17a0add rdi, 8
001b17a4mov rbx, rsp
001b17a7mov rsp, [r14+64]
001b17abcall caml_initialize
001b17b0mov rsp, rbx
001b17b3lea rsi, [rip+0x18bc36]
001b17balea rdi, [rip+0x18c0ef]
001b17c1add rdi, 16
001b17c5mov rbx, rsp
001b17c8mov rsp, [r14+64]
001b17cccall caml_initialize
001b17d1mov rsp, rbx
001b17d4lea rsi, [rip+0x18bc35]
001b17dblea rdi, [rip+0x18c0ce]
001b17e2add rdi, 48
001b17e6mov rbx, rsp
001b17e9mov rsp, [r14+64]
001b17edcall caml_initialize
001b17f2mov rsp, rbx
001b17f5lea rsi, [rip+0x18bc2c]
001b17fclea rdi, [rip+0x18c0ad]
001b1803add rdi, 24
001b1807mov rbx, rsp
001b180amov rsp, [r14+64]
001b180ecall caml_initialize
001b1813mov rsp, rbx
001b1816lea rsi, [rip+0x18bc2b]
001b181dlea rdi, [rip+0x18c08c]
001b1824add rdi, 40
001b1828mov rbx, rsp
001b182bmov rsp, [r14+64]
001b182fcall caml_initialize
001b1834mov rsp, rbx
001b1837lea rsi, [rip+0x18bc2a]
001b183elea rdi, [rip+0x18c06b]
001b1845add rdi, 56
001b1849mov rbx, rsp
001b184cmov rsp, [r14+64]
001b1850call caml_initialize
001b1855mov rsp, rbx
001b1858lea rsi, [rip+0x18bc29]
001b185flea rdi, [rip+0x18c04a]
001b1866add rdi, 64
001b186amov rbx, rsp
001b186dmov rsp, [r14+64]
001b1871call caml_initialize
001b1876mov rsp, rbx
001b1879lea rsi, [rip+0x18bc28]
001b1880lea rdi, [rip+0x18c029]
001b1887add rdi, 88
001b188bmov rbx, rsp
001b188emov rsp, [r14+64]
001b1892call caml_initialize
001b1897mov rsp, rbx
001b189alea rsi, [rip+0x18bc27]
001b18a1lea rdi, [rip+0x18c008]
001b18a8add rdi, 160
001b18afmov rbx, rsp
001b18b2mov rsp, [r14+64]
001b18b6call caml_initialize
001b18bbmov rsp, rbx
001b18belea rsi, [rip+0x18bc23]
001b18c5lea rdi, [rip+0x18bfe4]
001b18ccadd rdi, 104
001b18d0mov rbx, rsp
001b18d3mov rsp, [r14+64]
001b18d7call caml_initialize
001b18dcmov rsp, rbx
001b18dflea rsi, [rip+0x18bc22]
001b18e6lea rdi, [rip+0x18bfc3]
001b18edadd rdi, 112
001b18f1mov rbx, rsp
001b18f4mov rsp, [r14+64]
001b18f8call caml_initialize
001b18fdmov rsp, rbx
001b1900lea rsi, [rip+0x18bc21]
001b1907lea rdi, [rip+0x18bfa2]
001b190eadd rdi, 128
001b1915mov rbx, rsp
001b1918mov rsp, [r14+64]
001b191ccall caml_initialize
001b1921mov rsp, rbx
001b1924lea rsi, [rip+0x18bc1d]
001b192blea rdi, [rip+0x18bf7e]
001b1932add rdi, 168
001b1939mov rbx, rsp
001b193cmov rsp, [r14+64]
001b1940call caml_initialize
001b1945mov rsp, rbx
001b1948lea rsi, [rip+0x18bc19]
001b194flea rdi, [rip+0x18bf5a]
001b1956add rdi, 96
001b195amov rbx, rsp
001b195dmov rsp, [r14+64]
001b1961call caml_initialize
001b1966mov rsp, rbx
001b1969lea rsi, [rip+0x18bc18]
001b1970lea rdi, [rip+0x18bf39]
001b1977add rdi, 120
001b197bmov rbx, rsp
001b197emov rsp, [r14+64]
001b1982call caml_initialize
001b1987mov rsp, rbx
001b198alea rsi, [rip+0x18bc17]
001b1991lea rdi, [rip+0x18bf18]
001b1998add rdi, 72
001b199cmov rbx, rsp
001b199fmov rsp, [r14+64]
001b19a3call caml_initialize
001b19a8mov rsp, rbx
001b19ablea rsi, [rip+0x18bc0e]
001b19b2lea rdi, [rip+0x18bef7]
001b19b9add rdi, 336
001b19c0mov rbx, rsp
001b19c3mov rsp, [r14+64]
001b19c7call caml_initialize
001b19ccmov rsp, rbx
001b19cflea rsi, [rip+0x18bc0a]
001b19d6lea rdi, [rip+0x18bed3]
001b19ddadd rdi, 80
001b19e1mov rbx, rsp
001b19e4mov rsp, [r14+64]
001b19e8call caml_initialize
001b19edmov rsp, rbx
001b19f0lea rsi, [rip+0x18bc01]
001b19f7lea rdi, [rip+0x18beb2]
001b19feadd rdi, 136
001b1a05mov rbx, rsp
001b1a08mov rsp, [r14+64]
001b1a0ccall caml_initialize
001b1a11mov rsp, rbx
001b1a14lea rsi, [rip+0x18bbfd]
001b1a1blea rdi, [rip+0x18be8e]
001b1a22add rdi, 144
001b1a29mov rbx, rsp
001b1a2cmov rsp, [r14+64]
001b1a30call caml_initialize
001b1a35mov rsp, rbx
001b1a38lea rsi, [rip+0x18bbf9]
001b1a3flea rdi, [rip+0x18be6a]
001b1a46add rdi, 152
001b1a4dmov rbx, rsp
001b1a50mov rsp, [r14+64]
001b1a54call caml_initialize
001b1a59mov rsp, rbx
001b1a5clea rsi, [rip+0x18bbf5]
001b1a63lea rdi, [rip+0x18be46]
001b1a6aadd rdi, 184
001b1a71mov rbx, rsp
001b1a74mov rsp, [r14+64]
001b1a78call caml_initialize
001b1a7dmov rsp, rbx
001b1a80lea rsi, [rip+0x18bbf1]
001b1a87lea rdi, [rip+0x18be22]
001b1a8eadd rdi, 176
001b1a95mov rbx, rsp
001b1a98mov rsp, [r14+64]
001b1a9ccall caml_initialize
001b1aa1mov rsp, rbx
001b1aa4lea rsi, [rip+0x18bbed]
001b1aablea rdi, [rip+0x18bdfe]
001b1ab2add rdi, 192
001b1ab9mov rbx, rsp
001b1abcmov rsp, [r14+64]
001b1ac0call caml_initialize
001b1ac5mov rsp, rbx
001b1ac8lea rsi, [rip+0x18bbe9]
001b1acflea rdi, [rip+0x18bdda]
001b1ad6add rdi, 200
001b1addmov rbx, rsp
001b1ae0mov rsp, [r14+64]
001b1ae4call caml_initialize
001b1ae9mov rsp, rbx
001b1aeclea rsi, [rip+0x18bbe5]
001b1af3lea rdi, [rip+0x18bdb6]
001b1afaadd rdi, 208
001b1b01mov rbx, rsp
001b1b04mov rsp, [r14+64]
001b1b08call caml_initialize
001b1b0dmov rsp, rbx
001b1b10lea rsi, [rip+0x18bbe1]
001b1b17lea rdi, [rip+0x18bd92]
001b1b1eadd rdi, 216
001b1b25mov rbx, rsp
001b1b28mov rsp, [r14+64]
001b1b2ccall caml_initialize
001b1b31mov rsp, rbx
001b1b34lea rsi, [rip+0x18bbdd]
001b1b3blea rdi, [rip+0x18bd6e]
001b1b42add rdi, 224
001b1b49mov rbx, rsp
001b1b4cmov rsp, [r14+64]
001b1b50call caml_initialize
001b1b55mov rsp, rbx
001b1b58lea rsi, [rip+0x18bbd9]
001b1b5flea rdi, [rip+0x18bd4a]
001b1b66add rdi, 232
001b1b6dmov rbx, rsp
001b1b70mov rsp, [r14+64]
001b1b74call caml_initialize
001b1b79mov rsp, rbx
001b1b7clea rsi, [rip+0x18bbd5]
001b1b83lea rdi, [rip+0x18bd26]
001b1b8aadd rdi, 240
001b1b91mov rbx, rsp
001b1b94mov rsp, [r14+64]
001b1b98call caml_initialize
001b1b9dmov rsp, rbx
001b1ba0lea rsi, [rip+0x18bbd1]
001b1ba7lea rdi, [rip+0x18bd02]
001b1baeadd rdi, 248
001b1bb5mov rbx, rsp
001b1bb8mov rsp, [r14+64]
001b1bbccall caml_initialize
001b1bc1mov rsp, rbx
001b1bc4lea rsi, [rip+0x18bbcd]
001b1bcblea rdi, [rip+0x18bcde]
001b1bd2add rdi, 256
001b1bd9mov rbx, rsp
001b1bdcmov rsp, [r14+64]
001b1be0call caml_initialize
001b1be5mov rsp, rbx
001b1be8lea rsi, [rip+0x18bbc1]
001b1beflea rdi, [rip+0x18bcba]
001b1bf6add rdi, 264
001b1bfdmov rbx, rsp
001b1c00mov rsp, [r14+64]
001b1c04call caml_initialize
001b1c09mov rsp, rbx
001b1c0cmov edi, 1
001b1c11mov rbx, rsp
001b1c14mov rsp, [r14+64]
001b1c18call caml_fresh_oo_id
001b1c1dmov rsp, rbx
001b1c20call caml_alloc2
001b1c25lea rsi, [r15+8]
001b1c29mov [rsi-8], 2296
001b1c31lea rbx, [rip+0x18bfe8]
001b1c38mov [rsi], rbx
001b1c3bmov [rsi+8], rax
001b1c3flea rdi, [rip+0x18bc6a]
001b1c46add rdi, 344
001b1c4dmov rbx, rsp
001b1c50mov rsp, [r14+64]
001b1c54call caml_initialize
001b1c59mov rsp, rbx
001b1c5clea rsi, [rip+0x18bb6d]
001b1c63lea rdi, [rip+0x18bc46]
001b1c6aadd rdi, 272
001b1c71mov rbx, rsp
001b1c74mov rsp, [r14+64]
001b1c78call caml_initialize
001b1c7dmov rsp, rbx
001b1c80mov esi, 11
001b1c85lea rdi, [rip+0x18bc24]
001b1c8cadd rdi, 352
001b1c93mov rbx, rsp
001b1c96mov rsp, [r14+64]
001b1c9acall caml_initialize
001b1c9fmov rsp, rbx
001b1ca2lea rsi, [rip+0x18bb47]
001b1ca9lea rdi, [rip+0x18bc00]
001b1cb0add rdi, 280
001b1cb7mov rbx, rsp
001b1cbamov rsp, [r14+64]
001b1cbecall caml_initialize
001b1cc3mov rsp, rbx
001b1cc6lea rdi, [rip+0x18bbe3]
001b1ccdmov rsi, [rdi+280]
001b1cd4add rdi, 288
001b1cdbmov rbx, rsp
001b1cdemov rsp, [r14+64]
001b1ce2call caml_initialize
001b1ce7mov rsp, rbx
001b1cealea rsi, [rip+0x18bb1f]
001b1cf1lea rdi, [rip+0x18bbb8]
001b1cf8add rdi, 360
001b1cffmov rbx, rsp
001b1d02mov rsp, [r14+64]
001b1d06call caml_initialize
001b1d0bmov rsp, rbx
001b1d0elea rsi, [rip+0x18bb1b]
001b1d15lea rdi, [rip+0x18bb94]
001b1d1cadd rdi, 296
001b1d23mov rbx, rsp
001b1d26mov rsp, [r14+64]
001b1d2acall caml_initialize
001b1d2fmov rsp, rbx
001b1d32lea rsi, [rip+0x18bb17]
001b1d39lea rdi, [rip+0x18bb70]
001b1d40add rdi, 304
001b1d47mov rbx, rsp
001b1d4amov rsp, [r14+64]
001b1d4ecall caml_initialize
001b1d53mov rsp, rbx
001b1d56lea rsi, [rip+0x18bb0b]
001b1d5dlea rdi, [rip+0x18bb4c]
001b1d64add rdi, 312
001b1d6bmov rbx, rsp
001b1d6emov rsp, [r14+64]
001b1d72call caml_initialize
001b1d77mov rsp, rbx
001b1d7alea rsi, [rip+0x18baff]
001b1d81lea rdi, [rip+0x18bb28]
001b1d88add rdi, 368
001b1d8fmov rbx, rsp
001b1d92mov rsp, [r14+64]
001b1d96call caml_initialize
001b1d9bmov rsp, rbx
001b1d9elea rsi, [rip+0x18baf3]
001b1da5lea rdi, [rip+0x18bb04]
001b1dacadd rdi, 320
001b1db3mov rbx, rsp
001b1db6mov rsp, [r14+64]
001b1dbacall caml_initialize
001b1dbfmov rsp, rbx
001b1dc2mov eax, 1
001b1dc7ret
001b1730
001b1dc8
001b1dc8 // align 0x10
001b1dc8 // align 0x10
001b1dd0
001b1dd0Stdlib.Float.fun:
001b1dd0movsd_xmm x0, [rbx]
001b1dd4movsd_xmm x1, [rax]
001b1dd8movapd x2, x0
001b1ddccmpsd x2, x0, 0
001b1de1movq rax, x2
001b1de6neg rax
001b1de9movapd x2, x1
001b1dedcmpsd x2, x1, 0
001b1df2movq rbx, x2
001b1df7neg rbx
001b1dfasub rbx, rax
001b1dfdmovapd x2, x1
001b1e01cmpsd x2, x0, 1
001b1e06movq rdi, x2
001b1e0bneg rdi
001b1e0ecmpsd x0, x1, 1
001b1e13movq rax, x0
001b1e18neg rax
001b1e1bsub rax, rdi
001b1e1eadd rax, rbx
001b1e21shl rax, 1
001b1e24inc rax
001b1e27ret
001b1dd0
001b1dd0Stdlib.Float.fun:
001b1dd0movsd_xmm x0, [rbx]
001b1dd4movsd_xmm x1, [rax]
001b1dd8movapd x2, x0
001b1ddccmpsd x2, x0, 0
001b1de1movq rax, x2
001b1de6neg rax
001b1de9movapd x2, x1
001b1dedcmpsd x2, x1, 0
001b1df2movq rbx, x2
001b1df7neg rbx
001b1dfasub rbx, rax
001b1dfdmovapd x2, x1
001b1e01cmpsd x2, x0, 1
001b1e06movq rdi, x2
001b1e0bneg rdi
001b1e0ecmpsd x0, x1, 1
001b1e13movq rax, x0
001b1e18neg rax
001b1e1bsub rax, rdi
001b1e1eadd rax, rbx
001b1e21shl rax, 1
001b1e24inc rax
001b1e27ret
001b1dd0
001b1e28
001b1e28 // align 0x10
001b1e28 // align 0x10
001b1e30
001b1e30Stdlib.Float.fun:
001b1e30mov rdi, rax
001b1e33lea rax, [rip+0x47ac6]
001b1e3acall caml_c_call
001b1e3fret
001b1e30
001b1e30Stdlib.Float.fun:
001b1e30mov rdi, rax
001b1e33lea rax, [rip+0x47ac6]
001b1e3acall caml_c_call
001b1e3fret
001b1e30
001b1e40
001b1e40Stdlib.Float.fun:
001b1e40movsd_xmm x0, [rbx]
001b1e44sar rax, 1
001b1e47mov rdi, rax
001b1e4alea rax, [rip+0x47b8f]
001b1e51call caml_c_call
001b1e56ret
001b1e40
001b1e40Stdlib.Float.fun:
001b1e40movsd_xmm x0, [rbx]
001b1e44sar rax, 1
001b1e47mov rdi, rax
001b1e4alea rax, [rip+0x47b8f]
001b1e51call caml_c_call
001b1e56ret
001b1e40
001b1e57
001b1e57 // align 0x10
001b1e57 // align 0x10
001b1e60
001b1e60Stdlib.Float.fun:
001b1e60mov rsi, [rax-8]
001b1e64shr rsi, 9
001b1e68cmp rsi, rbx
001b1e6bjbe 0x1b1e7d
001b1e6dmovsd_xmm x0, [rdi]
001b1e71movsd_xmm [rax+4*rbx-4], x0
001b1e77mov eax, 1
001b1e7cret
001b1e7d
001b1e7dloc_1b1e7d:
001b1e7dcall caml_ml_array_bound_error
001b1e60
001b1e60Stdlib.Float.fun:
001b1e60mov rsi, [rax-8]
001b1e64shr rsi, 9
001b1e68cmp rsi, rbx
001b1e6bjbe 0x1b1e7d
001b1e6dmovsd_xmm x0, [rdi]
001b1e71movsd_xmm [rax+4*rbx-4], x0
001b1e77mov eax, 1
001b1e7cret
001b1e7d
001b1e7dloc_1b1e7d:
001b1e7dcall caml_ml_array_bound_error
001b1e60
001b1e82
001b1e82 // align 0x10
001b1e82 // align 0x10
001b1e90
001b1e90Stdlib.Float.fun:
001b1e90sub r15, 16
001b1e94cmp r15, [r14]
001b1e97jb 0x1b1ec0
001b1e99
001b1e99loc_1b1e99:
001b1e99lea rdi, [r15+8]
001b1e9dmov [rdi-8], 1277
001b1ea5mov rsi, [rax-8]
001b1ea9shr rsi, 9
001b1eadcmp rsi, rbx
001b1eb0jbe 0x1b1ec7
001b1eb2movsd_xmm x0, [rax+4*rbx-4]
001b1eb8movsd_xmm [rdi], x0
001b1ebcmov rax, rdi
001b1ebfret
001b1ec0
001b1ec0loc_1b1ec0:
001b1ec0call caml_call_gc
001b1ec5jmp 0x1b1e99
001b1ec7
001b1ec7loc_1b1ec7:
001b1ec7call caml_ml_array_bound_error
001b1e90
001b1e90Stdlib.Float.fun:
001b1e90sub r15, 16
001b1e94cmp r15, [r14]
001b1e97jb 0x1b1ec0
001b1e99
001b1e99loc_1b1e99:
001b1e99lea rdi, [r15+8]
001b1e9dmov [rdi-8], 1277
001b1ea5mov rsi, [rax-8]
001b1ea9shr rsi, 9
001b1eadcmp rsi, rbx
001b1eb0jbe 0x1b1ec7
001b1eb2movsd_xmm x0, [rax+4*rbx-4]
001b1eb8movsd_xmm [rdi], x0
001b1ebcmov rax, rdi
001b1ebfret
001b1ec0
001b1ec0loc_1b1ec0:
001b1ec0call caml_call_gc
001b1ec5jmp 0x1b1e99
001b1ec7
001b1ec7loc_1b1ec7:
001b1ec7call caml_ml_array_bound_error
001b1e90
001b1ecc
001b1ecc // align 0x10
001b1ecc // align 0x10
001b1ed0
001b1ed0Stdlib.Float.fun:
001b1ed0mov rax, [rax-8]
001b1ed4shr rax, 9
001b1ed8or rax, 1
001b1edcret
001b1ed0
001b1ed0Stdlib.Float.fun:
001b1ed0mov rax, [rax-8]
001b1ed4shr rax, 9
001b1ed8or rax, 1
001b1edcret
001b1ed0
001b1edd
001b1edd // align 0x10
001b1edd // align 0x10
001b1ee0
001b1ee0Stdlib.Float.is_finite:
001b1ee0xorpd x0, x0
001b1ee4movsd_xmm x1, [rax]
001b1ee8subsd x1, [rax]
001b1eeccmpsd x1, x0, 0
001b1ef1movq rax, x1
001b1ef6neg rax
001b1ef9lea rax, [rax+rax+1]
001b1eferet
001b1ee0
001b1ee0Stdlib.Float.is_finite:
001b1ee0xorpd x0, x0
001b1ee4movsd_xmm x1, [rax]
001b1ee8subsd x1, [rax]
001b1eeccmpsd x1, x0, 0
001b1ef1movq rax, x1
001b1ef6neg rax
001b1ef9lea rax, [rax+rax+1]
001b1eferet
001b1ee0
001b1eff
001b1eff // align 0x10
001b1eff // align 0x10
001b1f00
001b1f00Stdlib.Float.is_infinite:
001b1f00xorpd x0, x0
001b1f04movsd_xmm x1, [rip+0x788fc]
001b1f0cdivsd x1, [rax]
001b1f10cmpsd x1, x0, 0
001b1f15movq rax, x1
001b1f1aneg rax
001b1f1dlea rax, [rax+rax+1]
001b1f22ret
001b1f00
001b1f00Stdlib.Float.is_infinite:
001b1f00xorpd x0, x0
001b1f04movsd_xmm x1, [rip+0x788fc]
001b1f0cdivsd x1, [rax]
001b1f10cmpsd x1, x0, 0
001b1f15movq rax, x1
001b1f1aneg rax
001b1f1dlea rax, [rax+rax+1]
001b1f22ret
001b1f00
001b1f23
001b1f23 // align 0x10
001b1f23 // align 0x10
001b1f30
001b1f30Stdlib.Float.is_nan:
001b1f30movsd_xmm x0, [rax]
001b1f34movapd x1, x0
001b1f38cmpsd x1, x0, 4
001b1f3dmovq rax, x1
001b1f42neg rax
001b1f45lea rax, [rax+rax+1]
001b1f4aret
001b1f30
001b1f30Stdlib.Float.is_nan:
001b1f30movsd_xmm x0, [rax]
001b1f34movapd x1, x0
001b1f38cmpsd x1, x0, 4
001b1f3dmovq rax, x1
001b1f42neg rax
001b1f45lea rax, [rax+rax+1]
001b1f4aret
001b1f30
001b1f4b
001b1f4b // align 0x10
001b1f4b // align 0x10
001b1f50
001b1f50Stdlib.Float.is_integer:
001b1f50mov r12, rax
001b1f53movsd_xmm x0, [r12]
001b1f59mov rbx, rsp
001b1f5cmov rsp, [r14+64]
001b1f60call caml_trunc
001b1f65mov rsp, rbx
001b1f68movsd_xmm x1, [r12]
001b1f6eucomisd x1, x0
001b1f72jp 0x1b1f94
001b1f74jne 0x1b1f94
001b1f76xorpd x0, x0
001b1f7asubsd x1, [r12]
001b1f80cmpsd x1, x0, 0
001b1f85movq rax, x1
001b1f8aneg rax
001b1f8dlea rax, [rax+rax+1]
001b1f92ret
001b1f93
001b1f93 90 .
001b1f94
001b1f94loc_1b1f94:
001b1f94mov eax, 1
001b1f99ret
001b1f50
001b1f50Stdlib.Float.is_integer:
001b1f50mov r12, rax
001b1f53movsd_xmm x0, [r12]
001b1f59mov rbx, rsp
001b1f5cmov rsp, [r14+64]
001b1f60call caml_trunc
001b1f65mov rsp, rbx
001b1f68movsd_xmm x1, [r12]
001b1f6eucomisd x1, x0
001b1f72jp 0x1b1f94
001b1f74jne 0x1b1f94
001b1f76xorpd x0, x0
001b1f7asubsd x1, [r12]
001b1f80cmpsd x1, x0, 0
001b1f85movq rax, x1
001b1f8aneg rax
001b1f8dlea rax, [rax+rax+1]
001b1f92ret
001b1f93
001b1f93 90 .
001b1f94
001b1f94loc_1b1f94:
001b1f94mov eax, 1
001b1f99ret
001b1f50
001b1f9a
001b1f9a // align 0x10
001b1f9a // align 0x10
001b1fa0
001b1fa0Stdlib.Float.succ:
001b1fa0lea rbx, [rip+0x18ec89]
001b1fa7mov rbx, [rbx+40]
001b1fabmovsd_xmm x1, [rbx]
001b1fafmovsd_xmm x0, [rax]
001b1fb3mov rbx, rsp
001b1fb6mov rsp, [r14+64]
001b1fbacall caml_nextafter
001b1fbfmov rsp, rbx
001b1fc2sub r15, 16
001b1fc6cmp r15, [r14]
001b1fc9jb 0x1b1fdc
001b1fcb
001b1fcbloc_1b1fcb:
001b1fcblea rax, [r15+8]
001b1fcfmov [rax-8], 1277
001b1fd7movsd_xmm [rax], x0
001b1fdbret
001b1fdc
001b1fdcloc_1b1fdc:
001b1fdccall caml_call_gc
001b1fe1jmp 0x1b1fcb
001b1fa0
001b1fa0Stdlib.Float.succ:
001b1fa0lea rbx, [rip+0x18ec89]
001b1fa7mov rbx, [rbx+40]
001b1fabmovsd_xmm x1, [rbx]
001b1fafmovsd_xmm x0, [rax]
001b1fb3mov rbx, rsp
001b1fb6mov rsp, [r14+64]
001b1fbacall caml_nextafter
001b1fbfmov rsp, rbx
001b1fc2sub r15, 16
001b1fc6cmp r15, [r14]
001b1fc9jb 0x1b1fdc
001b1fcb
001b1fcbloc_1b1fcb:
001b1fcblea rax, [r15+8]
001b1fcfmov [rax-8], 1277
001b1fd7movsd_xmm [rax], x0
001b1fdbret
001b1fdc
001b1fdcloc_1b1fdc:
001b1fdccall caml_call_gc
001b1fe1jmp 0x1b1fcb
001b1fa0
001b1fe3
001b1fe3 // align 0x10
001b1fe3 // align 0x10
001b1ff0
001b1ff0Stdlib.Float.pred:
001b1ff0lea rbx, [rip+0x18ec39]
001b1ff7mov rbx, [rbx+48]
001b1ffbmovsd_xmm x1, [rbx]
001b1fffmovsd_xmm x0, [rax]
001b2003mov rbx, rsp
001b2006mov rsp, [r14+64]
001b200acall caml_nextafter
001b200fmov rsp, rbx
001b2012sub r15, 16
001b2016cmp r15, [r14]
001b2019jb 0x1b202c
001b201b
001b201bloc_1b201b:
001b201blea rax, [r15+8]
001b201fmov [rax-8], 1277
001b2027movsd_xmm [rax], x0
001b202bret
001b202c
001b202cloc_1b202c:
001b202ccall caml_call_gc
001b2031jmp 0x1b201b
001b1ff0
001b1ff0Stdlib.Float.pred:
001b1ff0lea rbx, [rip+0x18ec39]
001b1ff7mov rbx, [rbx+48]
001b1ffbmovsd_xmm x1, [rbx]
001b1fffmovsd_xmm x0, [rax]
001b2003mov rbx, rsp
001b2006mov rsp, [r14+64]
001b200acall caml_nextafter
001b200fmov rsp, rbx
001b2012sub r15, 16
001b2016cmp r15, [r14]
001b2019jb 0x1b202c
001b201b
001b201bloc_1b201b:
001b201blea rax, [r15+8]
001b201fmov [rax-8], 1277
001b2027movsd_xmm [rax], x0
001b202bret
001b202c
001b202cloc_1b202c:
001b202ccall caml_call_gc
001b2031jmp 0x1b201b
001b1ff0
001b2033
001b2033 // align 0x10
001b2033 // align 0x10
001b2040
001b2040Stdlib.Float.equal:
001b2040movsd_xmm x0, [rbx]
001b2044movsd_xmm x1, [rax]
001b2048movapd x2, x0
001b204ccmpsd x2, x0, 0
001b2051movq rax, x2
001b2056neg rax
001b2059movapd x2, x1
001b205dcmpsd x2, x1, 0
001b2062movq rbx, x2
001b2067neg rbx
001b206asub rbx, rax
001b206dmovapd x2, x1
001b2071cmpsd x2, x0, 1
001b2076movq rax, x2
001b207bneg rax
001b207ecmpsd x0, x1, 1
001b2083movq rdi, x0
001b2088neg rdi
001b208bsub rdi, rax
001b208eadd rdi, rbx
001b2091shl rdi, 1
001b2094inc rdi
001b2097cmp rdi, 1
001b209bsete al
001b209emovzx rax, al
001b20a2lea rax, [rax+rax+1]
001b20a7ret
001b2040
001b2040Stdlib.Float.equal:
001b2040movsd_xmm x0, [rbx]
001b2044movsd_xmm x1, [rax]
001b2048movapd x2, x0
001b204ccmpsd x2, x0, 0
001b2051movq rax, x2
001b2056neg rax
001b2059movapd x2, x1
001b205dcmpsd x2, x1, 0
001b2062movq rbx, x2
001b2067neg rbx
001b206asub rbx, rax
001b206dmovapd x2, x1
001b2071cmpsd x2, x0, 1
001b2076movq rax, x2
001b207bneg rax
001b207ecmpsd x0, x1, 1
001b2083movq rdi, x0
001b2088neg rdi
001b208bsub rdi, rax
001b208eadd rdi, rbx
001b2091shl rdi, 1
001b2094inc rdi
001b2097cmp rdi, 1
001b209bsete al
001b209emovzx rax, al
001b20a2lea rax, [rax+rax+1]
001b20a7ret
001b2040
001b20a8
001b20a8 // align 0x10
001b20a8 // align 0x10
001b20b0
001b20b0Stdlib.Float.min:
001b20b0mov r12, rax
001b20b3mov r13, rbx
001b20b6movsd_xmm x1, [r12]
001b20bcmovsd_xmm x0, [r13]
001b20c2comisd x0, x1
001b20c6ja 0x1b2110
001b20c8mov rbx, rsp
001b20cbmov rsp, [r14+64]
001b20cfcall caml_signbit
001b20d4mov rsp, rbx
001b20d7cmp rax, 1
001b20dbjne 0x1b20f8
001b20ddmovsd_xmm x0, [r12]
001b20e3mov rbx, rsp
001b20e6mov rsp, [r14+64]
001b20eacall caml_signbit
001b20efmov rsp, rbx
001b20f2cmp rax, 1
001b20f6jne 0x1b2110
001b20f8
001b20f8loc_1b20f8:
001b20f8movsd_xmm x0, [r12]
001b20feucomisd x0, x0
001b2102jp 0x1b2106
001b2104je 0x1b210c
001b2106
001b2106loc_1b2106:
001b2106mov rax, r12
001b2109ret
001b210a
001b210a 66 90 f.
001b210c
001b210cloc_1b210c:
001b210cmov rax, r13
001b210fret
001b2110
001b2110loc_1b2110:
001b2110movsd_xmm x0, [r13]
001b2116ucomisd x0, x0
001b211ajp 0x1b211e
001b211cje 0x1b2124
001b211e
001b211eloc_1b211e:
001b211emov rax, r13
001b2121ret
001b2122
001b2122 66 90 f.
001b2124
001b2124loc_1b2124:
001b2124mov rax, r12
001b2127ret
001b20b0
001b20b0Stdlib.Float.min:
001b20b0mov r12, rax
001b20b3mov r13, rbx
001b20b6movsd_xmm x1, [r12]
001b20bcmovsd_xmm x0, [r13]
001b20c2comisd x0, x1
001b20c6ja 0x1b2110
001b20c8mov rbx, rsp
001b20cbmov rsp, [r14+64]
001b20cfcall caml_signbit
001b20d4mov rsp, rbx
001b20d7cmp rax, 1
001b20dbjne 0x1b20f8
001b20ddmovsd_xmm x0, [r12]
001b20e3mov rbx, rsp
001b20e6mov rsp, [r14+64]
001b20eacall caml_signbit
001b20efmov rsp, rbx
001b20f2cmp rax, 1
001b20f6jne 0x1b2110
001b20f8
001b20f8loc_1b20f8:
001b20f8movsd_xmm x0, [r12]
001b20feucomisd x0, x0
001b2102jp 0x1b2106
001b2104je 0x1b210c
001b2106
001b2106loc_1b2106:
001b2106mov rax, r12
001b2109ret
001b210a
001b210a 66 90 f.
001b210c
001b210cloc_1b210c:
001b210cmov rax, r13
001b210fret
001b2110
001b2110loc_1b2110:
001b2110movsd_xmm x0, [r13]
001b2116ucomisd x0, x0
001b211ajp 0x1b211e
001b211cje 0x1b2124
001b211e
001b211eloc_1b211e:
001b211emov rax, r13
001b2121ret
001b2122
001b2122 66 90 f.
001b2124
001b2124loc_1b2124:
001b2124mov rax, r12
001b2127ret
001b20b0
001b2128
001b2128 // align 0x10
001b2128 // align 0x10
001b2130
001b2130Stdlib.Float.max:
001b2130mov r12, rax
001b2133mov r13, rbx
001b2136movsd_xmm x1, [r12]
001b213cmovsd_xmm x0, [r13]
001b2142comisd x0, x1
001b2146ja 0x1b2190
001b2148mov rbx, rsp
001b214bmov rsp, [r14+64]
001b214fcall caml_signbit
001b2154mov rsp, rbx
001b2157cmp rax, 1
001b215bjne 0x1b2178
001b215dmovsd_xmm x0, [r12]
001b2163mov rbx, rsp
001b2166mov rsp, [r14+64]
001b216acall caml_signbit
001b216fmov rsp, rbx
001b2172cmp rax, 1
001b2176jne 0x1b2190
001b2178
001b2178loc_1b2178:
001b2178movsd_xmm x0, [r13]
001b217eucomisd x0, x0
001b2182jp 0x1b2186
001b2184je 0x1b218c
001b2186
001b2186loc_1b2186:
001b2186mov rax, r13
001b2189ret
001b218a
001b218a 66 90 f.
001b218c
001b218cloc_1b218c:
001b218cmov rax, r12
001b218fret
001b2190
001b2190loc_1b2190:
001b2190movsd_xmm x0, [r12]
001b2196ucomisd x0, x0
001b219ajp 0x1b219e
001b219cje 0x1b21a4
001b219e
001b219eloc_1b219e:
001b219emov rax, r12
001b21a1ret
001b21a2
001b21a2 66 90 f.
001b21a4
001b21a4loc_1b21a4:
001b21a4mov rax, r13
001b21a7ret
001b2130
001b2130Stdlib.Float.max:
001b2130mov r12, rax
001b2133mov r13, rbx
001b2136movsd_xmm x1, [r12]
001b213cmovsd_xmm x0, [r13]
001b2142comisd x0, x1
001b2146ja 0x1b2190
001b2148mov rbx, rsp
001b214bmov rsp, [r14+64]
001b214fcall caml_signbit
001b2154mov rsp, rbx
001b2157cmp rax, 1
001b215bjne 0x1b2178
001b215dmovsd_xmm x0, [r12]
001b2163mov rbx, rsp
001b2166mov rsp, [r14+64]
001b216acall caml_signbit
001b216fmov rsp, rbx
001b2172cmp rax, 1
001b2176jne 0x1b2190
001b2178
001b2178loc_1b2178:
001b2178movsd_xmm x0, [r13]
001b217eucomisd x0, x0
001b2182jp 0x1b2186
001b2184je 0x1b218c
001b2186
001b2186loc_1b2186:
001b2186mov rax, r13
001b2189ret
001b218a
001b218a 66 90 f.
001b218c
001b218cloc_1b218c:
001b218cmov rax, r12
001b218fret
001b2190
001b2190loc_1b2190:
001b2190movsd_xmm x0, [r12]
001b2196ucomisd x0, x0
001b219ajp 0x1b219e
001b219cje 0x1b21a4
001b219e
001b219eloc_1b219e:
001b219emov rax, r12
001b21a1ret
001b21a2
001b21a2 66 90 f.
001b21a4
001b21a4loc_1b21a4:
001b21a4mov rax, r13
001b21a7ret
001b2130
001b21a8
001b21a8 // align 0x10
001b21a8 // align 0x10
001b21b0
001b21b0Stdlib.Float.min_max:
001b21b0mov r12, rax
001b21b3mov r13, rbx
001b21b6movsd_xmm x0, [r12]
001b21bcmovapd x1, x0
001b21c0ucomisd x1, x0
001b21c4jp 0x1b2254
001b21cajne 0x1b2254
001b21d0movsd_xmm x0, [r13]
001b21d6ucomisd x0, x0
001b21dajp 0x1b2254
001b21dcjne 0x1b2254
001b21decomisd x0, x1
001b21e2ja 0x1b2234
001b21e4mov rbx, rsp
001b21e7mov rsp, [r14+64]
001b21ebcall caml_signbit
001b21f0mov rsp, rbx
001b21f3cmp rax, 1
001b21f7jne 0x1b2214
001b21f9movsd_xmm x0, [r12]
001b21ffmov rbx, rsp
001b2202mov rsp, [r14+64]
001b2206call caml_signbit
001b220bmov rsp, rbx
001b220ecmp rax, 1
001b2212jne 0x1b2234
001b2214
001b2214loc_1b2214:
001b2214sub r15, 24
001b2218cmp r15, [r14]
001b221bjb 0x1b228a
001b221d
001b221dloc_1b221d:
001b221dlea rax, [r15+8]
001b2221mov [rax-8], 2048
001b2229mov [rax], r13
001b222cmov [rax+8], r12
001b2230ret
001b2231
001b2231 0f 1f 00 ...
001b2234
001b2234loc_1b2234:
001b2234sub r15, 24
001b2238cmp r15, [r14]
001b223bjb 0x1b2283
001b223d
001b223dloc_1b223d:
001b223dlea rax, [r15+8]
001b2241mov [rax-8], 2048
001b2249mov [rax], r12
001b224cmov [rax+8], r13
001b2250ret
001b2251
001b2251 0f 1f 00 ...
001b2254
001b2254loc_1b2254:
001b2254sub r15, 24
001b2258cmp r15, [r14]
001b225bjb 0x1b227c
001b225d
001b225dloc_1b225d:
001b225dlea rax, [r15+8]
001b2261mov [rax-8], 2048
001b2269lea rbx, [rip+0x18e9c0]
001b2270mov rbx, [rbx+56]
001b2274mov [rax], rbx
001b2277mov [rax+8], rbx
001b227bret
001b227c
001b227cloc_1b227c:
001b227ccall caml_call_gc
001b2281jmp 0x1b225d
001b2283
001b2283loc_1b2283:
001b2283call caml_call_gc
001b2288jmp 0x1b223d
001b228a
001b228aloc_1b228a:
001b228acall caml_call_gc
001b228fjmp 0x1b221d
001b21b0
001b21b0Stdlib.Float.min_max:
001b21b0mov r12, rax
001b21b3mov r13, rbx
001b21b6movsd_xmm x0, [r12]
001b21bcmovapd x1, x0
001b21c0ucomisd x1, x0
001b21c4jp 0x1b2254
001b21cajne 0x1b2254
001b21d0movsd_xmm x0, [r13]
001b21d6ucomisd x0, x0
001b21dajp 0x1b2254
001b21dcjne 0x1b2254
001b21decomisd x0, x1
001b21e2ja 0x1b2234
001b21e4mov rbx, rsp
001b21e7mov rsp, [r14+64]
001b21ebcall caml_signbit
001b21f0mov rsp, rbx
001b21f3cmp rax, 1
001b21f7jne 0x1b2214
001b21f9movsd_xmm x0, [r12]
001b21ffmov rbx, rsp
001b2202mov rsp, [r14+64]
001b2206call caml_signbit
001b220bmov rsp, rbx
001b220ecmp rax, 1
001b2212jne 0x1b2234
001b2214
001b2214loc_1b2214:
001b2214sub r15, 24
001b2218cmp r15, [r14]
001b221bjb 0x1b228a
001b221d
001b221dloc_1b221d:
001b221dlea rax, [r15+8]
001b2221mov [rax-8], 2048
001b2229mov [rax], r13
001b222cmov [rax+8], r12
001b2230ret
001b2231
001b2231 0f 1f 00 ...
001b2234
001b2234loc_1b2234:
001b2234sub r15, 24
001b2238cmp r15, [r14]
001b223bjb 0x1b2283
001b223d
001b223dloc_1b223d:
001b223dlea rax, [r15+8]
001b2241mov [rax-8], 2048
001b2249mov [rax], r12
001b224cmov [rax+8], r13
001b2250ret
001b2251
001b2251 0f 1f 00 ...
001b2254
001b2254loc_1b2254:
001b2254sub r15, 24
001b2258cmp r15, [r14]
001b225bjb 0x1b227c
001b225d
001b225dloc_1b225d:
001b225dlea rax, [r15+8]
001b2261mov [rax-8], 2048
001b2269lea rbx, [rip+0x18e9c0]
001b2270mov rbx, [rbx+56]
001b2274mov [rax], rbx
001b2277mov [rax+8], rbx
001b227bret
001b227c
001b227cloc_1b227c:
001b227ccall caml_call_gc
001b2281jmp 0x1b225d
001b2283
001b2283loc_1b2283:
001b2283call caml_call_gc
001b2288jmp 0x1b223d
001b228a
001b228aloc_1b228a:
001b228acall caml_call_gc
001b228fjmp 0x1b221d
001b21b0
001b2291
001b2291 // align 0x10
001b2291 // align 0x10
001b22a0
001b22a0Stdlib.Float.min_num:
001b22a0mov r12, rax
001b22a3mov r13, rbx
001b22a6movsd_xmm x1, [r12]
001b22acmovsd_xmm x0, [r13]
001b22b2comisd x0, x1
001b22b6ja 0x1b2300
001b22b8mov rbx, rsp
001b22bbmov rsp, [r14+64]
001b22bfcall caml_signbit
001b22c4mov rsp, rbx
001b22c7cmp rax, 1
001b22cbjne 0x1b22e8
001b22cdmovsd_xmm x0, [r12]
001b22d3mov rbx, rsp
001b22d6mov rsp, [r14+64]
001b22dacall caml_signbit
001b22dfmov rsp, rbx
001b22e2cmp rax, 1
001b22e6jne 0x1b2300
001b22e8
001b22e8loc_1b22e8:
001b22e8movsd_xmm x0, [r13]
001b22eeucomisd x0, x0
001b22f2jp 0x1b22f6
001b22f4je 0x1b22fc
001b22f6
001b22f6loc_1b22f6:
001b22f6mov rax, r12
001b22f9ret
001b22fa
001b22fa 66 90 f.
001b22fc
001b22fcloc_1b22fc:
001b22fcmov rax, r13
001b22ffret
001b2300
001b2300loc_1b2300:
001b2300movsd_xmm x0, [r12]
001b2306ucomisd x0, x0
001b230ajp 0x1b230e
001b230cje 0x1b2314
001b230e
001b230eloc_1b230e:
001b230emov rax, r13
001b2311ret
001b2312
001b2312 66 90 f.
001b2314
001b2314loc_1b2314:
001b2314mov rax, r12
001b2317ret
001b22a0
001b22a0Stdlib.Float.min_num:
001b22a0mov r12, rax
001b22a3mov r13, rbx
001b22a6movsd_xmm x1, [r12]
001b22acmovsd_xmm x0, [r13]
001b22b2comisd x0, x1
001b22b6ja 0x1b2300
001b22b8mov rbx, rsp
001b22bbmov rsp, [r14+64]
001b22bfcall caml_signbit
001b22c4mov rsp, rbx
001b22c7cmp rax, 1
001b22cbjne 0x1b22e8
001b22cdmovsd_xmm x0, [r12]
001b22d3mov rbx, rsp
001b22d6mov rsp, [r14+64]
001b22dacall caml_signbit
001b22dfmov rsp, rbx
001b22e2cmp rax, 1
001b22e6jne 0x1b2300
001b22e8
001b22e8loc_1b22e8:
001b22e8movsd_xmm x0, [r13]
001b22eeucomisd x0, x0
001b22f2jp 0x1b22f6
001b22f4je 0x1b22fc
001b22f6
001b22f6loc_1b22f6:
001b22f6mov rax, r12
001b22f9ret
001b22fa
001b22fa 66 90 f.
001b22fc
001b22fcloc_1b22fc:
001b22fcmov rax, r13
001b22ffret
001b2300
001b2300loc_1b2300:
001b2300movsd_xmm x0, [r12]
001b2306ucomisd x0, x0
001b230ajp 0x1b230e
001b230cje 0x1b2314
001b230e
001b230eloc_1b230e:
001b230emov rax, r13
001b2311ret
001b2312
001b2312 66 90 f.
001b2314
001b2314loc_1b2314:
001b2314mov rax, r12
001b2317ret
001b22a0
001b2318
001b2318 // align 0x10
001b2318 // align 0x10
001b2320
001b2320Stdlib.Float.max_num:
001b2320mov r12, rax
001b2323mov r13, rbx
001b2326movsd_xmm x1, [r12]
001b232cmovsd_xmm x0, [r13]
001b2332comisd x0, x1
001b2336ja 0x1b2380
001b2338mov rbx, rsp
001b233bmov rsp, [r14+64]
001b233fcall caml_signbit
001b2344mov rsp, rbx
001b2347cmp rax, 1
001b234bjne 0x1b2368
001b234dmovsd_xmm x0, [r12]
001b2353mov rbx, rsp
001b2356mov rsp, [r14+64]
001b235acall caml_signbit
001b235fmov rsp, rbx
001b2362cmp rax, 1
001b2366jne 0x1b2380
001b2368
001b2368loc_1b2368:
001b2368movsd_xmm x0, [r12]
001b236eucomisd x0, x0
001b2372jp 0x1b2376
001b2374je 0x1b237c
001b2376
001b2376loc_1b2376:
001b2376mov rax, r13
001b2379ret
001b237a
001b237a 66 90 f.
001b237c
001b237cloc_1b237c:
001b237cmov rax, r12
001b237fret
001b2380
001b2380loc_1b2380:
001b2380movsd_xmm x0, [r13]
001b2386ucomisd x0, x0
001b238ajp 0x1b238e
001b238cje 0x1b2394
001b238e
001b238eloc_1b238e:
001b238emov rax, r12
001b2391ret
001b2392
001b2392 66 90 f.
001b2394
001b2394loc_1b2394:
001b2394mov rax, r13
001b2397ret
001b2320
001b2320Stdlib.Float.max_num:
001b2320mov r12, rax
001b2323mov r13, rbx
001b2326movsd_xmm x1, [r12]
001b232cmovsd_xmm x0, [r13]
001b2332comisd x0, x1
001b2336ja 0x1b2380
001b2338mov rbx, rsp
001b233bmov rsp, [r14+64]
001b233fcall caml_signbit
001b2344mov rsp, rbx
001b2347cmp rax, 1
001b234bjne 0x1b2368
001b234dmovsd_xmm x0, [r12]
001b2353mov rbx, rsp
001b2356mov rsp, [r14+64]
001b235acall caml_signbit
001b235fmov rsp, rbx
001b2362cmp rax, 1
001b2366jne 0x1b2380
001b2368
001b2368loc_1b2368:
001b2368movsd_xmm x0, [r12]
001b236eucomisd x0, x0
001b2372jp 0x1b2376
001b2374je 0x1b237c
001b2376
001b2376loc_1b2376:
001b2376mov rax, r13
001b2379ret
001b237a
001b237a 66 90 f.
001b237c
001b237cloc_1b237c:
001b237cmov rax, r12
001b237fret
001b2380
001b2380loc_1b2380:
001b2380movsd_xmm x0, [r13]
001b2386ucomisd x0, x0
001b238ajp 0x1b238e
001b238cje 0x1b2394
001b238e
001b238eloc_1b238e:
001b238emov rax, r12
001b2391ret
001b2392
001b2392 66 90 f.
001b2394
001b2394loc_1b2394:
001b2394mov rax, r13
001b2397ret
001b2320
001b2398
001b2398 // align 0x10
001b2398 // align 0x10
001b23a0
001b23a0Stdlib.Float.min_max_num:
001b23a0mov r12, rax
001b23a3mov r13, rbx
001b23a6movsd_xmm x0, [r12]
001b23acmovapd x1, x0
001b23b0ucomisd x1, x0
001b23b4jp 0x1b23b8
001b23b6je 0x1b23dc
001b23b8
001b23b8loc_1b23b8:
001b23b8sub r15, 24
001b23bccmp r15, [r14]
001b23bfjb 0x1b2495
001b23c5
001b23c5loc_1b23c5:
001b23c5lea rax, [r15+8]
001b23c9mov [rax-8], 2048
001b23d1mov [rax], r13
001b23d4mov [rax+8], r13
001b23d8ret
001b23d9
001b23d9 0f 1f 00 ...
001b23dc
001b23dcloc_1b23dc:
001b23dcmovsd_xmm x0, [r13]
001b23e2ucomisd x0, x0
001b23e6jp 0x1b23ea
001b23e8je 0x1b240c
001b23ea
001b23ealoc_1b23ea:
001b23easub r15, 24
001b23eecmp r15, [r14]
001b23f1jb 0x1b248b
001b23f7
001b23f7loc_1b23f7:
001b23f7lea rax, [r15+8]
001b23fbmov [rax-8], 2048
001b2403mov [rax], r12
001b2406mov [rax+8], r12
001b240aret
001b240b
001b240b 90 .
001b240c
001b240cloc_1b240c:
001b240ccomisd x0, x1
001b2410ja 0x1b2460
001b2412mov rbx, rsp
001b2415mov rsp, [r14+64]
001b2419call caml_signbit
001b241emov rsp, rbx
001b2421cmp rax, 1
001b2425jne 0x1b2442
001b2427movsd_xmm x0, [r12]
001b242dmov rbx, rsp
001b2430mov rsp, [r14+64]
001b2434call caml_signbit
001b2439mov rsp, rbx
001b243ccmp rax, 1
001b2440jne 0x1b2460
001b2442
001b2442loc_1b2442:
001b2442sub r15, 24
001b2446cmp r15, [r14]
001b2449jb 0x1b2484
001b244b
001b244bloc_1b244b:
001b244blea rax, [r15+8]
001b244fmov [rax-8], 2048
001b2457mov [rax], r13
001b245amov [rax+8], r12
001b245eret
001b245f
001b245f 90 .
001b2460
001b2460loc_1b2460:
001b2460sub r15, 24
001b2464cmp r15, [r14]
001b2467jb 0x1b247d
001b2469
001b2469loc_1b2469:
001b2469lea rax, [r15+8]
001b246dmov [rax-8], 2048
001b2475mov [rax], r12
001b2478mov [rax+8], r13
001b247cret
001b247d
001b247dloc_1b247d:
001b247dcall caml_call_gc
001b2482jmp 0x1b2469
001b2484
001b2484loc_1b2484:
001b2484call caml_call_gc
001b2489jmp 0x1b244b
001b248b
001b248bloc_1b248b:
001b248bcall caml_call_gc
001b2490jmp 0x1b23f7
001b2495
001b2495loc_1b2495:
001b2495call caml_call_gc
001b249ajmp 0x1b23c5
001b23a0
001b23a0Stdlib.Float.min_max_num:
001b23a0mov r12, rax
001b23a3mov r13, rbx
001b23a6movsd_xmm x0, [r12]
001b23acmovapd x1, x0
001b23b0ucomisd x1, x0
001b23b4jp 0x1b23b8
001b23b6je 0x1b23dc
001b23b8
001b23b8loc_1b23b8:
001b23b8sub r15, 24
001b23bccmp r15, [r14]
001b23bfjb 0x1b2495
001b23c5
001b23c5loc_1b23c5:
001b23c5lea rax, [r15+8]
001b23c9mov [rax-8], 2048
001b23d1mov [rax], r13
001b23d4mov [rax+8], r13
001b23d8ret
001b23d9
001b23d9 0f 1f 00 ...
001b23dc
001b23dcloc_1b23dc:
001b23dcmovsd_xmm x0, [r13]
001b23e2ucomisd x0, x0
001b23e6jp 0x1b23ea
001b23e8je 0x1b240c
001b23ea
001b23ealoc_1b23ea:
001b23easub r15, 24
001b23eecmp r15, [r14]
001b23f1jb 0x1b248b
001b23f7
001b23f7loc_1b23f7:
001b23f7lea rax, [r15+8]
001b23fbmov [rax-8], 2048
001b2403mov [rax], r12
001b2406mov [rax+8], r12
001b240aret
001b240b
001b240b 90 .
001b240c
001b240cloc_1b240c:
001b240ccomisd x0, x1
001b2410ja 0x1b2460
001b2412mov rbx, rsp
001b2415mov rsp, [r14+64]
001b2419call caml_signbit
001b241emov rsp, rbx
001b2421cmp rax, 1
001b2425jne 0x1b2442
001b2427movsd_xmm x0, [r12]
001b242dmov rbx, rsp
001b2430mov rsp, [r14+64]
001b2434call caml_signbit
001b2439mov rsp, rbx
001b243ccmp rax, 1
001b2440jne 0x1b2460
001b2442
001b2442loc_1b2442:
001b2442sub r15, 24
001b2446cmp r15, [r14]
001b2449jb 0x1b2484
001b244b
001b244bloc_1b244b:
001b244blea rax, [r15+8]
001b244fmov [rax-8], 2048
001b2457mov [rax], r13
001b245amov [rax+8], r12
001b245eret
001b245f
001b245f 90 .
001b2460
001b2460loc_1b2460:
001b2460sub r15, 24
001b2464cmp r15, [r14]
001b2467jb 0x1b247d
001b2469
001b2469loc_1b2469:
001b2469lea rax, [r15+8]
001b246dmov [rax-8], 2048
001b2475mov [rax], r12
001b2478mov [rax+8], r13
001b247cret
001b247d
001b247dloc_1b247d:
001b247dcall caml_call_gc
001b2482jmp 0x1b2469
001b2484
001b2484loc_1b2484:
001b2484call caml_call_gc
001b2489jmp 0x1b244b
001b248b
001b248bloc_1b248b:
001b248bcall caml_call_gc
001b2490jmp 0x1b23f7
001b2495
001b2495loc_1b2495:
001b2495call caml_call_gc
001b249ajmp 0x1b23c5
001b23a0
001b249f
001b249f // align 0x10
001b249f // align 0x10
001b24a0
001b24a0Stdlib.Float.seeded_hash:
001b24a0mov esi, 201
001b24a5mov edi, 21
001b24aamov rdx, rax
001b24admov rcx, rbx
001b24b0mov rbx, rsp
001b24b3mov rsp, [r14+64]
001b24b7call caml_hash
001b24bcmov rsp, rbx
001b24bfret
001b24a0
001b24a0Stdlib.Float.seeded_hash:
001b24a0mov esi, 201
001b24a5mov edi, 21
001b24aamov rdx, rax
001b24admov rcx, rbx
001b24b0mov rbx, rsp
001b24b3mov rsp, [r14+64]
001b24b7call caml_hash
001b24bcmov rsp, rbx
001b24bfret
001b24a0
001b24c0
001b24c0Stdlib.Float.hash:
001b24c0mov edx, 1
001b24c5mov esi, 201
001b24camov edi, 21
001b24cfmov rcx, rax
001b24d2mov rbx, rsp
001b24d5mov rsp, [r14+64]
001b24d9call caml_hash
001b24demov rsp, rbx
001b24e1ret
001b24c0
001b24c0Stdlib.Float.hash:
001b24c0mov edx, 1
001b24c5mov esi, 201
001b24camov edi, 21
001b24cfmov rcx, rax
001b24d2mov rbx, rsp
001b24d5mov rsp, [r14+64]
001b24d9call caml_hash
001b24demov rsp, rbx
001b24e1ret
001b24c0
001b24e2
001b24e2 // align 0x10
001b24e2 // align 0x10
001b24f0
001b24f0Stdlib.Float.fun:
001b24f0mov rdi, rax
001b24f3lea rax, [rip+0x47406]
001b24facall caml_c_call
001b24ffret
001b24f0
001b24f0Stdlib.Float.fun:
001b24f0mov rdi, rax
001b24f3lea rax, [rip+0x47406]
001b24facall caml_c_call
001b24ffret
001b24f0
001b2500
001b2500Stdlib.Float.fun:
001b2500movsd_xmm x0, [rbx]
001b2504sar rax, 1
001b2507mov rdi, rax
001b250alea rax, [rip+0x474cf]
001b2511call caml_c_call
001b2516ret
001b2500
001b2500Stdlib.Float.fun:
001b2500movsd_xmm x0, [rbx]
001b2504sar rax, 1
001b2507mov rdi, rax
001b250alea rax, [rip+0x474cf]
001b2511call caml_c_call
001b2516ret
001b2500
001b2517
001b2517 // align 0x10
001b2517 // align 0x10
001b2520
001b2520Stdlib.Float.fun:
001b2520mov rsi, [rax-8]
001b2524shr rsi, 9
001b2528cmp rsi, rbx
001b252bjbe 0x1b253d
001b252dmovsd_xmm x0, [rdi]
001b2531movsd_xmm [rax+4*rbx-4], x0
001b2537mov eax, 1
001b253cret
001b253d
001b253dloc_1b253d:
001b253dcall caml_ml_array_bound_error
001b2520
001b2520Stdlib.Float.fun:
001b2520mov rsi, [rax-8]
001b2524shr rsi, 9
001b2528cmp rsi, rbx
001b252bjbe 0x1b253d
001b252dmovsd_xmm x0, [rdi]
001b2531movsd_xmm [rax+4*rbx-4], x0
001b2537mov eax, 1
001b253cret
001b253d
001b253dloc_1b253d:
001b253dcall caml_ml_array_bound_error
001b2520
001b2542
001b2542 // align 0x10
001b2542 // align 0x10
001b2550
001b2550Stdlib.Float.fun:
001b2550sub r15, 16
001b2554cmp r15, [r14]
001b2557jb 0x1b2580
001b2559
001b2559loc_1b2559:
001b2559lea rdi, [r15+8]
001b255dmov [rdi-8], 1277
001b2565mov rsi, [rax-8]
001b2569shr rsi, 9
001b256dcmp rsi, rbx
001b2570jbe 0x1b2587
001b2572movsd_xmm x0, [rax+4*rbx-4]
001b2578movsd_xmm [rdi], x0
001b257cmov rax, rdi
001b257fret
001b2580
001b2580loc_1b2580:
001b2580call caml_call_gc
001b2585jmp 0x1b2559
001b2587
001b2587loc_1b2587:
001b2587call caml_ml_array_bound_error
001b2550
001b2550Stdlib.Float.fun:
001b2550sub r15, 16
001b2554cmp r15, [r14]
001b2557jb 0x1b2580
001b2559
001b2559loc_1b2559:
001b2559lea rdi, [r15+8]
001b255dmov [rdi-8], 1277
001b2565mov rsi, [rax-8]
001b2569shr rsi, 9
001b256dcmp rsi, rbx
001b2570jbe 0x1b2587
001b2572movsd_xmm x0, [rax+4*rbx-4]
001b2578movsd_xmm [rdi], x0
001b257cmov rax, rdi
001b257fret
001b2580
001b2580loc_1b2580:
001b2580call caml_call_gc
001b2585jmp 0x1b2559
001b2587
001b2587loc_1b2587:
001b2587call caml_ml_array_bound_error
001b2550
001b258c
001b258c // align 0x10
001b258c // align 0x10
001b2590
001b2590Stdlib.Float.fun:
001b2590mov rax, [rax-8]
001b2594shr rax, 9
001b2598or rax, 1
001b259cret
001b2590
001b2590Stdlib.Float.fun:
001b2590mov rax, [rax-8]
001b2594shr rax, 9
001b2598or rax, 1
001b259cret
001b2590
001b259d
001b259d // align 0x10
001b259d // align 0x10
001b25a0
001b25a0Stdlib.Float.check:
001b25a0cmp rbx, 1
001b25a4jl 0x1b25d0
001b25a6cmp rdi, 1
001b25aajl 0x1b25d0
001b25aclea rbx, [rbx+rdi-1]
001b25b1cmp rbx, 1
001b25b5jl 0x1b25d0
001b25b7mov rax, [rax-8]
001b25bbshr rax, 9
001b25bfor rax, 1
001b25c3cmp rbx, rax
001b25c6jg 0x1b25d0
001b25c8mov eax, 1
001b25cdret
001b25ce
001b25ce 66 90 f.
001b25d0
001b25d0loc_1b25d0:
001b25d0mov rax, rsi
001b25d3jmp 0x195ab0
001b25a0
001b25a0Stdlib.Float.check:
001b25a0cmp rbx, 1
001b25a4jl 0x1b25d0
001b25a6cmp rdi, 1
001b25aajl 0x1b25d0
001b25aclea rbx, [rbx+rdi-1]
001b25b1cmp rbx, 1
001b25b5jl 0x1b25d0
001b25b7mov rax, [rax-8]
001b25bbshr rax, 9
001b25bfor rax, 1
001b25c3cmp rbx, rax
001b25c6jg 0x1b25d0
001b25c8mov eax, 1
001b25cdret
001b25ce
001b25ce 66 90 f.
001b25d0
001b25d0loc_1b25d0:
001b25d0mov rax, rsi
001b25d3jmp 0x195ab0
001b25a0
001b25d8
001b25d8 // align 0x10
001b25d8 // align 0x10
001b25e0
001b25e0Stdlib.Float.init:
001b25e0lea r10, [rsp-352]
001b25e8cmp r10, [r14+40]
001b25ecjb 0x1b268f
001b25f2
001b25f2loc_1b25f2:
001b25f2sub rsp, 32
001b25f6cmp rax, 1
001b25fajge 0x1b260c
001b25fclea rax, [rip+0x18e90d]
001b2603add rsp, 32
001b2607jmp 0x195ab0
001b260c
001b260cloc_1b260c:
001b260cmov [rsp+8], rbx
001b2611mov [rsp], rax
001b2615mov rdi, rax
001b2618lea rax, [rip+0x472e1]
001b261fcall caml_c_call
001b2624mov rbx, rax
001b2627mov eax, 1
001b262cmov rdi, [rsp]
001b2630add rdi, -2
001b2634cmp rax, rdi
001b2637jg 0x1b2680
001b2639mov [rsp+24], rdi
001b263emov [rsp], rax
001b2642mov [rsp+16], rbx
001b2647
001b2647loc_1b2647:
001b2647mov rbx, [rsp+8]
001b264cmov rdi, [rbx]
001b264fcall rdi
001b2651movsd_xmm x0, [rax]
001b2655mov rax, [rsp]
001b2659mov rbx, [rsp+16]
001b265emovsd_xmm [rbx+4*rax-4], x0
001b2664mov rdi, rax
001b2667add rax, 2
001b266bmov [rsp], rax
001b266fmov rsi, [rsp+24]
001b2674cmp rdi, rsi
001b2677je 0x1b2680
001b2679cmp r15, [r14]
001b267cja 0x1b2647
001b267ejmp 0x1b2688
001b2680
001b2680loc_1b2680:
001b2680mov rax, rbx
001b2683add rsp, 32
001b2687ret
001b2688
001b2688loc_1b2688:
001b2688call caml_call_gc
001b268djmp 0x1b2647
001b268f
001b268floc_1b268f:
001b268fpush 37
001b2691call caml_call_realloc_stack
001b2696pop r10
001b2698jmp 0x1b25f2
001b25e0
001b25e0Stdlib.Float.init:
001b25e0lea r10, [rsp-352]
001b25e8cmp r10, [r14+40]
001b25ecjb 0x1b268f
001b25f2
001b25f2loc_1b25f2:
001b25f2sub rsp, 32
001b25f6cmp rax, 1
001b25fajge 0x1b260c
001b25fclea rax, [rip+0x18e90d]
001b2603add rsp, 32
001b2607jmp 0x195ab0
001b260c
001b260cloc_1b260c:
001b260cmov [rsp+8], rbx
001b2611mov [rsp], rax
001b2615mov rdi, rax
001b2618lea rax, [rip+0x472e1]
001b261fcall caml_c_call
001b2624mov rbx, rax
001b2627mov eax, 1
001b262cmov rdi, [rsp]
001b2630add rdi, -2
001b2634cmp rax, rdi
001b2637jg 0x1b2680
001b2639mov [rsp+24], rdi
001b263emov [rsp], rax
001b2642mov [rsp+16], rbx
001b2647
001b2647loc_1b2647:
001b2647mov rbx, [rsp+8]
001b264cmov rdi, [rbx]
001b264fcall rdi
001b2651movsd_xmm x0, [rax]
001b2655mov rax, [rsp]
001b2659mov rbx, [rsp+16]
001b265emovsd_xmm [rbx+4*rax-4], x0
001b2664mov rdi, rax
001b2667add rax, 2
001b266bmov [rsp], rax
001b266fmov rsi, [rsp+24]
001b2674cmp rdi, rsi
001b2677je 0x1b2680
001b2679cmp r15, [r14]
001b267cja 0x1b2647
001b267ejmp 0x1b2688
001b2680
001b2680loc_1b2680:
001b2680mov rax, rbx
001b2683add rsp, 32
001b2687ret
001b2688
001b2688loc_1b2688:
001b2688call caml_call_gc
001b268djmp 0x1b2647
001b268f
001b268floc_1b268f:
001b268fpush 37
001b2691call caml_call_realloc_stack
001b2696pop r10
001b2698jmp 0x1b25f2
001b25e0
Loading..