File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37c420a20
    37c420a20zungbr_64_:
    37c420a20push r15
    37c420a22push r14
    37c420a24push r13
    37c420a26push r12
    37c420a28push rbp
    37c420a29push rdi
    37c420a2apush rsi
    37c420a2bpush rbx
    37c420a2csub rsp, 136
    37c420a33mov rax, [rsp+248]
    37c420a3bmov rbx, [rsp+240]
    37c420a43mov r14, [rax]
    37c420a46mov rax, [rsp+280]
    37c420a4emov [rax], 0
    37c420a55mov rsi, rdx
    37c420a58mov rdi, r8
    37c420a5bmov rbp, r9
    37c420a5emov r8l, 1
    37c420a64mov r9l, 1
    37c420a6alea rdx, [rip+0x539cf]
    37c420a71mov r12, rcx
    37c420a74call lsame_64_
    37c420a79mov r10, [rsi]
    37c420a7cmov r11, [rdi]
    37c420a7fmov r13, rax
    37c420a82mov rax, [rsp+272]
    37c420a8amov r15, [rax]
    37c420a8dtest r13, r13
    37c420a90je 0x37c420b10
    37c420a92test r10, r10
    37c420a95js 0x37c420ac8
    37c420a97test r11, r11
    37c420a9ajs 0x37c420c48
    37c420aa0cmp r10, r11
    37c420aa3jge 0x37c420bc0
    37c420aa9
    37c420aa9loc_37c420aa9:
    37c420aa9mov rax, [rsp+280]
    37c420ab1mov [rax], -3
    37c420ab8mov rax, -3
    37c420abf
    37c420abfloc_37c420abf:
    37c420abfneg rax
    37c420ac2jmp 0x37c420adf
    37c420ac4
    37c420ac4 0f 1f 40 00 ..@.
    37c420ac8
    37c420ac8loc_37c420ac8:
    37c420ac8mov rdx, -2
    37c420acfmov eax, 2
    37c420ad4
    37c420ad4loc_37c420ad4:
    37c420ad4mov rbx, [rsp+280]
    37c420adcmov [rbx], rdx
    37c420adf
    37c420adfloc_37c420adf:
    37c420adflea rdx, [rsp+120]
    37c420ae4mov r8l, 6
    37c420aeamov [rsp+120], rax
    37c420aeflea rcx, [rip+0x5395a]
    37c420af6call xerbla_64_
    37c420afbnop
    37c420afc
    37c420afcloc_37c420afc:
    37c420afcadd rsp, 136
    37c420b03pop rbx
    37c420b04pop rsi
    37c420b05pop rdi
    37c420b06pop rbp
    37c420b07pop r12
    37c420b09pop r13
    37c420b0bpop r14
    37c420b0dpop r15
    37c420b0fret
    37c420b10
    37c420b10loc_37c420b10:
    37c420b10mov r9l, 1
    37c420b16mov r8l, 1
    37c420b1cmov rcx, r12
    37c420b1fmov [rsp+88], r11
    37c420b24lea rdx, [rip+0x53916]
    37c420b2bmov [rsp+80], r10
    37c420b30call lsame_64_
    37c420b35test rax, rax
    37c420b38je 0x37c420ba0
    37c420b3amov rdx, [rsi]
    37c420b3dmov r10, [rsp+80]
    37c420b42mov r11, [rsp+88]
    37c420b47test rdx, rdx
    37c420b4ajs 0x37c420ac8
    37c420b50mov rcx, [rdi]
    37c420b53test rcx, rcx
    37c420b56js 0x37c420c48
    37c420b5ccmp rdx, rcx
    37c420b5fjg 0x37c420aa9
    37c420b65mov r8, [rbp]
    37c420b69mov rax, rcx
    37c420b6ccmp r8, rcx
    37c420b6fcmovle rax, r8
    37c420b73cmp rdx, rax
    37c420b76jl 0x37c420aa9
    37c420b7ctest r8, r8
    37c420b7fjns 0x37c420be2
    37c420b81
    37c420b81loc_37c420b81:
    37c420b81mov rax, [rsp+280]
    37c420b89mov [rax], -4
    37c420b90mov rax, -4
    37c420b97jmp 0x37c420abf
    37c420b9c
    37c420b9c 0f 1f 40 00 ..@.
    37c420ba0
    37c420ba0loc_37c420ba0:
    37c420ba0mov rax, [rsp+280]
    37c420ba8mov [rax], -1
    37c420bafmov rax, -1
    37c420bb6jmp 0x37c420abf
    37c420bbb
    37c420bbb 0f 1f 44 00 00 ..D..
    37c420bc0
    37c420bc0loc_37c420bc0:
    37c420bc0mov r8, [rbp]
    37c420bc4cmp r10, r8
    37c420bc7mov rax, r8
    37c420bcacmovle rax, r10
    37c420bcecmp r11, rax
    37c420bd1jl 0x37c420aa9
    37c420bd7test r8, r8
    37c420bdajs 0x37c420b81
    37c420bdcmov rdx, r10
    37c420bdfmov rcx, r11
    37c420be2
    37c420be2loc_37c420be2:
    37c420be2mov r9, [rsp+248]
    37c420beatest rdx, rdx
    37c420bedmov eax, 1
    37c420bf2cmovg rax, rdx
    37c420bf6cmp [r9], rax
    37c420bf9jl 0x37c421249
    37c420bffcmp r10, r11
    37c420c02mov eax, 1
    37c420c07cmovg r10, r11
    37c420c0bmov r11, [rsp+272]
    37c420c13test r10, r10
    37c420c16cmovg rax, r10
    37c420c1acmp [r11], rax
    37c420c1dmov [rsp+80], rax
    37c420c22mov rax, [rsp+280]
    37c420c2ajge 0x37c420c59
    37c420c2ccmp r15, -1
    37c420c30je 0x37c420c59
    37c420c32mov [rax], -9
    37c420c39mov eax, 9
    37c420c3ejmp 0x37c420adf
    37c420c43
    37c420c43 0f 1f 44 00 00 ..D..
    37c420c48
    37c420c48loc_37c420c48:
    37c420c48mov rdx, -3
    37c420c4fmov eax, 3
    37c420c54jmp 0x37c420ad4
    37c420c59
    37c420c59loc_37c420c59:
    37c420c59mov rax, [rax]
    37c420c5ctest rax, rax
    37c420c5fjne 0x37c420abf
    37c420c65mov r11, [rsp+264]
    37c420c6dmovq x1, [rip+0x537eb]
    37c420c75movups [r11], x1
    37c420c79test r13, r13
    37c420c7cje 0x37c420e90
    37c420c82cmp r8, rdx
    37c420c85jle 0x37c4210d8
    37c420c8bcmp rdx, 1
    37c420c8fjg 0x37c421130
    37c420c95nop [rax+rax]
    37c420ca0
    37c420ca0loc_37c420ca0:
    37c420ca0test rax, rax
    37c420ca3jne 0x37c420abf
    37c420ca9cmp r15, -1
    37c420cadje 0x37c420e50
    37c420cb3mov r10, [rsi]
    37c420cb6test r10, r10
    37c420cb9je 0x37c420e78
    37c420cbfmov rcx, [rdi]
    37c420cc2test rcx, rcx
    37c420cc5je 0x37c420e78
    37c420ccbxor eax, eax
    37c420ccdtest r14, r14
    37c420cd0mov r8, [rbp]
    37c420cd4cmovns rax, r14
    37c420cd8mov rdx, rax
    37c420cdbnot rdx
    37c420cdetest r13, r13
    37c420ce1je 0x37c420f48
    37c420ce7cmp r10, r8
    37c420ceajge 0x37c4211f5
    37c420cf0cmp r10, 1
    37c420cf4jle 0x37c42125a
    37c420cfamov rcx, rax
    37c420cfdlea rdi, [r10-1]
    37c420d01mov [rsp+88], rax
    37c420d06mov r12, rdx
    37c420d09neg rcx
    37c420d0cmov r9, rdi
    37c420d0fshl r12, 4
    37c420d13lea rsi, [r10+1]
    37c420d17shl rcx, 4
    37c420d1bimul r9, rax
    37c420d1fpxor x2, x2
    37c420d23mov r13, rcx
    37c420d26mov rcx, r10
    37c420d29imul rcx, rax
    37c420d2dlea r8, [rdx+rcx]
    37c420d31sub rcx, r9
    37c420d34shl r8, 4
    37c420d38shl rcx, 4
    37c420d3clea r11, [rbx+r8+16]
    37c420d41lea r8, [rdx+r9]
    37c420d45mov rbp, rcx
    37c420d48xor ecx, ecx
    37c420d4aadd r8, r10
    37c420d4dshl r8, 4
    37c420d51lea r8, [rbx+r8+16]
    37c420d56nop [rax+rax]
    37c420d60
    37c420d60loc_37c420d60:
    37c420d60mov r15, rsi
    37c420d63movups [r11], x2
    37c420d67lea r14, [r8+rbp]
    37c420d6bxor eax, eax
    37c420d6dsub r15, rcx
    37c420d70xor r9l, r9l
    37c420d73cmp r10, r15
    37c420d76jl 0x37c420d98
    37c420d78nop [rax+rax]
    37c420d80
    37c420d80loc_37c420d80:
    37c420d80movupd x0, [r8+rax]
    37c420d86add r9, 1
    37c420d8amovups [r14+rax], x0
    37c420d8fadd rax, 16
    37c420d93cmp rcx, r9
    37c420d96jne 0x37c420d80
    37c420d98
    37c420d98loc_37c420d98:
    37c420d98add rcx, 1
    37c420d9cadd r11, r13
    37c420d9fadd r8, r12
    37c420da2cmp rdi, rcx
    37c420da5jne 0x37c420d60
    37c420da7mov rax, [rsp+88]
    37c420dacmovups [rbx], x1
    37c420dafmov ecx, 2
    37c420db4pxor x0, x0
    37c420db8nop [rax+rax]
    37c420dc0
    37c420dc0loc_37c420dc0:
    37c420dc0mov r8, rcx
    37c420dc3add rcx, 1
    37c420dc7shl r8, 4
    37c420dcbmovups [rbx+r8-16], x0
    37c420dd1cmp rsi, rcx
    37c420dd4jne 0x37c420dc0
    37c420dd6mov [rsp+104], rdi
    37c420ddblea r8, [rsp+96]
    37c420de0lea rax, [rdx+2*rax+2]
    37c420de5mov [rsp+112], rdi
    37c420deashl rax, 4
    37c420deelea rdx, [rsp+112]
    37c420df3lea rcx, [rsp+104]
    37c420df8mov [rsp+120], rdi
    37c420dfdmov rdi, [rsp+272]
    37c420e05lea r9, [rbx+rax]
    37c420e09mov [rsp+64], r8
    37c420e0elea r8, [rsp+120]
    37c420e13mov [rsp+56], rdi
    37c420e18mov rdi, [rsp+264]
    37c420e20mov [rsp+48], rdi
    37c420e25mov rdi, [rsp+256]
    37c420e2dmov [rsp+40], rdi
    37c420e32mov rdi, [rsp+248]
    37c420e3amov [rsp+32], rdi
    37c420e3fcall zungqr_64_
    37c420e44nop
    37c420e45nop [rax+rax]
    37c420e50
    37c420e50loc_37c420e50:
    37c420e50mov rax, [rsp+264]
    37c420e58pxor x0, x0
    37c420e5ccvtsi2sd x0, [rsp+80]
    37c420e63mov [rax+8], 0
    37c420e6bmovsd_xmm [rax], x0
    37c420e6fjmp 0x37c420afc
    37c420e74
    37c420e74 0f 1f 40 00 ..@.
    37c420e78
    37c420e78loc_37c420e78:
    37c420e78mov rax, [rsp+264]
    37c420e80movups [rax], x1
    37c420e83jmp 0x37c420afc
    37c420e88
    37c420e88 0f 1f 84 00 00 00 00 00 ........
    37c420e90
    37c420e90loc_37c420e90:
    37c420e90cmp r8, rcx
    37c420e93jl 0x37c421080
    37c420e99cmp rcx, 1
    37c420e9djle 0x37c420ca0
    37c420ea3lea rax, [rsp+96]
    37c420ea8mov [rsp+80], r10
    37c420eadsub rcx, 1
    37c420eb1mov r9, rbx
    37c420eb4mov [rsp+64], rax
    37c420eb9lea rdx, [rsp+112]
    37c420ebelea r8, [rsp+120]
    37c420ec3lea rax, [rip+0x5357e]
    37c420ecamov [rsp+104], rcx
    37c420ecfmov [rsp+56], rax
    37c420ed4mov rax, [rsp+264]
    37c420edcmov [rsp+112], rcx
    37c420ee1mov [rsp+48], rax
    37c420ee6mov rax, [rsp+256]
    37c420eeemov [rsp+120], rcx
    37c420ef3lea rcx, [rsp+104]
    37c420ef8mov [rsp+40], rax
    37c420efdmov rax, [rsp+248]
    37c420f05mov [rsp+32], rax
    37c420f0a
    37c420f0aloc_37c420f0a:
    37c420f0acall zunglq_64_
    37c420f0f
    37c420f0floc_37c420f0f:
    37c420f0fmov rax, [rsp+264]
    37c420f17mov r10, [rsp+80]
    37c420f1cmovq x1, [rip+0x5353c]
    37c420f24cvttsd2si rax, [rax]
    37c420f29cmp rax, r10
    37c420f2ccmovge r10, rax
    37c420f30mov rax, [rsp+280]
    37c420f38mov [rsp+80], r10
    37c420f3dmov rax, [rax]
    37c420f40jmp 0x37c420ca0
    37c420f45
    37c420f45 0f 1f 00 ...
    37c420f48
    37c420f48loc_37c420f48:
    37c420f48cmp rcx, r8
    37c420f4bjg 0x37c4211a1
    37c420f51movups [rbx], x1
    37c420f54cmp rcx, 1
    37c420f58jle 0x37c420e50
    37c420f5elea r10, [rcx+1]
    37c420f62mov r8l, 2
    37c420f68pxor x0, x0
    37c420f6cnop [rax+rax]
    37c420f75nop [rax+rax]
    37c420f80
    37c420f80loc_37c420f80:
    37c420f80mov r9, r8
    37c420f83add r8, 1
    37c420f87shl r9, 4
    37c420f8bmovups [rbx+r9-16], x0
    37c420f91cmp r8, r10
    37c420f94jne 0x37c420f80
    37c420f96mov rbp, rax
    37c420f99add rax, rax
    37c420f9clea r13, [rcx-1]
    37c420fa0xor r10l, r10l
    37c420fa3lea r11, [rax+rdx]
    37c420fa7shl rbp, 4
    37c420fabpxor x1, x1
    37c420fafshl r11, 4
    37c420fb3lea r12, [rbp+16]
    37c420fb7lea rdi, [rbx+r11+16]
    37c420fbcadd r11, rbx
    37c420fbfnop
    37c420fc0
    37c420fc0loc_37c420fc0:
    37c420fc0add r10, 1
    37c420fc4lea rsi, [r11+16]
    37c420fc8xor ecx, ecx
    37c420fcaxor r9l, r9l
    37c420fcdcmp r10, 1
    37c420fd1je 0x37c420ffb
    37c420fd3nop
    37c420fd5nop [rax+rax]
    37c420fe0
    37c420fe0loc_37c420fe0:
    37c420fe0movupd x0, [r11+rcx]
    37c420fe6lea r8, [r9+2]
    37c420feaadd r9, 1
    37c420feemovups [rsi+rcx], x0
    37c420ff2sub rcx, 16
    37c420ff6cmp r8, r10
    37c420ff9jne 0x37c420fe0
    37c420ffb
    37c420ffbloc_37c420ffb:
    37c420ffbmovups [rdi], x1
    37c420ffeadd r11, r12
    37c421001add rdi, rbp
    37c421004cmp r10, r13
    37c421007jne 0x37c420fc0
    37c421009lea r8, [rsp+96]
    37c42100elea rax, [rdx+rax+2]
    37c421013mov [rsp+104], r10
    37c421018mov rdi, [rsp+272]
    37c421020mov [rsp+64], r8
    37c421025shl rax, 4
    37c421029lea rdx, [rsp+112]
    37c42102elea rcx, [rsp+104]
    37c421033mov [rsp+56], rdi
    37c421038lea r9, [rbx+rax]
    37c42103clea r8, [rsp+120]
    37c421041mov rdi, [rsp+264]
    37c421049mov [rsp+112], r10
    37c42104emov [rsp+48], rdi
    37c421053mov rdi, [rsp+256]
    37c42105bmov [rsp+120], r10
    37c421060mov [rsp+40], rdi
    37c421065mov rdi, [rsp+248]
    37c42106dmov [rsp+32], rdi
    37c421072call zunglq_64_
    37c421077jmp 0x37c420e50
    37c42107c
    37c42107c 0f 1f 40 00 ..@.
    37c421080
    37c421080loc_37c421080:
    37c421080lea rax, [rsp+96]
    37c421085mov [rsp+80], r10
    37c42108amov r9, rbx
    37c42108dmov r8, rbp
    37c421090mov [rsp+64], rax
    37c421095lea rax, [rip+0x533ac]
    37c42109cmov rdx, rdi
    37c42109fmov rcx, rsi
    37c4210a2mov [rsp+56], rax
    37c4210a7mov rax, [rsp+264]
    37c4210afmov [rsp+48], rax
    37c4210b4mov rax, [rsp+256]
    37c4210bcmov [rsp+40], rax
    37c4210c1mov rax, [rsp+248]
    37c4210c9mov [rsp+32], rax
    37c4210cejmp 0x37c420f0a
    37c4210d3
    37c4210d3 0f 1f 44 00 00 ..D..
    37c4210d8
    37c4210d8loc_37c4210d8:
    37c4210d8lea rax, [rsp+96]
    37c4210ddmov [rsp+48], r11
    37c4210e2mov r9, rbx
    37c4210e5mov r8, rbp
    37c4210e8mov [rsp+64], rax
    37c4210edlea rax, [rip+0x53354]
    37c4210f4mov rdx, rdi
    37c4210f7mov rcx, rsi
    37c4210famov [rsp+56], rax
    37c4210ffmov rax, [rsp+256]
    37c421107mov [rsp+80], r10
    37c42110cmov [rsp+40], rax
    37c421111mov rax, [rsp+248]
    37c421119mov [rsp+32], rax
    37c42111ecall zungqr_64_
    37c421123jmp 0x37c420f0f
    37c421128
    37c421128 0f 1f 84 00 00 00 00 00 ........
    37c421130
    37c421130loc_37c421130:
    37c421130lea rax, [rsp+96]
    37c421135sub rdx, 1
    37c421139lea rcx, [rsp+104]
    37c42113emov r9, rbx
    37c421141mov [rsp+64], rax
    37c421146lea rax, [rip+0x532fb]
    37c42114dlea r8, [rsp+120]
    37c421152mov [rsp+56], rax
    37c421157mov rax, [rsp+264]
    37c42115fmov [rsp+104], rdx
    37c421164mov [rsp+48], rax
    37c421169mov rax, [rsp+256]
    37c421171mov [rsp+112], rdx
    37c421176mov [rsp+40], rax
    37c42117bmov rax, [rsp+248]
    37c421183mov [rsp+120], rdx
    37c421188lea rdx, [rsp+112]
    37c42118dmov [rsp+32], rax
    37c421192mov [rsp+80], r10
    37c421197call zungqr_64_
    37c42119cjmp 0x37c420f0f
    37c4211a1
    37c4211a1loc_37c4211a1:
    37c4211a1lea rax, [rsp+96]
    37c4211a6mov r9, rbx
    37c4211a9mov r8, rbp
    37c4211acmov rdx, rdi
    37c4211afmov [rsp+64], rax
    37c4211b4mov rax, [rsp+272]
    37c4211bcmov rcx, rsi
    37c4211bfmov [rsp+56], rax
    37c4211c4mov rax, [rsp+264]
    37c4211ccmov [rsp+48], rax
    37c4211d1mov rax, [rsp+256]
    37c4211d9mov [rsp+40], rax
    37c4211demov rax, [rsp+248]
    37c4211e6mov [rsp+32], rax
    37c4211ebcall zunglq_64_
    37c4211f0jmp 0x37c420e50
    37c4211f5
    37c4211f5loc_37c4211f5:
    37c4211f5lea rax, [rsp+96]
    37c4211famov r9, rbx
    37c4211fdmov r8, rbp
    37c421200mov rdx, rdi
    37c421203mov [rsp+64], rax
    37c421208mov rax, [rsp+272]
    37c421210mov rcx, rsi
    37c421213mov [rsp+56], rax
    37c421218mov rax, [rsp+264]
    37c421220mov [rsp+48], rax
    37c421225mov rax, [rsp+256]
    37c42122dmov [rsp+40], rax
    37c421232mov rax, [rsp+248]
    37c42123amov [rsp+32], rax
    37c42123fcall zungqr_64_
    37c421244jmp 0x37c420e50
    37c421249
    37c421249loc_37c421249:
    37c421249mov rdx, -6
    37c421250mov eax, 6
    37c421255jmp 0x37c420ad4
    37c42125a
    37c42125aloc_37c42125a:
    37c42125amovups [rbx], x1
    37c42125djmp 0x37c420e50
    37c420a20
    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