File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37c421262
    37c421262 // align 0x20
    37c421280
    37c421280zunghr_64_:
    37c421280push r15
    37c421282push r14
    37c421284push r13
    37c421286push r12
    37c421288push rbp
    37c421289push rdi
    37c42128apush rsi
    37c42128bpush rbx
    37c42128csub rsp, 136
    37c421293mov rax, [rsp+240]
    37c42129bmov rbp, [rsp+272]
    37c4212a3mov r11, [rax]
    37c4212a6mov [rbp], 0
    37c4212aemov rdi, rcx
    37c4212b1mov rcx, [r8]
    37c4212b4mov rbx, rdx
    37c4212b7mov rdx, [rdx]
    37c4212bamov r15, r9
    37c4212bdmov rax, [rdi]
    37c4212c0mov rsi, r8
    37c4212c3mov r9, rcx
    37c4212c6sub r9, rdx
    37c4212c9mov [rsp+112], r9
    37c4212cetest rax, rax
    37c4212d1js 0x37c421330
    37c4212d3mov r8l, 1
    37c4212d9cmovg r8, rax
    37c4212ddtest rdx, rdx
    37c4212e0jle 0x37c4212e7
    37c4212e2cmp rdx, r8
    37c4212e5jle 0x37c42133e
    37c4212e7
    37c4212e7loc_37c4212e7:
    37c4212e7mov rax, -2
    37c4212eemov edx, 2
    37c4212f3
    37c4212f3loc_37c4212f3:
    37c4212f3mov [rbp], rax
    37c4212f7
    37c4212f7loc_37c4212f7:
    37c4212f7mov [rsp+120], rdx
    37c4212fcmov r8l, 6
    37c421302lea rdx, [rsp+120]
    37c421307lea rcx, [rip+0x53162]
    37c42130ecall xerbla_64_
    37c421313nop
    37c421314
    37c421314loc_37c421314:
    37c421314add rsp, 136
    37c42131bpop rbx
    37c42131cpop rsi
    37c42131dpop rdi
    37c42131epop rbp
    37c42131fpop r12
    37c421321pop r13
    37c421323pop r14
    37c421325pop r15
    37c421327ret
    37c421328
    37c421328 0f 1f 84 00 00 00 00 00 ........
    37c421330
    37c421330loc_37c421330:
    37c421330mov rax, -1
    37c421337mov edx, 1
    37c42133cjmp 0x37c4212f3
    37c42133e
    37c42133eloc_37c42133e:
    37c42133ecmp rdx, rax
    37c421341cmovg rdx, rax
    37c421345cmp rcx, rdx
    37c421348jl 0x37c42134f
    37c42134acmp rcx, rax
    37c42134djle 0x37c42135d
    37c42134f
    37c42134floc_37c42134f:
    37c42134fmov rax, -3
    37c421356mov edx, 3
    37c42135bjmp 0x37c4212f3
    37c42135d
    37c42135dloc_37c42135d:
    37c42135dcmp r11, r8
    37c421360jl 0x37c42139a
    37c421362mov rax, [rsp+264]
    37c42136atest r9, r9
    37c42136dmov edx, 1
    37c421372cmovle r9, rdx
    37c421376mov rax, [rax]
    37c421379cmp rax, r9
    37c42137cjge 0x37c4213ab
    37c42137ecmp rax, -1
    37c421382je 0x37c4217be
    37c421388mov [rbp], -8
    37c421390mov edx, 8
    37c421395jmp 0x37c4212f7
    37c42139a
    37c42139aloc_37c42139a:
    37c42139amov rax, -5
    37c4213a1mov edx, 5
    37c4213a6jmp 0x37c4212f3
    37c4213ab
    37c4213abloc_37c4213ab:
    37c4213ablea rax, [rsp+112]
    37c4213b0lea rdx, [rip+0x530d1]
    37c4213b7mov [rsp+64], 1
    37c4213c0mov [rsp+48], rdx
    37c4213c5lea rcx, [rip+0x530b4]
    37c4213ccmov r9, rax
    37c4213cflea rdx, [rip+0x530a1]
    37c4213d6mov [rsp+56], 6
    37c4213dflea r8, [rip+0x53090]
    37c4213e6mov [rsp+40], rax
    37c4213ebmov [rsp+32], rax
    37c4213f0mov [rsp+88], r11
    37c4213f5mov [rsp+104], rax
    37c4213facall ilaenv_64_
    37c4213ffmov rcx, [rsp+112]
    37c421404pxor x2, x2
    37c421408mov r11, [rsp+88]
    37c42140dmov rdx, rax
    37c421410mov eax, 1
    37c421415test rcx, rcx
    37c421418mov [rsp+96], rcx
    37c42141dcmovg rax, rcx
    37c421421imul rax, rdx
    37c421425mov rdx, [rbp]
    37c421429test rdx, rdx
    37c42142ccvtsi2sd x2, rax
    37c421431mov rax, [rsp+256]
    37c421439mov [rax+8], 0
    37c421441movsd_xmm [rax], x2
    37c421445jne 0x37c421847
    37c42144bmov r12, [rdi]
    37c42144etest r12, r12
    37c421451je 0x37c421741
    37c421457mov rsi, [rsi]
    37c42145amov r13, [rbx]
    37c42145dmov rdx, r11
    37c421460not rdx
    37c421463lea rdi, [rsi+1]
    37c421467cmp r13, rsi
    37c42146ajge 0x37c421579
    37c421470lea rax, [rsi-1]
    37c421474mov rcx, r11
    37c421477mov rbp, r11
    37c42147amov [rsp+88], r11
    37c42147fimul rax, r11
    37c421483neg rbp
    37c421486mov r14, rdx
    37c421489mov r8, rsi
    37c42148cimul rcx, rsi
    37c421490shl rbp, 4
    37c421494shl r14, 4
    37c421498xor r10l, r10l
    37c42149bmov [rsp+232], r15
    37c4214a3pxor x0, x0
    37c4214a7lea rbx, [r12+1]
    37c4214acadd rax, rdx
    37c4214afadd rcx, rdx
    37c4214b2add rax, rsi
    37c4214b5shl rcx, 4
    37c4214b9shl rax, 4
    37c4214bdadd rcx, r15
    37c4214c0lea r9, [r15+rax+16]
    37c4214c5nop [rax+rax]
    37c4214d0
    37c4214d0loc_37c4214d0:
    37c4214d0mov eax, 1
    37c4214d5cmp r8, 1
    37c4214d9jle 0x37c4214f5
    37c4214dbnop [rax+rax]
    37c4214e0
    37c4214e0loc_37c4214e0:
    37c4214e0mov r11, rax
    37c4214e3add rax, 1
    37c4214e7shl r11, 4
    37c4214ebmovups [rcx+r11], x0
    37c4214f0cmp rax, r8
    37c4214f3jne 0x37c4214e0
    37c4214f5
    37c4214f5loc_37c4214f5:
    37c4214f5lea rax, [r8+1]
    37c4214f9cmp rsi, rax
    37c4214fcjl 0x37c421538
    37c4214femov r15, r9
    37c421501xor eax, eax
    37c421503xor r11l, r11l
    37c421506sub r15, rbp
    37c421509nop
    37c42150anop [rax+rax]
    37c421515nop [rax+rax]
    37c421520
    37c421520loc_37c421520:
    37c421520movupd x1, [r9+rax]
    37c421526add r11, 1
    37c42152amovups [r15+rax], x1
    37c42152fadd rax, 16
    37c421533cmp r11, r10
    37c421536jne 0x37c421520
    37c421538
    37c421538loc_37c421538:
    37c421538mov rax, rdi
    37c42153bcmp r12, rdi
    37c42153ejl 0x37c421555
    37c421540
    37c421540loc_37c421540:
    37c421540mov r11, rax
    37c421543add rax, 1
    37c421547shl r11, 4
    37c42154bmovups [rcx+r11], x0
    37c421550cmp rax, rbx
    37c421553jne 0x37c421540
    37c421555
    37c421555loc_37c421555:
    37c421555sub r8, 1
    37c421559add r10, 1
    37c42155dadd rcx, rbp
    37c421560add r9, r14
    37c421563cmp r13, r8
    37c421566jne 0x37c4214d0
    37c42156cmov r11, [rsp+88]
    37c421571mov r15, [rsp+232]
    37c421579
    37c421579loc_37c421579:
    37c421579test r13, r13
    37c42157cjle 0x37c42160d
    37c421582lea rbx, [r11+1]
    37c421586mov r9, r15
    37c421589lea rbp, [r13+1]
    37c42158dshl rbx, 4
    37c421591test r12, r12
    37c421594jle 0x37c421789
    37c42159amov [rsp+88], r12
    37c42159flea r14, [rbx-16]
    37c4215a3lea rcx, [r15-16]
    37c4215a7mov r10l, 1
    37c4215adlea r8, [r12+1]
    37c4215b2pxor x0, x0
    37c4215b6movq x1, [rip+0x52ed2]
    37c4215benop
    37c4215c0
    37c4215c0loc_37c4215c0:
    37c4215c0mov eax, 1
    37c4215c5nop [rax+rax]
    37c4215canop [rax+rax]
    37c4215d5nop [rax+rax]
    37c4215e0
    37c4215e0loc_37c4215e0:
    37c4215e0mov r12, rax
    37c4215e3add rax, 1
    37c4215e7shl r12, 4
    37c4215ebmovups [rcx+r12], x0
    37c4215f0cmp rax, r8
    37c4215f3jne 0x37c4215e0
    37c4215f5add r10, 1
    37c4215f9movups [r9], x1
    37c4215fdadd rcx, r14
    37c421600add r9, rbx
    37c421603cmp rbp, r10
    37c421606jne 0x37c4215c0
    37c421608mov r12, [rsp+88]
    37c42160d
    37c42160dloc_37c42160d:
    37c42160dcmp r12, rdi
    37c421610jl 0x37c4216a8
    37c421616mov r8, r11
    37c421619lea r10, [r11+1]
    37c42161dlea r9, [r12+1]
    37c421622imul r8, rdi
    37c421626shl r10, 4
    37c42162aadd r8, rdx
    37c42162dadd rsi, r8
    37c421630shl rsi, 4
    37c421634lea rbx, [rsi+r15]
    37c421638test r12, r12
    37c42163bjle 0x37c421758
    37c421641shl r8, 4
    37c421645lea rsi, [r10-16]
    37c421649pxor x0, x0
    37c42164dmovq x1, [rip+0x52e3b]
    37c421655add r8, r15
    37c421658nop [rax+rax]
    37c421660
    37c421660loc_37c421660:
    37c421660mov eax, 1
    37c421665nop [rax+rax]
    37c42166anop [rax+rax]
    37c421675nop [rax+rax]
    37c421680
    37c421680loc_37c421680:
    37c421680mov rcx, rax
    37c421683add rax, 1
    37c421687shl rcx, 4
    37c42168bmovups [r8+rcx], x0
    37c421690cmp rax, r9
    37c421693jne 0x37c421680
    37c421695add rdi, 1
    37c421699movups [rbx+16], x1
    37c42169dadd r8, rsi
    37c4216a0add rbx, r10
    37c4216a3cmp rdi, r9
    37c4216a6jne 0x37c421660
    37c4216a8
    37c4216a8loc_37c4216a8:
    37c4216a8cmp [rsp+96], 0
    37c4216aejle 0x37c421728
    37c4216b0lea rax, [r13+1]
    37c4216b4movsd_xmm [rsp+88], x2
    37c4216baimul r11, rax
    37c4216beadd rdx, r11
    37c4216c1add rdx, rax
    37c4216c4lea rax, [rsp+120]
    37c4216c9mov [rsp+64], rax
    37c4216cemov rax, [rsp+264]
    37c4216d6shl rdx, 4
    37c4216dalea r9, [r15+rdx]
    37c4216demov rdx, [rsp+104]
    37c4216e3mov [rsp+56], rax
    37c4216e8mov rax, [rsp+256]
    37c4216f0mov r8, rdx
    37c4216f3mov rcx, rdx
    37c4216f6mov [rsp+48], rax
    37c4216fblea rax, [r13-1]
    37c4216ffshl rax, 4
    37c421703add rax, [rsp+248]
    37c42170bmov [rsp+40], rax
    37c421710mov rax, [rsp+240]
    37c421718mov [rsp+32], rax
    37c42171dcall zungqr_64_
    37c421722movsd_xmm x2, [rsp+88]
    37c421728
    37c421728loc_37c421728:
    37c421728mov rax, [rsp+256]
    37c421730mov [rax+8], 0
    37c421738movsd_xmm [rax], x2
    37c42173cjmp 0x37c421314
    37c421741
    37c421741loc_37c421741:
    37c421741mov rax, [rsp+256]
    37c421749mov rsi, [rip+0x52d40]
    37c421750mov [rax], rsi
    37c421753jmp 0x37c421314
    37c421758
    37c421758loc_37c421758:
    37c421758movq x1, [rip+0x52d30]
    37c421760
    37c421760loc_37c421760:
    37c421760lea rax, [rdi+1]
    37c421764movups [rbx+16], x1
    37c421768cmp rax, r9
    37c42176bje 0x37c4216a8
    37c421771add rdi, 2
    37c421775movups [rbx+r10+16], x1
    37c42177blea rbx, [rbx+2*r10]
    37c42177fcmp rdi, r9
    37c421782jne 0x37c421760
    37c421784jmp 0x37c4216a8
    37c421789
    37c421789loc_37c421789:
    37c421789mov eax, 1
    37c42178emovq x1, [rip+0x52cfa]
    37c421796
    37c421796loc_37c421796:
    37c421796lea rcx, [rax+1]
    37c42179amovups [r9], x1
    37c42179ecmp rbp, rcx
    37c4217a1je 0x37c42160d
    37c4217a7add rax, 2
    37c4217abmovups [r9+rbx], x1
    37c4217b0lea r9, [r9+2*rbx]
    37c4217b4cmp rax, rbp
    37c4217b7jne 0x37c421796
    37c4217b9jmp 0x37c42160d
    37c4217be
    37c4217beloc_37c4217be:
    37c4217belea r9, [rsp+112]
    37c4217c3lea rax, [rip+0x52cbe]
    37c4217camov [rsp+64], 1
    37c4217d3mov [rsp+56], 6
    37c4217dclea rdx, [rip+0x52c94]
    37c4217e3lea rcx, [rip+0x52c96]
    37c4217eamov [rsp+48], rax
    37c4217eflea r8, [rip+0x52c80]
    37c4217f6mov [rsp+40], r9
    37c4217fbmov [rsp+32], r9
    37c421800call ilaenv_64_
    37c421805mov ecx, 1
    37c42180apxor x0, x0
    37c42180emov rdx, rax
    37c421811mov rax, [rsp+112]
    37c421816test rax, rax
    37c421819cmovle rax, rcx
    37c42181dimul rax, rdx
    37c421821mov rdx, [rbp]
    37c421825cvtsi2sd x0, rax
    37c42182amov rax, [rsp+256]
    37c421832mov [rax+8], 0
    37c42183amovsd_xmm [rax], x0
    37c42183etest rdx, rdx
    37c421841je 0x37c421314
    37c421847
    37c421847loc_37c421847:
    37c421847neg rdx
    37c42184ajmp 0x37c4212f7
    37c421280
    37c42184f
    37c42184f // align 0x20
    37c421860
    37c421860zungl2_64_:
    37c421860push r15
    37c421862push r14
    37c421864push r13
    37c421866push r12
    37c421868push rbp
    37c421869push rdi
    37c42186apush rsi
    37c42186bpush rbx
    37c42186csub rsp, 168
    37c421873movups [rsp+144], x6
    37c42187bmov rdi, [rsp+272]
    37c421883mov rsi, [rdi]
    37c421886mov rdi, [rcx]
    37c421889mov rax, r9
    37c42188cmov r9, [rsp+296]
    37c421894mov r15, rdx
    37c421897mov [r9], 0
    37c42189etest rdi, rdi
    37c4218a1js 0x37c421b65
    37c4218a7mov rdx, [rdx]
    37c4218aacmp rdi, rdx
    37c4218adjle 0x37c4218fd
    37c4218afmov rdx, -2
    37c4218b6mov eax, 2
    37c4218bb
    37c4218bbloc_37c4218bb:
    37c4218bbmov [r9], rdx
    37c4218bemov r8l, 6
    37c4218c4lea rdx, [rsp+128]
    37c4218cclea rcx, [rip+0x52bcd]
    37c4218d3mov [rsp+128], rax
    37c4218dbcall xerbla_64_
    37c4218e0nop
    37c4218e1
    37c4218e1loc_37c4218e1:
    37c4218e1movups x6, [rsp+144]
    37c4218e9add rsp, 168
    37c4218f0pop rbx
    37c4218f1pop rsi
    37c4218f2pop rdi
    37c4218f3pop rbp
    37c4218f4pop r12
    37c4218f6pop r13
    37c4218f8pop r14
    37c4218fapop r15
    37c4218fcret
    37c4218fd
    37c4218fdloc_37c4218fd:
    37c4218fdmov rbx, [r8]
    37c421900cmp rdi, rbx
    37c421903jl 0x37c421b54
    37c421909test rbx, rbx
    37c42190cjs 0x37c421b54
    37c421912test rdi, rdi
    37c421915mov r8l, 1
    37c42191bcmovg r8, rdi
    37c42191fcmp rsi, r8
    37c421922jl 0x37c421c31
    37c421928test rdi, rdi
    37c42192bje 0x37c4218e1
    37c42192dcmp rdi, rbx
    37c421930jle 0x37c4219e5
    37c421936test rdx, rdx
    37c421939je 0x37c4219dc
    37c42193fmov [rsp+88], rsi
    37c421944lea r14, [rsi+1]
    37c421948mov r10, rsi
    37c42194blea r12, [rbx+1]
    37c42194fmov [rsp+96], rdx
    37c421954shl r14, 4
    37c421958mov rbp, rax
    37c42195bshl r10, 4
    37c42195flea r8, [rax-16]
    37c421963lea r13, [rdx+1]
    37c421967mov r11l, 1
    37c42196dmovq x1, [rip+0x52b3b]
    37c421975lea r9, [rdi+1]
    37c421979pxor x0, x0
    37c42197dnop [rax]
    37c421980
    37c421980loc_37c421980:
    37c421980mov rdx, r12
    37c421983cmp rdi, r12
    37c421986jl 0x37c4219b5
    37c421988nop
    37c42198anop [rax+rax]
    37c421995nop [rax+rax]
    37c4219a0
    37c4219a0loc_37c4219a0:
    37c4219a0mov rsi, rdx
    37c4219a3add rdx, 1
    37c4219a7shl rsi, 4
    37c4219abmovups [r8+rsi], x0
    37c4219b0cmp rdx, r9
    37c4219b3jne 0x37c4219a0
    37c4219b5
    37c4219b5loc_37c4219b5:
    37c4219b5cmp rdi, r11
    37c4219b8jl 0x37c4219c3
    37c4219bacmp rbx, r11
    37c4219bdjge 0x37c4219c3
    37c4219bfmovups [rbp], x1
    37c4219c3
    37c4219c3loc_37c4219c3:
    37c4219c3add r11, 1
    37c4219c7add rbp, r14
    37c4219caadd r8, r10
    37c4219cdcmp r11, r13
    37c4219d0jne 0x37c421980
    37c4219d2mov rsi, [rsp+88]
    37c4219d7mov rdx, [rsp+96]
    37c4219dc
    37c4219dcloc_37c4219dc:
    37c4219dctest rbx, rbx
    37c4219dfje 0x37c4218e1
    37c4219e5
    37c4219e5loc_37c4219e5:
    37c4219e5mov r8, rsi
    37c4219e8mov r9, rbx
    37c4219eblea r14, [rbx+1]
    37c4219efmov rbp, rbx
    37c4219f2imul r9, rsi
    37c4219f6not r8
    37c4219f9shl rbp, 4
    37c4219fdmov [rsp+240], rcx
    37c421a05imul r14, rsi
    37c421a09mov rdi, r8
    37c421a0cadd rbp, [rsp+280]
    37c421a14shl rsi, 4
    37c421a18shl rdi, 4
    37c421a1clea r13, [rsp+128]
    37c421a24movq x6, [rip+0x52a84]
    37c421a2cmov [rsp+88], rdi
    37c421a31lea rdi, [r8+r9]
    37c421a35lea r8, [rbx-1]
    37c421a39add rdi, rbx
    37c421a3csub r14, r9
    37c421a3fshl r8, 4
    37c421a43shl rdi, 4
    37c421a47shl r14, 4
    37c421a4blea r12, [r8+rax]
    37c421a4fmov [rsp+96], r14
    37c421a54add rdi, rax
    37c421a57cmp rbx, rdx
    37c421a5ajl 0x37c421ab8
    37c421a5cnop [rax]
    37c421a60
    37c421a60loc_37c421a60:
    37c421a60movupd x2, [rbp-16]
    37c421a65movapd x0, x6
    37c421a69mov rcx, r12
    37c421a6cmov edx, 1
    37c421a71addsubpd x0, x2
    37c421a75movups [rdi], x0
    37c421a78pxor x0, x0
    37c421a7ccmp rbx, 1
    37c421a80jle 0x37c421b80
    37c421a86nop [rax+rax]
    37c421a90
    37c421a90loc_37c421a90:
    37c421a90add rdx, 1
    37c421a94movups [rcx], x0
    37c421a97add rcx, rsi
    37c421a9acmp rdx, rbx
    37c421a9djne 0x37c421a90
    37c421a9fsub rbx, 1
    37c421aa3sub rbp, 16
    37c421aa7add rdi, [rsp+88]
    37c421aacsub r12, 16
    37c421ab0
    37c421ab0loc_37c421ab0:
    37c421ab0mov rdx, [r15]
    37c421ab3cmp rbx, rdx
    37c421ab6jge 0x37c421a60
    37c421ab8
    37c421ab8loc_37c421ab8:
    37c421ab8mov rax, [rsp+96]
    37c421abdsub rdx, rbx
    37c421ac0mov r8, [rsp+272]
    37c421ac8mov rcx, r13
    37c421acbmov [rsp+128], rdx
    37c421ad3lea r14, [rdi+rax]
    37c421ad7mov rdx, r14
    37c421adacall zlacgv_64_
    37c421adfmov rax, [rsp+240]
    37c421ae7lea r11, [rsp+120]
    37c421aecmov rdx, [rax]
    37c421aefcmp rdx, rbx
    37c421af2jg 0x37c421ba0
    37c421af8
    37c421af8loc_37c421af8:
    37c421af8mov rdx, [r15]
    37c421afbmovupd x0, [rbp-16]
    37c421b00mov r8, r14
    37c421b03mov rcx, r11
    37c421b06xorpd x0, [rip+0x529c2]
    37c421b0emov r9, [rsp+272]
    37c421b16sub rdx, rbx
    37c421b19mov [rsp+120], rdx
    37c421b1emov rdx, r13
    37c421b21movups [rsp+128], x0
    37c421b29call zscal_64_
    37c421b2emov rdx, [r15]
    37c421b31mov r8, [rsp+272]
    37c421b39mov rcx, r13
    37c421b3csub rdx, rbx
    37c421b3fmov [rsp+128], rdx
    37c421b47mov rdx, r14
    37c421b4acall zlacgv_64_
    37c421b4fjmp 0x37c421a60
    37c421b54
    37c421b54loc_37c421b54:
    37c421b54mov rdx, -3
    37c421b5bmov eax, 3
    37c421b60jmp 0x37c4218bb
    37c421b65
    37c421b65loc_37c421b65:
    37c421b65mov rdx, -1
    37c421b6cmov eax, 1
    37c421b71jmp 0x37c4218bb
    37c421b76
    37c421b76 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37c421b80
    37c421b80loc_37c421b80:
    37c421b80sub rbx, 1
    37c421b84je 0x37c4218e1
    37c421b8asub rbp, 16
    37c421b8eadd rdi, [rsp+88]
    37c421b93sub r12, 16
    37c421b97jmp 0x37c421ab0
    37c421b9c
    37c421b9c 0f 1f 40 00 ..@.
    37c421ba0
    37c421ba0loc_37c421ba0:
    37c421ba0mov rcx, [r15]
    37c421ba3movsd_xmm x0, [rbp-8]
    37c421ba8sub rdx, rbx
    37c421babmov r8, r11
    37c421baemov rax, [rsp+288]
    37c421bb6movsd_xmm x1, [rbp-16]
    37c421bbbmov [rsp+112], rdx
    37c421bc0mov r9, rdi
    37c421bc3sub rcx, rbx
    37c421bc6xorpd x0, [rip+0x528f2]
    37c421bcemov [rsp+40], r13
    37c421bd3mov [rsp+64], rax
    37c421bd8mov rax, [rsp+272]
    37c421be0lea rdx, [rcx+1]
    37c421be4lea rcx, [rdi+16]
    37c421be8mov [rsp+48], rcx
    37c421bedunpcklpd x1, x0
    37c421bf1lea rcx, [rip+0x528ae]
    37c421bf8mov [rsp+72], 5
    37c421c01mov [rsp+56], rax
    37c421c06mov [rsp+32], rax
    37c421c0bmov [rsp+120], rdx
    37c421c10lea rdx, [rsp+112]
    37c421c15mov [rsp+104], r11
    37c421c1amovups [rsp+128], x1
    37c421c22call zlarf1f_64_
    37c421c27mov r11, [rsp+104]
    37c421c2cjmp 0x37c421af8
    37c421c31
    37c421c31loc_37c421c31:
    37c421c31mov rdx, -5
    37c421c38mov eax, 5
    37c421c3djmp 0x37c4218bb
    37c421860
    37c421c42
    37c421c42 // align 0x20
    37c421c60
    37c421c60zunglq_64_:
    37c421c60push r15
    37c421c62push r14
    37c421c64push r13
    37c421c66push r12
    37c421c68push rbp
    37c421c69push rdi
    37c421c6apush rsi
    37c421c6bpush rbx
    37c421c6csub rsp, 312
    37c421c73movups [rsp+288], x6
    37c421c7bmov rax, [rsp+416]
    37c421c83mov rbx, [rsp+448]
    37c421c8bmov r13, [rsp+432]
    37c421c93mov rsi, [rax]
    37c421c96lea rax, [rip+0x52853]
    37c421c9dmov [rbx], 0
    37c421ca4mov [rsp+40], r8
    37c421ca9mov r15, rcx
    37c421cacmov r12, rdx
    37c421cafmov [rsp+32], rdx
    37c421cb4lea rdx, [rip+0x52826]
    37c421cbbmov [rsp+64], 1
    37c421cc4mov [rsp+56], 6
    37c421ccdmov [rsp+48], rax
    37c421cd2mov [rsp+400], r8
    37c421cdalea r8, [rip+0x527ff]
    37c421ce1mov [rsp+408], r9
    37c421ce9mov r9, rcx
    37c421ceclea rcx, [rip+0x527f5]
    37c421cf3call ilaenv_64_
    37c421cf8mov rbp, [r15]
    37c421cfbpxor x0, x0
    37c421cffmov [r13+8], 0
    37c421d07mov rdi, rax
    37c421d0amov eax, 1
    37c421d0ftest rbp, rbp
    37c421d12mov rdx, rdi
    37c421d15cmovg rax, rbp
    37c421d19imul rdx, rax
    37c421d1dcvtsi2sd x0, rdx
    37c421d22movsd_xmm [r13], x0
    37c421d28test rbp, rbp
    37c421d2bjs 0x37c421e8b
    37c421d31mov rdx, [r12]
    37c421d35cmp rdx, rbp
    37c421d38jge 0x37c421d88
    37c421d3amov rdx, -2
    37c421d41mov eax, 2
    37c421d46
    37c421d46loc_37c421d46:
    37c421d46mov [rbx], rdx
    37c421d49
    37c421d49loc_37c421d49:
    37c421d49lea rdx, [rsp+280]
    37c421d51mov r8l, 6
    37c421d57lea rcx, [rip+0x52783]
    37c421d5emov [rsp+280], rax
    37c421d66call xerbla_64_
    37c421d6bnop
    37c421d6c
    37c421d6cloc_37c421d6c:
    37c421d6cmovups x6, [rsp+288]
    37c421d74add rsp, 312
    37c421d7bpop rbx
    37c421d7cpop rsi
    37c421d7dpop rdi
    37c421d7epop rbp
    37c421d7fpop r12
    37c421d81pop r13
    37c421d83pop r14
    37c421d85pop r15
    37c421d87ret
    37c421d88
    37c421d88loc_37c421d88:
    37c421d88mov rcx, [rsp+400]
    37c421d90mov rcx, [rcx]
    37c421d93test rcx, rcx
    37c421d96js 0x37c421e7a
    37c421d9ccmp rcx, rbp
    37c421d9fjg 0x37c421e7a
    37c421da5mov r10, [rsp+416]
    37c421dadcmp [r10], rax
    37c421db0jl 0x37c421e9c
    37c421db6mov r10, [rsp+440]
    37c421dbemov r8, [r10]
    37c421dc1cmp r8, rax
    37c421dc4jl 0x37c42254a
    37c421dcamov rax, [rbx]
    37c421dcdtest rax, rax
    37c421dd0jne 0x37c42257c
    37c421dd6test rbp, rbp
    37c421dd9je 0x37c421ead
    37c421ddfcmp rdi, 1
    37c421de3jle 0x37c422561
    37c421de9mov r8, rbp
    37c421deccmp rcx, rdi
    37c421defjg 0x37c421ebd
    37c421df5
    37c421df5loc_37c421df5:
    37c421df5mov [rsp+264], r8
    37c421dfd
    37c421dfdloc_37c421dfd:
    37c421dfdlea rax, [rsp+248]
    37c421e05mov [rsp+48], r13
    37c421e0amov r9, [rsp+408]
    37c421e12lea r8, [rsp+280]
    37c421e1amov [rsp+56], rax
    37c421e1fmov rax, [rsp+424]
    37c421e27mov [rsp+272], rdx
    37c421e2flea rdx, [rsp+272]
    37c421e37mov [rsp+40], rax
    37c421e3cmov rax, [rsp+416]
    37c421e44mov [rsp+280], rcx
    37c421e4clea rcx, [rsp+264]
    37c421e54mov [rsp+32], rax
    37c421e59call zungl2_64_
    37c421e5e
    37c421e5eloc_37c421e5e:
    37c421e5epxor x0, x0
    37c421e62mov [r13+8], 0
    37c421e6acvtsi2sd x0, rbp
    37c421e6fmovsd_xmm [r13], x0
    37c421e75jmp 0x37c421d6c
    37c421e7a
    37c421e7aloc_37c421e7a:
    37c421e7amov rdx, -3
    37c421e81mov eax, 3
    37c421e86jmp 0x37c421d46
    37c421e8b
    37c421e8bloc_37c421e8b:
    37c421e8bmov [rbx], -1
    37c421e92mov eax, 1
    37c421e97jmp 0x37c421d49
    37c421e9c
    37c421e9cloc_37c421e9c:
    37c421e9cmov rdx, -5
    37c421ea3mov eax, 5
    37c421ea8jmp 0x37c421d46
    37c421ead
    37c421eadloc_37c421ead:
    37c421eadmov rax, [rip+0x5267c]
    37c421eb4mov [r13], rax
    37c421eb8jmp 0x37c421d6c
    37c421ebd
    37c421ebdloc_37c421ebd:
    37c421ebdlea rax, [rip+0x5262c]
    37c421ec4mov [rsp+32], r12
    37c421ec9mov r9, r15
    37c421ecclea r8, [rip+0x5260d]
    37c421ed3mov [rsp+48], rax
    37c421ed8mov rax, [rsp+400]
    37c421ee0lea rdx, [rip+0x525fa]
    37c421ee7lea rcx, [rip+0x5260a]
    37c421eeemov [rsp+64], 1
    37c421ef7mov [rsp+56], 6
    37c421f00mov [rsp+40], rax
    37c421f05call ilaenv_64_
    37c421f0axor edx, edx
    37c421f0cmov r9, [r15]
    37c421f0ftest rax, rax
    37c421f12mov rbx, rdx
    37c421f15cmovns rbx, rax
    37c421f19mov rax, [rsp+400]
    37c421f21mov r8, r9
    37c421f24mov rcx, [rax]
    37c421f27cmp rcx, rbx
    37c421f2ajg 0x37c421f4a
    37c421f2ccmp rcx, rdi
    37c421f2fjle 0x37c422030
    37c421f35
    37c421f35loc_37c421f35:
    37c421f35mov r8, r9
    37c421f38test r9, r9
    37c421f3bjle 0x37c421e5e
    37c421f41
    37c421f41loc_37c421f41:
    37c421f41mov rdx, [r12]
    37c421f45jmp 0x37c421df5
    37c421f4a
    37c421f4aloc_37c421f4a:
    37c421f4amov rax, [rsp+440]
    37c421f52mov rbp, rdi
    37c421f55mov [rsp+256], r9
    37c421f5dimul rbp, r9
    37c421f61mov rax, [rax]
    37c421f64cmp rax, rbp
    37c421f67jl 0x37c4224c1
    37c421f6dcmp rcx, rdi
    37c421f70jle 0x37c422030
    37c421f76
    37c421f76loc_37c421f76:
    37c421f76xor eax, eax
    37c421f78test rsi, rsi
    37c421f7blea r11, [r9+1]
    37c421f7fmov r8, rcx
    37c421f82cmovs rsi, rax
    37c421f86sub r8, rbx
    37c421f89pxor x0, x0
    37c421f8dmov rax, rsi
    37c421f90mov [rsp+168], rsi
    37c421f98not rax
    37c421f9bmov [rsp+176], rax
    37c421fa3lea rax, [r8-1]
    37c421fa7cqo
    37c421fa9idiv rdi
    37c421faclea rax, [r8-1]
    37c421fb0mov r8, r9
    37c421fb3sub rax, rdx
    37c421fb6lea rdx, [rax+rdi]
    37c421fbacmp rdx, rcx
    37c421fbdmov rbx, rdx
    37c421fc0mov rdx, rsi
    37c421fc3cmovg rbx, rcx
    37c421fc7shl rdx, 4
    37c421fcbmov [rsp+160], rdx
    37c421fd3mov rdx, [rsp+408]
    37c421fdblea r14, [rbx+1]
    37c421fdflea r10, [rdx-16]
    37c421fe3mov edx, 1
    37c421fe8
    37c421fe8loc_37c421fe8:
    37c421fe8mov rsi, r14
    37c421febcmp r9, r14
    37c421feejl 0x37c42201d
    37c421ff0mov [rsp+184], rbp
    37c421ff8nop [rax+rax]
    37c422000
    37c422000loc_37c422000:
    37c422000mov rbp, rsi
    37c422003add rsi, 1
    37c422007shl rbp, 4
    37c42200bmovups [r10+rbp], x0
    37c422010cmp rsi, r11
    37c422013jne 0x37c422000
    37c422015mov rbp, [rsp+184]
    37c42201d
    37c42201dloc_37c42201d:
    37c42201dadd r10, [rsp+160]
    37c422025cmp rbx, rdx
    37c422028je 0x37c422040
    37c42202aadd rdx, 1
    37c42202ejmp 0x37c421fe8
    37c422030
    37c422030loc_37c422030:
    37c422030test r9, r9
    37c422033jle 0x37c421e5e
    37c422039jmp 0x37c421f41
    37c42203e
    37c42203e 66 90 f.
    37c422040
    37c422040loc_37c422040:
    37c422040mov rsi, [rsp+168]
    37c422048cmp r9, rbx
    37c42204bjg 0x37c4223e5
    37c422051lea rdx, [rsp+280]
    37c422059lea rbx, [rax+1]
    37c42205dmov [rsp+168], rdx
    37c422065lea rdx, [rsp+264]
    37c42206dmov [rsp+160], rdx
    37c422075lea rdx, [rsp+248]
    37c42207dmov [rsp+184], rdx
    37c422085
    37c422085loc_37c422085:
    37c422085xor edx, edx
    37c422087mov r10, [rsp+176]
    37c42208fpxor x6, x6
    37c422093mov [rsp+232], rbp
    37c42209bdiv rdi
    37c42209emov [rsp+384], r15
    37c4220a6mov rdx, rdi
    37c4220a9lea r14, [rbx+r10]
    37c4220adneg rdx
    37c4220b0imul rdx, rsi
    37c4220b4mov [rsp+208], rdx
    37c4220bcsub rdx, rdi
    37c4220bfshl rdx, 4
    37c4220c3mov [rsp+200], rdx
    37c4220cbmov rdx, rbx
    37c4220ceimul rdx, rsi
    37c4220d2shl rsi, 4
    37c4220d6add r14, rdx
    37c4220d9add rdx, r10
    37c4220dcmov [rsp+176], rdx
    37c4220e4mov rdx, [rsp+424]
    37c4220ecshl r14, 4
    37c4220f0add r14, [rsp+408]
    37c4220f8sub rdx, 16
    37c4220fcmov r15, rax
    37c4220ffmov [rsp+192], rdx
    37c422107mov rdx, rcx
    37c42210anop [rax+rax]
    37c422110
    37c422110loc_37c422110:
    37c422110sub rdx, rbx
    37c422113mov rbp, rbx
    37c422116add rdx, 1
    37c42211acmp rdx, rdi
    37c42211dcmovg rdx, rdi
    37c422121shl rbp, 4
    37c422125add rbp, [rsp+192]
    37c42212dmov [rsp+264], rdx
    37c422135add rdx, rbx
    37c422138cmp rdx, r8
    37c42213bjle 0x37c422244
    37c422141
    37c422141loc_37c422141:
    37c422141mov rax, [rsp+184]
    37c422149mov rdx, [r12]
    37c42214dmov [rsp+48], r13
    37c422152mov r9, r14
    37c422155mov rcx, [rsp+160]
    37c42215dmov [rsp+40], rbp
    37c422162mov [rsp+56], rax
    37c422167mov rax, [rsp+416]
    37c42216fsub rdx, rbx
    37c422172add rdx, 1
    37c422176mov r8, rcx
    37c422179mov [rsp+32], rax
    37c42217emov [rsp+280], rdx
    37c422186mov rdx, [rsp+168]
    37c42218ecall zungl2_64_
    37c422193cmp rbx, 1
    37c422197jle 0x37c422201
    37c422199mov r9, [rsp+264]
    37c4221a1mov rax, [rsp+408]
    37c4221a9mov r11l, 1
    37c4221afadd r9, rbx
    37c4221b2lea r8, [rax-16]
    37c4221b6nop [rax+rax]
    37c4221c0
    37c4221c0loc_37c4221c0:
    37c4221c0mov rax, rbx
    37c4221c3cmp r9, rbx
    37c4221c6jle 0x37c4221f5
    37c4221c8nop
    37c4221canop [rax+rax]
    37c4221d5nop [rax+rax]
    37c4221e0
    37c4221e0loc_37c4221e0:
    37c4221e0mov rdx, rax
    37c4221e3add rax, 1
    37c4221e7shl rdx, 4
    37c4221ebmovups [r8+rdx], x6
    37c4221f0cmp r9, rax
    37c4221f3jne 0x37c4221e0
    37c4221f5
    37c4221f5loc_37c4221f5:
    37c4221f5add r11, 1
    37c4221f9add r8, rsi
    37c4221fccmp rbx, r11
    37c4221ffjne 0x37c4221c0
    37c422201
    37c422201loc_37c422201:
    37c422201test r15, r15
    37c422204je 0x37c4223d8
    37c42220amov rax, [rsp+384]
    37c422212mov rcx, [rsp+208]
    37c42221asub rbx, rdi
    37c42221dsub r15, 1
    37c422221add [rsp+176], rcx
    37c422229add r14, [rsp+200]
    37c422231mov r8, [rax]
    37c422234mov rax, [rsp+400]
    37c42223cmov rdx, [rax]
    37c42223fjmp 0x37c422110
    37c422244
    37c422244loc_37c422244:
    37c422244mov rdx, [r12]
    37c422248mov rax, [rsp+416]
    37c422250lea r11, [rsp+256]
    37c422258mov [rsp+80], 7
    37c422261mov [rsp+64], r11
    37c422266mov r9, [rsp+160]
    37c42226elea rcx, [rip+0x5229a]
    37c422275mov [rsp+40], rax
    37c42227asub rdx, rbx
    37c42227dmov r8, [rsp+168]
    37c422285mov [rsp+72], 7
    37c42228eadd rdx, 1
    37c422292mov [rsp+56], r13
    37c422297mov [rsp+48], rbp
    37c42229cmov [rsp+32], r14
    37c4222a1mov [rsp+280], rdx
    37c4222a9lea rdx, [rip+0x52258]
    37c4222b0mov [rsp+224], r11
    37c4222b8call zlarft_64_
    37c4222bdmov rcx, [rsp+384]
    37c4222c5mov rdx, [rsp+264]
    37c4222cdlea r9, [rip+0x52234]
    37c4222d4mov rax, [rsp+160]
    37c4222dcmov r11, [rsp+224]
    37c4222e4lea r8, [rip+0x52224]
    37c4222ebmov rcx, [rcx]
    37c4222eemov [rsp+216], rcx
    37c4222f6sub rcx, rbx
    37c4222f9sub rcx, rdx
    37c4222fcadd rcx, 1
    37c422300mov [rsp+272], rcx
    37c422308mov rcx, [r12]
    37c42230cmov [rsp+48], rax
    37c422311mov rax, [rsp+168]
    37c422319sub rcx, rbx
    37c42231cmov [rsp+144], 7
    37c422328add rcx, 1
    37c42232cmov [rsp+40], rax
    37c422331mov [rsp+280], rcx
    37c422339mov rcx, rdx
    37c42233cadd rdx, rbx
    37c42233fadd rdx, [rsp+176]
    37c422347shl rcx, 4
    37c42234bshl rdx, 4
    37c42234fadd rdx, [rsp+408]
    37c422357mov [rsp+136], 7
    37c422363add rcx, r13
    37c422366mov [rsp+88], rdx
    37c42236blea rdx, [rsp+272]
    37c422373mov [rsp+104], rcx
    37c422378mov rcx, [rsp+416]
    37c422380mov [rsp+32], rdx
    37c422385lea rdx, [rip+0x5218a]
    37c42238cmov [rsp+96], rcx
    37c422391mov rcx, [rsp+416]
    37c422399mov [rsp+128], 19
    37c4223a5mov [rsp+64], rcx
    37c4223aalea rcx, [rip+0x52178]
    37c4223b1mov [rsp+120], 5
    37c4223bamov [rsp+112], r11
    37c4223bfmov [rsp+80], r11
    37c4223c4mov [rsp+72], r13
    37c4223c9mov [rsp+56], r14
    37c4223cecall zlarfb_64_
    37c4223d3jmp 0x37c422141
    37c4223d8
    37c4223d8loc_37c4223d8:
    37c4223d8mov rbp, [rsp+232]
    37c4223e0jmp 0x37c421e5e
    37c4223e5
    37c4223e5loc_37c4223e5:
    37c4223e5sub rcx, rbx
    37c4223e8mov rdx, [r12]
    37c4223ecmov r8, rsi
    37c4223efmov [rsp+48], r13
    37c4223f4mov [rsp+280], rcx
    37c4223fcimul r8, r14
    37c422400lea rcx, [rsp+248]
    37c422408add r8, [rsp+176]
    37c422410mov [rsp+56], rcx
    37c422415add r8, r14
    37c422418sub rdx, rbx
    37c42241bsub r9, rbx
    37c42241emov [rsp+184], rcx
    37c422426mov rcx, rbx
    37c422429lea r10, [rsp+264]
    37c422431shl r8, 4
    37c422435shl rcx, 4
    37c422439add rcx, [rsp+424]
    37c422441mov [rsp+192], rax
    37c422449lea rax, [rsp+280]
    37c422451mov [rsp+40], rcx
    37c422456mov rcx, [rsp+416]
    37c42245emov [rsp+264], r9
    37c422466mov [rsp+32], rcx
    37c42246bmov rcx, [rsp+408]
    37c422473mov [rsp+272], rdx
    37c42247blea rdx, [rsp+272]
    37c422483lea r9, [rcx+r8]
    37c422487mov r8, rax
    37c42248amov rcx, r10
    37c42248dmov [rsp+168], rax
    37c422495mov [rsp+160], r10
    37c42249dcall zungl2_64_
    37c4224a2mov rax, [rsp+192]
    37c4224aamov rcx, [rsp+400]
    37c4224b2mov r8, [r15]
    37c4224b5mov rcx, [rcx]
    37c4224b8lea rbx, [rax+1]
    37c4224bcjmp 0x37c422085
    37c4224c1
    37c4224c1loc_37c4224c1:
    37c4224c1cqo
    37c4224c3mov [rsp+32], r12
    37c4224c8lea r8, [rip+0x52011]
    37c4224cflea rcx, [rip+0x5202a]
    37c4224d6idiv r9
    37c4224d9mov [rsp+64], 1
    37c4224e2mov [rsp+56], 6
    37c4224ebmov r9, r15
    37c4224eelea rdx, [rip+0x51fec]
    37c4224f5mov rdi, rax
    37c4224f8lea rax, [rip+0x51ff1]
    37c4224ffmov [rsp+48], rax
    37c422504mov rax, [rsp+400]
    37c42250cmov [rsp+40], rax
    37c422511call ilaenv_64_
    37c422516mov edx, 2
    37c42251bmov r9, [r15]
    37c42251ecmp rax, rdx
    37c422521cmovl rax, rdx
    37c422525mov r8, r9
    37c422528cmp rdi, rax
    37c42252bjge 0x37c422584
    37c42252dtest r9, r9
    37c422530jle 0x37c421e5e
    37c422536mov rax, [rsp+400]
    37c42253emov rdx, [r12]
    37c422542mov rcx, [rax]
    37c422545jmp 0x37c421df5
    37c42254a
    37c42254aloc_37c42254a:
    37c42254acmp r8, -1
    37c42254eje 0x37c422570
    37c422550mov [rbx], -8
    37c422557mov eax, 8
    37c42255cjmp 0x37c421d49
    37c422561
    37c422561loc_37c422561:
    37c422561mov [rsp+264], rbp
    37c422569jmp 0x37c421dfd
    37c42256e
    37c42256e 66 90 f.
    37c422570
    37c422570loc_37c422570:
    37c422570mov rax, [rbx]
    37c422573test rax, rax
    37c422576je 0x37c421d6c
    37c42257c
    37c42257cloc_37c42257c:
    37c42257cneg rax
    37c42257fjmp 0x37c421d49
    37c422584
    37c422584loc_37c422584:
    37c422584mov rax, [rsp+400]
    37c42258cmov rcx, [rax]
    37c42258fcmp rcx, rdi
    37c422592jle 0x37c422030
    37c422598cmp rcx, rbx
    37c42259bjle 0x37c421f35
    37c4225a1jmp 0x37c421f76
    37c421c60
    37c4225a6
    37c4225a6 // align 0x20
    37c4225c0
    37c4225c0zungql_64_:
    37c4225c0push r15
    37c4225c2push r14
    37c4225c4push r13
    37c4225c6push r12
    37c4225c8push rbp
    37c4225c9push rdi
    37c4225capush rsi
    37c4225cbpush rbx
    37c4225ccsub rsp, 312
    37c4225d3movups [rsp+288], x6
    37c4225dbmov rax, [rsp+416]
    37c4225e3mov rbx, [rsp+448]
    37c4225ebmov [rbx], 0
    37c4225f2mov rdi, rcx
    37c4225f5mov rcx, [rax]
    37c4225f8mov r15, rdx
    37c4225fbmov rsi, r9
    37c4225femov rax, [rdi]
    37c422601mov [rsp+400], r8
    37c422609mov [rsp+160], rcx
    37c422611test rax, rax
    37c422614js 0x37c422671
    37c422616mov r14, [rdx]
    37c422619test r14, r14
    37c42261cjs 0x37c422623
    37c42261ecmp rax, r14
    37c422621jge 0x37c42267f
    37c422623
    37c422623loc_37c422623:
    37c422623mov rdx, -2
    37c42262amov eax, 2
    37c42262f
    37c42262floc_37c42262f:
    37c42262fmov [rbx], rdx
    37c422632
    37c422632loc_37c422632:
    37c422632lea rdx, [rsp+280]
    37c42263amov r8l, 6
    37c422640lea rcx, [rip+0x51efa]
    37c422647mov [rsp+280], rax
    37c42264fcall xerbla_64_
    37c422654nop
    37c422655
    37c422655loc_37c422655:
    37c422655movups x6, [rsp+288]
    37c42265dadd rsp, 312
    37c422664pop rbx
    37c422665pop rsi
    37c422666pop rdi
    37c422667pop rbp
    37c422668pop r12
    37c42266apop r13
    37c42266cpop r14
    37c42266epop r15
    37c422670ret
    37c422671
    37c422671loc_37c422671:
    37c422671mov rdx, -1
    37c422678mov eax, 1
    37c42267djmp 0x37c42262f
    37c42267f
    37c42267floc_37c42267f:
    37c42267fmov rdx, [r8]
    37c422682test rdx, rdx
    37c422685js 0x37c42268c
    37c422687cmp r14, rdx
    37c42268ajge 0x37c42269a
    37c42268c
    37c42268cloc_37c42268c:
    37c42268cmov rdx, -3
    37c422693mov eax, 3
    37c422698jmp 0x37c42262f
    37c42269a
    37c42269aloc_37c42269a:
    37c42269atest rax, rax
    37c42269dmov edx, 1
    37c4226a2cmovle rax, rdx
    37c4226a6cmp rcx, rax
    37c4226a9jl 0x37c422e56
    37c4226afmov rax, [rsp+440]
    37c4226b7mov r12, [rax]
    37c4226batest r14, r14
    37c4226bdjne 0x37c4227ea
    37c4226c3movsd_xmm x0, [rip+0x51ec5]
    37c4226cbmov rdx, r12
    37c4226ce
    37c4226celoc_37c4226ce:
    37c4226cemov rax, [rsp+432]
    37c4226d6test r14, r14
    37c4226d9mov [rax+8], 0
    37c4226e1movsd_xmm [rax], x0
    37c4226e5mov eax, 1
    37c4226eacmovg rax, r14
    37c4226eecmp rax, rdx
    37c4226f1jle 0x37c42270e
    37c4226f3cmp r12, -1
    37c4226f7je 0x37c422e42
    37c4226fdmov [rbx], -8
    37c422704mov eax, 8
    37c422709jmp 0x37c422632
    37c42270e
    37c42270eloc_37c42270e:
    37c42270emov rax, [rbx]
    37c422711test rax, rax
    37c422714jne 0x37c422e4e
    37c42271acmp r12, -1
    37c42271eje 0x37c422655
    37c422724test r14, r14
    37c422727jle 0x37c422655
    37c42272dmov rax, [rsp+400]
    37c422735mov rcx, [rax]
    37c422738cmp rbp, 1
    37c42273cjle 0x37c4227df
    37c422742mov r8, r14
    37c422745cmp rbp, rcx
    37c422748jl 0x37c42285d
    37c42274e
    37c42274eloc_37c42274e:
    37c42274emov r9, [rdi]
    37c422751
    37c422751loc_37c422751:
    37c422751lea rax, [rsp+248]
    37c422759mov [rsp+264], r9
    37c422761lea rdx, [rsp+272]
    37c422769mov r9, rsi
    37c42276cmov [rsp+56], rax
    37c422771mov rax, [rsp+432]
    37c422779mov [rsp+272], r8
    37c422781lea r8, [rsp+280]
    37c422789mov [rsp+48], rax
    37c42278emov rax, [rsp+424]
    37c422796mov [rsp+280], rcx
    37c42279elea rcx, [rsp+264]
    37c4227a6mov [rsp+40], rax
    37c4227abmov rax, [rsp+416]
    37c4227b3mov [rsp+32], rax
    37c4227b8call zung2l_64_
    37c4227bd
    37c4227bdloc_37c4227bd:
    37c4227bdmov rax, [rsp+432]
    37c4227c5pxor x0, x0
    37c4227c9cvtsi2sd x0, r14
    37c4227cemov [rax+8], 0
    37c4227d6movsd_xmm [rax], x0
    37c4227dajmp 0x37c422655
    37c4227df
    37c4227dfloc_37c4227df:
    37c4227dfmov r9, [rdi]
    37c4227e2mov r8, r14
    37c4227e5jmp 0x37c422751
    37c4227ea
    37c4227ealoc_37c4227ea:
    37c4227ealea rax, [rip+0x51d5f]
    37c4227f1mov [rsp+32], r15
    37c4227f6mov r9, rdi
    37c4227f9lea rdx, [rip+0x51d41]
    37c422800mov [rsp+48], rax
    37c422805mov rax, [rsp+400]
    37c42280dlea r8, [rip+0x51d2c]
    37c422814lea rcx, [rip+0x51d2d]
    37c42281bmov [rsp+64], 1
    37c422824mov [rsp+56], 6
    37c42282dmov [rsp+40], rax
    37c422832call ilaenv_64_
    37c422837mov r14, [r15]
    37c42283apxor x0, x0
    37c42283emov rbp, rax
    37c422841mov rax, r14
    37c422844imul rax, rbp
    37c422848cvtsi2sd x0, rax
    37c42284dmov rax, [rsp+440]
    37c422855mov rdx, [rax]
    37c422858jmp 0x37c4226ce
    37c42285d
    37c42285dloc_37c42285d:
    37c42285dlea rax, [rip+0x51cec]
    37c422864mov [rsp+32], r15
    37c422869mov r9, rdi
    37c42286clea r8, [rip+0x51ccd]
    37c422873mov [rsp+48], rax
    37c422878mov rax, [rsp+400]
    37c422880lea rdx, [rip+0x51cba]
    37c422887lea rcx, [rip+0x51cca]
    37c42288emov [rsp+64], 1
    37c422897mov [rsp+56], 6
    37c4228a0mov [rsp+40], rax
    37c4228a5call ilaenv_64_
    37c4228aaxor edx, edx
    37c4228acmov r8, [r15]
    37c4228aftest rax, rax
    37c4228b2mov rbx, rdx
    37c4228b5cmovns rbx, rax
    37c4228b9mov rax, [rsp+400]
    37c4228c1mov rcx, [rax]
    37c4228c4cmp rcx, rbx
    37c4228c7jle 0x37c42274e
    37c4228cdmov rax, [rsp+440]
    37c4228d5mov r14, rbp
    37c4228d8mov [rsp+256], r8
    37c4228e0imul r14, r8
    37c4228e4mov rax, [rax]
    37c4228e7cmp rax, r14
    37c4228eajl 0x37c422e74
    37c4228f0
    37c4228f0loc_37c4228f0:
    37c4228f0cmp rbx, rbp
    37c4228f3mov rax, rbp
    37c4228f6mov r9, [rdi]
    37c4228f9cmovge rax, rbx
    37c4228fdcmp rax, rcx
    37c422900jge 0x37c422751
    37c422906mov rax, rcx
    37c422909sub rax, rbx
    37c42290cmov rbx, r9
    37c42290flea r10, [rbp+rax-1]
    37c422914mov rax, r10
    37c422917cqo
    37c422919idiv rbp
    37c42291csub r10, rdx
    37c42291fmov rdx, r8
    37c422922cmp r10, rcx
    37c422925cmovg r10, rcx
    37c422929sub rdx, r10
    37c42292cmov r12, r10
    37c42292fsub rbx, r10
    37c422932test rdx, rdx
    37c422935jle 0x37c4229b3
    37c422937mov rax, [rsp+160]
    37c42293flea r13, [rbx+1]
    37c422943lea r8, [rsi-16]
    37c422947mov r11l, 1
    37c42294dlea r10, [r9+1]
    37c422951pxor x0, x0
    37c422955shl rax, 4
    37c422959mov [rsp+176], rax
    37c422961lea rax, [rdx+1]
    37c422965mov [rsp+168], rax
    37c42296d
    37c42296dloc_37c42296d:
    37c42296dmov rax, r13
    37c422970cmp r13, r9
    37c422973jg 0x37c42299d
    37c422975mov [rsp+184], r14
    37c42297dnop [rax]
    37c422980
    37c422980loc_37c422980:
    37c422980mov r14, rax
    37c422983add rax, 1
    37c422987shl r14, 4
    37c42298bmovups [r8+r14], x0
    37c422990cmp rax, r10
    37c422993jne 0x37c422980
    37c422995mov r14, [rsp+184]
    37c42299d
    37c42299dloc_37c42299d:
    37c42299dadd r11, 1
    37c4229a1add r8, [rsp+176]
    37c4229a9cmp r11, [rsp+168]
    37c4229b1jne 0x37c42296d
    37c4229b3
    37c4229b3loc_37c4229b3:
    37c4229b3lea rax, [rsp+248]
    37c4229bbsub rcx, r12
    37c4229bemov r9, rsi
    37c4229c1mov [rsp+272], rdx
    37c4229c9mov [rsp+208], rax
    37c4229d1lea r8, [rsp+280]
    37c4229d9lea rdx, [rsp+272]
    37c4229e1mov [rsp+56], rax
    37c4229e6mov rax, [rsp+432]
    37c4229eemov [rsp+280], rcx
    37c4229f6lea rcx, [rsp+264]
    37c4229femov [rsp+48], rax
    37c422a03mov rax, [rsp+424]
    37c422a0bmov [rsp+264], rbx
    37c422a13mov [rsp+40], rax
    37c422a18mov rax, [rsp+416]
    37c422a20mov [rsp+192], r8
    37c422a28mov [rsp+32], rax
    37c422a2dmov [rsp+224], rdx
    37c422a35mov [rsp+184], rcx
    37c422a3dcall zung2l_64_
    37c422a42test r12, r12
    37c422a45je 0x37c4227bd
    37c422a4bmov rax, [rsp+400]
    37c422a53mov r9, [rax]
    37c422a56mov rbx, r9
    37c422a59sub rbx, r12
    37c422a5cadd rbx, 1
    37c422a60cmp rbx, r9
    37c422a63jg 0x37c4227bd
    37c422a69mov rcx, [rsp+160]
    37c422a71xor edx, edx
    37c422a73pxor x6, x6
    37c422a77mov [rsp+232], r14
    37c422a7fmov [rsp+392], r15
    37c422a87mov rax, rcx
    37c422a8ashl rcx, 4
    37c422a8enot rax
    37c422a91mov r12, rcx
    37c422a94mov [rsp+168], rax
    37c422a9cmov rax, r9
    37c422a9fsub rax, rbx
    37c422aa2div rbp
    37c422aa5mov rdx, [r15]
    37c422aa8mov [rsp+176], rax
    37c422ab0mov rax, [rsp+424]
    37c422ab8sub rax, 16
    37c422abcmov [rsp+200], rax
    37c422ac4nop
    37c422ac5nop [rax+rax]
    37c422ad0
    37c422ad0loc_37c422ad0:
    37c422ad0mov rcx, r9
    37c422ad3mov r13, rbx
    37c422ad6sub rcx, rbx
    37c422ad9add rcx, 1
    37c422addcmp rcx, rbp
    37c422ae0cmovg rcx, rbp
    37c422ae4sub rdx, r9
    37c422ae7shl r13, 4
    37c422aebadd r13, [rsp+200]
    37c422af3lea rax, [rdx+rbx]
    37c422af7mov [rsp+264], rcx
    37c422affcmp rax, 1
    37c422b03jle 0x37c422cfb
    37c422b09mov rdx, [rdi]
    37c422b0cmov r15, [rsp+160]
    37c422b14lea r14, [rsp+256]
    37c422b1cmov [rsp+80], 10
    37c422b25mov [rsp+64], r14
    37c422b2amov r8, [rsp+192]
    37c422b32sub rdx, r9
    37c422b35imul rax, r15
    37c422b39mov [rsp+72], 8
    37c422b42mov r9, [rsp+184]
    37c422b4aadd rdx, rbx
    37c422b4dmov [rsp+48], r13
    37c422b52lea rdx, [rcx+rdx-1]
    37c422b57lea rcx, [rip+0x51a14]
    37c422b5emov [rsp+280], rdx
    37c422b66mov rdx, [rsp+432]
    37c422b6emov [rsp+56], rdx
    37c422b73mov rdx, [rsp+416]
    37c422b7bmov [rsp+40], rdx
    37c422b80mov rdx, [rsp+168]
    37c422b88lea rax, [rdx+rax+1]
    37c422b8dlea rdx, [rip+0x519d4]
    37c422b94shl rax, 4
    37c422b98add rax, rsi
    37c422b9bmov [rsp+32], rax
    37c422ba0call zlarft_64_
    37c422ba5mov rcx, [rsp+400]
    37c422badmov rax, [rdi]
    37c422bb0lea r9, [rip+0x519b1]
    37c422bb7mov r11, [rsp+392]
    37c422bbfmov rdx, [rsp+264]
    37c422bc7lea r8, [rip+0x519a4]
    37c422bcemov rcx, [rcx]
    37c422bd1mov r11, [r11]
    37c422bd4mov [rsp+112], r14
    37c422bd9sub rax, rcx
    37c422bdcmov [rsp+144], 10
    37c422be8add rax, rbx
    37c422bebmov [rsp+216], r11
    37c422bf3lea rax, [rdx+rax-1]
    37c422bf8shl rdx, 4
    37c422bfcadd rdx, [rsp+432]
    37c422c04mov [rsp+136], 8
    37c422c10mov [rsp+272], rax
    37c422c18mov rax, r11
    37c422c1bsub rax, rcx
    37c422c1emov [rsp+104], rdx
    37c422c23mov rdx, [rsp+168]
    37c422c2badd rax, rbx
    37c422c2emov [rsp+88], rsi
    37c422c33lea rcx, [rax-1]
    37c422c37mov [rsp+80], r14
    37c422c3cimul rax, r15
    37c422c40mov [rsp+280], rcx
    37c422c48mov rcx, [rsp+416]
    37c422c50mov [rsp+128], 12
    37c422c5cmov [rsp+96], rcx
    37c422c61mov rcx, [rsp+432]
    37c422c69mov [rsp+120], 4
    37c422c72lea rax, [rdx+rax+1]
    37c422c77lea rdx, [rip+0x518fc]
    37c422c7eshl rax, 4
    37c422c82mov [rsp+72], rcx
    37c422c87mov rcx, [rsp+416]
    37c422c8fadd rax, rsi
    37c422c92mov [rsp+56], rax
    37c422c97mov rax, [rsp+184]
    37c422c9fmov [rsp+64], rcx
    37c422ca4lea rcx, [rip+0x518db]
    37c422cabmov [rsp+48], rax
    37c422cb0mov rax, [rsp+192]
    37c422cb8mov [rsp+40], rax
    37c422cbdmov rax, [rsp+224]
    37c422cc5mov [rsp+32], rax
    37c422ccacall zlarfb_64_
    37c422ccfmov rax, [rsp+400]
    37c422cd7mov rcx, [rsp+264]
    37c422cdfmov r9, [rax]
    37c422ce2mov rax, [rsp+392]
    37c422ceamov rax, [rax]
    37c422cedmov [rsp+216], rax
    37c422cf5sub rax, r9
    37c422cf8add rax, rbx
    37c422cfb
    37c422cfbloc_37c422cfb:
    37c422cfbimul rax, [rsp+160]
    37c422d04mov rdx, [rdi]
    37c422d07mov [rsp+40], r13
    37c422d0csub rdx, r9
    37c422d0fadd rdx, rbx
    37c422d12lea rdx, [rcx+rdx-1]
    37c422d17mov rcx, [rsp+192]
    37c422d1fmov [rsp+280], rdx
    37c422d27mov rdx, [rsp+168]
    37c422d2flea rax, [rdx+rax+1]
    37c422d34mov rdx, [rsp+208]
    37c422d3cshl rax, 4
    37c422d40mov [rsp+56], rdx
    37c422d45mov rdx, [rsp+432]
    37c422d4dlea r9, [rsi+rax]
    37c422d51mov [rsp+48], rdx
    37c422d56mov rdx, [rsp+416]
    37c422d5emov [rsp+32], rdx
    37c422d63mov rdx, [rsp+184]
    37c422d6bmov r8, rdx
    37c422d6ecall zung2l_64_
    37c422d73mov rax, [rsp+392]
    37c422d7bmov rdx, [rax]
    37c422d7emov rax, [rsp+400]
    37c422d86mov r9, [rax]
    37c422d89mov r11, rdx
    37c422d8cmov rax, [rsp+264]
    37c422d94sub r11, r9
    37c422d97add r11, rbx
    37c422d9alea r15, [rax+r11]
    37c422d9ecmp r15, r11
    37c422da1jle 0x37c422e21
    37c422da3mov r14, [rdi]
    37c422da6mov r8, [rsp+160]
    37c422daemov r13, r14
    37c422db1imul r8, r11
    37c422db5add r8, [rsp+168]
    37c422dbdsub r13, r9
    37c422dc0shl r8, 4
    37c422dc4lea r10, [r14+1]
    37c422dc8add r13, rbx
    37c422dcbadd r8, rsi
    37c422dceadd r13, rax
    37c422dd1nop [rax]
    37c422dd5nop [rax+rax]
    37c422de0
    37c422de0loc_37c422de0:
    37c422de0mov rax, r13
    37c422de3cmp r14, r13
    37c422de6jl 0x37c422e15
    37c422de8nop
    37c422deanop [rax+rax]
    37c422df5nop [rax+rax]
    37c422e00
    37c422e00loc_37c422e00:
    37c422e00mov rcx, rax
    37c422e03add rax, 1
    37c422e07shl rcx, 4
    37c422e0bmovups [r8+rcx], x6
    37c422e10cmp rax, r10
    37c422e13jne 0x37c422e00
    37c422e15
    37c422e15loc_37c422e15:
    37c422e15add r11, 1
    37c422e19add r8, r12
    37c422e1ccmp r15, r11
    37c422e1fjne 0x37c422de0
    37c422e21
    37c422e21loc_37c422e21:
    37c422e21mov rax, [rsp+176]
    37c422e29add rbx, rbp
    37c422e2ctest rax, rax
    37c422e2fje 0x37c422e67
    37c422e31sub rax, 1
    37c422e35mov [rsp+176], rax
    37c422e3djmp 0x37c422ad0
    37c422e42
    37c422e42loc_37c422e42:
    37c422e42mov rax, [rbx]
    37c422e45test rax, rax
    37c422e48je 0x37c422655
    37c422e4e
    37c422e4eloc_37c422e4e:
    37c422e4eneg rax
    37c422e51jmp 0x37c422632
    37c422e56
    37c422e56loc_37c422e56:
    37c422e56mov rdx, -5
    37c422e5dmov eax, 5
    37c422e62jmp 0x37c42262f
    37c422e67
    37c422e67loc_37c422e67:
    37c422e67mov r14, [rsp+232]
    37c422e6fjmp 0x37c4227bd
    37c422e74
    37c422e74loc_37c422e74:
    37c422e74cqo
    37c422e76mov [rsp+32], r15
    37c422e7blea rcx, [rip+0x516de]
    37c422e82mov r9, rdi
    37c422e85idiv r8
    37c422e88mov [rsp+64], 1
    37c422e91mov [rsp+56], 6
    37c422e9alea r8, [rip+0x5169f]
    37c422ea1lea rdx, [rip+0x51699]
    37c422ea8mov rbp, rax
    37c422eablea rax, [rip+0x5169e]
    37c422eb2mov [rsp+48], rax
    37c422eb7mov rax, [rsp+400]
    37c422ebfmov [rsp+40], rax
    37c422ec4call ilaenv_64_
    37c422ec9mov rdx, [rsp+400]
    37c422ed1mov r8, [r15]
    37c422ed4mov rcx, [rdx]
    37c422ed7mov edx, 2
    37c422edccmp rax, rdx
    37c422edfcmovl rax, rdx
    37c422ee3cmp rbp, rax
    37c422ee6jl 0x37c42274e
    37c422eecjmp 0x37c4228f0
    37c4225c0
    37c422ef1
    37c422ef1 // align 0x10
    37c422f00
    37c422f00zungqr_64_:
    37c422f00push r15
    37c422f02push r14
    37c422f04push r13
    37c422f06push r12
    37c422f08push rbp
    37c422f09push rdi
    37c422f0apush rsi
    37c422f0bpush rbx
    37c422f0csub rsp, 328
    37c422f13mov rax, [rsp+432]
    37c422f1bmov r12, [rsp+464]
    37c422f23mov rbp, [rsp+448]
    37c422f2bmov rbx, [rax]
    37c422f2elea rax, [rip+0x5167b]
    37c422f35mov [r12], 0
    37c422f3dmov [rsp+40], r8
    37c422f42mov rdi, rcx
    37c422f45mov r13, rdx
    37c422f48mov [rsp+32], rdx
    37c422f4dlea rdx, [rip+0x5164d]
    37c422f54mov [rsp+64], 1
    37c422f5dmov [rsp+56], 6
    37c422f66mov [rsp+48], rax
    37c422f6bmov [rsp+416], r8
    37c422f73lea r8, [rip+0x51626]
    37c422f7amov [rsp+424], r9
    37c422f82mov r9, rcx
    37c422f85lea rcx, [rip+0x5161c]
    37c422f8ccall ilaenv_64_
    37c422f91mov r10, [r13]
    37c422f95pxor x0, x0
    37c422f99mov [rbp+8], 0
    37c422fa1mov rsi, rax
    37c422fa4mov eax, 1
    37c422fa9test r10, r10
    37c422facmov rdx, rsi
    37c422fafcmovg rax, r10
    37c422fb3imul rdx, rax
    37c422fb7cvtsi2sd x0, rdx
    37c422fbcmov rdx, [rdi]
    37c422fbfmovsd_xmm [rbp], x0
    37c422fc4test rdx, rdx
    37c422fc7js 0x37c423017
    37c422fc9test r10, r10
    37c422fccjs 0x37c422fd3
    37c422fcecmp rdx, r10
    37c422fd1jge 0x37c423029
    37c422fd3
    37c422fd3loc_37c422fd3:
    37c422fd3mov [r12], -2
    37c422fdbmov eax, 2
    37c422fe0
    37c422fe0loc_37c422fe0:
    37c422fe0lea rdx, [rsp+312]
    37c422fe8mov r8l, 6
    37c422feelea rcx, [rip+0x515ac]
    37c422ff5mov [rsp+312], rax
    37c422ffdcall xerbla_64_
    37c423002nop
    37c423003
    37c423003loc_37c423003:
    37c423003add rsp, 328
    37c42300apop rbx
    37c42300bpop rsi
    37c42300cpop rdi
    37c42300dpop rbp
    37c42300epop r12
    37c423010pop r13
    37c423012pop r14
    37c423014pop r15
    37c423016ret
    37c423017
    37c423017loc_37c423017:
    37c423017mov rdx, -1
    37c42301emov eax, 1
    37c423023
    37c423023loc_37c423023:
    37c423023mov [r12], rdx
    37c423027jmp 0x37c422fe0
    37c423029
    37c423029loc_37c423029:
    37c423029mov rcx, [rsp+416]
    37c423031mov rcx, [rcx]
    37c423034test rcx, rcx
    37c423037js 0x37c42303e
    37c423039cmp rcx, r10
    37c42303cjle 0x37c42304c
    37c42303e
    37c42303eloc_37c42303e:
    37c42303emov rdx, -3
    37c423045mov eax, 3
    37c42304ajmp 0x37c423023
    37c42304c
    37c42304cloc_37c42304c:
    37c42304cmov r11, [rsp+432]
    37c423054test rdx, rdx
    37c423057mov r8l, 1
    37c42305dcmovg r8, rdx
    37c423061cmp [r11], r8
    37c423064jl 0x37c42313e
    37c42306amov r11, [rsp+456]
    37c423072mov r8, [r11]
    37c423075cmp r8, rax
    37c423078jl 0x37c42385f
    37c42307emov rax, [r12]
    37c423082test rax, rax
    37c423085jne 0x37c4238a1
    37c42308btest r10, r10
    37c42308eje 0x37c42314f
    37c423094cmp rsi, 1
    37c423098jle 0x37c423877
    37c42309emov r9, r10
    37c4230a1cmp rcx, rsi
    37c4230a4jg 0x37c42315f
    37c4230aa
    37c4230aaloc_37c4230aa:
    37c4230aamov [rsp+168], r10
    37c4230b2mov [rsp+296], rdx
    37c4230bamov [rsp+304], r9
    37c4230c2
    37c4230c2loc_37c4230c2:
    37c4230c2lea rax, [rsp+280]
    37c4230camov [rsp+48], rbp
    37c4230cfmov r9, [rsp+424]
    37c4230d7lea rdx, [rsp+304]
    37c4230dfmov [rsp+56], rax
    37c4230e4mov rax, [rsp+440]
    37c4230eclea r8, [rsp+312]
    37c4230f4mov [rsp+312], rcx
    37c4230fclea rcx, [rsp+296]
    37c423104mov [rsp+40], rax
    37c423109mov rax, [rsp+432]
    37c423111mov [rsp+32], rax
    37c423116call zung2r_64_
    37c42311bmov r10, [rsp+168]
    37c423123
    37c423123loc_37c423123:
    37c423123pxor x0, x0
    37c423127mov [rbp+8], 0
    37c42312fcvtsi2sd x0, r10
    37c423134movsd_xmm [rbp], x0
    37c423139jmp 0x37c423003
    37c42313e
    37c42313eloc_37c42313e:
    37c42313emov rdx, -5
    37c423145mov eax, 5
    37c42314ajmp 0x37c423023
    37c42314f
    37c42314floc_37c42314f:
    37c42314fmov rax, [rip+0x5149a]
    37c423156mov [rbp], rax
    37c42315ajmp 0x37c423003
    37c42315f
    37c42315floc_37c42315f:
    37c42315flea rax, [rip+0x5144a]
    37c423166mov [rsp+32], r13
    37c42316bmov r9, rdi
    37c42316elea r8, [rip+0x5142b]
    37c423175mov [rsp+48], rax
    37c42317amov rax, [rsp+416]
    37c423182lea rdx, [rip+0x51418]
    37c423189lea rcx, [rip+0x51428]
    37c423190mov [rsp+64], 1
    37c423199mov [rsp+56], 6
    37c4231a2mov [rsp+40], rax
    37c4231a7mov [rsp+168], r10
    37c4231afcall ilaenv_64_
    37c4231b4xor edx, edx
    37c4231b6mov r8, [r13]
    37c4231bamov r10, [rsp+168]
    37c4231c2test rax, rax
    37c4231c5cmovns rdx, rax
    37c4231c9mov rax, [rsp+416]
    37c4231d1mov r9, r8
    37c4231d4mov rcx, [rax]
    37c4231d7mov r12, rdx
    37c4231dacmp rcx, rdx
    37c4231ddjg 0x37c4231f9
    37c4231dfcmp rcx, rsi
    37c4231e2jg 0x37c42376e
    37c4231e8
    37c4231e8loc_37c4231e8:
    37c4231e8test r8, r8
    37c4231ebjle 0x37c423123
    37c4231f1
    37c4231f1loc_37c4231f1:
    37c4231f1mov rdx, [rdi]
    37c4231f4jmp 0x37c4230aa
    37c4231f9
    37c4231f9loc_37c4231f9:
    37c4231f9mov rax, [rsp+456]
    37c423201mov r10, rsi
    37c423204mov [rsp+288], r8
    37c42320cimul r10, r8
    37c423210mov rax, [rax]
    37c423213cmp rax, r10
    37c423216jl 0x37c4237c2
    37c42321ccmp rcx, rsi
    37c42321fjle 0x37c4231e8
    37c423221
    37c423221loc_37c423221:
    37c423221xor eax, eax
    37c423223mov r9, rcx
    37c423226test rbx, rbx
    37c423229cmovns rax, rbx
    37c42322dsub r9, r12
    37c423230sub r9, 1
    37c423234mov rbx, rax
    37c423237mov [rsp+248], rax
    37c42323fmov r14, rax
    37c423242mov rax, r9
    37c423245cqo
    37c423247not rbx
    37c42324aidiv rsi
    37c42324dmov [rsp+240], rbx
    37c423255sub r9, rdx
    37c423258lea rax, [r9+rsi]
    37c42325cmov r12, r9
    37c42325fmov r9, r8
    37c423262cmp rax, rcx
    37c423265cmovg rax, rcx
    37c423269lea r11, [rax+1]
    37c42326dmov rdx, rax
    37c423270cmp r11, r8
    37c423273jg 0x37c42377f
    37c423279mov r9, r14
    37c42327cmov r15, r14
    37c42327fpxor x0, x0
    37c423283imul r9, r11
    37c423287shl r15, 4
    37c42328blea r14, [r8+1]
    37c42328fadd r9, rbx
    37c423292mov rbx, r11
    37c423295shl r9, 4
    37c423299add r9, [rsp+424]
    37c4232a1
    37c4232a1loc_37c4232a1:
    37c4232a1mov [rsp+168], r10
    37c4232a9mov eax, 1
    37c4232aenop [rax]
    37c4232b5nop [rax+rax]
    37c4232c0
    37c4232c0loc_37c4232c0:
    37c4232c0mov r10, rax
    37c4232c3add rax, 1
    37c4232c7shl r10, 4
    37c4232cbmovups [r9+r10], x0
    37c4232d0cmp r11, rax
    37c4232d3jne 0x37c4232c0
    37c4232d5add rbx, 1
    37c4232d9mov r10, [rsp+168]
    37c4232e1add r9, r15
    37c4232e4cmp rbx, r14
    37c4232e7jne 0x37c4232a1
    37c4232e9
    37c4232e9loc_37c4232e9:
    37c4232e9mov rax, [rdi]
    37c4232ecsub rcx, rdx
    37c4232efsub r8, rdx
    37c4232f2mov [rsp+48], rbp
    37c4232f7mov [rsp+312], rcx
    37c4232ffmov rcx, [rsp+248]
    37c423307lea rbx, [rsp+296]
    37c42330fsub rax, rdx
    37c423312shl rdx, 4
    37c423316add rdx, [rsp+440]
    37c42331emov [rsp+304], r8
    37c423326imul rcx, r11
    37c42332amov [rsp+40], rdx
    37c42332fadd rcx, [rsp+240]
    37c423337lea r8, [rsp+312]
    37c42333fmov rdx, [rsp+432]
    37c423347add rcx, r11
    37c42334alea r11, [rsp+280]
    37c423352mov [rsp+192], r10
    37c42335amov [rsp+56], r11
    37c42335fshl rcx, 4
    37c423363mov [rsp+32], rdx
    37c423368mov rdx, [rsp+424]
    37c423370mov [rsp+296], rax
    37c423378lea r9, [rdx+rcx]
    37c42337cmov rcx, rbx
    37c42337flea rdx, [rsp+304]
    37c423387mov [rsp+168], rbx
    37c42338fmov [rsp+176], r8
    37c423397lea rbx, [r12+1]
    37c42339cmov [rsp+184], r11
    37c4233a4call zung2r_64_
    37c4233a9mov rax, [rsp+416]
    37c4233b1mov r9, [r13]
    37c4233b5mov r10, [rsp+192]
    37c4233bdmov rcx, [rax]
    37c4233c0
    37c4233c0loc_37c4233c0:
    37c4233c0mov rax, r12
    37c4233c3xor edx, edx
    37c4233c5mov r11, [rsp+240]
    37c4233cdmov [rsp+264], r10
    37c4233d5div rsi
    37c4233d8mov rdx, [rsp+248]
    37c4233e0mov [rsp+408], r13
    37c4233e8mov r14, rdx
    37c4233eblea r12, [rbx+r11]
    37c4233efmov r13, rsi
    37c4233f2imul r14, rbx
    37c4233f6add r12, r14
    37c4233f9add r14, r11
    37c4233fcshl r12, 4
    37c423400add r12, [rsp+424]
    37c423408mov [rsp+224], rax
    37c423410mov rax, rsi
    37c423413neg rax
    37c423416imul rax, rdx
    37c42341ashl rdx, 4
    37c42341emov r15, rdx
    37c423421mov rdx, [rsp+440]
    37c423429mov [rsp+208], rax
    37c423431sub rax, rsi
    37c423434sub rdx, 16
    37c423438mov rsi, [rsp+224]
    37c423440shl rax, 4
    37c423444mov [rsp+192], rdx
    37c42344clea rdx, [rsp+288]
    37c423454mov [rsp+200], rax
    37c42345cmov [rsp+216], rdx
    37c423464lea rdx, [rsp+304]
    37c42346cmov [rsp+256], rdx
    37c423474mov rdx, rcx
    37c423477nop [rax+rax]
    37c423480
    37c423480loc_37c423480:
    37c423480sub rdx, rbx
    37c423483mov rax, rbx
    37c423486add rdx, 1
    37c42348acmp rdx, r13
    37c42348dcmovg rdx, r13
    37c423491shl rax, 4
    37c423495add rax, [rsp+192]
    37c42349dmov [rsp+296], rdx
    37c4234a5add rdx, rbx
    37c4234a8cmp rdx, r9
    37c4234abjle 0x37c42359b
    37c4234b1
    37c4234b1loc_37c4234b1:
    37c4234b1mov rdx, [rdi]
    37c4234b4mov rcx, [rsp+184]
    37c4234bcmov [rsp+40], rax
    37c4234c1mov r9, r12
    37c4234c4mov rax, [rsp+432]
    37c4234ccmov [rsp+48], rbp
    37c4234d1sub rdx, rbx
    37c4234d4mov [rsp+56], rcx
    37c4234d9mov rcx, [rsp+176]
    37c4234e1add rdx, 1
    37c4234e5mov [rsp+32], rax
    37c4234eamov [rsp+312], rdx
    37c4234f2mov rdx, [rsp+168]
    37c4234famov r8, rdx
    37c4234fdcall zung2r_64_
    37c423502mov r9, [rsp+296]
    37c42350aadd r9, rbx
    37c42350dcmp r9, rbx
    37c423510jle 0x37c423560
    37c423512cmp rbx, 1
    37c423516jle 0x37c423560
    37c423518mov rcx, r14
    37c42351bmov r8, rbx
    37c42351epxor x0, x0
    37c423522shl rcx, 4
    37c423526add rcx, [rsp+424]
    37c42352enop
    37c423530
    37c423530loc_37c423530:
    37c423530mov eax, 1
    37c423535nop [rax+rax]
    37c423540
    37c423540loc_37c423540:
    37c423540mov rdx, rax
    37c423543add rax, 1
    37c423547shl rdx, 4
    37c42354bmovups [rcx+rdx], x0
    37c42354fcmp rbx, rax
    37c423552jne 0x37c423540
    37c423554add r8, 1
    37c423558add rcx, r15
    37c42355bcmp r9, r8
    37c42355ejne 0x37c423530
    37c423560
    37c423560loc_37c423560:
    37c423560test rsi, rsi
    37c423563je 0x37c423744
    37c423569mov rax, [rsp+408]
    37c423571add r12, [rsp+200]
    37c423579sub rbx, r13
    37c42357csub rsi, 1
    37c423580add r14, [rsp+208]
    37c423588mov r9, [rax]
    37c42358bmov rax, [rsp+416]
    37c423593mov rdx, [rax]
    37c423596jmp 0x37c423480
    37c42359b
    37c42359bloc_37c42359b:
    37c42359bmov rdx, [rdi]
    37c42359emov rcx, [rsp+216]
    37c4235a6mov [rsp+48], rax
    37c4235abmov [rsp+56], rbp
    37c4235b0mov r9, [rsp+168]
    37c4235b8sub rdx, rbx
    37c4235bbmov [rsp+64], rcx
    37c4235c0mov r8, [rsp+176]
    37c4235c8lea rcx, [rip+0x51003]
    37c4235cfadd rdx, 1
    37c4235d3mov [rsp+32], r12
    37c4235d8mov [rsp+312], rdx
    37c4235e0mov rdx, [rsp+432]
    37c4235e8mov [rsp+80], 10
    37c4235f1mov [rsp+40], rdx
    37c4235f6lea rdx, [rip+0x50fcb]
    37c4235fdmov [rsp+72], 7
    37c423606mov [rsp+232], rax
    37c42360ecall zlarft_64_
    37c423613mov rdx, [rdi]
    37c423616mov r11, [rsp+408]
    37c42361elea r9, [rip+0x50fa3]
    37c423625mov rax, [rsp+216]
    37c42362dlea r8, [rip+0x50f9e]
    37c423634mov r11, [r11]
    37c423637sub rdx, rbx
    37c42363amov [rsp+72], rbp
    37c42363fadd rdx, 1
    37c423643mov [rsp+112], rax
    37c423648mov [rsp+304], rdx
    37c423650mov rcx, r11
    37c423653mov rdx, [rsp+296]
    37c42365bsub rcx, rbx
    37c42365emov [rsp+80], rax
    37c423663mov rax, [rsp+168]
    37c42366bsub rcx, rdx
    37c42366emov [rsp+224], r11
    37c423676add rcx, 1
    37c42367amov [rsp+48], rax
    37c42367fmov rax, [rsp+176]
    37c423687mov [rsp+312], rcx
    37c42368fmov rcx, rdx
    37c423692add rdx, rbx
    37c423695shl rcx, 4
    37c423699mov [rsp+40], rax
    37c42369emov rax, [rsp+256]
    37c4236a6add rcx, rbp
    37c4236a9imul rdx, [rsp+248]
    37c4236b2add rdx, [rsp+240]
    37c4236bamov [rsp+144], 10
    37c4236c6mov [rsp+104], rcx
    37c4236cbadd rdx, rbx
    37c4236cemov rcx, [rsp+432]
    37c4236d6mov [rsp+32], rax
    37c4236dbshl rdx, 4
    37c4236dfadd rdx, [rsp+424]
    37c4236e7mov [rsp+96], rcx
    37c4236ecmov rcx, [rsp+432]
    37c4236f4mov [rsp+88], rdx
    37c4236f9lea rdx, [rip+0x50ed9]
    37c423700mov [rsp+64], rcx
    37c423705lea rcx, [rip+0x50ed9]
    37c42370cmov [rsp+136], 7
    37c423718mov [rsp+128], 12
    37c423724mov [rsp+120], 4
    37c42372dmov [rsp+56], r12
    37c423732call zlarfb_64_
    37c423737mov rax, [rsp+232]
    37c42373fjmp 0x37c4234b1
    37c423744
    37c423744loc_37c423744:
    37c423744mov r10, [rsp+264]
    37c42374cjmp 0x37c423123
    37c423751
    37c423751loc_37c423751:
    37c423751mov rax, [rsp+416]
    37c423759mov rcx, [rax]
    37c42375ccmp rcx, rsi
    37c42375fjle 0x37c4231e8
    37c423765cmp rcx, r12
    37c423768jg 0x37c423221
    37c42376e
    37c42376eloc_37c42376e:
    37c42376emov r9, r8
    37c423771test r8, r8
    37c423774jle 0x37c423123
    37c42377ajmp 0x37c4231f1
    37c42377f
    37c42377floc_37c42377f:
    37c42377fcmp rax, r8
    37c423782jl 0x37c4232e9
    37c423788lea rax, [rsp+312]
    37c423790lea rbx, [r12+1]
    37c423795mov [rsp+176], rax
    37c42379dlea rax, [rsp+296]
    37c4237a5mov [rsp+168], rax
    37c4237adlea rax, [rsp+280]
    37c4237b5mov [rsp+184], rax
    37c4237bdjmp 0x37c4233c0
    37c4237c2
    37c4237c2loc_37c4237c2:
    37c4237c2cqo
    37c4237c4mov [rsp+32], r13
    37c4237c9mov r9, rdi
    37c4237cclea rcx, [rip+0x50ded]
    37c4237d3idiv r8
    37c4237d6mov [rsp+168], r10
    37c4237demov [rsp+64], 1
    37c4237e7mov [rsp+56], 6
    37c4237f0lea r8, [rip+0x50da9]
    37c4237f7lea rdx, [rip+0x50da3]
    37c4237femov rsi, rax
    37c423801lea rax, [rip+0x50da8]
    37c423808mov [rsp+48], rax
    37c42380dmov rax, [rsp+416]
    37c423815mov [rsp+40], rax
    37c42381acall ilaenv_64_
    37c42381fmov edx, 2
    37c423824mov r8, [r13]
    37c423828mov r10, [rsp+168]
    37c423830cmp rax, rdx
    37c423833cmovl rax, rdx
    37c423837mov r9, r8
    37c42383acmp rsi, rax
    37c42383djge 0x37c423751
    37c423843test r8, r8
    37c423846jle 0x37c423123
    37c42384cmov rax, [rsp+416]
    37c423854mov rdx, [rdi]
    37c423857mov rcx, [rax]
    37c42385ajmp 0x37c4230aa
    37c42385f
    37c42385floc_37c42385f:
    37c42385fcmp r8, -1
    37c423863je 0x37c423894
    37c423865mov [r12], -8
    37c42386dmov eax, 8
    37c423872jmp 0x37c422fe0
    37c423877
    37c423877loc_37c423877:
    37c423877mov [rsp+296], rdx
    37c42387fmov [rsp+304], r10
    37c423887mov [rsp+168], r10
    37c42388fjmp 0x37c4230c2
    37c423894
    37c423894loc_37c423894:
    37c423894mov rax, [r12]
    37c423898test rax, rax
    37c42389bje 0x37c423003
    37c4238a1
    37c4238a1loc_37c4238a1:
    37c4238a1neg rax
    37c4238a4jmp 0x37c422fe0
    37c422f00