File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
Loading..
37be2fd80
37be2fd80claqz0_64_:
37be2fd80push r15
37be2fd82push r14
37be2fd84push r13
37be2fd86push r12
37be2fd88push rbp
37be2fd89push rdi
37be2fd8apush rsi
37be2fd8bpush rbx
37be2fd8csub rsp, 936
37be2fd93movups [rsp+816], x6
37be2fd9bmovups [rsp+832], x7
37be2fda3movups [rsp+848], x8
37be2fdacmovups [rsp+864], x9
37be2fdb5movups [rsp+880], x10
37be2fdbemovups [rsp+896], x11
37be2fdc7movups [rsp+912], x12
37be2fdd0mov rax, [rsp+1064]
37be2fdd8mov r14, [rsp+1048]
37be2fde0mov rax, [rax]
37be2fde3mov [rsp+416], rax
37be2fdebmov rax, [rsp+1080]
37be2fdf3mov [rsp+1016], rdx
37be2fdfblea rdx, [rip+0x625c0e]
37be2fe02mov rax, [rax]
37be2fe05mov [rsp+1024], r8
37be2fe0dmov r8l, 1
37be2fe13mov [rsp+1032], r9
37be2fe1bmov r9l, 1
37be2fe21mov [rsp+472], rax
37be2fe29mov rax, [rsp+1112]
37be2fe31mov [rsp+1008], rcx
37be2fe39mov rax, [rax]
37be2fe3cmov [rsp+464], rax
37be2fe44mov rax, [rsp+1128]
37be2fe4cmov rax, [rax]
37be2fe4fmov [rsp+488], rax
37be2fe57call lsame_64_
37be2fe5ctest rax, rax
37be2fe5fje 0x37be304f8
37be2fe65mov [rsp+696], 0
37be2fe71mov ebx, 1
37be2fe76
37be2fe76loc_37be2fe76:
37be2fe76mov rcx, [rsp+1016]
37be2fe7emov r9l, 1
37be2fe84mov r8l, 1
37be2fe8alea rdx, [rip+0x625b81]
37be2fe91call lsame_64_
37be2fe96test rax, rax
37be2fe99je 0x37be30540
37be2fe9fmov [rsp+688], 0
37be2feabmov r15l, 1
37be2feb1
37be2feb1loc_37be2feb1:
37be2feb1mov rcx, [rsp+1024]
37be2feb9mov r9l, 1
37be2febfmov r8l, 1
37be2fec5lea rdx, [rip+0x625b46]
37be2fecccall lsame_64_
37be2fed1test rax, rax
37be2fed4je 0x37be30488
37be2fedamov rax, [rsp+1168]
37be2fee2mov [rsp+704], 0
37be2feeemov [rax], 0
37be2fef5test rbx, rbx
37be2fef8jne 0x37be2ff90
37be2fefe
37be2fefeloc_37be2fefe:
37be2fefemov rdx, -1
37be2ff05mov eax, 1
37be2ff0a
37be2ff0aloc_37be2ff0a:
37be2ff0amov rdi, [rsp+1168]
37be2ff12mov [rdi], rdx
37be2ff15
37be2ff15loc_37be2ff15:
37be2ff15lea rdx, [rsp+808]
37be2ff1dmov r8l, 6
37be2ff23lea rcx, [rip+0x625aeb]
37be2ff2amov [rsp+808], rax
37be2ff32call xerbla_64_
37be2ff37nop
37be2ff38
37be2ff38loc_37be2ff38:
37be2ff38movups x6, [rsp+816]
37be2ff40movups x7, [rsp+832]
37be2ff48movups x8, [rsp+848]
37be2ff51movups x9, [rsp+864]
37be2ff5amovups x10, [rsp+880]
37be2ff63movups x11, [rsp+896]
37be2ff6cmovups x12, [rsp+912]
37be2ff75add rsp, 936
37be2ff7cpop rbx
37be2ff7dpop rsi
37be2ff7epop rdi
37be2ff7fpop rbp
37be2ff80pop r12
37be2ff82pop r13
37be2ff84pop r14
37be2ff86pop r15
37be2ff88ret
37be2ff89
37be2ff89 0f 1f 80 00 00 00 00 .......
37be2ff90
37be2ff90loc_37be2ff90:
37be2ff90mov ebp, 1
37be2ff95test r15, r15
37be2ff98je 0x37be304e3
37be2ff9e
37be2ff9eloc_37be2ff9e:
37be2ff9emov rax, [rsp+1032]
37be2ffa6mov rax, [rax]
37be2ffa9mov [rsp+480], rax
37be2ffb1mov rsi, rax
37be2ffb4test rax, rax
37be2ffb7js 0x37be3063e
37be2ffbdmov rdi, [rsp+1040]
37be2ffc5mov rbx, [rdi]
37be2ffc8mov [rsp+248], rbx
37be2ffd0test rbx, rbx
37be2ffd3jle 0x37be3064f
37be2ffd9mov rdi, [r14]
37be2ffdccmp rax, rdi
37be2ffdfjl 0x37be31f57
37be2ffe5lea rax, [rbx-1]
37be2ffe9cmp rdi, rax
37be2ffecjl 0x37be31f57
37be2fff2mov rax, rsi
37be2fff5cmp rsi, [rsp+416]
37be2fffdjg 0x37be320d9
37be30003cmp rsi, [rsp+472]
37be3000bjg 0x37be320ea
37be30011mov rsi, [rsp+464]
37be30019test rsi, rsi
37be3001cjle 0x37be32110
37be30022test [rsp+688], 1
37be3002aje 0x37be30035
37be3002ccmp rax, rsi
37be3002fjg 0x37be32110
37be30035
37be30035loc_37be30035:
37be30035mov rax, [rsp+488]
37be3003dtest rax, rax
37be30040jle 0x37be32129
37be30046cmp [rsp+480], rax
37be3004ejle 0x37be3005e
37be30050test [rsp+704], 1
37be30058jne 0x37be32129
37be3005e
37be3005eloc_37be3005e:
37be3005emov rax, [rsp+1168]
37be30066mov rax, [rax]
37be30069test rax, rax
37be3006cjne 0x37be32121
37be30072cmp [rsp+480], 0
37be3007bje 0x37be30660
37be30081mov rax, [rsp+1008]
37be30089mov r9, [rsp+1032]
37be30091lea r8, [rsp+672]
37be30099lea rdx, [rip+0x625975]
37be300a0lea rcx, [rip+0x625979]
37be300a7mov r12, rdi
37be300aapxor x7, x7
37be300aemovzx eax, [rax]
37be300b1mov [rsp+672], al
37be300b8mov rax, [rsp+1016]
37be300c0movzx eax, [rax]
37be300c3mov [rsp+673], al
37be300camov rax, [rsp+1024]
37be300d2movzx eax, [rax]
37be300d5mov [rsp+40], r14
37be300damov [rsp+64], 3
37be300e3mov [rsp+674], al
37be300eamov rax, [rsp+1144]
37be300f2mov [rsp+56], 6
37be300fbmov [rsp+48], rax
37be30100mov rax, [rsp+1040]
37be30108mov [rsp+32], rax
37be3010dcall ilaenv_64_
37be30112mov rsi, [rsp+1144]
37be3011amov [rsp+64], 3
37be30123lea r8, [rsp+672]
37be3012bmov [rsp+56], 6
37be30134mov r9, [rsp+1032]
37be3013clea rdx, [rip+0x6258d2]
37be30143lea rcx, [rip+0x6258de]
37be3014amov [rsp+48], rsi
37be3014fmov rsi, [rsp+1040]
37be30157mov [rsp+40], r14
37be3015cmov [rsp+32], rsi
37be30161mov [rsp+504], rax
37be30169call ilaenv_64_
37be3016emov rcx, [rsp+1144]
37be30176mov [rsp+64], 3
37be3017flea r8, [rsp+672]
37be30187mov [rsp+40], r14
37be3018cmov r9, [rsp+1032]
37be30194mov rsi, rax
37be30197lea rdx, [rip+0x625877]
37be3019emov [rsp+48], rcx
37be301a3mov rcx, [rsp+1040]
37be301abmov [rsp+56], 6
37be301b4sub r12, [rsp+248]
37be301bcmov [rsp+32], rcx
37be301c1lea rcx, [rip+0x625868]
37be301c8call ilaenv_64_
37be301cdmov rcx, [rsp+1144]
37be301d5mov rdx, [rsp+1040]
37be301ddmov [rsp+64], 3
37be301e6mov [rsp+40], r14
37be301ebmov r9, [rsp+1032]
37be301f3lea r8, [rsp+672]
37be301fbmov [rsp+48], rcx
37be30200lea rcx, [rip+0x625831]
37be30207mov [rsp+32], rdx
37be3020clea rdx, [rip+0x625802]
37be30213mov [rsp+56], 6
37be3021cmov [rsp+552], rax
37be30224call ilaenv_64_
37be30229mov r13, [rsp+480]
37be30231mov r8, 0xe38e38e38e38e38f
37be3023bmov [rsp+64], 3
37be30244mov rcx, rax
37be30247mov [rsp+40], r14
37be3024cmov r9, [rsp+1032]
37be30254mov [rsp+56], 6
37be3025dlea rax, [r13+6]
37be30261mul r8
37be30264lea r8, [rsp+672]
37be3026cshr rdx, 3
37be30270cmp rdx, r12
37be30273cmovg rdx, r12
37be30277cmp rdx, rcx
37be3027amov r10, rdx
37be3027dcmovg r10, rcx
37be30281mov rcx, [rsp+1144]
37be30289mov rdx, r10
37be3028cmov [rsp+48], rcx
37be30291lea rcx, [rip+0x6257a8]
37be30298shr rdx, 63
37be3029clea rax, [r10+rdx]
37be302a0and eax, 1
37be302a3sub rax, rdx
37be302a6mov rdx, [rsp+1040]
37be302aesub r10, rax
37be302b1mov eax, 2
37be302b6cmp r10, rax
37be302b9mov [rsp+32], rdx
37be302belea rdx, [rip+0x625750]
37be302c5cmovl r10, rax
37be302c9mov [rsp+768], r10
37be302d1mov [rsp+232], r10
37be302d9call ilaenv_64_
37be302decvtsi2ss x7, r13
37be302e3pxor x1, x1
37be302e7mov r10, [rsp+232]
37be302efpxor x2, x2
37be302f3cvtsi2ss x1, r10
37be302f8cvtsi2ss x2, rax
37be302fddivss x2, [rip+0x625783]
37be30305mulss x2, x7
37be30309movaps x0, x1
37be3030caddss x0, x1
37be30310divss x0, x2
37be30314addss x0, [rip+0x625794]
37be3031csqrtss x0, x0
37be30320divss x1, x0
37be30324cvttss2si rdx, x1
37be30329lea rax, [rdx+2]
37be3032dsub rdx, 1
37be30331cmovns rax, rdx
37be30335sar rax, 2
37be30339lea rax, [r10+4*rax+4]
37be3033emov [rsp+752], rax
37be30346cmp r13, [rsp+504]
37be3034ejl 0x37be30362
37be30350mov rax, [rsp+1160]
37be30358cmp [rax], 1
37be3035cjle 0x37be30674
37be30362
37be30362loc_37be30362:
37be30362mov rax, [rsp+1168]
37be3036amov [rsp+176], 1
37be30376mov [rsp+168], 1
37be30382mov [rsp+152], rax
37be3038amov rax, [rsp+1152]
37be30392mov [rsp+160], 1
37be3039emov [rsp+144], rax
37be303a6mov rax, [rsp+1144]
37be303aemov [rsp+40], r14
37be303b3mov [rsp+136], rax
37be303bbmov rax, [rsp+1136]
37be303c3mov [rsp+128], rax
37be303cbmov rax, [rsp+1128]
37be303d3mov [rsp+120], rax
37be303d8mov rax, [rsp+1120]
37be303e0mov [rsp+112], rax
37be303e5mov rax, [rsp+1112]
37be303edmov [rsp+104], rax
37be303f2mov rax, [rsp+1104]
37be303famov [rsp+96], rax
37be303ffmov rax, [rsp+1096]
37be30407mov [rsp+88], rax
37be3040cmov rax, [rsp+1088]
37be30414mov [rsp+80], rax
37be30419mov rax, [rsp+1080]
37be30421mov [rsp+72], rax
37be30426mov rax, [rsp+1072]
37be3042emov [rsp+64], rax
37be30433mov rax, [rsp+1064]
37be3043bmov [rsp+56], rax
37be30440mov rax, [rsp+1056]
37be30448mov [rsp+48], rax
37be3044dmov rax, [rsp+1040]
37be30455mov r9, [rsp+1032]
37be3045dmov r8, [rsp+1024]
37be30465mov [rsp+32], rax
37be3046amov rdx, [rsp+1016]
37be30472mov rcx, [rsp+1008]
37be3047acall chgeqz_64_
37be3047fjmp 0x37be2ff38
37be30484
37be30484 0f 1f 40 00 ..@.
37be30488
37be30488loc_37be30488:
37be30488mov rcx, [rsp+1024]
37be30490mov r9l, 1
37be30496mov r8l, 1
37be3049clea rdx, [rip+0x625570]
37be304a3call lsame_64_
37be304a8test rax, rax
37be304abje 0x37be305bf
37be304b1mov rax, [rsp+1168]
37be304b9mov [rsp+704], 1
37be304c5mov [rax], 0
37be304cctest rbx, rbx
37be304cfje 0x37be2fefe
37be304d5mov ebp, 2
37be304datest r15, r15
37be304ddjne 0x37be2ff9e
37be304e3
37be304e3loc_37be304e3:
37be304e3mov rdx, -2
37be304eamov eax, 2
37be304efjmp 0x37be2ff0a
37be304f4
37be304f4 0f 1f 40 00 ..@.
37be304f8
37be304f8loc_37be304f8:
37be304f8mov rcx, [rsp+1008]
37be30500mov r9l, 1
37be30506mov r8l, 1
37be3050cxor ebx, ebx
37be3050elea rdx, [rip+0x6254fc]
37be30515call lsame_64_
37be3051atest rax, rax
37be3051dje 0x37be2fe76
37be30523mov [rsp+696], 1
37be3052fmov ebx, 2
37be30534jmp 0x37be2fe76
37be30539
37be30539 0f 1f 80 00 00 00 00 .......
37be30540
37be30540loc_37be30540:
37be30540mov rcx, [rsp+1016]
37be30548mov r9l, 1
37be3054emov r8l, 1
37be30554lea rdx, [rip+0x6254b8]
37be3055bcall lsame_64_
37be30560test rax, rax
37be30563je 0x37be3057c
37be30565mov [rsp+688], 1
37be30571mov r15l, 2
37be30577jmp 0x37be2feb1
37be3057c
37be3057cloc_37be3057c:
37be3057cmov r9l, 1
37be30582mov r8l, 1
37be30588xor r15l, r15l
37be3058bmov rcx, [rsp+1016]
37be30593lea rdx, [rip+0x62547a]
37be3059acall lsame_64_
37be3059ftest rax, rax
37be305a2je 0x37be2feb1
37be305a8mov [rsp+688], 1
37be305b4mov r15l, 3
37be305bajmp 0x37be2feb1
37be305bf
37be305bfloc_37be305bf:
37be305bfmov rcx, [rsp+1024]
37be305c7mov r9l, 1
37be305cdmov r8l, 1
37be305d3lea rdx, [rip+0x62543a]
37be305dacall lsame_64_
37be305dftest rax, rax
37be305e2jne 0x37be30607
37be305e4test rbx, rbx
37be305e7je 0x37be2fefe
37be305edtest r15, r15
37be305f0je 0x37be304e3
37be305f6mov rdx, -3
37be305fdmov eax, 3
37be30602jmp 0x37be2ff0a
37be30607
37be30607loc_37be30607:
37be30607mov rax, [rsp+1168]
37be3060fmov [rsp+704], 1
37be3061bmov [rax], 0
37be30622test rbx, rbx
37be30625je 0x37be2fefe
37be3062bmov ebp, 3
37be30630test r15, r15
37be30633jne 0x37be2ff9e
37be30639jmp 0x37be304e3
37be3063e
37be3063eloc_37be3063e:
37be3063emov rdx, -4
37be30645mov eax, 4
37be3064ajmp 0x37be2ff0a
37be3064f
37be3064floc_37be3064f:
37be3064fmov rdx, -5
37be30656mov eax, 5
37be3065bjmp 0x37be2ff0a
37be30660
37be30660loc_37be30660:
37be30660mov rax, [rsp+1136]
37be30668mov [rax], 0x3f800000
37be3066fjmp 0x37be2ff38
37be30674
37be30674loc_37be30674:
37be30674mov rax, [rsp+480]
37be3067clea rbx, [r12+1]
37be30681mov rcx, 0xaaaaaaaaaaaaaaab
37be3068blea r12, [rsp+704]
37be30693lea r13, [rsp+688]
37be3069bmov [rsp+592], r12
37be306a3lea r10, [rsp+696]
37be306abmov r8, r12
37be306aesub rax, 1
37be306b2mov [rsp+584], r13
37be306bamul rcx
37be306bdmov rcx, r10
37be306c0shr rdx, 1
37be306c3cmp rdx, rbx
37be306c6mov rax, rdx
37be306c9mov edx, 2
37be306cecmovg rax, rbx
37be306d2cmp rsi, rdx
37be306d5cmovge rdx, rsi
37be306d9mov rsi, [rsp+504]
37be306e1cmp rax, rdx
37be306e4cmovg rax, rdx
37be306e8mov rdx, [rsp+1136]
37be306f0cmp rsi, rax
37be306f3mov [rsp+184], rdx
37be306fbmov [rsp+168], rdx
37be30703mov [rsp+152], rdx
37be3070bmov rdx, [rsp+1096]
37be30713mov [rsp+576], rax
37be3071bcmovge rax, rsi
37be3071fmov [rsp+144], rdx
37be30727mov rdx, [rsp+1088]
37be3072fmov [rsp+776], rax
37be30737lea rax, [rsp+680]
37be3073fmov [rsp+600], rax
37be30747mov [rsp+216], rax
37be3074fmov rax, [rsp+1160]
37be30757mov [rsp+136], rdx
37be3075flea rdx, [rsp+728]
37be30767mov [rsp+608], rdx
37be3076fmov [rsp+128], rdx
37be30777lea rdx, [rsp+736]
37be3077fmov [rsp+208], rax
37be30787mov rax, [rsp+1152]
37be3078fmov [rsp+616], rdx
37be30797mov [rsp+120], rdx
37be3079cmov rdx, [rsp+1128]
37be307a4mov [rsp+200], rax
37be307aclea rax, [rip+0x625295]
37be307b3mov [rsp+112], rdx
37be307b8mov rdx, [rsp+1120]
37be307c0mov [rsp+192], rax
37be307c8lea rax, [rsp+776]
37be307d0mov [rsp+624], rax
37be307d8mov [rsp+176], rax
37be307e0mov [rsp+160], rax
37be307e8mov [rsp+104], rdx
37be307edmov rdx, [rsp+1112]
37be307f5mov [rsp+48], rax
37be307famov r9, [rsp+1032]
37be30802mov [rsp+96], rdx
37be30807mov rdx, [rsp+1104]
37be3080fmov [rsp+40], r14
37be30814mov [rsp+88], rdx
37be30819mov rdx, [rsp+1080]
37be30821mov [rsp+536], r10
37be30829mov [rsp+80], rdx
37be3082emov rdx, [rsp+1072]
37be30836mov [rsp+72], rdx
37be3083bmov rdx, [rsp+1064]
37be30843mov [rsp+64], rdx
37be30848mov rdx, [rsp+1056]
37be30850mov [rsp+56], rdx
37be30855mov rdx, [rsp+1040]
37be3085dmov [rsp+32], rdx
37be30862mov rdx, r13
37be30865call claqz2_64_
37be3086amov rsi, [rsp+1136]
37be30872lea rdx, [rsp+784]
37be3087amov r8, r12
37be3087dmov [rsp+648], rdx
37be30885lea rax, [rip+0x6251bc]
37be3088ccvttss2si rsi, [rsi]
37be30891mov [rsp+192], rdx
37be30899mov rdx, [rsp+1136]
37be308a1mov [rsp+184], rax
37be308a9mov rax, [rsp+1136]
37be308b1mov [rsp+160], rdx
37be308b9mov [rsp+144], rdx
37be308c1mov rdx, [rsp+1128]
37be308c9mov [rsp+176], rax
37be308d1lea rax, [rsp+752]
37be308d9mov [rsp+136], rdx
37be308e1mov rdx, [rsp+1120]
37be308e9mov [rsp+168], rax
37be308f1mov [rsp+128], rdx
37be308f9mov rdx, [rsp+1112]
37be30901mov [rsp+152], rax
37be30909mov [rsp+120], rdx
37be3090emov rdx, [rsp+1104]
37be30916mov [rsp+112], rdx
37be3091bmov rdx, [rsp+1080]
37be30923mov [rsp+104], rdx
37be30928mov rdx, [rsp+1072]
37be30930mov [rsp+96], rdx
37be30935mov rdx, [rsp+1064]
37be3093dmov [rsp+88], rdx
37be30942mov rdx, [rsp+1056]
37be3094amov [rsp+80], rdx
37be3094fmov rdx, [rsp+1096]
37be30957mov [rsp+72], rdx
37be3095cmov rdx, [rsp+1088]
37be30964mov [rsp+64], rdx
37be30969mov rdx, r13
37be3096cmov [rsp+56], rax
37be30971lea rax, [rsp+768]
37be30979mov rcx, [rsp+536]
37be30981mov [rsp+48], rax
37be30986mov rax, [rsp+1040]
37be3098emov [rsp+40], r14
37be30993mov r9, [rsp+1032]
37be3099bmov [rsp+32], rax
37be309a0call claqz3_64_
37be309a5mov rax, [rsp+776]
37be309admov r13, [rsp+752]
37be309b5imul rax, rax
37be309b9mov r12, r13
37be309bcimul r12, r13
37be309c0lea rax, [rsi+2*rax]
37be309c4mov rsi, [rsp+1136]
37be309cclea rcx, [r12+r12]
37be309d0cvttss2si rdx, [rsi]
37be309d5mov rsi, [rsp+1144]
37be309ddmov [rsp+640], rcx
37be309e5mov rsi, [rsi]
37be309e8add rdx, rcx
37be309ebmov [rsp+568], rsi
37be309f3cmp rax, rdx
37be309f6cmovl rax, rdx
37be309facmp rsi, -1
37be309feje 0x37be31f68
37be30a04cmp [rsp+568], rax
37be30a0cjge 0x37be30a3c
37be30a0emov rax, [rsp+1168]
37be30a16mov [rax], -19
37be30a1d
37be30a1dloc_37be30a1d:
37be30a1dmov rdx, [rsp+1168]
37be30a25mov r8l, 6
37be30a2blea rcx, [rip+0x624fe3]
37be30a32call xerbla_64_
37be30a37jmp 0x37be2ff38
37be30a3c
37be30a3cloc_37be30a3c:
37be30a3cmov rax, [rsp+472]
37be30a44not rax
37be30a47mov [rsp+512], rax
37be30a4fmov rax, [rsp+1168]
37be30a57cmp [rax], 0
37be30a5bjne 0x37be30a1d
37be30a5dcmp r15, 3
37be30a61je 0x37be31fd9
37be30a67
37be30a67loc_37be30a67:
37be30a67cmp rbp, 3
37be30a6bje 0x37be3202b
37be30a71
37be30a71loc_37be30a71:
37be30a71mov edx, 12
37be30a76lea rcx, [rip+0x624fe7]
37be30a7dcall slamch_64_
37be30a82mov edx, 9
37be30a87lea rcx, [rip+0x624fe2]
37be30a8emovaps x12, x0
37be30a92call slamch_64_
37be30a97mov rsi, [rsp+248]
37be30a9fmov rax, [rsp+472]
37be30aa7mov [rsp+40], 1
37be30ab0mov r9, [rsp+1080]
37be30ab8lea rdx, [rsp+808]
37be30ac0movaps x8, x0
37be30ac4lea rcx, [rip+0x624fae]
37be30acbimul rax, rsi
37be30acfadd rax, [rsp+512]
37be30ad7mov [rsp+808], rbx
37be30adfadd rax, rsi
37be30ae2mov rsi, [rsp+1152]
37be30aeamov [rsp+32], rsi
37be30aefmov rsi, [rsp+1072]
37be30af7lea r8, [rsi+8*rax]
37be30afbcall clanhs_64_
37be30b00imul rsi, rbx, 30
37be30b04mov [rsp+720], rdi
37be30b0ctest rsi, rsi
37be30b0fjle 0x37be320fb
37be30b15mov rdx, [rsp+464]
37be30b1ddivss x7, x8
37be30b22movaps x6, x0
37be30b25mov r15, rdi
37be30b28mov r10, [rsp+488]
37be30b30mulss x6, x8
37be30b35mov r9, [rsp+640]
37be30b3dmov [rsp+496], 0
37be30b49mov rax, rdx
37be30b4cmov rcx, [rsp+416]
37be30b54mov [rsp+448], 1
37be30b60xorps x11, x11
37be30b64not rax
37be30b67mov [rsp+632], r13
37be30b6fmov [rsp+528], rax
37be30b77mov rax, r10
37be30b7amov rbx, rcx
37be30b7dnot rax
37be30b80not rbx
37be30b83mov [rsp+544], rsi
37be30b8bmov [rsp+560], rax
37be30b93mov rax, [rsp+1136]
37be30b9bmaxss x6, x12
37be30ba0mov [rsp+424], rbx
37be30ba8lea r9, [rax+8*r9]
37be30bacmov rax, r12
37be30bafmov r12, [rsp+248]
37be30bb7mov [rsp+1048], r14
37be30bbfneg rax
37be30bc2mov [rsp+656], r9
37be30bcamovaps x10, x6
37be30bcelea r14, [rsp+808]
37be30bd6lea rax, [r9+8*rax]
37be30bdamov [rsp+664], rax
37be30be2mov rax, [rsp+512]
37be30beashl rax, 3
37be30beemov [rsp+296], rax
37be30bf6mov rax, rcx
37be30bf9neg rax
37be30bfcshl rax, 3
37be30c00mov [rsp+232], rax
37be30c08mov rax, rdx
37be30c0bmulss x7, x12
37be30c10neg rax
37be30c13shl rax, 3
37be30c17mov [rsp+280], rax
37be30c1flea rax, [8*rbx]
37be30c27mov [rsp+304], rax
37be30c2fmov rax, r10
37be30c32neg rax
37be30c35shl rax, 3
37be30c39mov [rsp+312], rax
37be30c41mov rax, [rsp+472]
37be30c49shl rax, 3
37be30c4dmov [rsp+344], rax
37be30c55lea rax, [rsp+800]
37be30c5dmov [rsp+240], rax
37be30c65nop [rax+rax]
37be30c70
37be30c70loc_37be30c70:
37be30c70lea rbx, [r12+1]
37be30c75cmp rbx, r15
37be30c78jge 0x37be31f4a
37be30c7emov rbp, [rsp+416]
37be30c86mov r13, [rsp+424]
37be30c8emov rdi, [rsp+1056]
37be30c96mov rsi, rbp
37be30c99imul rsi, r15
37be30c9dlea rax, [rsi+r13]
37be30ca1sub rsi, rbp
37be30ca4add rax, r15
37be30ca7add rsi, r13
37be30caamovss x5, [rdi+8*rax]
37be30cafmov eax, [rdi+8*rax+4]
37be30cb3lea rdi, [r15-1]
37be30cb7shl rax, 32
37be30cbbmovd ecx, x5
37be30cbfmovss [rsp+248], x5
37be30cc8or rcx, rax
37be30ccbcall fn_37c42fc90
37be30cd0mov rdx, [rsp+1056]
37be30cd8lea rax, [rdi+rsi]
37be30cdcadd rsi, r15
37be30cdfmov rcx, [rsp+1056]
37be30ce7movaps x9, x0
37be30cebmovss x4, [rcx+8*rax]
37be30cf0mov eax, [rdx+8*rax+4]
37be30cf4movd ecx, x4
37be30cf8shl rax, 32
37be30cfcmovss [rsp+248], x4
37be30d05or rcx, rax
37be30d08call fn_37c42fc90
37be30d0dmov rax, [rsp+1056]
37be30d15movaps x6, x0
37be30d18addss x9, x6
37be30d1dmovss x3, [rax+8*rsi]
37be30d22mov eax, [rax+8*rsi+4]
37be30d26movd ecx, x3
37be30d2ashl rax, 32
37be30d2emovss [rsp+248], x3
37be30d37mulss x9, x8
37be30d3cor rcx, rax
37be30d3fcall fn_37c42fc90
37be30d44maxss x9, x7
37be30d49comiss x9, x0
37be30d4djb 0x37be30d7a
37be30d4fmov rax, [rsp+1056]
37be30d57mov [rsp+720], rdi
37be30d5fmov r15, rdi
37be30d62xorps x11, x11
37be30d66mov [rsp+496], 0
37be30d72mov [rax+8*rsi], 0
37be30d7a
37be30d7aloc_37be30d7a:
37be30d7amov rbp, [rsp+416]
37be30d82mov r13, [rsp+424]
37be30d8amov rdx, [rsp+1056]
37be30d92mov rcx, [rsp+1056]
37be30d9amov rsi, rbp
37be30d9dimul rsi, r12
37be30da1lea rdi, [rsi+r13]
37be30da5lea rax, [rdi+r12]
37be30da9add rdi, rbx
37be30dacmovss x5, [rcx+8*rax]
37be30db1mov eax, [rdx+8*rax+4]
37be30db5movd ecx, x5
37be30db9shl rax, 32
37be30dbdmovss [rsp+248], x5
37be30dc6or rcx, rax
37be30dc9call fn_37c42fc90
37be30dcelea rax, [rbx+rsi]
37be30dd2mov rsi, [rsp+1056]
37be30ddaadd rax, rbp
37be30dddmovaps x9, x0
37be30de1add rax, r13
37be30de4movss x4, [rsi+8*rax]
37be30de9mov eax, [rsi+8*rax+4]
37be30dedmovd ecx, x4
37be30df1shl rax, 32
37be30df5movss [rsp+248], x4
37be30dfeor rcx, rax
37be30e01call fn_37c42fc90
37be30e06movss x3, [rsi+8*rdi]
37be30e0bmov eax, [rsi+8*rdi+4]
37be30e0fmovaps x6, x0
37be30e12addss x9, x6
37be30e17shl rax, 32
37be30e1bmovd ecx, x3
37be30e1fmovss [rsp+248], x3
37be30e28or rcx, rax
37be30e2bcall fn_37c42fc90
37be30e30mulss x9, x8
37be30e35maxss x9, x7
37be30e3acomiss x9, x0
37be30e3ejb 0x37be30e63
37be30e40mov [rsi+8*rdi], 0
37be30e48lea rax, [r12+2]
37be30e4dxorps x11, x11
37be30e51mov r12, rbx
37be30e54mov [rsp+496], 0
37be30e60mov rbx, rax
37be30e63
37be30e63loc_37be30e63:
37be30e63cmp r15, rbx
37be30e66jle 0x37be31f4a
37be30e6cmov rax, [rsp+416]
37be30e74lea rdi, [r15-1]
37be30e78mov rcx, [rsp+424]
37be30e80mov [rsp+712], r12
37be30e88mov rsi, [rsp+1056]
37be30e90mov [rsp+256], rdi
37be30e98mov rdx, rax
37be30e9bimul rax, r15
37be30e9flea rbp, [rcx+r15]
37be30ea3mov [rsp+288], r15
37be30eabimul rdx, rdi
37be30eafmov [rsp+248], rbp
37be30eb7mov rdi, r15
37be30ebamov r13, [rsp+1056]
37be30ec2sub rax, rdx
37be30ec5lea rbx, [rbp+rdx]
37be30ecalea rsi, [rsi+8*rax]
37be30ecemov rbp, rsi
37be30ed1mov rsi, rcx
37be30ed4jmp 0x37be30f4c
37be30ed6
37be30ed6 66 2e 0f 1f 84 00 00 00 00 00 f.........
37be30ee0
37be30ee0loc_37be30ee0:
37be30ee0mov ecx, [rbp+8*rbx]
37be30ee4mov r8l, [rbp+8*rbx+4]
37be30ee9mov ecx, ecx
37be30eebshl r8, 32
37be30eefor rcx, r8
37be30ef2call fn_37c42fc90
37be30ef7mov ecx, [r13+8*rbx-8]
37be30efcmov r8l, [r13+8*rbx-4]
37be30f01movaps x6, x0
37be30f04shl r8, 32
37be30f08mov ecx, ecx
37be30f0aor rcx, r8
37be30f0dcall fn_37c42fc90
37be30f12mov ecx, [r13+8*rbx]
37be30f17mov r8l, [r13+8*rbx+4]
37be30f1cmovaps x9, x0
37be30f20addss x6, x9
37be30f25shl r8, 32
37be30f29mov ecx, ecx
37be30f2bor rcx, r8
37be30f2ecall fn_37c42fc90
37be30f33mulss x6, x8
37be30f38maxss x6, x7
37be30f3ccomiss x6, x0
37be30f3fjae 0x37be31f00
37be30f45add rbx, rsi
37be30f48sub rdi, 1
37be30f4c
37be30f4cloc_37be30f4c:
37be30f4ccmp r12, rdi
37be30f4fjl 0x37be30ee0
37be30f51mov rbp, [rsp+248]
37be30f59mov rdi, [rsp+256]
37be30f61mov rax, r12
37be30f64
37be30f64loc_37be30f64:
37be30f64cmp [rsp+696], 0
37be30f6dje 0x37be31ee8
37be30f73mov rsi, [rsp+480]
37be30f7bmov [rsp+264], 1
37be30f87mov [rsp+408], rsi
37be30f8f
37be30f8floc_37be30f8f:
37be30f8fcmp r15, rax
37be30f92jl 0x37be31ec0
37be30f98mov rsi, [rsp+472]
37be30fa0mov rcx, [rsp+416]
37be30fa8mov [rsp+248], r15
37be30fb0mov rbx, [rsp+512]
37be30fb8mov r10, [rsp+1072]
37be30fc0mov [rsp+520], r12
37be30fc8imul rcx, rdi
37be30fccmov r9, [rsp+1056]
37be30fd4imul rdi, rsi
37be30fd8lea rdx, [rbx+r15]
37be30fdcadd rbp, rcx
37be30fdfadd rdx, rdi
37be30fe2lea r8, [8*rdi]
37be30fealea r11, [r10+8*rdx-8]
37be30fefmov rdx, [rsp+424]
37be30ff7mov r10, [rsp+264]
37be30fffadd rdx, rcx
37be31002mov rcx, [rsp+1056]
37be3100aadd rdx, r10
37be3100dlea rdx, [r9+8*rdx]
37be31011mov r9, [rsp+1104]
37be31019lea rcx, [rcx+8*rbp]
37be3101dmov [rsp+360], rdx
37be31025mov rdx, [rsp+464]
37be3102dmov [rsp+376], rcx
37be31035mov rcx, [rsp+1120]
37be3103dimul rdx, r15
37be31041add rdx, [rsp+528]
37be31049lea rdx, [r9+8*rdx+8]
37be3104emov r9, rdi
37be31051mov [rsp+368], rdx
37be31059mov rdx, [rsp+488]
37be31061mov [rsp+392], r9
37be31069imul rdx, r15
37be3106dadd rdx, [rsp+560]
37be31075lea rcx, [rcx+8*rdx+8]
37be3107amov rdx, rsi
37be3107dimul rdx, r15
37be31081mov [rsp+384], rcx
37be31089mov r15, r11
37be3108cmov rcx, [rsp+1072]
37be31094mov r11, rsi
37be31097sub rcx, r8
37be3109aadd rdx, rbx
37be3109dadd rdx, r10
37be310a0lea rdi, [rcx+8*rdx]
37be310a4mov [rsp+456], rdi
37be310aclea rdi, [rsp+676]
37be310b4jmp 0x37be31132
37be310b6
37be310b6 66 2e 0f 1f 84 00 00 00 00 00 f.........
37be310c0
37be310c0loc_37be310c0:
37be310c0mov rax, [rsp+712]
37be310c8
37be310c8loc_37be310c8:
37be310c8mov rcx, [rsp+232]
37be310d0mov rdx, [rsp+280]
37be310d8add [rsp+360], rcx
37be310e0add r15, [rsp+296]
37be310e8add [rsp+368], rdx
37be310f0mov rcx, [rsp+304]
37be310f8mov rdx, [rsp+312]
37be31100add [rsp+376], rcx
37be31108sub [rsp+288], 1
37be31111mov rsi, [rsp+288]
37be31119add [rsp+384], rdx
37be31121sub [rsp+392], r11
37be31129cmp rax, rsi
37be3112cjg 0x37be31570
37be31132
37be31132loc_37be31132:
37be31132mov ecx, [r15+8*r11+8]
37be31137mov edx, [r15+8*r11+12]
37be3113cmov [rsp+272], rax
37be31144mov [rsp+256], r11
37be3114cshl rdx, 32
37be31150mov ecx, ecx
37be31152or rcx, rdx
37be31155call fn_37c42fc90
37be3115amov r11, [rsp+256]
37be31162mov rax, [rsp+272]
37be3116acomiss x10, x0
37be3116ejbe 0x37be310c0
37be31174mov rsi, [rsp+288]
37be3117cmov rbp, rsi
37be3117fcmp rax, rsi
37be31182jge 0x37be31548
37be31188mov rsi, [rsp+704]
37be31190mov rdx, [rsp+392]
37be31198lea r8, [rsp+792]
37be311a0mov ecx, 8
37be311a5sub rcx, [rsp+232]
37be311admov [rsp+432], r15
37be311b5mov [rsp+352], rsi
37be311bdmov rsi, [rsp+344]
37be311c5mov [rsp+400], rcx
37be311cdmov r10, [rsp+384]
37be311d5lea rbx, [r15+rsi]
37be311d9mov rsi, [rsp+456]
37be311e1mov [rsp+440], r11
37be311e9mov [rsp+328], rax
37be311f1mov r13, [rsp+376]
37be311f9lea r12, [rsi+8*rdx]
37be311fdmov rsi, [rsp+368]
37be31205mov [rsp+320], r8
37be3120dmov [rsp+336], rsi
37be31215mov rsi, [rsp+360]
37be3121dmov [rsp+256], rsi
37be31225mov rsi, r15
37be31228jmp 0x37be31285
37be3122a
37be3122a 66 0f 1f 44 00 00 f..D..
37be31230
37be31230loc_37be31230:
37be31230cmp r15, [rsp+248]
37be31238jl 0x37be313d7
37be3123e
37be3123eloc_37be3123e:
37be3123emov rdx, [rsp+296]
37be31246mov rcx, [rsp+280]
37be3124emov r10, rax
37be31251add [rsp+336], rcx
37be31259add r13, [rsp+304]
37be31261add rbx, rdx
37be31264add rsi, rdx
37be31267mov rdx, [rsp+232]
37be3126fadd [rsp+256], rdx
37be31277cmp rbp, [rsp+328]
37be3127fje 0x37be31530
37be31285
37be31285loc_37be31285:
37be31285mov r9, r14
37be31288mov r8, rdi
37be3128bmov rdx, rsi
37be3128emov rcx, rbx
37be31291mov rax, [rsp+320]
37be31299mov [rsp+272], r10
37be312a1mov r15, rbp
37be312a4sub rbp, 1
37be312a8mov [rsp+32], rax
37be312adcall clartg_64_
37be312b2mov rax, [rsp+792]
37be312bamov rdx, r12
37be312bdmov rcx, [rsp+240]
37be312c5sub r12, [rsp+344]
37be312cdmov [rbx], rax
37be312d0mov rax, rbp
37be312d3sub rax, [rsp+264]
37be312dbmov r9, r12
37be312demov [rsp+800], rax
37be312e6lea rax, [rip+0x624793]
37be312edmov [rsi], 0
37be312f4mov r8, rax
37be312f7mov [rsp+32], rax
37be312fcmov [rsp+48], r14
37be31301mov [rsp+40], rdi
37be31306call crot_64_
37be3130blea rax, [r15+1]
37be3130fmov [rsp+48], r14
37be31314mov r11, [rsp+248]
37be3131cmov r9, [rsp+256]
37be31324mov [rsp+40], rdi
37be31329cmp rax, r11
37be3132cmov rcx, [rsp+240]
37be31334cmovg rax, r11
37be31338sub rax, [rsp+264]
37be31340mov rdx, r9
37be31343sub rdx, [rsp+232]
37be3134badd rax, 1
37be3134fmov [rsp+800], rax
37be31357lea rax, [rip+0x624722]
37be3135emov [rsp+32], rax
37be31363mov r8, rax
37be31366call crot_64_
37be3136bmov rax, [rsp+312]
37be31373mov r10, [rsp+272]
37be3137badd rax, r10
37be3137ecmp [rsp+352], 0
37be31387je 0x37be31230
37be3138dlea rcx, [rip+0x6246ec]
37be31394mov [rsp+48], r14
37be31399mov r9, rax
37be3139cmov rdx, r10
37be3139fmov [rsp+32], rcx
37be313a4mov r8, rcx
37be313a7mov rcx, [rsp+1032]
37be313afmov [rsp+40], rdi
37be313b4mov [rsp+272], rax
37be313bccall crot_64_
37be313c1mov rax, [rsp+272]
37be313c9cmp r15, [rsp+248]
37be313d1jge 0x37be3123e
37be313d7
37be313d7loc_37be313d7:
37be313d7lea rdx, [r13+8]
37be313dbmov r9, r14
37be313demov r8, rdi
37be313e1mov rcx, r13
37be313e4mov [rsp+272], rax
37be313ecmov rax, [rsp+320]
37be313f4mov [rsp+32], rax
37be313f9call clartg_64_
37be313femov rdx, [rsp+792]
37be31406mov rax, [rsp+1064]
37be3140emov [r13+8], 0
37be31416mov r15, [rsp+408]
37be3141emov r8, [rsp+1064]
37be31426mov [r13], rdx
37be3142amov rcx, [rsp+240]
37be31432mov rdx, r13
37be31435mov [rsp+32], rax
37be3143amov rax, [rsp+400]
37be31442sub r15, rbp
37be31445mov [rsp+48], r14
37be3144asub rdx, [rsp+232]
37be31452mov [rsp+40], rdi
37be31457lea r9, [rax+r13]
37be3145bmov [rsp+800], r15
37be31463call crot_64_
37be31468mov [rsp+48], r14
37be3146dmov rax, [rsp+1080]
37be31475lea rdx, [rbx+8]
37be31479mov [rsp+40], rdi
37be3147emov rcx, [rsp+240]
37be31486lea r9, [rbx+16]
37be3148amov [rsp+32], rax
37be3148fmov r8, rax
37be31492mov [rsp+800], r15
37be3149acall crot_64_
37be3149fmov rax, [rsp+272]
37be314a7cmp [rsp+688], 0
37be314b0je 0x37be3123e
37be314b6mov rax, [rsp+240]
37be314bemov rdx, [rsp+336]
37be314c6mov [rsp+40], rdi
37be314cblea r8, [rip+0x6245ae]
37be314d2movss x0, [rsp+812]
37be314dbxorps x0, [rip+0x6245ae]
37be314e2mov [rsp+48], rax
37be314e7lea rax, [rip+0x624592]
37be314eemov rcx, [rsp+1032]
37be314f6mov r9, rdx
37be314f9mov [rsp+32], rax
37be314fesub r9, [rsp+280]
37be31506movss x1, [rsp+808]
37be3150funpcklps x1, x0
37be31512movlps [rsp+800], x1
37be3151acall crot_64_
37be3151fmov rax, [rsp+272]
37be31527jmp 0x37be3123e
37be3152c
37be3152c 0f 1f 40 00 ..@.
37be31530
37be31530loc_37be31530:
37be31530mov r15, [rsp+432]
37be31538mov r11, [rsp+440]
37be31540mov rax, [rsp+328]
37be31548
37be31548loc_37be31548:
37be31548lea rbp, [rax+1]
37be3154ccmp rax, [rsp+248]
37be31554jl 0x37be31ca0
37be3155a
37be3155aloc_37be3155a:
37be3155amov [rsp+712], rbp
37be31562mov rax, rbp
37be31565jmp 0x37be310c8
37be3156a
37be3156a 66 0f 1f 44 00 00 f..D..
37be31570
37be31570loc_37be31570:
37be31570mov r15, [rsp+248]
37be31578mov r12, [rsp+520]
37be31580cmp r15, rax
37be31583jle 0x37be31ec0
37be31589mov rdi, [rsp+576]
37be31591mov rdx, r15
37be31594mov rbx, [rsp+768]
37be3159csub rdx, rax
37be3159fmov [rsp+776], rdi
37be315a7mov rdi, [rsp+632]
37be315aflea rax, [rdx+1]
37be315b3mov [rsp+744], rdi
37be315bbmov rdi, [rsp+504]
37be315c3cmp rax, rdi
37be315c6jge 0x37be31f30
37be315ccmov rdx, r15
37be315cfsub rdx, r12
37be315d2add rdx, 1
37be315d6cmp rdx, rdi
37be315d9jge 0x37be31f3d
37be315dfmov [rsp+776], rdx
37be315e7mov rax, rdx
37be315eamov [rsp+712], r12
37be315f2
37be315f2loc_37be315f2:
37be315f2mov rdi, [rsp+600]
37be315faimul rax, rax
37be315femov rdx, [rsp+568]
37be31606lea rsi, [rsp+720]
37be3160emov [rsp+216], rdi
37be31616mov rdi, [rsp+1160]
37be3161elea rcx, [rax+rax]
37be31622mov [rsp+208], rdi
37be3162amov rdi, [rsp+1152]
37be31632sub rdx, rcx
37be31635mov [rsp+800], rdx
37be3163dmov rdx, rax
37be31640neg rax
37be31643mov [rsp+200], rdi
37be3164bmov rdi, [rsp+240]
37be31653shl rdx, 4
37be31657add rdx, [rsp+1136]
37be3165fmov [rsp+192], rdi
37be31667mov rdi, [rsp+624]
37be3166flea rax, [rdx+8*rax]
37be31673mov [rsp+168], rax
37be3167bmov [rsp+176], rdi
37be31683mov rax, rdi
37be31686mov [rsp+160], rdi
37be3168emov rdi, [rsp+1136]
37be31696mov [rsp+184], rdx
37be3169emov [rsp+152], rdi
37be316a6mov rdi, [rsp+1096]
37be316aemov [rsp+144], rdi
37be316b6mov rdi, [rsp+1088]
37be316bemov [rsp+136], rdi
37be316c6mov rdi, [rsp+608]
37be316cemov [rsp+128], rdi
37be316d6mov rdi, [rsp+616]
37be316demov [rsp+120], rdi
37be316e3mov rdi, [rsp+1128]
37be316ebmov [rsp+112], rdi
37be316f0mov rdi, [rsp+1120]
37be316f8mov [rsp+104], rdi
37be316fdmov rdi, [rsp+1112]
37be31705mov [rsp+96], rdi
37be3170amov rdi, [rsp+1104]
37be31712mov [rsp+48], rax
37be31717mov rdx, [rsp+584]
37be3171fmov [rsp+88], rdi
37be31724mov rdi, [rsp+1080]
37be3172cmov [rsp+40], rsi
37be31731mov r9, [rsp+1032]
37be31739mov [rsp+80], rdi
37be3173emov rdi, [rsp+1072]
37be31746mov r8, [rsp+592]
37be3174emov rcx, [rsp+536]
37be31756mov [rsp+72], rdi
37be3175bmov rdi, [rsp+1064]
37be31763mov [rsp+64], rdi
37be31768mov rdi, [rsp+1056]
37be31770mov [rsp+56], rdi
37be31775lea rdi, [rsp+712]
37be3177dmov [rsp+32], rdi
37be31782call claqz2_64_
37be31787mov rdx, [rsp+728]
37be3178ftest rdx, rdx
37be31792jle 0x37be317ac
37be31794sub [rsp+720], rdx
37be3179cxorps x11, x11
37be317a0mov [rsp+496], 0
37be317ac
37be317acloc_37be317ac:
37be317acmov rax, [rsp+736]
37be317b4imul rcx, rdx, 100
37be317b8add rdx, rax
37be317bbimul rdx, [rsp+552]
37be317c4cmp rcx, rdx
37be317c7jg 0x37be31b20
37be317cdmov rdx, [rsp+720]
37be317d5mov rcx, rdx
37be317d8sub rcx, [rsp+712]
37be317e0lea r8, [rcx+1]
37be317e4cmp r8, [rsp+504]
37be317ecjl 0x37be31b20
37be317f2add [rsp+496], 1
37be317fbcmp rax, rbx
37be317femov rbp, rdx
37be31801mov r10, [rsp+496]
37be31809cmovle rbx, rax
37be3180dcmp rbx, rcx
37be31810mov r8, rbx
37be31813mov rbx, 0x2aaaaaaaaaaaaaaa
37be3181dcmovg r8, rcx
37be31821sub rbp, rax
37be31824mov rcx, 0xaaaaaaaaaaaaaaab
37be3182eimul rcx, r10
37be31832lea rax, [8*rbp]
37be3183amov [rsp+760], r8
37be31842ror rcx, 1
37be31845cmp rbx, rcx
37be31848jb 0x37be319c8
37be3184emov rax, [rsp+416]
37be31856lea rbx, [rdx-1]
37be3185amov rcx, [rsp+424]
37be31862pxor x1, x1
37be31866cvtsi2ss x1, [rsp+544]
37be31870imul rax, rbx
37be31874lea r13, [rax+rcx]
37be31878mov rax, [rsp+1056]
37be31880mulss x1, x12
37be31885add rdx, r13
37be31888movq x9, [rax+8*rdx]
37be3188emovshdup x5, x9
37be31893movd ecx, x9
37be31898movss [rsp+256], x1
37be318a1movd eax, x5
37be318a5shl rax, 32
37be318a9or rcx, rax
37be318accall fn_37c42fc90
37be318b1mov rcx, [rsp+1056]
37be318b9lea rax, [rbx+r13]
37be318bdmov rdx, [rsp+1056]
37be318c5movaps x6, x0
37be318c8movss x4, [rcx+8*rax]
37be318cdmov eax, [rdx+8*rax+4]
37be318d1movd ecx, x4
37be318d5shl rax, 32
37be318d9movss [rsp+248], x4
37be318e2or rcx, rax
37be318e5call fn_37c42fc90
37be318eamovss x1, [rsp+256]
37be318f3mulss x6, x1
37be318f7comiss x0, x6
37be318fajbe 0x37be31f89
37be31900mov rax, [rsp+472]
37be31908imul rax, rbx
37be3190cadd rax, [rsp+512]
37be31914add rax, rbx
37be31917mov rbx, [rsp+1072]
37be3191fmovss x3, [rbx+8*rax]
37be31924movss x1, [rbx+8*rax+4]
37be3192amovaps x0, x3
37be3192dmovaps x2, x1
37be31930andps x0, [rip+0x624169]
37be31937andps x2, [rip+0x624162]
37be3193ecomiss x2, x0
37be31941jbe 0x37be3207d
37be31947movaps x2, x3
37be3194amovq x9, x9
37be3194fdivss x2, x1
37be31953movsldup x0, x2
37be31957mulss x2, x3
37be3195bmovq x0, x0
37be3195fmulps x0, x9
37be31963addss x2, x1
37be31967shufps x0, x0, -31
37be3196bmovq x0, x0
37be3196fmovaps x1, x0
37be31972subps x0, x9
37be31976addps x1, x9
37be3197amovlhps x1, x0
37be3197dshufps x1, x1, -103
37be31981movq x0, x1
37be31985movsldup x1, x2
37be31989movhps x1, [rip+0x624120]
37be31990divps x0, x1
37be31993movaps x11, x0
37be31997
37be31997loc_37be31997:
37be31997mov rbx, [rsp+1088]
37be3199flea rax, [8*rbp]
37be319a7mov [rsp+760], 1
37be319b3mov [rbx+8*rbp], 0x3f800000
37be319bbmov rbx, [rsp+1096]
37be319c3movlps [rbx+8*rbp], x11
37be319c8
37be319c8loc_37be319c8:
37be319c8mov rbx, [rsp+648]
37be319d0mov rcx, [rsp+1096]
37be319d8mov rdx, [rsp+568]
37be319e0sub rdx, [rsp+640]
37be319e8mov [rsp+192], rbx
37be319f0mov rbx, [rsp+240]
37be319f8add rcx, rax
37be319fbmov [rsp+800], rdx
37be31a03lea rdx, [rsp+744]
37be31a0bmov [rsp+184], rbx
37be31a13mov rbx, [rsp+656]
37be31a1bmov [rsp+168], rdx
37be31a23mov [rsp+176], rbx
37be31a2bmov rbx, [rsp+664]
37be31a33mov [rsp+152], rdx
37be31a3bmov [rsp+160], rbx
37be31a43mov rbx, [rsp+1136]
37be31a4bmov [rsp+144], rbx
37be31a53mov rbx, [rsp+1128]
37be31a5bmov [rsp+136], rbx
37be31a63mov rbx, [rsp+1120]
37be31a6bmov [rsp+128], rbx
37be31a73mov rbx, [rsp+1112]
37be31a7bmov [rsp+120], rbx
37be31a80mov rbx, [rsp+1104]
37be31a88mov [rsp+112], rbx
37be31a8dmov rbx, [rsp+1080]
37be31a95mov [rsp+104], rbx
37be31a9amov rbx, [rsp+1072]
37be31aa2mov [rsp+96], rbx
37be31aa7mov rbx, [rsp+1064]
37be31aafmov [rsp+88], rbx
37be31ab4mov rbx, [rsp+1056]
37be31abcmov [rsp+80], rbx
37be31ac1mov [rsp+72], rcx
37be31ac6add rax, [rsp+1088]
37be31acemov [rsp+64], rax
37be31ad3lea rax, [rsp+760]
37be31adbmov r9, [rsp+1032]
37be31ae3mov [rsp+56], rdx
37be31ae8mov r8, [rsp+592]
37be31af0mov [rsp+48], rax
37be31af5mov rdx, [rsp+584]
37be31afdmov [rsp+40], rsi
37be31b02mov rcx, [rsp+536]
37be31b0amov [rsp+32], rdi
37be31b0fcall claqz3_64_
37be31b14nop
37be31b15nop [rax+rax]
37be31b20
37be31b20loc_37be31b20:
37be31b20add [rsp+448], 1
37be31b29mov rax, [rsp+448]
37be31b31cmp [rsp+544], rax
37be31b39jl 0x37be31f4a
37be31b3fmov r15, [rsp+720]
37be31b47jne 0x37be30c70
37be31b4dmov rdi, [rsp+1168]
37be31b55lea rax, [r15+1]
37be31b59mov r14, [rsp+1048]
37be31b61mov [rdi], rax
37be31b64
37be31b64loc_37be31b64:
37be31b64mov rax, [rsp+240]
37be31b6cmov [rsp+176], 1
37be31b78mov [rsp+168], 1
37be31b84mov [rsp+152], rax
37be31b8cmov rax, [rsp+1152]
37be31b94mov [rsp+160], 1
37be31ba0mov [rsp+144], rax
37be31ba8mov rax, [rsp+1144]
37be31bb0mov [rsp+40], r14
37be31bb5mov [rsp+136], rax
37be31bbdmov rax, [rsp+1136]
37be31bc5mov [rsp+128], rax
37be31bcdmov rax, [rsp+1128]
37be31bd5mov [rsp+120], rax
37be31bdamov rax, [rsp+1120]
37be31be2mov [rsp+112], rax
37be31be7mov rax, [rsp+1112]
37be31befmov [rsp+104], rax
37be31bf4mov rax, [rsp+1104]
37be31bfcmov [rsp+96], rax
37be31c01mov rax, [rsp+1096]
37be31c09mov [rsp+88], rax
37be31c0emov rax, [rsp+1088]
37be31c16mov [rsp+80], rax
37be31c1bmov rax, [rsp+1080]
37be31c23mov [rsp+72], rax
37be31c28mov rax, [rsp+1072]
37be31c30mov [rsp+64], rax
37be31c35mov rax, [rsp+1064]
37be31c3dmov [rsp+56], rax
37be31c42mov rax, [rsp+1056]
37be31c4amov [rsp+48], rax
37be31c4fmov rax, [rsp+1040]
37be31c57mov r9, [rsp+1032]
37be31c5fmov r8, [rsp+1024]
37be31c67mov [rsp+32], rax
37be31c6cmov rdx, [rsp+1016]
37be31c74mov rcx, [rsp+1008]
37be31c7ccall chgeqz_64_
37be31c81mov rax, [rsp+800]
37be31c89mov rdi, [rsp+1168]
37be31c91mov [rdi], rax
37be31c94jmp 0x37be2ff38
37be31c99
37be31c99 0f 1f 80 00 00 00 00 .......
37be31ca0
37be31ca0loc_37be31ca0:
37be31ca0mov r12, [rsp+416]
37be31ca8mov rsi, [rsp+424]
37be31cb0lea r8, [rsp+792]
37be31cb8lea r13, [rsp+676]
37be31cc0mov rcx, [rsp+1056]
37be31cc8mov [rsp+32], r8
37be31ccdmov r9, r14
37be31cd0mov r8, r13
37be31cd3imul r12, rax
37be31cd7mov [rsp+320], r11
37be31cdfmov [rsp+256], rax
37be31ce7lea rbx, [r12+rsi]
37be31ceblea rsi, [rbx+rbp]
37be31cefadd rbx, rax
37be31cf2lea rdx, [rcx+8*rsi]
37be31cf6lea rcx, [rcx+8*rbx]
37be31cfacall clartg_64_
37be31cffmov rcx, [rsp+1056]
37be31d07mov rax, [rsp+256]
37be31d0fmov rdx, [rsp+792]
37be31d17add r12, [rsp+416]
37be31d1fadd r12, [rsp+424]
37be31d27mov [rsp+272], rax
37be31d2fmov [rcx+8*rbx], rdx
37be31d33mov rbx, [rsp+408]
37be31d3bmov [rcx+8*rsi], 0
37be31d43lea rcx, [r12+rbp]
37be31d47add r12, rax
37be31d4amov rax, [rsp+1056]
37be31d52mov rsi, [rsp+240]
37be31d5amov [rsp+48], r14
37be31d5fsub rbx, rbp
37be31d62lea rdx, [rax+8*r12]
37be31d66mov rax, [rsp+1064]
37be31d6emov [rsp+40], r13
37be31d73add rbx, 1
37be31d77mov r8, [rsp+1064]
37be31d7fmov [rsp+800], rbx
37be31d87mov [rsp+32], rax
37be31d8cmov rax, [rsp+1056]
37be31d94lea r9, [rax+8*rcx]
37be31d98mov rcx, rsi
37be31d9bcall crot_64_
37be31da0mov r11, [rsp+320]
37be31da8mov [rsp+48], r14
37be31dadmov rax, [rsp+1072]
37be31db5mov [rsp+40], r13
37be31dbamov rdx, r11
37be31dbdmov r8, [rsp+1080]
37be31dc5mov [rsp+256], r11
37be31dcdimul rdx, rbp
37be31dd1add rdx, [rsp+512]
37be31dd9mov [rsp+800], rbx
37be31de1lea rcx, [rdx+rbp]
37be31de5add rdx, [rsp+272]
37be31dedlea rdx, [rax+8*rdx]
37be31df1mov rax, [rsp+1080]
37be31df9mov [rsp+32], rax
37be31dfemov rax, [rsp+1072]
37be31e06lea r9, [rax+8*rcx]
37be31e0amov rcx, rsi
37be31e0dcall crot_64_
37be31e12mov r11, [rsp+256]
37be31e1acmp [rsp+688], 0
37be31e23je 0x37be3155a
37be31e29mov rsi, [rsp+464]
37be31e31mov [rsp+40], r13
37be31e36lea r8, [rip+0x623c43]
37be31e3dmov rbx, [rsp+528]
37be31e45movss x0, [rsp+812]
37be31e4emov rax, rsi
37be31e51xorps x0, [rip+0x623c38]
37be31e58movss x1, [rsp+808]
37be31e61imul rax, rbp
37be31e65unpcklps x1, x0
37be31e68movlps [rsp+800], x1
37be31e70lea rcx, [rax+rbx+1]
37be31e75sub rax, rsi
37be31e78mov rsi, [rsp+1104]
37be31e80lea rax, [rbx+rax+1]
37be31e85lea rdx, [rsi+8*rax]
37be31e89mov rax, [rsp+240]
37be31e91lea r9, [rsi+8*rcx]
37be31e95mov rcx, [rsp+1032]
37be31e9dmov [rsp+48], rax
37be31ea2lea rax, [rip+0x623bd7]
37be31ea9mov [rsp+32], rax
37be31eaecall crot_64_
37be31eb3mov r11, [rsp+256]
37be31ebbjmp 0x37be3155a
37be31ec0
37be31ec0loc_37be31ec0:
37be31ec0sub rax, 1
37be31ec4xorps x11, x11
37be31ec8mov [rsp+496], 0
37be31ed4mov [rsp+720], rax
37be31edcjmp 0x37be31b20
37be31ee1
37be31ee1 0f 1f 80 00 00 00 00 .......
37be31ee8
37be31ee8loc_37be31ee8:
37be31ee8mov [rsp+408], r15
37be31ef0mov [rsp+264], rax
37be31ef8jmp 0x37be30f8f
37be31efd
37be31efd 0f 1f 00 ...
37be31f00
37be31f00loc_37be31f00:
37be31f00mov rsi, [rsp+1056]
37be31f08mov rax, rdi
37be31f0bmov rbp, [rsp+248]
37be31f13mov [rsp+712], rax
37be31f1bmov rdi, [rsp+256]
37be31f23mov [rsi+8*rbx], 0
37be31f2bjmp 0x37be30f64
37be31f30
37be31f30loc_37be31f30:
37be31f30mov rax, [rsp+576]
37be31f38jmp 0x37be315f2
37be31f3d
37be31f3dloc_37be31f3d:
37be31f3dmov [rsp+776], rax
37be31f45jmp 0x37be315f2
37be31f4a
37be31f4aloc_37be31f4a:
37be31f4amov r14, [rsp+1048]
37be31f52jmp 0x37be31b64
37be31f57
37be31f57loc_37be31f57:
37be31f57mov rdx, -6
37be31f5emov eax, 6
37be31f63jmp 0x37be2ff0a
37be31f68
37be31f68loc_37be31f68:
37be31f68pxor x0, x0
37be31f6ccvtsi2ss x0, rax
37be31f71mov rax, [rsp+1136]
37be31f79mov [rax+4], 0
37be31f80movss [rax], x0
37be31f84jmp 0x37be2ff38
37be31f89
37be31f89loc_37be31f89:
37be31f89pxor x3, x3
37be31f8dmovaps x4, x3
37be31f90divss x4, x1
37be31f94movaps x2, x4
37be31f97mulss x2, x3
37be31f9bsubss x3, x4
37be31f9faddss x1, x2
37be31fa3movsldup x0, x1
37be31fa7movss x1, [rip+0x623b01]
37be31fafmovhps x0, [rip+0x623afa]
37be31fb6addss x1, x2
37be31fbamovq x2, x11
37be31fbfunpcklps x1, x3
37be31fc2movq x1, x1
37be31fc6divps x1, x0
37be31fc9movq x0, x1
37be31fcdaddps x0, x2
37be31fd0movaps x11, x0
37be31fd4jmp 0x37be31997
37be31fd9
37be31fd9loc_37be31fd9:
37be31fd9mov rax, [rsp+1112]
37be31fe1mov r8, [rsp+1032]
37be31fe9mov [rsp+56], 4
37be31ff2lea r9, [rip+0x623a57]
37be31ff9lea rcx, [rip+0x623a58]
37be32000mov [rsp+48], rax
37be32005mov rax, [rsp+1104]
37be3200dmov rdx, r8
37be32010mov [rsp+40], rax
37be32015lea rax, [rip+0x623a40]
37be3201cmov [rsp+32], rax
37be32021call claset_64_
37be32026jmp 0x37be30a67
37be3202b
37be3202bloc_37be3202b:
37be3202bmov rax, [rsp+1128]
37be32033mov r8, [rsp+1032]
37be3203bmov [rsp+56], 4
37be32044lea r9, [rip+0x623a05]
37be3204blea rcx, [rip+0x623a06]
37be32052mov [rsp+48], rax
37be32057mov rax, [rsp+1120]
37be3205fmov rdx, r8
37be32062mov [rsp+40], rax
37be32067lea rax, [rip+0x6239ee]
37be3206emov [rsp+32], rax
37be32073call claset_64_
37be32078jmp 0x37be30a71
37be3207d
37be3207dloc_37be3207d:
37be3207dmovaps x4, x1
37be32080movaps x2, x9
37be32084movq x9, x9
37be32089divss x4, x3
37be3208dshufps x2, x2, -31
37be32091movq x2, x2
37be32095mulss x1, x4
37be32099movsldup x0, x4
37be3209dmovq x0, x0
37be320a1mulps x2, x0
37be320a4addss x1, x3
37be320a8movaps x0, x9
37be320acmovsldup x1, x1
37be320b0movhps x1, [rip+0x6239f9]
37be320b7movq x2, x2
37be320bbmovaps x3, x2
37be320besubps x0, x2
37be320c1addps x3, x9
37be320c5movss x0, x3
37be320c9movq x0, x0
37be320cddivps x0, x1
37be320d0movaps x11, x0
37be320d4jmp 0x37be31997
37be320d9
37be320d9loc_37be320d9:
37be320d9mov rdx, -8
37be320e0mov eax, 8
37be320e5jmp 0x37be2ff0a
37be320ea
37be320ealoc_37be320ea:
37be320eamov rdx, -10
37be320f1mov eax, 10
37be320f6jmp 0x37be2ff0a
37be320fb
37be320fbloc_37be320fb:
37be320fblea rax, [rsp+800]
37be32103mov [rsp+240], rax
37be3210bjmp 0x37be31b64
37be32110
37be32110loc_37be32110:
37be32110mov rdx, -15
37be32117mov eax, 15
37be3211cjmp 0x37be2ff0a
37be32121
37be32121loc_37be32121:
37be32121neg rax
37be32124jmp 0x37be2ff15
37be32129
37be32129loc_37be32129:
37be32129mov rdx, -17
37be32130mov eax, 17
37be32135jmp 0x37be2ff0a
37be2fd80
37be2fd80claqz0_64_:
37be2fd80push r15
37be2fd82push r14
37be2fd84push r13
37be2fd86push r12
37be2fd88push rbp
37be2fd89push rdi
37be2fd8apush rsi
37be2fd8bpush rbx
37be2fd8csub rsp, 936
37be2fd93movups [rsp+816], x6
37be2fd9bmovups [rsp+832], x7
37be2fda3movups [rsp+848], x8
37be2fdacmovups [rsp+864], x9
37be2fdb5movups [rsp+880], x10
37be2fdbemovups [rsp+896], x11
37be2fdc7movups [rsp+912], x12
37be2fdd0mov rax, [rsp+1064]
37be2fdd8mov r14, [rsp+1048]
37be2fde0mov rax, [rax]
37be2fde3mov [rsp+416], rax
37be2fdebmov rax, [rsp+1080]
37be2fdf3mov [rsp+1016], rdx
37be2fdfblea rdx, [rip+0x625c0e]
37be2fe02mov rax, [rax]
37be2fe05mov [rsp+1024], r8
37be2fe0dmov r8l, 1
37be2fe13mov [rsp+1032], r9
37be2fe1bmov r9l, 1
37be2fe21mov [rsp+472], rax
37be2fe29mov rax, [rsp+1112]
37be2fe31mov [rsp+1008], rcx
37be2fe39mov rax, [rax]
37be2fe3cmov [rsp+464], rax
37be2fe44mov rax, [rsp+1128]
37be2fe4cmov rax, [rax]
37be2fe4fmov [rsp+488], rax
37be2fe57call lsame_64_
37be2fe5ctest rax, rax
37be2fe5fje 0x37be304f8
37be2fe65mov [rsp+696], 0
37be2fe71mov ebx, 1
37be2fe76
37be2fe76loc_37be2fe76:
37be2fe76mov rcx, [rsp+1016]
37be2fe7emov r9l, 1
37be2fe84mov r8l, 1
37be2fe8alea rdx, [rip+0x625b81]
37be2fe91call lsame_64_
37be2fe96test rax, rax
37be2fe99je 0x37be30540
37be2fe9fmov [rsp+688], 0
37be2feabmov r15l, 1
37be2feb1
37be2feb1loc_37be2feb1:
37be2feb1mov rcx, [rsp+1024]
37be2feb9mov r9l, 1
37be2febfmov r8l, 1
37be2fec5lea rdx, [rip+0x625b46]
37be2fecccall lsame_64_
37be2fed1test rax, rax
37be2fed4je 0x37be30488
37be2fedamov rax, [rsp+1168]
37be2fee2mov [rsp+704], 0
37be2feeemov [rax], 0
37be2fef5test rbx, rbx
37be2fef8jne 0x37be2ff90
37be2fefe
37be2fefeloc_37be2fefe:
37be2fefemov rdx, -1
37be2ff05mov eax, 1
37be2ff0a
37be2ff0aloc_37be2ff0a:
37be2ff0amov rdi, [rsp+1168]
37be2ff12mov [rdi], rdx
37be2ff15
37be2ff15loc_37be2ff15:
37be2ff15lea rdx, [rsp+808]
37be2ff1dmov r8l, 6
37be2ff23lea rcx, [rip+0x625aeb]
37be2ff2amov [rsp+808], rax
37be2ff32call xerbla_64_
37be2ff37nop
37be2ff38
37be2ff38loc_37be2ff38:
37be2ff38movups x6, [rsp+816]
37be2ff40movups x7, [rsp+832]
37be2ff48movups x8, [rsp+848]
37be2ff51movups x9, [rsp+864]
37be2ff5amovups x10, [rsp+880]
37be2ff63movups x11, [rsp+896]
37be2ff6cmovups x12, [rsp+912]
37be2ff75add rsp, 936
37be2ff7cpop rbx
37be2ff7dpop rsi
37be2ff7epop rdi
37be2ff7fpop rbp
37be2ff80pop r12
37be2ff82pop r13
37be2ff84pop r14
37be2ff86pop r15
37be2ff88ret
37be2ff89
37be2ff89 0f 1f 80 00 00 00 00 .......
37be2ff90
37be2ff90loc_37be2ff90:
37be2ff90mov ebp, 1
37be2ff95test r15, r15
37be2ff98je 0x37be304e3
37be2ff9e
37be2ff9eloc_37be2ff9e:
37be2ff9emov rax, [rsp+1032]
37be2ffa6mov rax, [rax]
37be2ffa9mov [rsp+480], rax
37be2ffb1mov rsi, rax
37be2ffb4test rax, rax
37be2ffb7js 0x37be3063e
37be2ffbdmov rdi, [rsp+1040]
37be2ffc5mov rbx, [rdi]
37be2ffc8mov [rsp+248], rbx
37be2ffd0test rbx, rbx
37be2ffd3jle 0x37be3064f
37be2ffd9mov rdi, [r14]
37be2ffdccmp rax, rdi
37be2ffdfjl 0x37be31f57
37be2ffe5lea rax, [rbx-1]
37be2ffe9cmp rdi, rax
37be2ffecjl 0x37be31f57
37be2fff2mov rax, rsi
37be2fff5cmp rsi, [rsp+416]
37be2fffdjg 0x37be320d9
37be30003cmp rsi, [rsp+472]
37be3000bjg 0x37be320ea
37be30011mov rsi, [rsp+464]
37be30019test rsi, rsi
37be3001cjle 0x37be32110
37be30022test [rsp+688], 1
37be3002aje 0x37be30035
37be3002ccmp rax, rsi
37be3002fjg 0x37be32110
37be30035
37be30035loc_37be30035:
37be30035mov rax, [rsp+488]
37be3003dtest rax, rax
37be30040jle 0x37be32129
37be30046cmp [rsp+480], rax
37be3004ejle 0x37be3005e
37be30050test [rsp+704], 1
37be30058jne 0x37be32129
37be3005e
37be3005eloc_37be3005e:
37be3005emov rax, [rsp+1168]
37be30066mov rax, [rax]
37be30069test rax, rax
37be3006cjne 0x37be32121
37be30072cmp [rsp+480], 0
37be3007bje 0x37be30660
37be30081mov rax, [rsp+1008]
37be30089mov r9, [rsp+1032]
37be30091lea r8, [rsp+672]
37be30099lea rdx, [rip+0x625975]
37be300a0lea rcx, [rip+0x625979]
37be300a7mov r12, rdi
37be300aapxor x7, x7
37be300aemovzx eax, [rax]
37be300b1mov [rsp+672], al
37be300b8mov rax, [rsp+1016]
37be300c0movzx eax, [rax]
37be300c3mov [rsp+673], al
37be300camov rax, [rsp+1024]
37be300d2movzx eax, [rax]
37be300d5mov [rsp+40], r14
37be300damov [rsp+64], 3
37be300e3mov [rsp+674], al
37be300eamov rax, [rsp+1144]
37be300f2mov [rsp+56], 6
37be300fbmov [rsp+48], rax
37be30100mov rax, [rsp+1040]
37be30108mov [rsp+32], rax
37be3010dcall ilaenv_64_
37be30112mov rsi, [rsp+1144]
37be3011amov [rsp+64], 3
37be30123lea r8, [rsp+672]
37be3012bmov [rsp+56], 6
37be30134mov r9, [rsp+1032]
37be3013clea rdx, [rip+0x6258d2]
37be30143lea rcx, [rip+0x6258de]
37be3014amov [rsp+48], rsi
37be3014fmov rsi, [rsp+1040]
37be30157mov [rsp+40], r14
37be3015cmov [rsp+32], rsi
37be30161mov [rsp+504], rax
37be30169call ilaenv_64_
37be3016emov rcx, [rsp+1144]
37be30176mov [rsp+64], 3
37be3017flea r8, [rsp+672]
37be30187mov [rsp+40], r14
37be3018cmov r9, [rsp+1032]
37be30194mov rsi, rax
37be30197lea rdx, [rip+0x625877]
37be3019emov [rsp+48], rcx
37be301a3mov rcx, [rsp+1040]
37be301abmov [rsp+56], 6
37be301b4sub r12, [rsp+248]
37be301bcmov [rsp+32], rcx
37be301c1lea rcx, [rip+0x625868]
37be301c8call ilaenv_64_
37be301cdmov rcx, [rsp+1144]
37be301d5mov rdx, [rsp+1040]
37be301ddmov [rsp+64], 3
37be301e6mov [rsp+40], r14
37be301ebmov r9, [rsp+1032]
37be301f3lea r8, [rsp+672]
37be301fbmov [rsp+48], rcx
37be30200lea rcx, [rip+0x625831]
37be30207mov [rsp+32], rdx
37be3020clea rdx, [rip+0x625802]
37be30213mov [rsp+56], 6
37be3021cmov [rsp+552], rax
37be30224call ilaenv_64_
37be30229mov r13, [rsp+480]
37be30231mov r8, 0xe38e38e38e38e38f
37be3023bmov [rsp+64], 3
37be30244mov rcx, rax
37be30247mov [rsp+40], r14
37be3024cmov r9, [rsp+1032]
37be30254mov [rsp+56], 6
37be3025dlea rax, [r13+6]
37be30261mul r8
37be30264lea r8, [rsp+672]
37be3026cshr rdx, 3
37be30270cmp rdx, r12
37be30273cmovg rdx, r12
37be30277cmp rdx, rcx
37be3027amov r10, rdx
37be3027dcmovg r10, rcx
37be30281mov rcx, [rsp+1144]
37be30289mov rdx, r10
37be3028cmov [rsp+48], rcx
37be30291lea rcx, [rip+0x6257a8]
37be30298shr rdx, 63
37be3029clea rax, [r10+rdx]
37be302a0and eax, 1
37be302a3sub rax, rdx
37be302a6mov rdx, [rsp+1040]
37be302aesub r10, rax
37be302b1mov eax, 2
37be302b6cmp r10, rax
37be302b9mov [rsp+32], rdx
37be302belea rdx, [rip+0x625750]
37be302c5cmovl r10, rax
37be302c9mov [rsp+768], r10
37be302d1mov [rsp+232], r10
37be302d9call ilaenv_64_
37be302decvtsi2ss x7, r13
37be302e3pxor x1, x1
37be302e7mov r10, [rsp+232]
37be302efpxor x2, x2
37be302f3cvtsi2ss x1, r10
37be302f8cvtsi2ss x2, rax
37be302fddivss x2, [rip+0x625783]
37be30305mulss x2, x7
37be30309movaps x0, x1
37be3030caddss x0, x1
37be30310divss x0, x2
37be30314addss x0, [rip+0x625794]
37be3031csqrtss x0, x0
37be30320divss x1, x0
37be30324cvttss2si rdx, x1
37be30329lea rax, [rdx+2]
37be3032dsub rdx, 1
37be30331cmovns rax, rdx
37be30335sar rax, 2
37be30339lea rax, [r10+4*rax+4]
37be3033emov [rsp+752], rax
37be30346cmp r13, [rsp+504]
37be3034ejl 0x37be30362
37be30350mov rax, [rsp+1160]
37be30358cmp [rax], 1
37be3035cjle 0x37be30674
37be30362
37be30362loc_37be30362:
37be30362mov rax, [rsp+1168]
37be3036amov [rsp+176], 1
37be30376mov [rsp+168], 1
37be30382mov [rsp+152], rax
37be3038amov rax, [rsp+1152]
37be30392mov [rsp+160], 1
37be3039emov [rsp+144], rax
37be303a6mov rax, [rsp+1144]
37be303aemov [rsp+40], r14
37be303b3mov [rsp+136], rax
37be303bbmov rax, [rsp+1136]
37be303c3mov [rsp+128], rax
37be303cbmov rax, [rsp+1128]
37be303d3mov [rsp+120], rax
37be303d8mov rax, [rsp+1120]
37be303e0mov [rsp+112], rax
37be303e5mov rax, [rsp+1112]
37be303edmov [rsp+104], rax
37be303f2mov rax, [rsp+1104]
37be303famov [rsp+96], rax
37be303ffmov rax, [rsp+1096]
37be30407mov [rsp+88], rax
37be3040cmov rax, [rsp+1088]
37be30414mov [rsp+80], rax
37be30419mov rax, [rsp+1080]
37be30421mov [rsp+72], rax
37be30426mov rax, [rsp+1072]
37be3042emov [rsp+64], rax
37be30433mov rax, [rsp+1064]
37be3043bmov [rsp+56], rax
37be30440mov rax, [rsp+1056]
37be30448mov [rsp+48], rax
37be3044dmov rax, [rsp+1040]
37be30455mov r9, [rsp+1032]
37be3045dmov r8, [rsp+1024]
37be30465mov [rsp+32], rax
37be3046amov rdx, [rsp+1016]
37be30472mov rcx, [rsp+1008]
37be3047acall chgeqz_64_
37be3047fjmp 0x37be2ff38
37be30484
37be30484 0f 1f 40 00 ..@.
37be30488
37be30488loc_37be30488:
37be30488mov rcx, [rsp+1024]
37be30490mov r9l, 1
37be30496mov r8l, 1
37be3049clea rdx, [rip+0x625570]
37be304a3call lsame_64_
37be304a8test rax, rax
37be304abje 0x37be305bf
37be304b1mov rax, [rsp+1168]
37be304b9mov [rsp+704], 1
37be304c5mov [rax], 0
37be304cctest rbx, rbx
37be304cfje 0x37be2fefe
37be304d5mov ebp, 2
37be304datest r15, r15
37be304ddjne 0x37be2ff9e
37be304e3
37be304e3loc_37be304e3:
37be304e3mov rdx, -2
37be304eamov eax, 2
37be304efjmp 0x37be2ff0a
37be304f4
37be304f4 0f 1f 40 00 ..@.
37be304f8
37be304f8loc_37be304f8:
37be304f8mov rcx, [rsp+1008]
37be30500mov r9l, 1
37be30506mov r8l, 1
37be3050cxor ebx, ebx
37be3050elea rdx, [rip+0x6254fc]
37be30515call lsame_64_
37be3051atest rax, rax
37be3051dje 0x37be2fe76
37be30523mov [rsp+696], 1
37be3052fmov ebx, 2
37be30534jmp 0x37be2fe76
37be30539
37be30539 0f 1f 80 00 00 00 00 .......
37be30540
37be30540loc_37be30540:
37be30540mov rcx, [rsp+1016]
37be30548mov r9l, 1
37be3054emov r8l, 1
37be30554lea rdx, [rip+0x6254b8]
37be3055bcall lsame_64_
37be30560test rax, rax
37be30563je 0x37be3057c
37be30565mov [rsp+688], 1
37be30571mov r15l, 2
37be30577jmp 0x37be2feb1
37be3057c
37be3057cloc_37be3057c:
37be3057cmov r9l, 1
37be30582mov r8l, 1
37be30588xor r15l, r15l
37be3058bmov rcx, [rsp+1016]
37be30593lea rdx, [rip+0x62547a]
37be3059acall lsame_64_
37be3059ftest rax, rax
37be305a2je 0x37be2feb1
37be305a8mov [rsp+688], 1
37be305b4mov r15l, 3
37be305bajmp 0x37be2feb1
37be305bf
37be305bfloc_37be305bf:
37be305bfmov rcx, [rsp+1024]
37be305c7mov r9l, 1
37be305cdmov r8l, 1
37be305d3lea rdx, [rip+0x62543a]
37be305dacall lsame_64_
37be305dftest rax, rax
37be305e2jne 0x37be30607
37be305e4test rbx, rbx
37be305e7je 0x37be2fefe
37be305edtest r15, r15
37be305f0je 0x37be304e3
37be305f6mov rdx, -3
37be305fdmov eax, 3
37be30602jmp 0x37be2ff0a
37be30607
37be30607loc_37be30607:
37be30607mov rax, [rsp+1168]
37be3060fmov [rsp+704], 1
37be3061bmov [rax], 0
37be30622test rbx, rbx
37be30625je 0x37be2fefe
37be3062bmov ebp, 3
37be30630test r15, r15
37be30633jne 0x37be2ff9e
37be30639jmp 0x37be304e3
37be3063e
37be3063eloc_37be3063e:
37be3063emov rdx, -4
37be30645mov eax, 4
37be3064ajmp 0x37be2ff0a
37be3064f
37be3064floc_37be3064f:
37be3064fmov rdx, -5
37be30656mov eax, 5
37be3065bjmp 0x37be2ff0a
37be30660
37be30660loc_37be30660:
37be30660mov rax, [rsp+1136]
37be30668mov [rax], 0x3f800000
37be3066fjmp 0x37be2ff38
37be30674
37be30674loc_37be30674:
37be30674mov rax, [rsp+480]
37be3067clea rbx, [r12+1]
37be30681mov rcx, 0xaaaaaaaaaaaaaaab
37be3068blea r12, [rsp+704]
37be30693lea r13, [rsp+688]
37be3069bmov [rsp+592], r12
37be306a3lea r10, [rsp+696]
37be306abmov r8, r12
37be306aesub rax, 1
37be306b2mov [rsp+584], r13
37be306bamul rcx
37be306bdmov rcx, r10
37be306c0shr rdx, 1
37be306c3cmp rdx, rbx
37be306c6mov rax, rdx
37be306c9mov edx, 2
37be306cecmovg rax, rbx
37be306d2cmp rsi, rdx
37be306d5cmovge rdx, rsi
37be306d9mov rsi, [rsp+504]
37be306e1cmp rax, rdx
37be306e4cmovg rax, rdx
37be306e8mov rdx, [rsp+1136]
37be306f0cmp rsi, rax
37be306f3mov [rsp+184], rdx
37be306fbmov [rsp+168], rdx
37be30703mov [rsp+152], rdx
37be3070bmov rdx, [rsp+1096]
37be30713mov [rsp+576], rax
37be3071bcmovge rax, rsi
37be3071fmov [rsp+144], rdx
37be30727mov rdx, [rsp+1088]
37be3072fmov [rsp+776], rax
37be30737lea rax, [rsp+680]
37be3073fmov [rsp+600], rax
37be30747mov [rsp+216], rax
37be3074fmov rax, [rsp+1160]
37be30757mov [rsp+136], rdx
37be3075flea rdx, [rsp+728]
37be30767mov [rsp+608], rdx
37be3076fmov [rsp+128], rdx
37be30777lea rdx, [rsp+736]
37be3077fmov [rsp+208], rax
37be30787mov rax, [rsp+1152]
37be3078fmov [rsp+616], rdx
37be30797mov [rsp+120], rdx
37be3079cmov rdx, [rsp+1128]
37be307a4mov [rsp+200], rax
37be307aclea rax, [rip+0x625295]
37be307b3mov [rsp+112], rdx
37be307b8mov rdx, [rsp+1120]
37be307c0mov [rsp+192], rax
37be307c8lea rax, [rsp+776]
37be307d0mov [rsp+624], rax
37be307d8mov [rsp+176], rax
37be307e0mov [rsp+160], rax
37be307e8mov [rsp+104], rdx
37be307edmov rdx, [rsp+1112]
37be307f5mov [rsp+48], rax
37be307famov r9, [rsp+1032]
37be30802mov [rsp+96], rdx
37be30807mov rdx, [rsp+1104]
37be3080fmov [rsp+40], r14
37be30814mov [rsp+88], rdx
37be30819mov rdx, [rsp+1080]
37be30821mov [rsp+536], r10
37be30829mov [rsp+80], rdx
37be3082emov rdx, [rsp+1072]
37be30836mov [rsp+72], rdx
37be3083bmov rdx, [rsp+1064]
37be30843mov [rsp+64], rdx
37be30848mov rdx, [rsp+1056]
37be30850mov [rsp+56], rdx
37be30855mov rdx, [rsp+1040]
37be3085dmov [rsp+32], rdx
37be30862mov rdx, r13
37be30865call claqz2_64_
37be3086amov rsi, [rsp+1136]
37be30872lea rdx, [rsp+784]
37be3087amov r8, r12
37be3087dmov [rsp+648], rdx
37be30885lea rax, [rip+0x6251bc]
37be3088ccvttss2si rsi, [rsi]
37be30891mov [rsp+192], rdx
37be30899mov rdx, [rsp+1136]
37be308a1mov [rsp+184], rax
37be308a9mov rax, [rsp+1136]
37be308b1mov [rsp+160], rdx
37be308b9mov [rsp+144], rdx
37be308c1mov rdx, [rsp+1128]
37be308c9mov [rsp+176], rax
37be308d1lea rax, [rsp+752]
37be308d9mov [rsp+136], rdx
37be308e1mov rdx, [rsp+1120]
37be308e9mov [rsp+168], rax
37be308f1mov [rsp+128], rdx
37be308f9mov rdx, [rsp+1112]
37be30901mov [rsp+152], rax
37be30909mov [rsp+120], rdx
37be3090emov rdx, [rsp+1104]
37be30916mov [rsp+112], rdx
37be3091bmov rdx, [rsp+1080]
37be30923mov [rsp+104], rdx
37be30928mov rdx, [rsp+1072]
37be30930mov [rsp+96], rdx
37be30935mov rdx, [rsp+1064]
37be3093dmov [rsp+88], rdx
37be30942mov rdx, [rsp+1056]
37be3094amov [rsp+80], rdx
37be3094fmov rdx, [rsp+1096]
37be30957mov [rsp+72], rdx
37be3095cmov rdx, [rsp+1088]
37be30964mov [rsp+64], rdx
37be30969mov rdx, r13
37be3096cmov [rsp+56], rax
37be30971lea rax, [rsp+768]
37be30979mov rcx, [rsp+536]
37be30981mov [rsp+48], rax
37be30986mov rax, [rsp+1040]
37be3098emov [rsp+40], r14
37be30993mov r9, [rsp+1032]
37be3099bmov [rsp+32], rax
37be309a0call claqz3_64_
37be309a5mov rax, [rsp+776]
37be309admov r13, [rsp+752]
37be309b5imul rax, rax
37be309b9mov r12, r13
37be309bcimul r12, r13
37be309c0lea rax, [rsi+2*rax]
37be309c4mov rsi, [rsp+1136]
37be309cclea rcx, [r12+r12]
37be309d0cvttss2si rdx, [rsi]
37be309d5mov rsi, [rsp+1144]
37be309ddmov [rsp+640], rcx
37be309e5mov rsi, [rsi]
37be309e8add rdx, rcx
37be309ebmov [rsp+568], rsi
37be309f3cmp rax, rdx
37be309f6cmovl rax, rdx
37be309facmp rsi, -1
37be309feje 0x37be31f68
37be30a04cmp [rsp+568], rax
37be30a0cjge 0x37be30a3c
37be30a0emov rax, [rsp+1168]
37be30a16mov [rax], -19
37be30a1d
37be30a1dloc_37be30a1d:
37be30a1dmov rdx, [rsp+1168]
37be30a25mov r8l, 6
37be30a2blea rcx, [rip+0x624fe3]
37be30a32call xerbla_64_
37be30a37jmp 0x37be2ff38
37be30a3c
37be30a3cloc_37be30a3c:
37be30a3cmov rax, [rsp+472]
37be30a44not rax
37be30a47mov [rsp+512], rax
37be30a4fmov rax, [rsp+1168]
37be30a57cmp [rax], 0
37be30a5bjne 0x37be30a1d
37be30a5dcmp r15, 3
37be30a61je 0x37be31fd9
37be30a67
37be30a67loc_37be30a67:
37be30a67cmp rbp, 3
37be30a6bje 0x37be3202b
37be30a71
37be30a71loc_37be30a71:
37be30a71mov edx, 12
37be30a76lea rcx, [rip+0x624fe7]
37be30a7dcall slamch_64_
37be30a82mov edx, 9
37be30a87lea rcx, [rip+0x624fe2]
37be30a8emovaps x12, x0
37be30a92call slamch_64_
37be30a97mov rsi, [rsp+248]
37be30a9fmov rax, [rsp+472]
37be30aa7mov [rsp+40], 1
37be30ab0mov r9, [rsp+1080]
37be30ab8lea rdx, [rsp+808]
37be30ac0movaps x8, x0
37be30ac4lea rcx, [rip+0x624fae]
37be30acbimul rax, rsi
37be30acfadd rax, [rsp+512]
37be30ad7mov [rsp+808], rbx
37be30adfadd rax, rsi
37be30ae2mov rsi, [rsp+1152]
37be30aeamov [rsp+32], rsi
37be30aefmov rsi, [rsp+1072]
37be30af7lea r8, [rsi+8*rax]
37be30afbcall clanhs_64_
37be30b00imul rsi, rbx, 30
37be30b04mov [rsp+720], rdi
37be30b0ctest rsi, rsi
37be30b0fjle 0x37be320fb
37be30b15mov rdx, [rsp+464]
37be30b1ddivss x7, x8
37be30b22movaps x6, x0
37be30b25mov r15, rdi
37be30b28mov r10, [rsp+488]
37be30b30mulss x6, x8
37be30b35mov r9, [rsp+640]
37be30b3dmov [rsp+496], 0
37be30b49mov rax, rdx
37be30b4cmov rcx, [rsp+416]
37be30b54mov [rsp+448], 1
37be30b60xorps x11, x11
37be30b64not rax
37be30b67mov [rsp+632], r13
37be30b6fmov [rsp+528], rax
37be30b77mov rax, r10
37be30b7amov rbx, rcx
37be30b7dnot rax
37be30b80not rbx
37be30b83mov [rsp+544], rsi
37be30b8bmov [rsp+560], rax
37be30b93mov rax, [rsp+1136]
37be30b9bmaxss x6, x12
37be30ba0mov [rsp+424], rbx
37be30ba8lea r9, [rax+8*r9]
37be30bacmov rax, r12
37be30bafmov r12, [rsp+248]
37be30bb7mov [rsp+1048], r14
37be30bbfneg rax
37be30bc2mov [rsp+656], r9
37be30bcamovaps x10, x6
37be30bcelea r14, [rsp+808]
37be30bd6lea rax, [r9+8*rax]
37be30bdamov [rsp+664], rax
37be30be2mov rax, [rsp+512]
37be30beashl rax, 3
37be30beemov [rsp+296], rax
37be30bf6mov rax, rcx
37be30bf9neg rax
37be30bfcshl rax, 3
37be30c00mov [rsp+232], rax
37be30c08mov rax, rdx
37be30c0bmulss x7, x12
37be30c10neg rax
37be30c13shl rax, 3
37be30c17mov [rsp+280], rax
37be30c1flea rax, [8*rbx]
37be30c27mov [rsp+304], rax
37be30c2fmov rax, r10
37be30c32neg rax
37be30c35shl rax, 3
37be30c39mov [rsp+312], rax
37be30c41mov rax, [rsp+472]
37be30c49shl rax, 3
37be30c4dmov [rsp+344], rax
37be30c55lea rax, [rsp+800]
37be30c5dmov [rsp+240], rax
37be30c65nop [rax+rax]
37be30c70
37be30c70loc_37be30c70:
37be30c70lea rbx, [r12+1]
37be30c75cmp rbx, r15
37be30c78jge 0x37be31f4a
37be30c7emov rbp, [rsp+416]
37be30c86mov r13, [rsp+424]
37be30c8emov rdi, [rsp+1056]
37be30c96mov rsi, rbp
37be30c99imul rsi, r15
37be30c9dlea rax, [rsi+r13]
37be30ca1sub rsi, rbp
37be30ca4add rax, r15
37be30ca7add rsi, r13
37be30caamovss x5, [rdi+8*rax]
37be30cafmov eax, [rdi+8*rax+4]
37be30cb3lea rdi, [r15-1]
37be30cb7shl rax, 32
37be30cbbmovd ecx, x5
37be30cbfmovss [rsp+248], x5
37be30cc8or rcx, rax
37be30ccbcall fn_37c42fc90
37be30cd0mov rdx, [rsp+1056]
37be30cd8lea rax, [rdi+rsi]
37be30cdcadd rsi, r15
37be30cdfmov rcx, [rsp+1056]
37be30ce7movaps x9, x0
37be30cebmovss x4, [rcx+8*rax]
37be30cf0mov eax, [rdx+8*rax+4]
37be30cf4movd ecx, x4
37be30cf8shl rax, 32
37be30cfcmovss [rsp+248], x4
37be30d05or rcx, rax
37be30d08call fn_37c42fc90
37be30d0dmov rax, [rsp+1056]
37be30d15movaps x6, x0
37be30d18addss x9, x6
37be30d1dmovss x3, [rax+8*rsi]
37be30d22mov eax, [rax+8*rsi+4]
37be30d26movd ecx, x3
37be30d2ashl rax, 32
37be30d2emovss [rsp+248], x3
37be30d37mulss x9, x8
37be30d3cor rcx, rax
37be30d3fcall fn_37c42fc90
37be30d44maxss x9, x7
37be30d49comiss x9, x0
37be30d4djb 0x37be30d7a
37be30d4fmov rax, [rsp+1056]
37be30d57mov [rsp+720], rdi
37be30d5fmov r15, rdi
37be30d62xorps x11, x11
37be30d66mov [rsp+496], 0
37be30d72mov [rax+8*rsi], 0
37be30d7a
37be30d7aloc_37be30d7a:
37be30d7amov rbp, [rsp+416]
37be30d82mov r13, [rsp+424]
37be30d8amov rdx, [rsp+1056]
37be30d92mov rcx, [rsp+1056]
37be30d9amov rsi, rbp
37be30d9dimul rsi, r12
37be30da1lea rdi, [rsi+r13]
37be30da5lea rax, [rdi+r12]
37be30da9add rdi, rbx
37be30dacmovss x5, [rcx+8*rax]
37be30db1mov eax, [rdx+8*rax+4]
37be30db5movd ecx, x5
37be30db9shl rax, 32
37be30dbdmovss [rsp+248], x5
37be30dc6or rcx, rax
37be30dc9call fn_37c42fc90
37be30dcelea rax, [rbx+rsi]
37be30dd2mov rsi, [rsp+1056]
37be30ddaadd rax, rbp
37be30dddmovaps x9, x0
37be30de1add rax, r13
37be30de4movss x4, [rsi+8*rax]
37be30de9mov eax, [rsi+8*rax+4]
37be30dedmovd ecx, x4
37be30df1shl rax, 32
37be30df5movss [rsp+248], x4
37be30dfeor rcx, rax
37be30e01call fn_37c42fc90
37be30e06movss x3, [rsi+8*rdi]
37be30e0bmov eax, [rsi+8*rdi+4]
37be30e0fmovaps x6, x0
37be30e12addss x9, x6
37be30e17shl rax, 32
37be30e1bmovd ecx, x3
37be30e1fmovss [rsp+248], x3
37be30e28or rcx, rax
37be30e2bcall fn_37c42fc90
37be30e30mulss x9, x8
37be30e35maxss x9, x7
37be30e3acomiss x9, x0
37be30e3ejb 0x37be30e63
37be30e40mov [rsi+8*rdi], 0
37be30e48lea rax, [r12+2]
37be30e4dxorps x11, x11
37be30e51mov r12, rbx
37be30e54mov [rsp+496], 0
37be30e60mov rbx, rax
37be30e63
37be30e63loc_37be30e63:
37be30e63cmp r15, rbx
37be30e66jle 0x37be31f4a
37be30e6cmov rax, [rsp+416]
37be30e74lea rdi, [r15-1]
37be30e78mov rcx, [rsp+424]
37be30e80mov [rsp+712], r12
37be30e88mov rsi, [rsp+1056]
37be30e90mov [rsp+256], rdi
37be30e98mov rdx, rax
37be30e9bimul rax, r15
37be30e9flea rbp, [rcx+r15]
37be30ea3mov [rsp+288], r15
37be30eabimul rdx, rdi
37be30eafmov [rsp+248], rbp
37be30eb7mov rdi, r15
37be30ebamov r13, [rsp+1056]
37be30ec2sub rax, rdx
37be30ec5lea rbx, [rbp+rdx]
37be30ecalea rsi, [rsi+8*rax]
37be30ecemov rbp, rsi
37be30ed1mov rsi, rcx
37be30ed4jmp 0x37be30f4c
37be30ed6
37be30ed6 66 2e 0f 1f 84 00 00 00 00 00 f.........
37be30ee0
37be30ee0loc_37be30ee0:
37be30ee0mov ecx, [rbp+8*rbx]
37be30ee4mov r8l, [rbp+8*rbx+4]
37be30ee9mov ecx, ecx
37be30eebshl r8, 32
37be30eefor rcx, r8
37be30ef2call fn_37c42fc90
37be30ef7mov ecx, [r13+8*rbx-8]
37be30efcmov r8l, [r13+8*rbx-4]
37be30f01movaps x6, x0
37be30f04shl r8, 32
37be30f08mov ecx, ecx
37be30f0aor rcx, r8
37be30f0dcall fn_37c42fc90
37be30f12mov ecx, [r13+8*rbx]
37be30f17mov r8l, [r13+8*rbx+4]
37be30f1cmovaps x9, x0
37be30f20addss x6, x9
37be30f25shl r8, 32
37be30f29mov ecx, ecx
37be30f2bor rcx, r8
37be30f2ecall fn_37c42fc90
37be30f33mulss x6, x8
37be30f38maxss x6, x7
37be30f3ccomiss x6, x0
37be30f3fjae 0x37be31f00
37be30f45add rbx, rsi
37be30f48sub rdi, 1
37be30f4c
37be30f4cloc_37be30f4c:
37be30f4ccmp r12, rdi
37be30f4fjl 0x37be30ee0
37be30f51mov rbp, [rsp+248]
37be30f59mov rdi, [rsp+256]
37be30f61mov rax, r12
37be30f64
37be30f64loc_37be30f64:
37be30f64cmp [rsp+696], 0
37be30f6dje 0x37be31ee8
37be30f73mov rsi, [rsp+480]
37be30f7bmov [rsp+264], 1
37be30f87mov [rsp+408], rsi
37be30f8f
37be30f8floc_37be30f8f:
37be30f8fcmp r15, rax
37be30f92jl 0x37be31ec0
37be30f98mov rsi, [rsp+472]
37be30fa0mov rcx, [rsp+416]
37be30fa8mov [rsp+248], r15
37be30fb0mov rbx, [rsp+512]
37be30fb8mov r10, [rsp+1072]
37be30fc0mov [rsp+520], r12
37be30fc8imul rcx, rdi
37be30fccmov r9, [rsp+1056]
37be30fd4imul rdi, rsi
37be30fd8lea rdx, [rbx+r15]
37be30fdcadd rbp, rcx
37be30fdfadd rdx, rdi
37be30fe2lea r8, [8*rdi]
37be30fealea r11, [r10+8*rdx-8]
37be30fefmov rdx, [rsp+424]
37be30ff7mov r10, [rsp+264]
37be30fffadd rdx, rcx
37be31002mov rcx, [rsp+1056]
37be3100aadd rdx, r10
37be3100dlea rdx, [r9+8*rdx]
37be31011mov r9, [rsp+1104]
37be31019lea rcx, [rcx+8*rbp]
37be3101dmov [rsp+360], rdx
37be31025mov rdx, [rsp+464]
37be3102dmov [rsp+376], rcx
37be31035mov rcx, [rsp+1120]
37be3103dimul rdx, r15
37be31041add rdx, [rsp+528]
37be31049lea rdx, [r9+8*rdx+8]
37be3104emov r9, rdi
37be31051mov [rsp+368], rdx
37be31059mov rdx, [rsp+488]
37be31061mov [rsp+392], r9
37be31069imul rdx, r15
37be3106dadd rdx, [rsp+560]
37be31075lea rcx, [rcx+8*rdx+8]
37be3107amov rdx, rsi
37be3107dimul rdx, r15
37be31081mov [rsp+384], rcx
37be31089mov r15, r11
37be3108cmov rcx, [rsp+1072]
37be31094mov r11, rsi
37be31097sub rcx, r8
37be3109aadd rdx, rbx
37be3109dadd rdx, r10
37be310a0lea rdi, [rcx+8*rdx]
37be310a4mov [rsp+456], rdi
37be310aclea rdi, [rsp+676]
37be310b4jmp 0x37be31132
37be310b6
37be310b6 66 2e 0f 1f 84 00 00 00 00 00 f.........
37be310c0
37be310c0loc_37be310c0:
37be310c0mov rax, [rsp+712]
37be310c8
37be310c8loc_37be310c8:
37be310c8mov rcx, [rsp+232]
37be310d0mov rdx, [rsp+280]
37be310d8add [rsp+360], rcx
37be310e0add r15, [rsp+296]
37be310e8add [rsp+368], rdx
37be310f0mov rcx, [rsp+304]
37be310f8mov rdx, [rsp+312]
37be31100add [rsp+376], rcx
37be31108sub [rsp+288], 1
37be31111mov rsi, [rsp+288]
37be31119add [rsp+384], rdx
37be31121sub [rsp+392], r11
37be31129cmp rax, rsi
37be3112cjg 0x37be31570
37be31132
37be31132loc_37be31132:
37be31132mov ecx, [r15+8*r11+8]
37be31137mov edx, [r15+8*r11+12]
37be3113cmov [rsp+272], rax
37be31144mov [rsp+256], r11
37be3114cshl rdx, 32
37be31150mov ecx, ecx
37be31152or rcx, rdx
37be31155call fn_37c42fc90
37be3115amov r11, [rsp+256]
37be31162mov rax, [rsp+272]
37be3116acomiss x10, x0
37be3116ejbe 0x37be310c0
37be31174mov rsi, [rsp+288]
37be3117cmov rbp, rsi
37be3117fcmp rax, rsi
37be31182jge 0x37be31548
37be31188mov rsi, [rsp+704]
37be31190mov rdx, [rsp+392]
37be31198lea r8, [rsp+792]
37be311a0mov ecx, 8
37be311a5sub rcx, [rsp+232]
37be311admov [rsp+432], r15
37be311b5mov [rsp+352], rsi
37be311bdmov rsi, [rsp+344]
37be311c5mov [rsp+400], rcx
37be311cdmov r10, [rsp+384]
37be311d5lea rbx, [r15+rsi]
37be311d9mov rsi, [rsp+456]
37be311e1mov [rsp+440], r11
37be311e9mov [rsp+328], rax
37be311f1mov r13, [rsp+376]
37be311f9lea r12, [rsi+8*rdx]
37be311fdmov rsi, [rsp+368]
37be31205mov [rsp+320], r8
37be3120dmov [rsp+336], rsi
37be31215mov rsi, [rsp+360]
37be3121dmov [rsp+256], rsi
37be31225mov rsi, r15
37be31228jmp 0x37be31285
37be3122a
37be3122a 66 0f 1f 44 00 00 f..D..
37be31230
37be31230loc_37be31230:
37be31230cmp r15, [rsp+248]
37be31238jl 0x37be313d7
37be3123e
37be3123eloc_37be3123e:
37be3123emov rdx, [rsp+296]
37be31246mov rcx, [rsp+280]
37be3124emov r10, rax
37be31251add [rsp+336], rcx
37be31259add r13, [rsp+304]
37be31261add rbx, rdx
37be31264add rsi, rdx
37be31267mov rdx, [rsp+232]
37be3126fadd [rsp+256], rdx
37be31277cmp rbp, [rsp+328]
37be3127fje 0x37be31530
37be31285
37be31285loc_37be31285:
37be31285mov r9, r14
37be31288mov r8, rdi
37be3128bmov rdx, rsi
37be3128emov rcx, rbx
37be31291mov rax, [rsp+320]
37be31299mov [rsp+272], r10
37be312a1mov r15, rbp
37be312a4sub rbp, 1
37be312a8mov [rsp+32], rax
37be312adcall clartg_64_
37be312b2mov rax, [rsp+792]
37be312bamov rdx, r12
37be312bdmov rcx, [rsp+240]
37be312c5sub r12, [rsp+344]
37be312cdmov [rbx], rax
37be312d0mov rax, rbp
37be312d3sub rax, [rsp+264]
37be312dbmov r9, r12
37be312demov [rsp+800], rax
37be312e6lea rax, [rip+0x624793]
37be312edmov [rsi], 0
37be312f4mov r8, rax
37be312f7mov [rsp+32], rax
37be312fcmov [rsp+48], r14
37be31301mov [rsp+40], rdi
37be31306call crot_64_
37be3130blea rax, [r15+1]
37be3130fmov [rsp+48], r14
37be31314mov r11, [rsp+248]
37be3131cmov r9, [rsp+256]
37be31324mov [rsp+40], rdi
37be31329cmp rax, r11
37be3132cmov rcx, [rsp+240]
37be31334cmovg rax, r11
37be31338sub rax, [rsp+264]
37be31340mov rdx, r9
37be31343sub rdx, [rsp+232]
37be3134badd rax, 1
37be3134fmov [rsp+800], rax
37be31357lea rax, [rip+0x624722]
37be3135emov [rsp+32], rax
37be31363mov r8, rax
37be31366call crot_64_
37be3136bmov rax, [rsp+312]
37be31373mov r10, [rsp+272]
37be3137badd rax, r10
37be3137ecmp [rsp+352], 0
37be31387je 0x37be31230
37be3138dlea rcx, [rip+0x6246ec]
37be31394mov [rsp+48], r14
37be31399mov r9, rax
37be3139cmov rdx, r10
37be3139fmov [rsp+32], rcx
37be313a4mov r8, rcx
37be313a7mov rcx, [rsp+1032]
37be313afmov [rsp+40], rdi
37be313b4mov [rsp+272], rax
37be313bccall crot_64_
37be313c1mov rax, [rsp+272]
37be313c9cmp r15, [rsp+248]
37be313d1jge 0x37be3123e
37be313d7
37be313d7loc_37be313d7:
37be313d7lea rdx, [r13+8]
37be313dbmov r9, r14
37be313demov r8, rdi
37be313e1mov rcx, r13
37be313e4mov [rsp+272], rax
37be313ecmov rax, [rsp+320]
37be313f4mov [rsp+32], rax
37be313f9call clartg_64_
37be313femov rdx, [rsp+792]
37be31406mov rax, [rsp+1064]
37be3140emov [r13+8], 0
37be31416mov r15, [rsp+408]
37be3141emov r8, [rsp+1064]
37be31426mov [r13], rdx
37be3142amov rcx, [rsp+240]
37be31432mov rdx, r13
37be31435mov [rsp+32], rax
37be3143amov rax, [rsp+400]
37be31442sub r15, rbp
37be31445mov [rsp+48], r14
37be3144asub rdx, [rsp+232]
37be31452mov [rsp+40], rdi
37be31457lea r9, [rax+r13]
37be3145bmov [rsp+800], r15
37be31463call crot_64_
37be31468mov [rsp+48], r14
37be3146dmov rax, [rsp+1080]
37be31475lea rdx, [rbx+8]
37be31479mov [rsp+40], rdi
37be3147emov rcx, [rsp+240]
37be31486lea r9, [rbx+16]
37be3148amov [rsp+32], rax
37be3148fmov r8, rax
37be31492mov [rsp+800], r15
37be3149acall crot_64_
37be3149fmov rax, [rsp+272]
37be314a7cmp [rsp+688], 0
37be314b0je 0x37be3123e
37be314b6mov rax, [rsp+240]
37be314bemov rdx, [rsp+336]
37be314c6mov [rsp+40], rdi
37be314cblea r8, [rip+0x6245ae]
37be314d2movss x0, [rsp+812]
37be314dbxorps x0, [rip+0x6245ae]
37be314e2mov [rsp+48], rax
37be314e7lea rax, [rip+0x624592]
37be314eemov rcx, [rsp+1032]
37be314f6mov r9, rdx
37be314f9mov [rsp+32], rax
37be314fesub r9, [rsp+280]
37be31506movss x1, [rsp+808]
37be3150funpcklps x1, x0
37be31512movlps [rsp+800], x1
37be3151acall crot_64_
37be3151fmov rax, [rsp+272]
37be31527jmp 0x37be3123e
37be3152c
37be3152c 0f 1f 40 00 ..@.
37be31530
37be31530loc_37be31530:
37be31530mov r15, [rsp+432]
37be31538mov r11, [rsp+440]
37be31540mov rax, [rsp+328]
37be31548
37be31548loc_37be31548:
37be31548lea rbp, [rax+1]
37be3154ccmp rax, [rsp+248]
37be31554jl 0x37be31ca0
37be3155a
37be3155aloc_37be3155a:
37be3155amov [rsp+712], rbp
37be31562mov rax, rbp
37be31565jmp 0x37be310c8
37be3156a
37be3156a 66 0f 1f 44 00 00 f..D..
37be31570
37be31570loc_37be31570:
37be31570mov r15, [rsp+248]
37be31578mov r12, [rsp+520]
37be31580cmp r15, rax
37be31583jle 0x37be31ec0
37be31589mov rdi, [rsp+576]
37be31591mov rdx, r15
37be31594mov rbx, [rsp+768]
37be3159csub rdx, rax
37be3159fmov [rsp+776], rdi
37be315a7mov rdi, [rsp+632]
37be315aflea rax, [rdx+1]
37be315b3mov [rsp+744], rdi
37be315bbmov rdi, [rsp+504]
37be315c3cmp rax, rdi
37be315c6jge 0x37be31f30
37be315ccmov rdx, r15
37be315cfsub rdx, r12
37be315d2add rdx, 1
37be315d6cmp rdx, rdi
37be315d9jge 0x37be31f3d
37be315dfmov [rsp+776], rdx
37be315e7mov rax, rdx
37be315eamov [rsp+712], r12
37be315f2
37be315f2loc_37be315f2:
37be315f2mov rdi, [rsp+600]
37be315faimul rax, rax
37be315femov rdx, [rsp+568]
37be31606lea rsi, [rsp+720]
37be3160emov [rsp+216], rdi
37be31616mov rdi, [rsp+1160]
37be3161elea rcx, [rax+rax]
37be31622mov [rsp+208], rdi
37be3162amov rdi, [rsp+1152]
37be31632sub rdx, rcx
37be31635mov [rsp+800], rdx
37be3163dmov rdx, rax
37be31640neg rax
37be31643mov [rsp+200], rdi
37be3164bmov rdi, [rsp+240]
37be31653shl rdx, 4
37be31657add rdx, [rsp+1136]
37be3165fmov [rsp+192], rdi
37be31667mov rdi, [rsp+624]
37be3166flea rax, [rdx+8*rax]
37be31673mov [rsp+168], rax
37be3167bmov [rsp+176], rdi
37be31683mov rax, rdi
37be31686mov [rsp+160], rdi
37be3168emov rdi, [rsp+1136]
37be31696mov [rsp+184], rdx
37be3169emov [rsp+152], rdi
37be316a6mov rdi, [rsp+1096]
37be316aemov [rsp+144], rdi
37be316b6mov rdi, [rsp+1088]
37be316bemov [rsp+136], rdi
37be316c6mov rdi, [rsp+608]
37be316cemov [rsp+128], rdi
37be316d6mov rdi, [rsp+616]
37be316demov [rsp+120], rdi
37be316e3mov rdi, [rsp+1128]
37be316ebmov [rsp+112], rdi
37be316f0mov rdi, [rsp+1120]
37be316f8mov [rsp+104], rdi
37be316fdmov rdi, [rsp+1112]
37be31705mov [rsp+96], rdi
37be3170amov rdi, [rsp+1104]
37be31712mov [rsp+48], rax
37be31717mov rdx, [rsp+584]
37be3171fmov [rsp+88], rdi
37be31724mov rdi, [rsp+1080]
37be3172cmov [rsp+40], rsi
37be31731mov r9, [rsp+1032]
37be31739mov [rsp+80], rdi
37be3173emov rdi, [rsp+1072]
37be31746mov r8, [rsp+592]
37be3174emov rcx, [rsp+536]
37be31756mov [rsp+72], rdi
37be3175bmov rdi, [rsp+1064]
37be31763mov [rsp+64], rdi
37be31768mov rdi, [rsp+1056]
37be31770mov [rsp+56], rdi
37be31775lea rdi, [rsp+712]
37be3177dmov [rsp+32], rdi
37be31782call claqz2_64_
37be31787mov rdx, [rsp+728]
37be3178ftest rdx, rdx
37be31792jle 0x37be317ac
37be31794sub [rsp+720], rdx
37be3179cxorps x11, x11
37be317a0mov [rsp+496], 0
37be317ac
37be317acloc_37be317ac:
37be317acmov rax, [rsp+736]
37be317b4imul rcx, rdx, 100
37be317b8add rdx, rax
37be317bbimul rdx, [rsp+552]
37be317c4cmp rcx, rdx
37be317c7jg 0x37be31b20
37be317cdmov rdx, [rsp+720]
37be317d5mov rcx, rdx
37be317d8sub rcx, [rsp+712]
37be317e0lea r8, [rcx+1]
37be317e4cmp r8, [rsp+504]
37be317ecjl 0x37be31b20
37be317f2add [rsp+496], 1
37be317fbcmp rax, rbx
37be317femov rbp, rdx
37be31801mov r10, [rsp+496]
37be31809cmovle rbx, rax
37be3180dcmp rbx, rcx
37be31810mov r8, rbx
37be31813mov rbx, 0x2aaaaaaaaaaaaaaa
37be3181dcmovg r8, rcx
37be31821sub rbp, rax
37be31824mov rcx, 0xaaaaaaaaaaaaaaab
37be3182eimul rcx, r10
37be31832lea rax, [8*rbp]
37be3183amov [rsp+760], r8
37be31842ror rcx, 1
37be31845cmp rbx, rcx
37be31848jb 0x37be319c8
37be3184emov rax, [rsp+416]
37be31856lea rbx, [rdx-1]
37be3185amov rcx, [rsp+424]
37be31862pxor x1, x1
37be31866cvtsi2ss x1, [rsp+544]
37be31870imul rax, rbx
37be31874lea r13, [rax+rcx]
37be31878mov rax, [rsp+1056]
37be31880mulss x1, x12
37be31885add rdx, r13
37be31888movq x9, [rax+8*rdx]
37be3188emovshdup x5, x9
37be31893movd ecx, x9
37be31898movss [rsp+256], x1
37be318a1movd eax, x5
37be318a5shl rax, 32
37be318a9or rcx, rax
37be318accall fn_37c42fc90
37be318b1mov rcx, [rsp+1056]
37be318b9lea rax, [rbx+r13]
37be318bdmov rdx, [rsp+1056]
37be318c5movaps x6, x0
37be318c8movss x4, [rcx+8*rax]
37be318cdmov eax, [rdx+8*rax+4]
37be318d1movd ecx, x4
37be318d5shl rax, 32
37be318d9movss [rsp+248], x4
37be318e2or rcx, rax
37be318e5call fn_37c42fc90
37be318eamovss x1, [rsp+256]
37be318f3mulss x6, x1
37be318f7comiss x0, x6
37be318fajbe 0x37be31f89
37be31900mov rax, [rsp+472]
37be31908imul rax, rbx
37be3190cadd rax, [rsp+512]
37be31914add rax, rbx
37be31917mov rbx, [rsp+1072]
37be3191fmovss x3, [rbx+8*rax]
37be31924movss x1, [rbx+8*rax+4]
37be3192amovaps x0, x3
37be3192dmovaps x2, x1
37be31930andps x0, [rip+0x624169]
37be31937andps x2, [rip+0x624162]
37be3193ecomiss x2, x0
37be31941jbe 0x37be3207d
37be31947movaps x2, x3
37be3194amovq x9, x9
37be3194fdivss x2, x1
37be31953movsldup x0, x2
37be31957mulss x2, x3
37be3195bmovq x0, x0
37be3195fmulps x0, x9
37be31963addss x2, x1
37be31967shufps x0, x0, -31
37be3196bmovq x0, x0
37be3196fmovaps x1, x0
37be31972subps x0, x9
37be31976addps x1, x9
37be3197amovlhps x1, x0
37be3197dshufps x1, x1, -103
37be31981movq x0, x1
37be31985movsldup x1, x2
37be31989movhps x1, [rip+0x624120]
37be31990divps x0, x1
37be31993movaps x11, x0
37be31997
37be31997loc_37be31997:
37be31997mov rbx, [rsp+1088]
37be3199flea rax, [8*rbp]
37be319a7mov [rsp+760], 1
37be319b3mov [rbx+8*rbp], 0x3f800000
37be319bbmov rbx, [rsp+1096]
37be319c3movlps [rbx+8*rbp], x11
37be319c8
37be319c8loc_37be319c8:
37be319c8mov rbx, [rsp+648]
37be319d0mov rcx, [rsp+1096]
37be319d8mov rdx, [rsp+568]
37be319e0sub rdx, [rsp+640]
37be319e8mov [rsp+192], rbx
37be319f0mov rbx, [rsp+240]
37be319f8add rcx, rax
37be319fbmov [rsp+800], rdx
37be31a03lea rdx, [rsp+744]
37be31a0bmov [rsp+184], rbx
37be31a13mov rbx, [rsp+656]
37be31a1bmov [rsp+168], rdx
37be31a23mov [rsp+176], rbx
37be31a2bmov rbx, [rsp+664]
37be31a33mov [rsp+152], rdx
37be31a3bmov [rsp+160], rbx
37be31a43mov rbx, [rsp+1136]
37be31a4bmov [rsp+144], rbx
37be31a53mov rbx, [rsp+1128]
37be31a5bmov [rsp+136], rbx
37be31a63mov rbx, [rsp+1120]
37be31a6bmov [rsp+128], rbx
37be31a73mov rbx, [rsp+1112]
37be31a7bmov [rsp+120], rbx
37be31a80mov rbx, [rsp+1104]
37be31a88mov [rsp+112], rbx
37be31a8dmov rbx, [rsp+1080]
37be31a95mov [rsp+104], rbx
37be31a9amov rbx, [rsp+1072]
37be31aa2mov [rsp+96], rbx
37be31aa7mov rbx, [rsp+1064]
37be31aafmov [rsp+88], rbx
37be31ab4mov rbx, [rsp+1056]
37be31abcmov [rsp+80], rbx
37be31ac1mov [rsp+72], rcx
37be31ac6add rax, [rsp+1088]
37be31acemov [rsp+64], rax
37be31ad3lea rax, [rsp+760]
37be31adbmov r9, [rsp+1032]
37be31ae3mov [rsp+56], rdx
37be31ae8mov r8, [rsp+592]
37be31af0mov [rsp+48], rax
37be31af5mov rdx, [rsp+584]
37be31afdmov [rsp+40], rsi
37be31b02mov rcx, [rsp+536]
37be31b0amov [rsp+32], rdi
37be31b0fcall claqz3_64_
37be31b14nop
37be31b15nop [rax+rax]
37be31b20
37be31b20loc_37be31b20:
37be31b20add [rsp+448], 1
37be31b29mov rax, [rsp+448]
37be31b31cmp [rsp+544], rax
37be31b39jl 0x37be31f4a
37be31b3fmov r15, [rsp+720]
37be31b47jne 0x37be30c70
37be31b4dmov rdi, [rsp+1168]
37be31b55lea rax, [r15+1]
37be31b59mov r14, [rsp+1048]
37be31b61mov [rdi], rax
37be31b64
37be31b64loc_37be31b64:
37be31b64mov rax, [rsp+240]
37be31b6cmov [rsp+176], 1
37be31b78mov [rsp+168], 1
37be31b84mov [rsp+152], rax
37be31b8cmov rax, [rsp+1152]
37be31b94mov [rsp+160], 1
37be31ba0mov [rsp+144], rax
37be31ba8mov rax, [rsp+1144]
37be31bb0mov [rsp+40], r14
37be31bb5mov [rsp+136], rax
37be31bbdmov rax, [rsp+1136]
37be31bc5mov [rsp+128], rax
37be31bcdmov rax, [rsp+1128]
37be31bd5mov [rsp+120], rax
37be31bdamov rax, [rsp+1120]
37be31be2mov [rsp+112], rax
37be31be7mov rax, [rsp+1112]
37be31befmov [rsp+104], rax
37be31bf4mov rax, [rsp+1104]
37be31bfcmov [rsp+96], rax
37be31c01mov rax, [rsp+1096]
37be31c09mov [rsp+88], rax
37be31c0emov rax, [rsp+1088]
37be31c16mov [rsp+80], rax
37be31c1bmov rax, [rsp+1080]
37be31c23mov [rsp+72], rax
37be31c28mov rax, [rsp+1072]
37be31c30mov [rsp+64], rax
37be31c35mov rax, [rsp+1064]
37be31c3dmov [rsp+56], rax
37be31c42mov rax, [rsp+1056]
37be31c4amov [rsp+48], rax
37be31c4fmov rax, [rsp+1040]
37be31c57mov r9, [rsp+1032]
37be31c5fmov r8, [rsp+1024]
37be31c67mov [rsp+32], rax
37be31c6cmov rdx, [rsp+1016]
37be31c74mov rcx, [rsp+1008]
37be31c7ccall chgeqz_64_
37be31c81mov rax, [rsp+800]
37be31c89mov rdi, [rsp+1168]
37be31c91mov [rdi], rax
37be31c94jmp 0x37be2ff38
37be31c99
37be31c99 0f 1f 80 00 00 00 00 .......
37be31ca0
37be31ca0loc_37be31ca0:
37be31ca0mov r12, [rsp+416]
37be31ca8mov rsi, [rsp+424]
37be31cb0lea r8, [rsp+792]
37be31cb8lea r13, [rsp+676]
37be31cc0mov rcx, [rsp+1056]
37be31cc8mov [rsp+32], r8
37be31ccdmov r9, r14
37be31cd0mov r8, r13
37be31cd3imul r12, rax
37be31cd7mov [rsp+320], r11
37be31cdfmov [rsp+256], rax
37be31ce7lea rbx, [r12+rsi]
37be31ceblea rsi, [rbx+rbp]
37be31cefadd rbx, rax
37be31cf2lea rdx, [rcx+8*rsi]
37be31cf6lea rcx, [rcx+8*rbx]
37be31cfacall clartg_64_
37be31cffmov rcx, [rsp+1056]
37be31d07mov rax, [rsp+256]
37be31d0fmov rdx, [rsp+792]
37be31d17add r12, [rsp+416]
37be31d1fadd r12, [rsp+424]
37be31d27mov [rsp+272], rax
37be31d2fmov [rcx+8*rbx], rdx
37be31d33mov rbx, [rsp+408]
37be31d3bmov [rcx+8*rsi], 0
37be31d43lea rcx, [r12+rbp]
37be31d47add r12, rax
37be31d4amov rax, [rsp+1056]
37be31d52mov rsi, [rsp+240]
37be31d5amov [rsp+48], r14
37be31d5fsub rbx, rbp
37be31d62lea rdx, [rax+8*r12]
37be31d66mov rax, [rsp+1064]
37be31d6emov [rsp+40], r13
37be31d73add rbx, 1
37be31d77mov r8, [rsp+1064]
37be31d7fmov [rsp+800], rbx
37be31d87mov [rsp+32], rax
37be31d8cmov rax, [rsp+1056]
37be31d94lea r9, [rax+8*rcx]
37be31d98mov rcx, rsi
37be31d9bcall crot_64_
37be31da0mov r11, [rsp+320]
37be31da8mov [rsp+48], r14
37be31dadmov rax, [rsp+1072]
37be31db5mov [rsp+40], r13
37be31dbamov rdx, r11
37be31dbdmov r8, [rsp+1080]
37be31dc5mov [rsp+256], r11
37be31dcdimul rdx, rbp
37be31dd1add rdx, [rsp+512]
37be31dd9mov [rsp+800], rbx
37be31de1lea rcx, [rdx+rbp]
37be31de5add rdx, [rsp+272]
37be31dedlea rdx, [rax+8*rdx]
37be31df1mov rax, [rsp+1080]
37be31df9mov [rsp+32], rax
37be31dfemov rax, [rsp+1072]
37be31e06lea r9, [rax+8*rcx]
37be31e0amov rcx, rsi
37be31e0dcall crot_64_
37be31e12mov r11, [rsp+256]
37be31e1acmp [rsp+688], 0
37be31e23je 0x37be3155a
37be31e29mov rsi, [rsp+464]
37be31e31mov [rsp+40], r13
37be31e36lea r8, [rip+0x623c43]
37be31e3dmov rbx, [rsp+528]
37be31e45movss x0, [rsp+812]
37be31e4emov rax, rsi
37be31e51xorps x0, [rip+0x623c38]
37be31e58movss x1, [rsp+808]
37be31e61imul rax, rbp
37be31e65unpcklps x1, x0
37be31e68movlps [rsp+800], x1
37be31e70lea rcx, [rax+rbx+1]
37be31e75sub rax, rsi
37be31e78mov rsi, [rsp+1104]
37be31e80lea rax, [rbx+rax+1]
37be31e85lea rdx, [rsi+8*rax]
37be31e89mov rax, [rsp+240]
37be31e91lea r9, [rsi+8*rcx]
37be31e95mov rcx, [rsp+1032]
37be31e9dmov [rsp+48], rax
37be31ea2lea rax, [rip+0x623bd7]
37be31ea9mov [rsp+32], rax
37be31eaecall crot_64_
37be31eb3mov r11, [rsp+256]
37be31ebbjmp 0x37be3155a
37be31ec0
37be31ec0loc_37be31ec0:
37be31ec0sub rax, 1
37be31ec4xorps x11, x11
37be31ec8mov [rsp+496], 0
37be31ed4mov [rsp+720], rax
37be31edcjmp 0x37be31b20
37be31ee1
37be31ee1 0f 1f 80 00 00 00 00 .......
37be31ee8
37be31ee8loc_37be31ee8:
37be31ee8mov [rsp+408], r15
37be31ef0mov [rsp+264], rax
37be31ef8jmp 0x37be30f8f
37be31efd
37be31efd 0f 1f 00 ...
37be31f00
37be31f00loc_37be31f00:
37be31f00mov rsi, [rsp+1056]
37be31f08mov rax, rdi
37be31f0bmov rbp, [rsp+248]
37be31f13mov [rsp+712], rax
37be31f1bmov rdi, [rsp+256]
37be31f23mov [rsi+8*rbx], 0
37be31f2bjmp 0x37be30f64
37be31f30
37be31f30loc_37be31f30:
37be31f30mov rax, [rsp+576]
37be31f38jmp 0x37be315f2
37be31f3d
37be31f3dloc_37be31f3d:
37be31f3dmov [rsp+776], rax
37be31f45jmp 0x37be315f2
37be31f4a
37be31f4aloc_37be31f4a:
37be31f4amov r14, [rsp+1048]
37be31f52jmp 0x37be31b64
37be31f57
37be31f57loc_37be31f57:
37be31f57mov rdx, -6
37be31f5emov eax, 6
37be31f63jmp 0x37be2ff0a
37be31f68
37be31f68loc_37be31f68:
37be31f68pxor x0, x0
37be31f6ccvtsi2ss x0, rax
37be31f71mov rax, [rsp+1136]
37be31f79mov [rax+4], 0
37be31f80movss [rax], x0
37be31f84jmp 0x37be2ff38
37be31f89
37be31f89loc_37be31f89:
37be31f89pxor x3, x3
37be31f8dmovaps x4, x3
37be31f90divss x4, x1
37be31f94movaps x2, x4
37be31f97mulss x2, x3
37be31f9bsubss x3, x4
37be31f9faddss x1, x2
37be31fa3movsldup x0, x1
37be31fa7movss x1, [rip+0x623b01]
37be31fafmovhps x0, [rip+0x623afa]
37be31fb6addss x1, x2
37be31fbamovq x2, x11
37be31fbfunpcklps x1, x3
37be31fc2movq x1, x1
37be31fc6divps x1, x0
37be31fc9movq x0, x1
37be31fcdaddps x0, x2
37be31fd0movaps x11, x0
37be31fd4jmp 0x37be31997
37be31fd9
37be31fd9loc_37be31fd9:
37be31fd9mov rax, [rsp+1112]
37be31fe1mov r8, [rsp+1032]
37be31fe9mov [rsp+56], 4
37be31ff2lea r9, [rip+0x623a57]
37be31ff9lea rcx, [rip+0x623a58]
37be32000mov [rsp+48], rax
37be32005mov rax, [rsp+1104]
37be3200dmov rdx, r8
37be32010mov [rsp+40], rax
37be32015lea rax, [rip+0x623a40]
37be3201cmov [rsp+32], rax
37be32021call claset_64_
37be32026jmp 0x37be30a67
37be3202b
37be3202bloc_37be3202b:
37be3202bmov rax, [rsp+1128]
37be32033mov r8, [rsp+1032]
37be3203bmov [rsp+56], 4
37be32044lea r9, [rip+0x623a05]
37be3204blea rcx, [rip+0x623a06]
37be32052mov [rsp+48], rax
37be32057mov rax, [rsp+1120]
37be3205fmov rdx, r8
37be32062mov [rsp+40], rax
37be32067lea rax, [rip+0x6239ee]
37be3206emov [rsp+32], rax
37be32073call claset_64_
37be32078jmp 0x37be30a71
37be3207d
37be3207dloc_37be3207d:
37be3207dmovaps x4, x1
37be32080movaps x2, x9
37be32084movq x9, x9
37be32089divss x4, x3
37be3208dshufps x2, x2, -31
37be32091movq x2, x2
37be32095mulss x1, x4
37be32099movsldup x0, x4
37be3209dmovq x0, x0
37be320a1mulps x2, x0
37be320a4addss x1, x3
37be320a8movaps x0, x9
37be320acmovsldup x1, x1
37be320b0movhps x1, [rip+0x6239f9]
37be320b7movq x2, x2
37be320bbmovaps x3, x2
37be320besubps x0, x2
37be320c1addps x3, x9
37be320c5movss x0, x3
37be320c9movq x0, x0
37be320cddivps x0, x1
37be320d0movaps x11, x0
37be320d4jmp 0x37be31997
37be320d9
37be320d9loc_37be320d9:
37be320d9mov rdx, -8
37be320e0mov eax, 8
37be320e5jmp 0x37be2ff0a
37be320ea
37be320ealoc_37be320ea:
37be320eamov rdx, -10
37be320f1mov eax, 10
37be320f6jmp 0x37be2ff0a
37be320fb
37be320fbloc_37be320fb:
37be320fblea rax, [rsp+800]
37be32103mov [rsp+240], rax
37be3210bjmp 0x37be31b64
37be32110
37be32110loc_37be32110:
37be32110mov rdx, -15
37be32117mov eax, 15
37be3211cjmp 0x37be2ff0a
37be32121
37be32121loc_37be32121:
37be32121neg rax
37be32124jmp 0x37be2ff15
37be32129
37be32129loc_37be32129:
37be32129mov rdx, -17
37be32130mov eax, 17
37be32135jmp 0x37be2ff0a
37be2fd80
Loading..