// File: /workspace/github_c_makefile_star2_O1/nh13[P]ksw/src/parasail/src/sg_diag_avx2_256_64.c
// Function: parasail_sg_flags_rowcol_diag_avx2_256_64
parasail_result_t* FNAME(
        const char * const restrict _s1, const int _s1Len,
        const char * const restrict _s2, const int s2Len,
        const int open, const int gap, const parasail_matrix_t *matrix,
        int s1_beg, int s1_end, int s2_beg, int s2_end)
{
    /* declare local variables */
    int32_t N = 0;
    int32_t PAD = 0;
    int32_t PAD2 = 0;
    int32_t s1Len = 0;
    int32_t s1Len_PAD = 0;
    int32_t s2Len_PAD = 0;
    int64_t * restrict s1 = NULL;
    int64_t * restrict s2B = NULL;
    int64_t * restrict _H_pr = NULL;
    int64_t * restrict _F_pr = NULL;
    int64_t * restrict s2 = NULL;
    int64_t * restrict H_pr = NULL;
    int64_t * restrict F_pr = NULL;
    parasail_result_t *result = NULL;
    int32_t i = 0;
    int32_t j = 0;
    int32_t end_query = 0;
    int32_t end_ref = 0;
    int64_t NEG_LIMIT = 0;
    int64_t POS_LIMIT = 0;
    int64_t score = 0;
    __m256i vNegLimit;
    __m256i vPosLimit;
    __m256i vSaturationCheckMin;
    __m256i vSaturationCheckMax;
    __m256i vNegInf;
    __m256i vOpen;
    __m256i vGap;
    __m256i vOne;
    __m256i vN;
    __m256i vGapN;
    __m256i vNegOne;
    __m256i vI;
    __m256i vJreset;
    __m256i vMaxHRow;
    __m256i vMaxHCol;
    __m256i vLastVal;
    __m256i vEndI;
    __m256i vEndJ;
    __m256i vILimit;
    __m256i vILimit1;
    __m256i vJLimit;
    __m256i vJLimit1;
    __m256i vIBoundary;

    /* validate inputs */
    PARASAIL_CHECK_NULL(_s2);
    PARASAIL_CHECK_GT0(s2Len);
    PARASAIL_CHECK_GE0(open);
    PARASAIL_CHECK_GE0(gap);
    PARASAIL_CHECK_NULL(matrix);
    if (matrix->type == PARASAIL_MATRIX_TYPE_SQUARE) {
        PARASAIL_CHECK_NULL(_s1);
        PARASAIL_CHECK_GT0(_s1Len);
    }

    /* initialize stack variables */
    N = 4; /* number of values in vector */
    PAD = N-1;
    PAD2 = PAD*2;
    s1Len = matrix->type == PARASAIL_MATRIX_TYPE_SQUARE ? _s1Len : matrix->length;
    s1Len_PAD = s1Len+PAD;
    s2Len_PAD = s2Len+PAD;
    i = 0;
    j = 0;
    end_query = 0;
    end_ref = 0;
    NEG_LIMIT = (-open < matrix->min ? INT64_MIN + open : INT64_MIN - matrix->min) + 1;
    POS_LIMIT = INT64_MAX - matrix->max - 1;
    score = NEG_LIMIT;
    vNegLimit = _mm256_set1_epi64x_rpl(NEG_LIMIT);
    vPosLimit = _mm256_set1_epi64x_rpl(POS_LIMIT);
    vSaturationCheckMin = vPosLimit;
    vSaturationCheckMax = vNegLimit;
    vNegInf = _mm256_set1_epi64x_rpl(NEG_LIMIT);
    vOpen = _mm256_set1_epi64x_rpl(open);
    vGap  = _mm256_set1_epi64x_rpl(gap);
    vOne = _mm256_set1_epi64x_rpl(1);
    vN = _mm256_set1_epi64x_rpl(N);
    vGapN = s1_beg ? _mm256_set1_epi64x_rpl(0) : _mm256_set1_epi64x_rpl(gap*N);
    vNegOne = _mm256_set1_epi64x_rpl(-1);
    vI = _mm256_set_epi64x_rpl(0,1,2,3);
    vJreset = _mm256_set_epi64x_rpl(0,-1,-2,-3);
    vMaxHRow = vNegInf;
    vMaxHCol = vNegInf;
    vLastVal = vNegInf;
    vEndI = vNegInf;
    vEndJ = vNegInf;
    vILimit = _mm256_set1_epi64x_rpl(s1Len);
    vILimit1 = _mm256_sub_epi64(vILimit, vOne);
    vJLimit = _mm256_set1_epi64x_rpl(s2Len);
    vJLimit1 = _mm256_sub_epi64(vJLimit, vOne);
    vIBoundary = s1_beg ? _mm256_set1_epi64x_rpl(0) : _mm256_set_epi64x_rpl(
            -open-0*gap,
            -open-1*gap,
            -open-2*gap,
            -open-3*gap);

    /* initialize result */
#ifdef PARASAIL_TABLE
    result = parasail_result_new_table1(s1Len, s2Len);
#else
#ifdef PARASAIL_ROWCOL
    result = parasail_result_new_rowcol1(s1Len, s2Len);
#else
    result = parasail_result_new();
#endif
#endif
    if (!result) return NULL;

    /* set known flags */
    result->flag |= PARASAIL_FLAG_SG | PARASAIL_FLAG_DIAG
        | PARASAIL_FLAG_BITS_64 | PARASAIL_FLAG_LANES_4;
    result->flag |= s1_beg ? PARASAIL_FLAG_SG_S1_BEG : 0;
    result->flag |= s1_end ? PARASAIL_FLAG_SG_S1_END : 0;
    result->flag |= s2_beg ? PARASAIL_FLAG_SG_S2_BEG : 0;
    result->flag |= s2_end ? PARASAIL_FLAG_SG_S2_END : 0;
#ifdef PARASAIL_TABLE
    result->flag |= PARASAIL_FLAG_TABLE;
#endif
#ifdef PARASAIL_ROWCOL
    result->flag |= PARASAIL_FLAG_ROWCOL;
#endif

    /* initialize heap variables */
    s2B= parasail_memalign_int64_t(32, s2Len+PAD2);
    _H_pr = parasail_memalign_int64_t(32, s2Len+PAD2);
    _F_pr = parasail_memalign_int64_t(32, s2Len+PAD2);
    s2 = s2B+PAD; /* will allow later for negative indices */
    H_pr = _H_pr+PAD;
    F_pr = _F_pr+PAD;

    /* validate heap variables */
    if (!s2B) return NULL;
    if (!_H_pr) return NULL;
    if (!_F_pr) return NULL;

    /* convert _s1 from char to int in range 0-23 */
    if (matrix->type == PARASAIL_MATRIX_TYPE_SQUARE) {
        s1 = parasail_memalign_int64_t(32, s1Len+PAD);
        if (!s1) return NULL;
        for (i=0; i<s1Len; ++i) {
            s1[i] = matrix->mapper[(unsigned char)_s1[i]];
        }
        /* pad back of s1 with dummy values */
        for (i=s1Len; i<s1Len_PAD; ++i) {
            s1[i] = 0; /* point to first matrix row because we don't care */
        }
    }

    /* convert _s2 from char to int in range 0-23 */
    for (j=0; j<s2Len; ++j) {
        s2[j] = matrix->mapper[(unsigned char)_s2[j]];
    }
    /* pad front of s2 with dummy values */
    for (j=-PAD; j<0; ++j) {
        s2[j] = 0; /* point to first matrix row because we don't care */
    }
    /* pad back of s2 with dummy values */
    for (j=s2Len; j<s2Len_PAD; ++j) {
        s2[j] = 0; /* point to first matrix row because we don't care */
    }

    /* set initial values for stored row */
    if (s2_beg) {
        for (j=0; j<s2Len; ++j) {
            H_pr[j] = 0;
            F_pr[j] = NEG_LIMIT;
        }
    }
    else {
        for (j=0; j<s2Len; ++j) {
            H_pr[j] = -open - j*gap;
            F_pr[j] = NEG_LIMIT;
        }
    }
    /* pad front of stored row values */
    for (j=-PAD; j<0; ++j) {
        H_pr[j] = NEG_LIMIT;
        F_pr[j] = NEG_LIMIT;
    }
    /* pad back of stored row values */
    for (j=s2Len; j<s2Len+PAD; ++j) {
        H_pr[j] = NEG_LIMIT;
        F_pr[j] = NEG_LIMIT;
    }
    H_pr[-1] = 0; /* upper left corner */

    /* iterate over query sequence */
    for (i=0; i<s1Len; i+=N) {
        __m256i vNH = vNegInf;
        __m256i vWH = vNegInf;
        __m256i vE = vNegInf;
        __m256i vF = vNegInf;
        __m256i vJ = vJreset;
        const int * const restrict matrow0 = &matrix->matrix[matrix->size * ((matrix->type == PARASAIL_MATRIX_TYPE_SQUARE) ? s1[i+0] : ((i+0 >= s1Len) ? s1Len-1 : i+0))];
        const int * const restrict matrow1 = &matrix->matrix[matrix->size * ((matrix->type == PARASAIL_MATRIX_TYPE_SQUARE) ? s1[i+1] : ((i+1 >= s1Len) ? s1Len-1 : i+1))];
        const int * const restrict matrow2 = &matrix->matrix[matrix->size * ((matrix->type == PARASAIL_MATRIX_TYPE_SQUARE) ? s1[i+2] : ((i+2 >= s1Len) ? s1Len-1 : i+2))];
        const int * const restrict matrow3 = &matrix->matrix[matrix->size * ((matrix->type == PARASAIL_MATRIX_TYPE_SQUARE) ? s1[i+3] : ((i+3 >= s1Len) ? s1Len-1 : i+3))];
        __m256i vIltLimit = _mm256_cmplt_epi64_rpl(vI, vILimit);
        __m256i vIeqLimit1 = _mm256_cmpeq_epi64(vI, vILimit1);
        vNH = _mm256_srli_si256_rpl(vNH, 8);
        vNH = _mm256_insert_epi64_rpl(vNH, H_pr[-1], 3);
        vWH = _mm256_srli_si256_rpl(vWH, 8);
        vWH = _mm256_insert_epi64_rpl(vWH, s1_beg ? 0 : (-open - i*gap), 3);
        H_pr[-1] = -open - (i+N)*gap;
        /* iterate over database sequence */
        for (j=0; j<s2Len+PAD; ++j) {
            __m256i vMat;
            __m256i vNWH = vNH;
            vNH = _mm256_srli_si256_rpl(vWH, 8);
            vNH = _mm256_insert_epi64_rpl(vNH, H_pr[j], 3);
            vF = _mm256_srli_si256_rpl(vF, 8);
            vF = _mm256_insert_epi64_rpl(vF, F_pr[j], 3);
            vF = _mm256_max_epi64_rpl(
                    _mm256_sub_epi64(vNH, vOpen),
                    _mm256_sub_epi64(vF, vGap));
            vE = _mm256_max_epi64_rpl(
                    _mm256_sub_epi64(vWH, vOpen),
                    _mm256_sub_epi64(vE, vGap));
            vMat = _mm256_set_epi64x_rpl(
                    matrow0[s2[j-0]],
                    matrow1[s2[j-1]],
                    matrow2[s2[j-2]],
                    matrow3[s2[j-3]]
                    );
            vNWH = _mm256_add_epi64(vNWH, vMat);
            vWH = _mm256_max_epi64_rpl(vNWH, vE);
            vWH = _mm256_max_epi64_rpl(vWH, vF);
            /* as minor diagonal vector passes across the j=-1 boundary,
             * assign the appropriate boundary conditions */
            {
                __m256i cond = _mm256_cmpeq_epi64(vJ,vNegOne);
                vWH = _mm256_blendv_epi8(vWH, vIBoundary, cond);
                vF = _mm256_blendv_epi8(vF, vNegInf, cond);
                vE = _mm256_blendv_epi8(vE, vNegInf, cond);
            }
            /* cannot start checking sat until after J clears boundary */
            if (j > PAD) {
                vSaturationCheckMin = _mm256_min_epi64_rpl(vSaturationCheckMin, vWH);
                vSaturationCheckMax = _mm256_max_epi64_rpl(vSaturationCheckMax, vWH);
            }
#ifdef PARASAIL_TABLE
            arr_store_si256(result->tables->score_table, vWH, i, s1Len, j, s2Len);
#endif
#ifdef PARASAIL_ROWCOL
            arr_store_rowcol(result->rowcols->score_row, result->rowcols->score_col, vWH, i, s1Len, j, s2Len);
#endif
            H_pr[j-3] = (int64_t)_mm256_extract_epi64_rpl(vWH,0);
            F_pr[j-3] = (int64_t)_mm256_extract_epi64_rpl(vF,0);
            /* as minor diagonal vector passes across the i or j limit
             * boundary, extract the last value of the column or row */
            {
                __m256i vJeqLimit1 = _mm256_cmpeq_epi64(vJ, vJLimit1);
                __m256i vJgtNegOne = _mm256_cmpgt_epi64(vJ, vNegOne);
                __m256i vJltLimit = _mm256_cmplt_epi64_rpl(vJ, vJLimit);
                __m256i cond_j = _mm256_and_si256(vIltLimit, vJeqLimit1);
                __m256i cond_i = _mm256_and_si256(vIeqLimit1,
                        _mm256_and_si256(vJgtNegOne, vJltLimit));
                __m256i cond_max_row = _mm256_cmpgt_epi64(vWH, vMaxHRow);
                __m256i cond_max_col = _mm256_cmpgt_epi64(vWH, vMaxHCol);
                __m256i cond_last_val = _mm256_and_si256(vIeqLimit1, vJeqLimit1);
                __m256i cond_all_row = _mm256_and_si256(cond_max_row, cond_i);
                __m256i cond_all_col = _mm256_and_si256(cond_max_col, cond_j);
                vMaxHRow = _mm256_blendv_epi8(vMaxHRow, vWH, cond_all_row);
                vMaxHCol = _mm256_blendv_epi8(vMaxHCol, vWH, cond_all_col);
                vLastVal = _mm256_blendv_epi8(vLastVal, vWH, cond_last_val);
                vEndI = _mm256_blendv_epi8(vEndI, vI, cond_all_col);
                vEndJ = _mm256_blendv_epi8(vEndJ, vJ, cond_all_row);
            }
            vJ = _mm256_add_epi64(vJ, vOne);
        }
        vI = _mm256_add_epi64(vI, vN);
        vIBoundary = _mm256_sub_epi64(vIBoundary, vGapN);
    }

    /* alignment ending position */
    {
        int64_t max_row = NEG_LIMIT;
        int64_t max_col = NEG_LIMIT;
        int64_t last_val = NEG_LIMIT;
        int64_t *s = (int64_t*)&vMaxHRow;
        int64_t *t = (int64_t*)&vMaxHCol;
        int64_t *u = (int64_t*)&vLastVal;
        int64_t *i = (int64_t*)&vEndI;
        int64_t *j = (int64_t*)&vEndJ;
        int32_t k;
        for (k=0; k<N; ++k, ++s, ++t, ++u, ++i, ++j) {
            if (*t > max_col || (*t == max_col && *i < end_query)) {
                max_col = *t;
                end_query = *i;
            }
            if (*s > max_row) {
                max_row = *s;
                end_ref = *j;
            }
            if (*u > last_val) {
                last_val = *u;
            }
        }
        if (s1_end && s2_end) {
            if (max_col > max_row || (max_col == max_row && end_ref == s2Len-1)) {
                score = max_col;
                end_ref = s2Len-1;
            }
            else {
                score = max_row;
                end_query = s1Len-1;
            }
        }
        else if (s1_end) {
            score = max_col;
            end_ref = s2Len-1;
        }
        else if (s2_end) {
            score = max_row;
            end_query = s1Len-1;
        }
        else {
            score = last_val;
            end_query = s1Len-1;
            end_ref = s2Len-1;
        }
    }

    if (_mm256_movemask_epi8(_mm256_or_si256(
            _mm256_cmplt_epi64_rpl(vSaturationCheckMin, vNegLimit),
            _mm256_cmpgt_epi64(vSaturationCheckMax, vPosLimit)))) {
        result->flag |= PARASAIL_FLAG_SATURATED;
        score = 0;
        end_query = 0;
        end_ref = 0;
    }

    result->score = score;
    result->end_query = end_query;
    result->end_ref = end_ref;

    parasail_free(_F_pr);
    parasail_free(_H_pr);
    parasail_free(s2B);
    if (matrix->type == PARASAIL_MATRIX_TYPE_SQUARE) {
        parasail_free(s1);
    }

    return result;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
andq $-0x20, %rsp
subq $0x400, %rsp            # imm = 0x400
movq %r9, 0x40(%rsp)
testq %rdx, %rdx
je 0x528b01
movl %ecx, %ebx
testl %ecx, %ecx
jle 0x528b0b
testl %r8d, %r8d
js 0x528b15
cmpl $0x0, 0x40(%rsp)
js 0x528b1f
movq %rdx, %r14
movq 0x10(%rbp), %rdx
testq %rdx, %rdx
je 0x528b29
movq %rdi, %r12
movl 0x30(%rdx), %eax
testl %eax, %eax
jne 0x527d3b
testq %r12, %r12
je 0x528bcc
testl %esi, %esi
jle 0x528bd3
testl %eax, %eax
je 0x527d3e
movl 0x34(%rdx), %esi
leal 0x3(%rsi), %eax
movl %eax, 0x18(%rsp)
movl %r8d, %r9d
negl %r9d
movslq 0x20(%rdx), %rax
movl %r8d, %ecx
movq %rcx, 0x20(%rsp)
btsq $0x3f, %rcx
movabsq $-0x8000000000000000, %r13 # imm = 0x8000000000000000
movq %r13, %rdi
subq %rax, %rdi
movl %r9d, 0x34(%rsp)
cmpl %r9d, %eax
leal 0x3(%rbx), %r15d
cmovgq %rcx, %rdi
incq %rdi
movslq 0x1c(%rdx), %rax
subq %rax, %r13
addq $-0x2, %r13
vmovq %rdi, %xmm0
vpbroadcastq %xmm0, %ymm0
vmovdqa %ymm0, 0xa0(%rsp)
movq 0x40(%rsp), %rax
leal (,%rax,4), %eax
vpxor %xmm0, %xmm0, %xmm0
vmovdqa %ymm0, 0x180(%rsp)
cmpl $0x0, 0x18(%rbp)
jne 0x527dc6
vmovq %rax, %xmm0
vpbroadcastq %xmm0, %ymm0
vmovdqa %ymm0, 0x280(%rsp)
movq %rdi, 0x70(%rsp)
vmovdqa 0xa0(%rsp), %ymm0
vmovdqa %ymm0, 0x260(%rsp)
vmovdqa %ymm0, 0x240(%rsp)
vmovdqa %ymm0, 0x220(%rsp)
vmovdqa %ymm0, 0x1c0(%rsp)
vmovdqa %ymm0, 0x200(%rsp)
movq %rsi, 0x10(%rsp)
jne 0x527e66
movl 0x34(%rsp), %esi
movslq %esi, %rax
movl %esi, %ecx
movq 0x40(%rsp), %rdi
subl %edi, %ecx
movslq %ecx, %rcx
subl %edi, %esi
subl %edi, %esi
movslq %esi, %rdx
leal (%rdi,%rdi,2), %esi
addl %r8d, %esi
negl %esi
movslq %esi, %rsi
vmovq %rdx, %xmm0
vmovq %rsi, %xmm1
movq 0x10(%rsp), %rsi
vpunpcklqdq %xmm0, %xmm1, %xmm0 # xmm0 = xmm1[0],xmm0[0]
vmovq %rcx, %xmm1
vmovq %rax, %xmm2
vpunpcklqdq %xmm2, %xmm1, %xmm1 # xmm1 = xmm1[0],xmm2[0]
vinserti128 $0x1, %xmm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x180(%rsp)
movl %esi, %edi
movl %ebx, %esi
vzeroupper
callq 0x209630
testq %rax, %rax
je 0x528bd8
movq %r12, 0x68(%rsp)
movq %r14, 0x38(%rsp)
xorl %edi, %edi
cmpl $0x0, 0x18(%rbp)
setne %dil
xorl %ecx, %ecx
cmpl $0x0, 0x20(%rbp)
setne %cl
shll $0x4, %ecx
xorl %edx, %edx
cmpl $0x0, 0x28(%rbp)
setne %dl
shll $0xe, %edx
xorl %esi, %esi
cmpl $0x0, 0x30(%rbp)
setne %sil
shll $0xf, %esi
leal (%rcx,%rdi,8), %ecx
orl %edx, %ecx
orl %esi, %ecx
orl 0xc(%rax), %ecx
orl $0x4841002, %ecx        # imm = 0x4841002
movq %rax, 0x60(%rsp)
movl %ecx, 0xc(%rax)
movq %rbx, 0x28(%rsp)
addl $0x6, %ebx
movl $0x20, %edi
movq %rbx, %rsi
callq 0x2094de
movq %rax, %r12
movl $0x20, %edi
movq %rbx, %rsi
callq 0x2094de
movq %rax, %r14
movl $0x20, %edi
movq %rbx, %rsi
callq 0x2094de
movq %rax, %rdx
testq %r12, %r12
sete %al
testq %r14, %r14
sete %cl
orb %al, %cl
testq %rdx, %rdx
sete %al
orb %cl, %al
jne 0x528bd8
movslq 0x10(%rsp), %rbx
movq 0x10(%rbp), %rax
cmpl $0x0, 0x30(%rax)
movq %r12, 0x80(%rsp)
movq %r14, 0x48(%rsp)
movq %rdx, 0x78(%rsp)
je 0x527f54
movq $0x0, 0x50(%rsp)
movq 0x38(%rsp), %r14
jmp 0x527fdb
movl 0x18(%rsp), %r12d
movslq %r12d, %rsi
movl $0x20, %edi
callq 0x2094de
movq %rax, 0x50(%rsp)
testq %rax, %rax
movq 0x38(%rsp), %r14
je 0x528bd8
cmpl $0x0, 0x10(%rsp)
movq 0x50(%rsp), %rdi
movq 0x68(%rsp), %r8
jle 0x527fad
movq 0x10(%rbp), %rax
movq 0x10(%rax), %rax
movl 0x10(%rsp), %ecx
xorl %edx, %edx
movzbl (%r8,%rdx), %esi
movslq (%rax,%rsi,4), %rsi
movq %rsi, (%rdi,%rdx,8)
incq %rdx
cmpq %rdx, %rcx
jne 0x527f98
movq 0x10(%rsp), %rcx
leal 0x1(%rcx), %eax
cmpl %eax, %r12d
cmovgl %r12d, %eax
leaq (%rdi,%rbx,8), %rdi
notl %ecx
addl %eax, %ecx
leaq 0x8(,%rcx,8), %rdx
xorl %esi, %esi
callq 0x19e090
movq 0x80(%rsp), %r12
movq 0x28(%rsp), %rcx
movl %ecx, %edx
movl 0x40(%rsp), %esi
vmovq %rbx, %xmm0
movq %rdx, 0x58(%rsp)
vmovq %rdx, %xmm1
vmovq %r13, %xmm2
vmovsd 0x20(%rsp), %xmm3
movq %rsi, 0x90(%rsp)
vmovq %rsi, %xmm4
vpbroadcastq %xmm0, %ymm5
vpcmpeqd %ymm0, %ymm0, %ymm0
vpbroadcastq %xmm1, %ymm6
vpbroadcastq %xmm2, %ymm1
vmovdqa %ymm1, 0x1e0(%rsp)
vbroadcastsd %xmm3, %ymm1
vmovaps %ymm1, 0x340(%rsp)
vpbroadcastq %xmm4, %ymm1
vmovdqa %ymm1, 0x320(%rsp)
vmovdqa %ymm5, 0x380(%rsp)
vpaddq %ymm0, %ymm5, %ymm1
vmovdqa %ymm1, 0x2e0(%rsp)
vmovdqa %ymm6, 0x360(%rsp)
vpaddq %ymm0, %ymm6, %ymm0
vmovdqa %ymm0, 0x300(%rsp)
movq 0x10(%rbp), %rax
movq 0x10(%rax), %rax
cmpl $0x2, %ecx
movl $0x1, %ebx
cmovgel %ecx, %ebx
xorl %ecx, %ecx
movzbl (%r14,%rcx), %edx
movslq (%rax,%rdx,4), %rdx
movq %rdx, 0x18(%r12,%rcx,8)
incq %rcx
cmpq %rcx, %rbx
jne 0x528086
vpxor %xmm0, %xmm0, %xmm0
vmovdqu %xmm0, (%r12)
movq $0x0, 0x10(%r12)
movq 0x28(%rsp), %r14
leal 0x1(%r14), %eax
cmpl %eax, %r15d
cmovgl %r15d, %eax
movq 0x58(%rsp), %rcx
leaq (%r12,%rcx,8), %rdi
addq $0x18, %rdi
movl %r14d, %ecx
notl %ecx
addl %eax, %ecx
leaq 0x8(,%rcx,8), %rdx
xorl %esi, %esi
vzeroupper
callq 0x19e090
movslq 0x34(%rsp), %r10
cmpl $0x0, 0x28(%rbp)
movl 0x20(%rbp), %r12d
je 0x528127
xorl %eax, %eax
movq 0x10(%rsp), %rsi
movq 0x60(%rsp), %r14
movq 0x70(%rsp), %rdi
movq 0x48(%rsp), %r8
movq 0x78(%rsp), %r11
movq $0x0, 0x18(%r8,%rax,8)
movq %rdi, 0x18(%r11,%rax,8)
incq %rax
cmpq %rax, %rbx
jne 0x52810f
jmp 0x52816c
cmpl $0x2, %r14d
movl $0x1, %eax
cmovgel %r14d, %eax
xorl %ecx, %ecx
movq %r10, %rdx
movq 0x10(%rsp), %rsi
movq 0x60(%rsp), %r14
movq 0x70(%rsp), %rdi
movq 0x48(%rsp), %r8
movq 0x78(%rsp), %r11
movq %rdx, 0x18(%r8,%rcx,8)
movq %rdi, 0x18(%r11,%rcx,8)
incq %rcx
subq 0x90(%rsp), %rdx
cmpq %rcx, %rax
jne 0x528152
xorl %eax, %eax
movq %rdi, (%r8,%rax,8)
movq %rdi, (%r11,%rax,8)
incq %rax
cmpq $0x3, %rax
jne 0x52816e
movq 0x58(%rsp), %rdx
leaq 0x3(%rdx), %rax
movq 0x28(%rsp), %rcx
movq 0x10(%rbp), %rbx
movq %rdi, (%r8,%rax,8)
movq %rdi, (%r11,%rax,8)
incq %rax
incl %ecx
cmpl %ecx, %r15d
jg 0x528191
movq $0x0, 0x10(%r8)
vmovdqa 0x260(%rsp), %ymm2
vmovdqa 0x240(%rsp), %ymm3
vmovapd 0x220(%rsp), %ymm4
vmovapd 0x1c0(%rsp), %ymm5
vmovapd 0x200(%rsp), %ymm6
testl %esi, %esi
jle 0x5289fe
movq 0x8(%rbx), %rax
movq %rax, 0xd0(%rsp)
leal -0x1(%rsi), %eax
movq %rax, 0x20(%rsp)
vpxor %xmm0, %xmm0, %xmm0
vmovdqa 0xa0(%rsp), %ymm1
vpblendd $0x3, %ymm0, %ymm1, %ymm0 # ymm0 = ymm0[0,1],ymm1[2,3,4,5,6,7]
vpermq $0x39, %ymm0, %ymm0     # ymm0 = ymm0[1,2,3,0]
vmovdqa %ymm0, 0x2c0(%rsp)
movq 0x28(%rsp), %rax
decl %eax
movq %rax, 0x100(%rsp)
cmpl $0x2, %r15d
movl $0x1, %eax
cmovgel %r15d, %eax
movq %rax, 0xf8(%rsp)
movl %esi, %eax
movq %rax, 0x18(%rsp)
leaq 0x1(%rdx), %rax
movq %rax, 0xf0(%rsp)
leaq 0x2(%rdx), %rax
movq %rax, 0xe8(%rsp)
vmovaps 0xd145f(%rip), %ymm0    # 0x5f96c0
vmovaps %ymm0, 0x1a0(%rsp)
vpcmpeqd %ymm8, %ymm8, %ymm8
vbroadcastsd 0xd1708(%rip), %ymm0 # 0x5f9980
vmovaps %ymm0, 0x2a0(%rsp)
xorl %r15d, %r15d
vmovdqa 0x1e0(%rsp), %ymm0
vmovdqa %ymm0, 0x140(%rsp)
vmovdqa %ymm1, 0x160(%rsp)
movq %r10, 0xd8(%rsp)
movl 0x30(%rbx), %r9d
movq %r15, %rsi
testl %r9d, %r9d
movq 0x50(%rsp), %rcx
jne 0x5282bc
movq (%rcx,%r15,8), %rsi
movq %r15, %rdx
orq $0x1, %rdx
testl %r9d, %r9d
je 0x5282da
cmpq 0x18(%rsp), %rdx
movq 0x20(%rsp), %rax
cmovbl %edx, %eax
movslq %eax, %rdi
jmp 0x5282de
movq (%rcx,%rdx,8), %rdi
movq %r15, %rax
orq $0x2, %rax
testl %r9d, %r9d
movq %rax, 0x88(%rsp)
je 0x528308
cmpq 0x18(%rsp), %rax
movq %rax, %r8
movq 0x20(%rsp), %rax
cmovbl %r8d, %eax
movslq %eax, %r8
jmp 0x52830c
movq (%rcx,%rax,8), %r8
movq %r15, %r12
orq $0x3, %r12
testl %r9d, %r9d
movq %rdx, 0x38(%rsp)
je 0x52832f
cmpq 0x18(%rsp), %r12
movq 0x20(%rsp), %rax
cmovbl %r12d, %eax
cltq
jmp 0x528333
movq (%rcx,%r12,8), %rax
movslq 0x18(%rbx), %rcx
imulq %rcx, %rsi
imulq %rcx, %rdi
imulq %rcx, %r8
imulq %rcx, %rax
leaq 0x4(%r15), %rcx
movq %rcx, 0xe0(%rsp)
imulq 0x90(%rsp), %rcx
movq %r10, %rdx
subq %rcx, %rdx
movq %r15, 0x98(%rsp)
movl %r15d, %ecx
imull 0x40(%rsp), %ecx
movl 0x34(%rsp), %r9d
subl %ecx, %r9d
movq 0x48(%rsp), %rcx
vpbroadcastq 0x10(%rcx), %ymm7
movq %rdx, 0x10(%rcx)
movq 0xd0(%rsp), %rdx
leaq (%rdx,%rsi,4), %rsi
movq %rsi, 0x120(%rsp)
leaq (%rdx,%rdi,4), %rsi
movq %rsi, 0x118(%rsp)
movq %rcx, %r10
leaq (%rdx,%r8,4), %rcx
movq %rcx, 0x110(%rsp)
cmpl $0x0, 0x18(%rbp)
movl $0x0, %ecx
cmovnel %ecx, %r9d
leaq (%rdx,%rax,4), %rax
movq %rax, 0x108(%rsp)
movslq %r9d, %rax
vmovq %rax, %xmm9
vpbroadcastq %xmm9, %ymm9
vmovdqa 0x2c0(%rsp), %ymm0
vpblendd $0xc0, %ymm9, %ymm0, %ymm15 # ymm15 = ymm0[0,1,2,3,4,5],ymm9[6,7]
vpblendd $0xc0, %ymm7, %ymm0, %ymm9 # ymm9 = ymm0[0,1,2,3,4,5],ymm7[6,7]
vmovdqa 0x1a0(%rsp), %ymm0
vpcmpeqq 0x2e0(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x3a0(%rsp)
xorl %ebx, %ebx
vpmovsxbq 0xcf798(%rip), %ymm13 # 0x5f7bb2
vmovdqa 0xa0(%rsp), %ymm7
vmovdqa %ymm7, %ymm10
movq %r12, 0x68(%rsp)
vpermq $0xf9, %ymm15, %ymm11   # ymm11 = ymm15[1,2,3,3]
vpbroadcastq 0x18(%r10,%rbx,8), %ymm14
vpblendd $0xc0, %ymm14, %ymm11, %ymm1 # ymm1 = ymm11[0,1,2,3,4,5],ymm14[6,7]
vpermq $0xf9, %ymm10, %ymm10   # ymm10 = ymm10[1,2,3,3]
vpbroadcastq 0x18(%r11,%rbx,8), %ymm11
vpblendd $0xc0, %ymm11, %ymm10, %ymm10 # ymm10 = ymm10[0,1,2,3,4,5],ymm11[6,7]
vmovdqa 0x340(%rsp), %ymm0
vmovdqa %ymm1, 0x3c0(%rsp)
vpsubq %ymm0, %ymm1, %ymm11
vmovdqa 0x320(%rsp), %ymm1
vpsubq %ymm1, %ymm10, %ymm10
vmovq %xmm11, %rax
vmovq %xmm10, %r14
cmpq %r14, %rax
cmovgq %rax, %r14
vpextrq $0x1, %xmm11, %rax
vpextrq $0x1, %xmm10, %rdi
cmpq %rdi, %rax
cmovgq %rax, %rdi
vextracti128 $0x1, %ymm11, %xmm11
vmovq %xmm11, %rax
vextracti128 $0x1, %ymm10, %xmm10
vmovq %xmm10, %rsi
cmpq %rsi, %rax
cmovgq %rax, %rsi
vpextrq $0x1, %xmm11, %rax
vpextrq $0x1, %xmm10, %r10
cmpq %r10, %rax
cmovgq %rax, %r10
vpsubq %ymm0, %ymm15, %ymm10
vpsubq %ymm1, %ymm7, %ymm7
vmovq %xmm10, %rax
vmovq %xmm7, %r9
cmpq %r9, %rax
cmovgq %rax, %r9
vpextrq $0x1, %xmm10, %rax
vpextrq $0x1, %xmm7, %r15
cmpq %r15, %rax
cmovgq %rax, %r15
vextracti128 $0x1, %ymm10, %xmm10
vmovq %xmm10, %rax
vextracti128 $0x1, %ymm7, %xmm7
vmovq %xmm7, %r13
cmpq %r13, %rax
cmovgq %rax, %r13
vpextrq $0x1, %xmm10, %rax
movq 0x80(%rsp), %r11
movq 0x18(%r11,%rbx,8), %rcx
movq 0x120(%rsp), %rdx
movslq (%rdx,%rcx,4), %rcx
movq 0x10(%r11,%rbx,8), %rdx
movq 0x118(%rsp), %r8
movslq (%r8,%rdx,4), %rdx
movq (%r11,%rbx,8), %r8
movq 0x8(%r11,%rbx,8), %r11
movq 0x110(%rsp), %r12
movslq (%r12,%r11,4), %r11
movq 0x108(%rsp), %r12
movslq (%r12,%r8,4), %r8
vmovq %rcx, %xmm10
vmovq %rdx, %xmm11
vpunpcklqdq %xmm10, %xmm11, %xmm10 # xmm10 = xmm11[0],xmm10[0]
vmovq %r11, %xmm11
vmovq %r8, %xmm15
vpunpcklqdq %xmm11, %xmm15, %xmm11 # xmm11 = xmm15[0],xmm11[0]
vinserti128 $0x1, %xmm10, %ymm11, %ymm10
vpaddq %ymm9, %ymm10, %ymm9
vpextrq $0x1, %xmm7, %r11
cmpq %r11, %rax
cmovgq %rax, %r11
vmovq %xmm9, %rax
cmpq %r9, %rax
cmovleq %r9, %rax
vpextrq $0x1, %xmm9, %rcx
cmpq %r15, %rcx
cmovleq %r15, %rcx
vextracti128 $0x1, %ymm9, %xmm7
vmovq %xmm7, %rdx
cmpq %r13, %rdx
cmovleq %r13, %rdx
vpextrq $0x1, %xmm7, %r8
cmpq %r11, %r8
cmovleq %r11, %r8
cmpq %r14, %rax
movq %r14, 0x138(%rsp)
cmovleq %r14, %rax
cmpq %rdi, %rcx
movq %rdi, 0x130(%rsp)
cmovleq %rdi, %rcx
cmpq %rsi, %rdx
movq %rsi, 0x128(%rsp)
cmovleq %rsi, %rdx
cmpq %r10, %r8
cmovleq %r10, %r8
vmovq %r8, %xmm7
vmovq %rdx, %xmm9
vmovq %rcx, %xmm10
vmovq %rax, %xmm11
vpunpcklqdq %xmm7, %xmm9, %xmm7 # xmm7 = xmm9[0],xmm7[0]
vpunpcklqdq %xmm10, %xmm11, %xmm9 # xmm9 = xmm11[0],xmm10[0]
vinserti128 $0x1, %xmm7, %ymm9, %ymm9
vpcmpeqq %ymm8, %ymm13, %ymm11
vblendvpd %ymm11, 0x180(%rsp), %ymm9, %ymm15
vextractf128 $0x1, %ymm15, %xmm7
cmpq $0x4, %rbx
jb 0x528744
vmovdqa 0x140(%rsp), %ymm0
vmovq %xmm0, %rax
vmovq %xmm15, %r8
cmpq %r8, %rax
cmovgeq %r8, %rax
vpextrq $0x1, %xmm0, %r14
vpextrq $0x1, %xmm15, %r12
cmpq %r12, %r14
cmovgeq %r12, %r14
vextracti128 $0x1, %ymm0, %xmm1
vmovq %xmm1, %rsi
vmovq %xmm7, %rcx
cmpq %rcx, %rsi
cmovgeq %rcx, %rsi
vpextrq $0x1, %xmm1, %rdi
vpextrq $0x1, %xmm7, %rdx
cmpq %rdx, %rdi
cmovgeq %rdx, %rdi
vmovq %rdi, %xmm1
vmovq %rsi, %xmm10
vpunpcklqdq %xmm1, %xmm10, %xmm1 # xmm1 = xmm10[0],xmm1[0]
vmovdqa 0x160(%rsp), %ymm8
vmovq %xmm8, %rsi
cmpq %r8, %rsi
cmovgq %rsi, %r8
vpextrq $0x1, %xmm8, %rsi
vmovq %r14, %xmm10
movq 0x60(%rsp), %r14
cmpq %r12, %rsi
cmovgq %rsi, %r12
vmovq %rax, %xmm0
vextracti128 $0x1, %ymm8, %xmm8
vmovq %xmm8, %rax
cmpq %rcx, %rax
cmovgq %rax, %rcx
vpextrq $0x1, %xmm8, %rax
vpunpcklqdq %xmm10, %xmm0, %xmm0 # xmm0 = xmm0[0],xmm10[0]
cmpq %rdx, %rax
cmovgq %rax, %rdx
vinserti128 $0x1, %xmm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x140(%rsp)
vmovq %rdx, %xmm0
vmovq %rcx, %xmm8
vpunpcklqdq %xmm0, %xmm8, %xmm0 # xmm0 = xmm8[0],xmm0[0]
vmovq %r12, %xmm8
vmovq %r8, %xmm10
vpunpcklqdq %xmm8, %xmm10, %xmm8 # xmm8 = xmm10[0],xmm8[0]
vinserti128 $0x1, %xmm0, %ymm8, %ymm0
vmovdqa %ymm0, 0x160(%rsp)
movq 0x58(%rsp), %rdx
jmp 0x52874e
movq 0x58(%rsp), %rdx
movq 0x60(%rsp), %r14
movq 0x98(%rsp), %rax
cmpq 0x20(%rsp), %rax
setne %al
movq 0x10(%r14), %rcx
movq (%rcx), %r12
movq 0x8(%rcx), %r8
cmpq %rdx, %rbx
setae %cl
orb %al, %cl
jne 0x52877a
vpextrd $0x2, %xmm7, (%r12,%rbx,4)
cmpq %rbx, 0x100(%rsp)
jne 0x528793
movq 0x98(%rsp), %rax
vpextrd $0x2, %xmm7, (%r8,%rax,4)
movq 0x38(%rsp), %rax
cmpq 0x20(%rsp), %rax
setne %al
leaq -0x1(%rbx), %rcx
cmpq %rdx, %rcx
setae %cl
orb %al, %cl
jne 0x5287b5
vmovd %xmm7, -0x4(%r12,%rbx,4)
movq 0x38(%rsp), %rax
cmpq 0x18(%rsp), %rax
setae %al
cmpq %rbx, %rdx
setne %cl
orb %al, %cl
jne 0x5287d7
movq 0x38(%rsp), %rax
vmovd %xmm7, (%r8,%rax,4)
movq 0x88(%rsp), %rax
cmpq 0x20(%rsp), %rax
jne 0x52880d
leaq -0x2(%rbx), %rax
cmpq $0x2, %rbx
setae %cl
cmpq %rdx, %rax
setl %al
andb %cl, %al
cmpb $0x1, %al
movq 0x88(%rsp), %rax
jne 0x52880d
vpextrd $0x2, %xmm15, -0x8(%r12,%rbx,4)
cmpq 0x18(%rsp), %rax
setae %al
cmpq %rbx, 0xf0(%rsp)
setne %cl
orb %al, %cl
jne 0x528833
movq 0x88(%rsp), %rax
vpextrd $0x2, %xmm15, (%r8,%rax,4)
movq 0x68(%rsp), %rax
cmpq 0x20(%rsp), %rax
jne 0x52885b
leaq -0x3(%rbx), %rax
cmpq $0x3, %rbx
setb %cl
cmpq %rdx, %rax
setge %al
orb %cl, %al
jne 0x52885b
vmovd %xmm15, -0xc(%r12,%rbx,4)
vmovq %r10, %xmm0
vmovq 0x128(%rsp), %xmm7
vpunpcklqdq %xmm0, %xmm7, %xmm0 # xmm0 = xmm7[0],xmm0[0]
vmovq 0x130(%rsp), %xmm7
vmovq 0x138(%rsp), %xmm8
vpunpcklqdq %xmm7, %xmm8, %xmm7 # xmm7 = xmm8[0],xmm7[0]
vinserti128 $0x1, %xmm0, %ymm7, %ymm0
vmovq %r11, %xmm7
vmovq %r13, %xmm8
vpunpcklqdq %xmm7, %xmm8, %xmm7 # xmm7 = xmm8[0],xmm7[0]
vmovq %r15, %xmm8
vmovq %r9, %xmm10
vpunpcklqdq %xmm8, %xmm10, %xmm8 # xmm8 = xmm10[0],xmm8[0]
vinserti128 $0x1, %xmm7, %ymm8, %ymm7
vblendvpd %ymm11, 0xa0(%rsp), %ymm0, %ymm10
movq 0x68(%rsp), %rdx
cmpq 0x18(%rsp), %rdx
setae %al
cmpq %rbx, 0xe8(%rsp)
setne %cl
orb %al, %cl
jne 0x5288d9
vmovd %xmm15, (%r8,%rdx,4)
vblendvpd %ymm11, 0xa0(%rsp), %ymm7, %ymm7
vmovdqa 0x380(%rsp), %ymm0
vmovdqa 0x1a0(%rsp), %ymm12
vpcmpgtq %ymm12, %ymm0, %ymm0
vpcmpeqq 0x300(%rsp), %ymm13, %ymm8
vpcmpeqd %ymm1, %ymm1, %ymm1
vpcmpgtq %ymm1, %ymm13, %ymm11
vmovdqa 0x360(%rsp), %ymm1
vpcmpgtq %ymm13, %ymm1, %ymm1
vpand %ymm1, %ymm11, %ymm1
vpcmpgtq %ymm2, %ymm15, %ymm11
vmovdqa 0x3a0(%rsp), %ymm14
vpand %ymm1, %ymm14, %ymm1
vpand %ymm1, %ymm11, %ymm1
vpcmpgtq %ymm3, %ymm15, %ymm11
vpand %ymm0, %ymm8, %ymm0
vpand %ymm0, %ymm11, %ymm0
vblendvpd %ymm1, %ymm9, %ymm2, %ymm2
vpand %ymm14, %ymm8, %ymm8
vblendvpd %ymm8, %ymm15, %ymm4, %ymm4
vpcmpeqd %ymm8, %ymm8, %ymm8
vblendvpd %ymm0, %ymm15, %ymm3, %ymm3
vblendvpd %ymm0, %ymm12, %ymm5, %ymm5
vblendvpd %ymm1, %ymm13, %ymm6, %ymm6
movq 0x48(%rsp), %r10
vmovq %xmm15, (%r10,%rbx,8)
movq 0x78(%rsp), %r11
vmovlpd %xmm10, (%r11,%rbx,8)
vpsubq %ymm8, %ymm13, %ymm13
incq %rbx
cmpq %rbx, 0xf8(%rsp)
vmovaps 0x3c0(%rsp), %ymm9
jne 0x52842c
vmovdqa 0x1a0(%rsp), %ymm0
vpaddq 0x2a0(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x1a0(%rsp)
vmovdqa 0x180(%rsp), %ymm0
vpsubq 0x280(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x180(%rsp)
movq 0xe0(%rsp), %rax
movq %rax, %r15
cmpq 0x18(%rsp), %rax
movq 0x10(%rbp), %rbx
movl 0x20(%rbp), %r12d
movq 0xd8(%rsp), %r10
jb 0x5282a7
jmp 0x528a22
vmovaps 0xa0(%rsp), %ymm0
vmovaps %ymm0, 0x160(%rsp)
vmovdqa 0x1e0(%rsp), %ymm0
vmovdqa %ymm0, 0x140(%rsp)
vmovdqa %ymm2, 0x260(%rsp)
vmovdqa %ymm3, 0x240(%rsp)
vmovapd %ymm4, 0x220(%rsp)
vmovapd %ymm5, 0x1c0(%rsp)
vmovapd %ymm6, 0x200(%rsp)
xorl %edi, %edi
movq 0x70(%rsp), %r9
movq %r9, %rcx
movq %r9, %rsi
xorl %edx, %edx
xorl %eax, %eax
movq 0x50(%rsp), %r15
movq 0x240(%rsp,%rdi,8), %r8
cmpq %rcx, %r8
jle 0x528a7e
movl 0x1c0(%rsp,%rdi,8), %edx
movq %r8, %rcx
jmp 0x528a93
jne 0x528a93
movq %r9, %r10
movslq %edx, %r9
cmpq %r9, 0x1c0(%rsp,%rdi,8)
movq %r10, %r9
jl 0x528a72
movq 0x260(%rsp,%rdi,8), %r8
cmpq %rsi, %r8
jle 0x528aaa
movl 0x200(%rsp,%rdi,8), %eax
movq %r8, %rsi
movq 0x220(%rsp,%rdi,8), %r8
cmpq %r9, %r8
cmovgq %r8, %r9
incq %rdi
cmpl $0x4, %edi
jne 0x528a65
cmpl $0x0, 0x30(%rbp)
sete %dil
testl %r12d, %r12d
sete %r8b
orb %dil, %r8b
jne 0x528af3
cmpq %rsi, %rcx
jg 0x528af8
jne 0x528ae7
movq 0x28(%rsp), %rdi
decl %edi
cmpl %edi, %eax
je 0x528af8
movq 0x10(%rsp), %rdx
decl %edx
movq %rsi, %rcx
jmp 0x528b53
testl %r12d, %r12d
je 0x528b33
movq 0x28(%rsp), %rax
decl %eax
jmp 0x528b53
callq 0x1f0b0b
jmp 0x528bd8
callq 0x1f0ae5
jmp 0x528bd8
callq 0x1f0abf
jmp 0x528bd8
callq 0x1f0a99
jmp 0x528bd8
callq 0x1f0a73
jmp 0x528bd8
movq 0x10(%rsp), %rdi
decl %edi
movq 0x28(%rsp), %rdx
decl %edx
cmpl $0x0, 0x30(%rbp)
cmovneq %rsi, %r9
cmovnel %eax, %edx
movq %r9, %rcx
movl %edx, %eax
movl %edi, %edx
vmovdqa 0xa0(%rsp), %ymm0
vpcmpgtq 0x140(%rsp), %ymm0, %ymm0
vmovdqa 0x160(%rsp), %ymm1
vpcmpgtq 0x1e0(%rsp), %ymm1, %ymm1
vpor %ymm1, %ymm0, %ymm0
vtestpd %ymm0, %ymm0
je 0x528b8f
orb $0x40, 0xc(%r14)
xorl %ecx, %ecx
xorl %eax, %eax
xorl %edx, %edx
movl %ecx, (%r14)
movl %edx, 0x4(%r14)
movl %eax, 0x8(%r14)
movq %r11, %rdi
vzeroupper
callq 0x2094b5
movq 0x48(%rsp), %rdi
callq 0x2094b5
movq 0x80(%rsp), %rdi
callq 0x2094b5
cmpl $0x0, 0x30(%rbx)
jne 0x528bdb
movq %r15, %rdi
callq 0x2094b5
jmp 0x528bdb
callq 0x1f0a4d
jmp 0x528bd8
callq 0x1f0a27
xorl %r14d, %r14d
movq %r14, %rax
leaq -0x28(%rbp), %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq