// File: /workspace/github_c_makefile_star2_O0/nh13[P]ksw/src/parasail/src/sw_trace_striped_avx2_256_32.c
// Function: parasail_sw_trace_striped_profile_avx2_256_32
parasail_result_t* PNAME(
        const parasail_profile_t * const restrict profile,
        const char * const restrict s2, const int s2Len,
        const int open, const int gap)
{
    /* declare local variables */
    int32_t i = 0;
    int32_t j = 0;
    int32_t k = 0;
    int32_t end_query = 0;
    int32_t end_ref = 0;
    int32_t s1Len = 0;
    const parasail_matrix_t *matrix = NULL;
    int32_t segWidth = 0;
    int32_t segLen = 0;
    __m256i* restrict vProfile = NULL;
    __m256i* restrict pvHStore = NULL;
    __m256i* restrict pvHLoad = NULL;
    __m256i* restrict pvE = NULL;
    __m256i* restrict pvEaStore = NULL;
    __m256i* restrict pvEaLoad = NULL;
    __m256i* restrict pvHT = NULL;
    __m256i* restrict pvHMax = NULL;
    __m256i vGapO;
    __m256i vGapE;
    __m256i vZero;
    int32_t score = 0;
    __m256i vMaxH;
    __m256i vMaxHUnit;
    int32_t maxp = 0;
    parasail_result_t *result = NULL;
    __m256i vTZero;
    __m256i vTIns;
    __m256i vTDel;
    __m256i vTDiag;
    __m256i vTDiagE;
    __m256i vTInsE;
    __m256i vTDiagF;
    __m256i vTDelF;
    __m256i vTMask;
    __m256i vFTMask;

    /* validate inputs */
    PARASAIL_CHECK_NULL(profile);
    PARASAIL_CHECK_NULL(profile->profile32.score);
    PARASAIL_CHECK_NULL(profile->matrix);
    PARASAIL_CHECK_GT0(profile->s1Len);
    PARASAIL_CHECK_NULL(s2);
    PARASAIL_CHECK_GT0(s2Len);
    PARASAIL_CHECK_GE0(open);
    PARASAIL_CHECK_GE0(gap);

    /* initialize stack variables */
    i = 0;
    j = 0;
    k = 0;
    end_query = 0;
    end_ref = 0;
    s1Len = profile->s1Len;
    matrix = profile->matrix;
    segWidth = 8; /* number of values in vector unit */
    segLen = (s1Len + segWidth - 1) / segWidth;
    vProfile = (__m256i*)profile->profile32.score;
    vGapO = _mm256_set1_epi32(open);
    vGapE = _mm256_set1_epi32(gap);
    vZero = _mm256_setzero_si256();
    score = NEG_INF;
    vMaxH = vZero;
    vMaxHUnit = vZero;
    maxp = INT32_MAX - (int32_t)(matrix->max+1);
    vTZero = _mm256_set1_epi32(PARASAIL_ZERO);
    vTIns  = _mm256_set1_epi32(PARASAIL_INS);
    vTDel  = _mm256_set1_epi32(PARASAIL_DEL);
    vTDiag = _mm256_set1_epi32(PARASAIL_DIAG);
    vTDiagE= _mm256_set1_epi32(PARASAIL_DIAG_E);
    vTInsE = _mm256_set1_epi32(PARASAIL_INS_E);
    vTDiagF= _mm256_set1_epi32(PARASAIL_DIAG_F);
    vTDelF = _mm256_set1_epi32(PARASAIL_DEL_F);
    vTMask = _mm256_set1_epi32(PARASAIL_ZERO_MASK);
    vFTMask= _mm256_set1_epi32(PARASAIL_F_MASK);

    /* initialize result */
    result = parasail_result_new_trace(segLen, s2Len, 32, sizeof(__m256i));
    if (!result) return NULL;

    /* set known flags */
    result->flag |= PARASAIL_FLAG_SW | PARASAIL_FLAG_STRIPED
        | PARASAIL_FLAG_TRACE
        | PARASAIL_FLAG_BITS_32 | PARASAIL_FLAG_LANES_8;

    /* initialize heap variables */
    pvHStore = parasail_memalign___m256i(32, segLen);
    pvHLoad =  parasail_memalign___m256i(32, segLen);
    pvE = parasail_memalign___m256i(32, segLen);
    pvEaStore = parasail_memalign___m256i(32, segLen);
    pvEaLoad = parasail_memalign___m256i(32, segLen);
    pvHT = parasail_memalign___m256i(32, segLen);
    pvHMax = parasail_memalign___m256i(32, segLen);

    /* validate heap variables */
    if (!pvHStore) return NULL;
    if (!pvHLoad) return NULL;
    if (!pvE) return NULL;
    if (!pvEaStore) return NULL;
    if (!pvEaLoad) return NULL;
    if (!pvHT) return NULL;
    if (!pvHMax) return NULL;

    /* initialize H and E */
    parasail_memset___m256i(pvHStore, vZero, segLen);
    parasail_memset___m256i(pvE, _mm256_set1_epi32(-open), segLen);
    parasail_memset___m256i(pvEaStore, _mm256_set1_epi32(-open), segLen);

    for (i=0; i<segLen; ++i) {
        arr_store(result->trace->trace_table, vTDiagE, i, segLen, 0);
    }

    /* outer loop over database sequence */
    for (j=0; j<s2Len; ++j) {
        __m256i vEF_opn;
        __m256i vE;
        __m256i vE_ext;
        __m256i vF;
        __m256i vF_ext;
        __m256i vFa;
        __m256i vFa_ext;
        __m256i vH;
        __m256i vH_dag;
        const __m256i* vP = NULL;

        /* Initialize F value to 0.  Any errors to vH values will be
         * corrected in the Lazy_F loop. */
        vF = _mm256_sub_epi32(vZero,vGapO);

        /* load final segment of pvHStore and shift left by 4 bytes */
        vH = _mm256_load_si256(&pvHStore[segLen - 1]);
        vH = _mm256_slli_si256_rpl(vH, 4);

        /* Correct part of the vProfile */
        vP = vProfile + matrix->mapper[(unsigned char)s2[j]] * segLen;

        if (end_ref == j-2) {
            /* Swap in the max buffer. */
            SWAP3(pvHMax,  pvHLoad,  pvHStore)
            SWAP(pvEaLoad,  pvEaStore)
        }
        else {
            /* Swap the 2 H buffers. */
            SWAP(pvHLoad,  pvHStore)
            SWAP(pvEaLoad,  pvEaStore)
        }

        /* inner loop to process the query sequence */
        for (i=0; i<segLen; ++i) {
            vE = _mm256_load_si256(pvE + i);

            /* Get max from vH, vE and vF. */
            vH_dag = _mm256_add_epi32(vH, _mm256_load_si256(vP + i));
            vH_dag = _mm256_max_epi32(vH_dag, vZero);
            vH = _mm256_max_epi32(vH_dag, vE);
            vH = _mm256_max_epi32(vH, vF);
            /* Save vH values. */
            _mm256_store_si256(pvHStore + i, vH);

            {
                __m256i vTAll = arr_load(result->trace->trace_table, i, segLen, j);
                __m256i cond_zero = _mm256_cmpeq_epi32(vH, vZero);
                __m256i case1 = _mm256_cmpeq_epi32(vH, vH_dag);
                __m256i case2 = _mm256_cmpeq_epi32(vH, vF);
                __m256i vT = _mm256_blendv_epi8(
                        _mm256_blendv_epi8(vTIns, vTDel, case2),
                        _mm256_blendv_epi8(vTDiag, vTZero, cond_zero),
                        case1);
                _mm256_store_si256(pvHT + i, vT);
                vT = _mm256_or_si256(vT, vTAll);
                arr_store(result->trace->trace_table, vT, i, segLen, j);
            }
            vMaxH = _mm256_max_epi32(vH, vMaxH);
            vEF_opn = _mm256_sub_epi32(vH, vGapO);

            /* Update vE value. */
            vE_ext = _mm256_sub_epi32(vE, vGapE);
            vE = _mm256_max_epi32(vEF_opn, vE_ext);
            _mm256_store_si256(pvE + i, vE);
            {
                __m256i vEa = _mm256_load_si256(pvEaLoad + i);
                __m256i vEa_ext = _mm256_sub_epi32(vEa, vGapE);
                vEa = _mm256_max_epi32(vEF_opn, vEa_ext);
                _mm256_store_si256(pvEaStore + i, vEa);
                if (j+1<s2Len) {
                    __m256i cond = _mm256_cmpgt_epi32(vEF_opn, vEa_ext);
                    __m256i vT = _mm256_blendv_epi8(vTInsE, vTDiagE, cond);
                    arr_store(result->trace->trace_table, vT, i, segLen, j+1);
                }
            }

            /* Update vF value. */
            vF_ext = _mm256_sub_epi32(vF, vGapE);
            vF = _mm256_max_epi32(vEF_opn, vF_ext);
            if (i+1<segLen) {
                __m256i vTAll = arr_load(result->trace->trace_table, i+1, segLen, j);
                __m256i cond = _mm256_cmpgt_epi32(vEF_opn, vF_ext);
                __m256i vT = _mm256_blendv_epi8(vTDelF, vTDiagF, cond);
                vT = _mm256_or_si256(vT, vTAll);
                arr_store(result->trace->trace_table, vT, i+1, segLen, j);
            }

            /* Load the next vH. */
            vH = _mm256_load_si256(pvHLoad + i);
        }

        /* Lazy_F loop: has been revised to disallow adjecent insertion and
         * then deletion, so don't update E(i, i), learn from SWPS3 */
        vFa_ext = vF_ext;
        vFa = vF;
        for (k=0; k<segWidth; ++k) {
            __m256i vHp = _mm256_load_si256(&pvHLoad[segLen - 1]);
            vHp = _mm256_slli_si256_rpl(vHp, 4);
            vEF_opn = _mm256_slli_si256_rpl(vEF_opn, 4);
            vEF_opn = _mm256_insert_epi32_rpl(vEF_opn, -open, 0);
            vF_ext = _mm256_slli_si256_rpl(vF_ext, 4);
            vF_ext = _mm256_insert_epi32_rpl(vF_ext, NEG_INF, 0);
            vF = _mm256_slli_si256_rpl(vF, 4);
            vF = _mm256_insert_epi32_rpl(vF, -open, 0);
            vFa_ext = _mm256_slli_si256_rpl(vFa_ext, 4);
            vFa_ext = _mm256_insert_epi32_rpl(vFa_ext, NEG_INF, 0);
            vFa = _mm256_slli_si256_rpl(vFa, 4);
            vFa = _mm256_insert_epi32_rpl(vFa, -open, 0);
            for (i=0; i<segLen; ++i) {
                vH = _mm256_load_si256(pvHStore + i);
                vH = _mm256_max_epi32(vH,vF);
                _mm256_store_si256(pvHStore + i, vH);
                {
                    __m256i vTAll;
                    __m256i vT;
                    __m256i case1;
                    __m256i case2;
                    __m256i cond;
                    vHp = _mm256_add_epi32(vHp, _mm256_load_si256(vP + i));
                    vHp = _mm256_max_epi32(vHp, vZero);
                    case1 = _mm256_cmpeq_epi32(vH, vHp);
                    case2 = _mm256_cmpeq_epi32(vH, vF);
                    cond = _mm256_andnot_si256(case1,case2);
                    vTAll = arr_load(result->trace->trace_table, i, segLen, j);
                    vT = _mm256_load_si256(pvHT + i);
                    vT = _mm256_blendv_epi8(vT, vTDel, cond);
                    _mm256_store_si256(pvHT + i, vT);
                    vTAll = _mm256_and_si256(vTAll, vTMask);
                    vTAll = _mm256_or_si256(vTAll, vT);
                    arr_store(result->trace->trace_table, vTAll, i, segLen, j);
                }
                vMaxH = _mm256_max_epi32(vH, vMaxH);
                /* Update vF value. */
                {
                    __m256i vTAll = arr_load(result->trace->trace_table, i, segLen, j);
                    __m256i cond = _mm256_cmpgt_epi32(vEF_opn, vFa_ext);
                    __m256i vT = _mm256_blendv_epi8(vTDelF, vTDiagF, cond);
                    vTAll = _mm256_and_si256(vTAll, vFTMask);
                    vTAll = _mm256_or_si256(vTAll, vT);
                    arr_store(result->trace->trace_table, vTAll, i, segLen, j);
                }
                vEF_opn = _mm256_sub_epi32(vH, vGapO);
                vF_ext = _mm256_sub_epi32(vF, vGapE);
                {
                    __m256i vEa = _mm256_load_si256(pvEaLoad + i);
                    __m256i vEa_ext = _mm256_sub_epi32(vEa, vGapE);
                    vEa = _mm256_max_epi32(vEF_opn, vEa_ext);
                    _mm256_store_si256(pvEaStore + i, vEa);
                    if (j+1<s2Len) {
                        __m256i cond = _mm256_cmpgt_epi32(vEF_opn, vEa_ext);
                        __m256i vT = _mm256_blendv_epi8(vTInsE, vTDiagE, cond);
                        arr_store(result->trace->trace_table, vT, i, segLen, j+1);
                    }
                }
                if (! _mm256_movemask_epi8(
                            _mm256_or_si256(
                                _mm256_cmpgt_epi32(vF_ext, vEF_opn),
                                _mm256_cmpeq_epi32(vF_ext, vEF_opn))))
                    goto end;
                /*vF = _mm256_max_epi32(vEF_opn, vF_ext);*/
                vF = vF_ext;
                vFa_ext = _mm256_sub_epi32(vFa, vGapE);
                vFa = _mm256_max_epi32(vEF_opn, vFa_ext);
                vHp = _mm256_load_si256(pvHLoad + i);
            }
        }
end:
        {
        }

        {
            __m256i vCompare = _mm256_cmpgt_epi32(vMaxH, vMaxHUnit);
            if (_mm256_movemask_epi8(vCompare)) {
                score = _mm256_hmax_epi32_rpl(vMaxH);
                /* if score has potential to overflow, abort early */
                if (score > maxp) {
                    result->flag |= PARASAIL_FLAG_SATURATED;
                    break;
                }
                vMaxHUnit = _mm256_set1_epi32(score);
                end_ref = j;
            }
        }

        /*if (score == stop) break;*/
    }

    if (score == INT32_MAX) {
        result->flag |= PARASAIL_FLAG_SATURATED;
    }

    if (parasail_result_is_saturated(result)) {
        score = 0;
        end_query = 0;
        end_ref = 0;
    }
    else {
        if (end_ref == j-1) {
            /* end_ref was the last store column */
            SWAP(pvHMax,  pvHStore)
        }
        else if (end_ref == j-2) {
            /* end_ref was the last load column */
            SWAP(pvHMax,  pvHLoad)
        }
        /* Trace the alignment ending position on read. */
        {
            int32_t *t = (int32_t*)pvHMax;
            int32_t column_len = segLen * segWidth;
            end_query = s1Len - 1;
            for (i = 0; i<column_len; ++i, ++t) {
                if (*t == score) {
                    int32_t temp = i / segWidth + i % segWidth * segLen;
                    if (temp < end_query) {
                        end_query = temp;
                    }
                }
            }
        }
    }

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

    parasail_free(pvHMax);
    parasail_free(pvHT);
    parasail_free(pvEaLoad);
    parasail_free(pvEaStore);
    parasail_free(pvE);
    parasail_free(pvHLoad);
    parasail_free(pvHStore);

    return result;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
andq $-0x20, %rsp
subq $0x1c20, %rsp           # imm = 0x1C20
movq %rdi, 0x7b0(%rsp)
movq %rsi, 0x7a8(%rsp)
movl %edx, 0x7a4(%rsp)
movl %ecx, 0x7a0(%rsp)
movl %r8d, 0x79c(%rsp)
movl $0x0, 0x798(%rsp)
movl $0x0, 0x794(%rsp)
movl $0x0, 0x790(%rsp)
movl $0x0, 0x78c(%rsp)
movl $0x0, 0x788(%rsp)
movl $0x0, 0x784(%rsp)
movq $0x0, 0x778(%rsp)
movl $0x0, 0x774(%rsp)
movl $0x0, 0x770(%rsp)
movq $0x0, 0x768(%rsp)
movq $0x0, 0x760(%rsp)
movq $0x0, 0x758(%rsp)
movq $0x0, 0x750(%rsp)
movq $0x0, 0x748(%rsp)
movq $0x0, 0x740(%rsp)
movq $0x0, 0x738(%rsp)
movq $0x0, 0x730(%rsp)
movl $0x0, 0x6bc(%rsp)
movl $0x0, 0x65c(%rsp)
movq $0x0, 0x650(%rsp)
cmpq $0x0, 0x7b0(%rsp)
jne 0xc6d44d
movq 0x1b9bbb(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7ebc4(%rip), %rsi     # 0xcebfeb
leaq 0x79f3f(%rip), %rdx     # 0xce736d
leaq 0x550a8(%rip), %rcx     # 0xcc24dd
movb $0x0, %al
callq 0x19e180
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
jmp 0xc6d44f
jmp 0xc6d451
movq 0x7b0(%rsp), %rax
cmpq $0x0, 0x48(%rax)
jne 0xc6d497
movq 0x1b9b71(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7eb7a(%rip), %rsi     # 0xcebfeb
leaq 0x79ef5(%rip), %rdx     # 0xce736d
leaq 0x7f50a(%rip), %rcx     # 0xcec989
movb $0x0, %al
callq 0x19e180
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
jmp 0xc6d499
jmp 0xc6d49b
movq 0x7b0(%rsp), %rax
cmpq $0x0, 0x10(%rax)
jne 0xc6d4e1
movq 0x1b9b27(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7eb30(%rip), %rsi     # 0xcebfeb
leaq 0x79eab(%rip), %rdx     # 0xce736d
leaq 0x7f453(%rip), %rcx     # 0xcec91c
movb $0x0, %al
callq 0x19e180
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
jmp 0xc6d4e3
jmp 0xc6d4e5
movq 0x7b0(%rsp), %rax
cmpl $0x0, 0x8(%rax)
jg 0xc6d52a
movq 0x1b9ade(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7f1fd(%rip), %rsi     # 0xcec701
leaq 0x79e62(%rip), %rdx     # 0xce736d
leaq 0x7f41a(%rip), %rcx     # 0xcec92c
movb $0x0, %al
callq 0x19e180
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
jmp 0xc6d52c
jmp 0xc6d52e
cmpq $0x0, 0x7a8(%rsp)
jne 0xc6d570
movq 0x1b9a98(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7eaa1(%rip), %rsi     # 0xcebfeb
leaq 0x79e1c(%rip), %rdx     # 0xce736d
leaq 0x7f1a6(%rip), %rcx     # 0xcec6fe
movb $0x0, %al
callq 0x19e180
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
jmp 0xc6d572
jmp 0xc6d574
cmpl $0x0, 0x7a4(%rsp)
jg 0xc6d5b5
movq 0x1b9a53(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7f172(%rip), %rsi     # 0xcec701
leaq 0x79dd7(%rip), %rdx     # 0xce736d
leaq 0x7f178(%rip), %rcx     # 0xcec715
movb $0x0, %al
callq 0x19e180
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
jmp 0xc6d5b7
jmp 0xc6d5b9
cmpl $0x0, 0x7a0(%rsp)
jge 0xc6d5fa
movq 0x1b9a0e(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7f147(%rip), %rsi     # 0xcec71b
leaq 0x79d92(%rip), %rdx     # 0xce736d
leaq 0x7f14e(%rip), %rcx     # 0xcec730
movb $0x0, %al
callq 0x19e180
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
jmp 0xc6d5fc
jmp 0xc6d5fe
cmpl $0x0, 0x79c(%rsp)
jge 0xc6d63f
movq 0x1b99c9(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7f102(%rip), %rsi     # 0xcec71b
leaq 0x79d4d(%rip), %rdx     # 0xce736d
leaq 0x7f10e(%rip), %rcx     # 0xcec735
movb $0x0, %al
callq 0x19e180
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
jmp 0xc6d641
movl $0x0, 0x798(%rsp)
movl $0x0, 0x794(%rsp)
movl $0x0, 0x790(%rsp)
movl $0x0, 0x78c(%rsp)
movl $0x0, 0x788(%rsp)
movq 0x7b0(%rsp), %rax
movl 0x8(%rax), %eax
movl %eax, 0x784(%rsp)
movq 0x7b0(%rsp), %rax
movq 0x10(%rax), %rax
movq %rax, 0x778(%rsp)
movl $0x8, 0x774(%rsp)
movl 0x784(%rsp), %esi
movl 0x774(%rsp), %ecx
movl %ecx, %edx
movl %esi, %eax
leal -0x1(%rax,%rdx), %eax
cltd
idivl %ecx
movl %eax, 0x770(%rsp)
movq 0x7b0(%rsp), %rax
movq 0x48(%rax), %rax
movq %rax, 0x768(%rsp)
movl 0x7a0(%rsp), %eax
movl %eax, 0x7fc(%rsp)
movl 0x7fc(%rsp), %eax
movl %eax, 0x10(%rsp)
movl %eax, 0x187c(%rsp)
movl %eax, 0x1878(%rsp)
movl %eax, 0x1874(%rsp)
movl %eax, 0x1870(%rsp)
movl %eax, 0x186c(%rsp)
movl %eax, 0x1868(%rsp)
movl %eax, 0x1864(%rsp)
movl %eax, 0x1860(%rsp)
movl 0x1864(%rsp), %r8d
movl 0x1868(%rsp), %edi
movl 0x186c(%rsp), %esi
movl 0x1874(%rsp), %edx
movl 0x1878(%rsp), %ecx
movl 0x187c(%rsp), %eax
vmovd 0x1860(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x1870(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1850(%rsp)
vmovdqa %xmm0, 0x1840(%rsp)
vmovaps 0x1840(%rsp), %ymm0
vmovaps %ymm0, 0x700(%rsp)
movl 0x79c(%rsp), %eax
movl %eax, 0x7f8(%rsp)
movl 0x7f8(%rsp), %eax
movl %eax, 0x14(%rsp)
movl %eax, 0x18bc(%rsp)
movl %eax, 0x18b8(%rsp)
movl %eax, 0x18b4(%rsp)
movl %eax, 0x18b0(%rsp)
movl %eax, 0x18ac(%rsp)
movl %eax, 0x18a8(%rsp)
movl %eax, 0x18a4(%rsp)
movl %eax, 0x18a0(%rsp)
movl 0x18a4(%rsp), %r8d
movl 0x18a8(%rsp), %edi
movl 0x18ac(%rsp), %esi
movl 0x18b4(%rsp), %edx
movl 0x18b8(%rsp), %ecx
movl 0x18bc(%rsp), %eax
vmovd 0x18a0(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x18b0(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1890(%rsp)
vmovdqa %xmm0, 0x1880(%rsp)
vmovaps 0x1880(%rsp), %ymm0
vmovaps %ymm0, 0x6e0(%rsp)
vxorps %xmm0, %xmm0, %xmm0
vmovaps %ymm0, 0x800(%rsp)
vmovaps 0x800(%rsp), %ymm0
vmovaps %ymm0, 0x6c0(%rsp)
movl $0xc0000000, 0x6bc(%rsp) # imm = 0xC0000000
vmovaps 0x6c0(%rsp), %ymm0
vmovaps %ymm0, 0x680(%rsp)
vmovaps 0x6c0(%rsp), %ymm0
vmovaps %ymm0, 0x660(%rsp)
movq 0x778(%rsp), %rax
movl 0x1c(%rax), %ecx
movl $0x7ffffffe, %eax       # imm = 0x7FFFFFFE
subl %ecx, %eax
movl %eax, 0x65c(%rsp)
movl $0x0, 0x7f4(%rsp)
movl 0x7f4(%rsp), %eax
movl %eax, 0x18(%rsp)
movl %eax, 0x18fc(%rsp)
movl %eax, 0x18f8(%rsp)
movl %eax, 0x18f4(%rsp)
movl %eax, 0x18f0(%rsp)
movl %eax, 0x18ec(%rsp)
movl %eax, 0x18e8(%rsp)
movl %eax, 0x18e4(%rsp)
movl %eax, 0x18e0(%rsp)
movl 0x18e4(%rsp), %r8d
movl 0x18e8(%rsp), %edi
movl 0x18ec(%rsp), %esi
movl 0x18f4(%rsp), %edx
movl 0x18f8(%rsp), %ecx
movl 0x18fc(%rsp), %eax
vmovd 0x18e0(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x18f0(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x18d0(%rsp)
vmovdqa %xmm0, 0x18c0(%rsp)
vmovaps 0x18c0(%rsp), %ymm0
vmovaps %ymm0, 0x620(%rsp)
movl $0x1, 0x7f0(%rsp)
movl 0x7f0(%rsp), %eax
movl %eax, 0x1c(%rsp)
movl %eax, 0x193c(%rsp)
movl %eax, 0x1938(%rsp)
movl %eax, 0x1934(%rsp)
movl %eax, 0x1930(%rsp)
movl %eax, 0x192c(%rsp)
movl %eax, 0x1928(%rsp)
movl %eax, 0x1924(%rsp)
movl %eax, 0x1920(%rsp)
movl 0x1924(%rsp), %r8d
movl 0x1928(%rsp), %edi
movl 0x192c(%rsp), %esi
movl 0x1934(%rsp), %edx
movl 0x1938(%rsp), %ecx
movl 0x193c(%rsp), %eax
vmovd 0x1920(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x1930(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1910(%rsp)
vmovdqa %xmm0, 0x1900(%rsp)
vmovaps 0x1900(%rsp), %ymm0
vmovaps %ymm0, 0x600(%rsp)
movl $0x2, 0x7ec(%rsp)
movl 0x7ec(%rsp), %eax
movl %eax, 0x20(%rsp)
movl %eax, 0x197c(%rsp)
movl %eax, 0x1978(%rsp)
movl %eax, 0x1974(%rsp)
movl %eax, 0x1970(%rsp)
movl %eax, 0x196c(%rsp)
movl %eax, 0x1968(%rsp)
movl %eax, 0x1964(%rsp)
movl %eax, 0x1960(%rsp)
movl 0x1964(%rsp), %r8d
movl 0x1968(%rsp), %edi
movl 0x196c(%rsp), %esi
movl 0x1974(%rsp), %edx
movl 0x1978(%rsp), %ecx
movl 0x197c(%rsp), %eax
vmovd 0x1960(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x1970(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1950(%rsp)
vmovdqa %xmm0, 0x1940(%rsp)
vmovaps 0x1940(%rsp), %ymm0
vmovaps %ymm0, 0x5e0(%rsp)
movl $0x4, 0x7e8(%rsp)
movl 0x7e8(%rsp), %eax
movl %eax, 0x24(%rsp)
movl %eax, 0x19bc(%rsp)
movl %eax, 0x19b8(%rsp)
movl %eax, 0x19b4(%rsp)
movl %eax, 0x19b0(%rsp)
movl %eax, 0x19ac(%rsp)
movl %eax, 0x19a8(%rsp)
movl %eax, 0x19a4(%rsp)
movl %eax, 0x19a0(%rsp)
movl 0x19a4(%rsp), %r8d
movl 0x19a8(%rsp), %edi
movl 0x19ac(%rsp), %esi
movl 0x19b4(%rsp), %edx
movl 0x19b8(%rsp), %ecx
movl 0x19bc(%rsp), %eax
vmovd 0x19a0(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x19b0(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1990(%rsp)
vmovdqa %xmm0, 0x1980(%rsp)
vmovaps 0x1980(%rsp), %ymm0
vmovaps %ymm0, 0x5c0(%rsp)
movl $0x8, 0x7e4(%rsp)
movl 0x7e4(%rsp), %eax
movl %eax, 0x28(%rsp)
movl %eax, 0x19fc(%rsp)
movl %eax, 0x19f8(%rsp)
movl %eax, 0x19f4(%rsp)
movl %eax, 0x19f0(%rsp)
movl %eax, 0x19ec(%rsp)
movl %eax, 0x19e8(%rsp)
movl %eax, 0x19e4(%rsp)
movl %eax, 0x19e0(%rsp)
movl 0x19e4(%rsp), %r8d
movl 0x19e8(%rsp), %edi
movl 0x19ec(%rsp), %esi
movl 0x19f4(%rsp), %edx
movl 0x19f8(%rsp), %ecx
movl 0x19fc(%rsp), %eax
vmovd 0x19e0(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x19f0(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x19d0(%rsp)
vmovdqa %xmm0, 0x19c0(%rsp)
vmovaps 0x19c0(%rsp), %ymm0
vmovaps %ymm0, 0x5a0(%rsp)
movl $0x10, 0x7e0(%rsp)
movl 0x7e0(%rsp), %eax
movl %eax, 0x2c(%rsp)
movl %eax, 0x1a3c(%rsp)
movl %eax, 0x1a38(%rsp)
movl %eax, 0x1a34(%rsp)
movl %eax, 0x1a30(%rsp)
movl %eax, 0x1a2c(%rsp)
movl %eax, 0x1a28(%rsp)
movl %eax, 0x1a24(%rsp)
movl %eax, 0x1a20(%rsp)
movl 0x1a24(%rsp), %r8d
movl 0x1a28(%rsp), %edi
movl 0x1a2c(%rsp), %esi
movl 0x1a34(%rsp), %edx
movl 0x1a38(%rsp), %ecx
movl 0x1a3c(%rsp), %eax
vmovd 0x1a20(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x1a30(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1a10(%rsp)
vmovdqa %xmm0, 0x1a00(%rsp)
vmovaps 0x1a00(%rsp), %ymm0
vmovaps %ymm0, 0x580(%rsp)
movl $0x20, 0x7dc(%rsp)
movl 0x7dc(%rsp), %eax
movl %eax, 0x30(%rsp)
movl %eax, 0x1a7c(%rsp)
movl %eax, 0x1a78(%rsp)
movl %eax, 0x1a74(%rsp)
movl %eax, 0x1a70(%rsp)
movl %eax, 0x1a6c(%rsp)
movl %eax, 0x1a68(%rsp)
movl %eax, 0x1a64(%rsp)
movl %eax, 0x1a60(%rsp)
movl 0x1a64(%rsp), %r8d
movl 0x1a68(%rsp), %edi
movl 0x1a6c(%rsp), %esi
movl 0x1a74(%rsp), %edx
movl 0x1a78(%rsp), %ecx
movl 0x1a7c(%rsp), %eax
vmovd 0x1a60(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x1a70(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1a50(%rsp)
vmovdqa %xmm0, 0x1a40(%rsp)
vmovaps 0x1a40(%rsp), %ymm0
vmovaps %ymm0, 0x560(%rsp)
movl $0x40, 0x7d8(%rsp)
movl 0x7d8(%rsp), %eax
movl %eax, 0x34(%rsp)
movl %eax, 0x1abc(%rsp)
movl %eax, 0x1ab8(%rsp)
movl %eax, 0x1ab4(%rsp)
movl %eax, 0x1ab0(%rsp)
movl %eax, 0x1aac(%rsp)
movl %eax, 0x1aa8(%rsp)
movl %eax, 0x1aa4(%rsp)
movl %eax, 0x1aa0(%rsp)
movl 0x1aa4(%rsp), %r8d
movl 0x1aa8(%rsp), %edi
movl 0x1aac(%rsp), %esi
movl 0x1ab4(%rsp), %edx
movl 0x1ab8(%rsp), %ecx
movl 0x1abc(%rsp), %eax
vmovd 0x1aa0(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x1ab0(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1a90(%rsp)
vmovdqa %xmm0, 0x1a80(%rsp)
vmovaps 0x1a80(%rsp), %ymm0
vmovaps %ymm0, 0x540(%rsp)
movl $0x78, 0x7d4(%rsp)
movl 0x7d4(%rsp), %eax
movl %eax, 0x38(%rsp)
movl %eax, 0x1afc(%rsp)
movl %eax, 0x1af8(%rsp)
movl %eax, 0x1af4(%rsp)
movl %eax, 0x1af0(%rsp)
movl %eax, 0x1aec(%rsp)
movl %eax, 0x1ae8(%rsp)
movl %eax, 0x1ae4(%rsp)
movl %eax, 0x1ae0(%rsp)
movl 0x1ae4(%rsp), %r8d
movl 0x1ae8(%rsp), %edi
movl 0x1aec(%rsp), %esi
movl 0x1af4(%rsp), %edx
movl 0x1af8(%rsp), %ecx
movl 0x1afc(%rsp), %eax
vmovd 0x1ae0(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x1af0(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1ad0(%rsp)
vmovdqa %xmm0, 0x1ac0(%rsp)
vmovaps 0x1ac0(%rsp), %ymm0
vmovaps %ymm0, 0x520(%rsp)
movl $0x1f, 0x7d0(%rsp)
movl 0x7d0(%rsp), %eax
movl %eax, 0x3c(%rsp)
movl %eax, 0x1b3c(%rsp)
movl %eax, 0x1b38(%rsp)
movl %eax, 0x1b34(%rsp)
movl %eax, 0x1b30(%rsp)
movl %eax, 0x1b2c(%rsp)
movl %eax, 0x1b28(%rsp)
movl %eax, 0x1b24(%rsp)
movl %eax, 0x1b20(%rsp)
movl 0x1b24(%rsp), %edx
movl 0x1b28(%rsp), %ecx
movl 0x1b2c(%rsp), %eax
movl 0x1b34(%rsp), %r8d
movl 0x1b38(%rsp), %edi
movl 0x1b3c(%rsp), %esi
vmovd 0x1b30(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm1
vmovd 0x1b20(%rsp), %xmm0
vpinsrd $0x1, %edx, %xmm0, %xmm0
vpinsrd $0x2, %ecx, %xmm0, %xmm0
vpinsrd $0x3, %eax, %xmm0, %xmm2
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x1b00(%rsp)
vmovdqa 0x1b00(%rsp), %ymm0
vmovdqa %ymm0, 0x500(%rsp)
movl 0x770(%rsp), %edi
movl 0x7a4(%rsp), %esi
movl $0x20, %ecx
movq %rcx, %rdx
vzeroupper
callq 0x1c3fa0
movq %rax, 0x650(%rsp)
cmpq $0x0, 0x650(%rsp)
jne 0xc6e171
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
movq 0x650(%rsp), %rax
movl 0xc(%rax), %ecx
orl $0x8480804, %ecx        # imm = 0x8480804
movl %ecx, 0xc(%rax)
movslq 0x770(%rsp), %rsi
movl $0x20, %edi
callq 0x992f60
movq %rax, 0x760(%rsp)
movslq 0x770(%rsp), %rsi
movl $0x20, %edi
callq 0x992f60
movq %rax, 0x758(%rsp)
movslq 0x770(%rsp), %rsi
movl $0x20, %edi
callq 0x992f60
movq %rax, 0x750(%rsp)
movslq 0x770(%rsp), %rsi
movl $0x20, %edi
callq 0x992f60
movq %rax, 0x748(%rsp)
movslq 0x770(%rsp), %rsi
movl $0x20, %edi
callq 0x992f60
movq %rax, 0x740(%rsp)
movslq 0x770(%rsp), %rsi
movl $0x20, %edi
callq 0x992f60
movq %rax, 0x738(%rsp)
movslq 0x770(%rsp), %rsi
movl $0x20, %edi
callq 0x992f60
movq %rax, 0x730(%rsp)
cmpq $0x0, 0x760(%rsp)
jne 0xc6e257
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
cmpq $0x0, 0x758(%rsp)
jne 0xc6e273
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
cmpq $0x0, 0x750(%rsp)
jne 0xc6e28f
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
cmpq $0x0, 0x748(%rsp)
jne 0xc6e2ab
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
cmpq $0x0, 0x740(%rsp)
jne 0xc6e2c7
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
cmpq $0x0, 0x738(%rsp)
jne 0xc6e2e3
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
cmpq $0x0, 0x730(%rsp)
jne 0xc6e2ff
movq $0x0, 0x7b8(%rsp)
jmp 0xc700d2
movq 0x760(%rsp), %rdi
vmovaps 0x6c0(%rsp), %ymm0
movslq 0x770(%rsp), %rsi
callq 0x992f90
movq 0x750(%rsp), %rdi
movl 0x7a0(%rsp), %eax
negl %eax
movl %eax, 0x7cc(%rsp)
movl 0x7cc(%rsp), %eax
movl %eax, 0x8(%rsp)
movl %eax, 0x1b7c(%rsp)
movl %eax, 0x1b78(%rsp)
movl %eax, 0x1b74(%rsp)
movl %eax, 0x1b70(%rsp)
movl %eax, 0x1b6c(%rsp)
movl %eax, 0x1b68(%rsp)
movl %eax, 0x1b64(%rsp)
movl %eax, 0x1b60(%rsp)
movl 0x1b64(%rsp), %r9d
movl 0x1b68(%rsp), %r8d
movl 0x1b6c(%rsp), %esi
movl 0x1b74(%rsp), %edx
movl 0x1b78(%rsp), %ecx
movl 0x1b7c(%rsp), %eax
vmovd 0x1b60(%rsp), %xmm0
vpinsrd $0x1, %r9d, %xmm0, %xmm0
vpinsrd $0x2, %r8d, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm0
vmovd 0x1b70(%rsp), %xmm1
vpinsrd $0x1, %edx, %xmm1, %xmm1
vpinsrd $0x2, %ecx, %xmm1, %xmm1
vpinsrd $0x3, %eax, %xmm1, %xmm1
vmovdqa %xmm1, 0x1b50(%rsp)
vmovdqa %xmm0, 0x1b40(%rsp)
vmovaps 0x1b40(%rsp), %ymm0
movslq 0x770(%rsp), %rsi
callq 0x992f90
movq 0x748(%rsp), %rdi
movl 0x7a0(%rsp), %eax
negl %eax
movl %eax, 0x7c8(%rsp)
movl 0x7c8(%rsp), %eax
movl %eax, 0xc(%rsp)
movl %eax, 0x1bbc(%rsp)
movl %eax, 0x1bb8(%rsp)
movl %eax, 0x1bb4(%rsp)
movl %eax, 0x1bb0(%rsp)
movl %eax, 0x1bac(%rsp)
movl %eax, 0x1ba8(%rsp)
movl %eax, 0x1ba4(%rsp)
movl %eax, 0x1ba0(%rsp)
movl 0x1ba4(%rsp), %edx
movl 0x1ba8(%rsp), %ecx
movl 0x1bac(%rsp), %eax
movl 0x1bb4(%rsp), %r9d
movl 0x1bb8(%rsp), %r8d
movl 0x1bbc(%rsp), %esi
vmovd 0x1bb0(%rsp), %xmm0
vpinsrd $0x1, %r9d, %xmm0, %xmm0
vpinsrd $0x2, %r8d, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm1
vmovd 0x1ba0(%rsp), %xmm0
vpinsrd $0x1, %edx, %xmm0, %xmm0
vpinsrd $0x2, %ecx, %xmm0, %xmm0
vpinsrd $0x3, %eax, %xmm0, %xmm2
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x1b80(%rsp)
vmovdqa 0x1b80(%rsp), %ymm0
movslq 0x770(%rsp), %rsi
callq 0x992f90
movl $0x0, 0x798(%rsp)
movl 0x798(%rsp), %eax
cmpl 0x770(%rsp), %eax
jge 0xc6e543
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
vmovdqa 0x5a0(%rsp), %ymm0
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
xorl %ecx, %ecx
callq 0xc700e0
movl 0x798(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x798(%rsp)
jmp 0xc6e4f3
movl $0x0, 0x794(%rsp)
movl 0x794(%rsp), %eax
cmpl 0x7a4(%rsp), %eax
jge 0xc6fe86
movq $0x0, 0x3d8(%rsp)
vmovaps 0x6c0(%rsp), %ymm1
vmovaps 0x700(%rsp), %ymm0
vmovaps %ymm1, 0xa40(%rsp)
vmovaps %ymm0, 0xa20(%rsp)
vmovaps 0xa40(%rsp), %ymm0
vmovaps 0xa20(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x480(%rsp)
movq 0x760(%rsp), %rax
movl 0x770(%rsp), %ecx
decl %ecx
movslq %ecx, %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xab8(%rsp)
movq 0xab8(%rsp), %rax
vmovaps (%rax), %ymm0
vmovaps %ymm0, 0x400(%rsp)
vmovaps 0x400(%rsp), %ymm0
vperm2i128 $0x28, %ymm0, %ymm1, %ymm1 # ymm1 = zero,zero,ymm0[0,1]
vpalignr $0xc, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[12,13,14,15],ymm0[0,1,2,3,4,5,6,7,8,9,10,11],ymm1[28,29,30,31],ymm0[16,17,18,19,20,21,22,23,24,25,26,27]
vmovdqa %ymm0, 0x400(%rsp)
movq 0x768(%rsp), %rax
movq 0x778(%rsp), %rcx
movq 0x10(%rcx), %rcx
movq 0x7a8(%rsp), %rdx
movslq 0x794(%rsp), %rsi
movzbl (%rdx,%rsi), %edx
movl (%rcx,%rdx,4), %ecx
imull 0x770(%rsp), %ecx
movslq %ecx, %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0x3d8(%rsp)
movl 0x788(%rsp), %eax
movl 0x794(%rsp), %ecx
subl $0x2, %ecx
cmpl %ecx, %eax
jne 0xc6e6d3
movq 0x730(%rsp), %rax
movq %rax, 0x3d0(%rsp)
movq 0x758(%rsp), %rax
movq %rax, 0x730(%rsp)
movq 0x760(%rsp), %rax
movq %rax, 0x758(%rsp)
movq 0x3d0(%rsp), %rax
movq %rax, 0x760(%rsp)
movq 0x740(%rsp), %rax
movq %rax, 0x3c8(%rsp)
movq 0x748(%rsp), %rax
movq %rax, 0x740(%rsp)
movq 0x3c8(%rsp), %rax
movq %rax, 0x748(%rsp)
jmp 0xc6e733
movq 0x758(%rsp), %rax
movq %rax, 0x3c0(%rsp)
movq 0x760(%rsp), %rax
movq %rax, 0x758(%rsp)
movq 0x3c0(%rsp), %rax
movq %rax, 0x760(%rsp)
movq 0x740(%rsp), %rax
movq %rax, 0x3b8(%rsp)
movq 0x748(%rsp), %rax
movq %rax, 0x740(%rsp)
movq 0x3b8(%rsp), %rax
movq %rax, 0x748(%rsp)
movl $0x0, 0x798(%rsp)
movl 0x798(%rsp), %eax
cmpl 0x770(%rsp), %eax
jge 0xc6f122
movq 0x750(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xab0(%rsp)
movq 0xab0(%rsp), %rax
vmovaps (%rax), %ymm0
vmovaps %ymm0, 0x4c0(%rsp)
vmovaps 0x400(%rsp), %ymm1
movq 0x3d8(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xaa8(%rsp)
movq 0xaa8(%rsp), %rax
vmovaps (%rax), %ymm0
vmovaps %ymm1, 0xb20(%rsp)
vmovaps %ymm0, 0xb00(%rsp)
vmovaps 0xb20(%rsp), %ymm0
vmovaps 0xb00(%rsp), %ymm1
vpaddd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x3e0(%rsp)
vmovaps 0x3e0(%rsp), %ymm1
vmovaps 0x6c0(%rsp), %ymm0
vmovaps %ymm1, 0xe20(%rsp)
vmovaps %ymm0, 0xe00(%rsp)
vmovaps 0xe20(%rsp), %ymm0
vmovaps 0xe00(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x3e0(%rsp)
vmovaps 0x3e0(%rsp), %ymm1
vmovaps 0x4c0(%rsp), %ymm0
vmovaps %ymm1, 0xde0(%rsp)
vmovaps %ymm0, 0xdc0(%rsp)
vmovaps 0xde0(%rsp), %ymm0
vmovaps 0xdc0(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x400(%rsp)
vmovaps 0x400(%rsp), %ymm1
vmovaps 0x480(%rsp), %ymm0
vmovaps %ymm1, 0xda0(%rsp)
vmovaps %ymm0, 0xd80(%rsp)
vmovaps 0xda0(%rsp), %ymm0
vmovaps 0xd80(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x400(%rsp)
movq 0x760(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
vmovaps 0x400(%rsp), %ymm0
movq %rax, 0xff8(%rsp)
vmovaps %ymm0, 0xfc0(%rsp)
vmovaps 0xfc0(%rsp), %ymm0
movq 0xff8(%rsp), %rax
vmovaps %ymm0, (%rax)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
callq 0xc70160
vmovaps %ymm0, 0x380(%rsp)
vmovaps 0x400(%rsp), %ymm1
vmovaps 0x6c0(%rsp), %ymm0
vmovaps %ymm1, 0x1160(%rsp)
vmovaps %ymm0, 0x1140(%rsp)
vmovaps 0x1160(%rsp), %ymm0
vmovaps 0x1140(%rsp), %ymm1
vpcmpeqd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x360(%rsp)
vmovaps 0x400(%rsp), %ymm1
vmovaps 0x3e0(%rsp), %ymm0
vmovaps %ymm1, 0x1120(%rsp)
vmovaps %ymm0, 0x1100(%rsp)
vmovaps 0x1120(%rsp), %ymm0
vmovaps 0x1100(%rsp), %ymm1
vpcmpeqd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x340(%rsp)
vmovaps 0x400(%rsp), %ymm1
vmovaps 0x480(%rsp), %ymm0
vmovaps %ymm1, 0x10e0(%rsp)
vmovaps %ymm0, 0x10c0(%rsp)
vmovaps 0x10e0(%rsp), %ymm0
vmovaps 0x10c0(%rsp), %ymm1
vpcmpeqd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x320(%rsp)
vmovdqa 0x600(%rsp), %ymm2
vmovdqa 0x5e0(%rsp), %ymm1
vmovdqa 0x320(%rsp), %ymm0
vmovdqa %ymm2, 0x1460(%rsp)
vmovdqa %ymm1, 0x1440(%rsp)
vmovdqa %ymm0, 0x1420(%rsp)
vmovdqa 0x1460(%rsp), %ymm0
vmovdqa 0x1440(%rsp), %ymm1
vmovdqa 0x1420(%rsp), %ymm2
vpblendvb %ymm2, %ymm1, %ymm0, %ymm2
vmovdqa 0x5c0(%rsp), %ymm3
vmovdqa 0x620(%rsp), %ymm1
vmovdqa 0x360(%rsp), %ymm0
vmovdqa %ymm3, 0x1400(%rsp)
vmovdqa %ymm1, 0x13e0(%rsp)
vmovdqa %ymm0, 0x13c0(%rsp)
vmovdqa 0x1400(%rsp), %ymm0
vmovdqa 0x13e0(%rsp), %ymm1
vmovdqa 0x13c0(%rsp), %ymm3
vpblendvb %ymm3, %ymm1, %ymm0, %ymm1
vmovdqa 0x340(%rsp), %ymm0
vmovdqa %ymm2, 0x13a0(%rsp)
vmovdqa %ymm1, 0x1380(%rsp)
vmovdqa %ymm0, 0x1360(%rsp)
vmovdqa 0x13a0(%rsp), %ymm0
vmovdqa 0x1380(%rsp), %ymm1
vmovdqa 0x1360(%rsp), %ymm2
vpblendvb %ymm2, %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x300(%rsp)
movq 0x738(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
vmovdqa 0x300(%rsp), %ymm0
movq %rax, 0xfb8(%rsp)
vmovdqa %ymm0, 0xf80(%rsp)
vmovdqa 0xf80(%rsp), %ymm0
movq 0xfb8(%rsp), %rax
vmovdqa %ymm0, (%rax)
vmovdqa 0x300(%rsp), %ymm1
vmovdqa 0x380(%rsp), %ymm0
vmovdqa %ymm1, 0x15a0(%rsp)
vmovdqa %ymm0, 0x1580(%rsp)
vmovdqa 0x15a0(%rsp), %ymm0
vpor 0x1580(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x300(%rsp)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
vmovdqa 0x300(%rsp), %ymm0
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
callq 0xc700e0
vmovdqa 0x400(%rsp), %ymm1
vmovdqa 0x680(%rsp), %ymm0
vmovdqa %ymm1, 0xd60(%rsp)
vmovdqa %ymm0, 0xd40(%rsp)
vmovdqa 0xd60(%rsp), %ymm0
vmovdqa 0xd40(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x680(%rsp)
vmovdqa 0x400(%rsp), %ymm1
vmovdqa 0x700(%rsp), %ymm0
vmovdqa %ymm1, 0xa00(%rsp)
vmovdqa %ymm0, 0x9e0(%rsp)
vmovdqa 0xa00(%rsp), %ymm0
vmovdqa 0x9e0(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x4e0(%rsp)
vmovdqa 0x4c0(%rsp), %ymm1
vmovdqa 0x6e0(%rsp), %ymm0
vmovdqa %ymm1, 0x9c0(%rsp)
vmovdqa %ymm0, 0x9a0(%rsp)
vmovdqa 0x9c0(%rsp), %ymm0
vmovdqa 0x9a0(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x4a0(%rsp)
vmovdqa 0x4e0(%rsp), %ymm1
vmovdqa 0x4a0(%rsp), %ymm0
vmovdqa %ymm1, 0xd20(%rsp)
vmovdqa %ymm0, 0xd00(%rsp)
vmovdqa 0xd20(%rsp), %ymm0
vmovdqa 0xd00(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x4c0(%rsp)
movq 0x750(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
vmovdqa 0x4c0(%rsp), %ymm0
movq %rax, 0xf78(%rsp)
vmovdqa %ymm0, 0xf40(%rsp)
vmovdqa 0xf40(%rsp), %ymm0
movq 0xf78(%rsp), %rax
vmovdqa %ymm0, (%rax)
movq 0x740(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xaa0(%rsp)
movq 0xaa0(%rsp), %rax
vmovdqa (%rax), %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
vmovdqa 0x2e0(%rsp), %ymm1
vmovdqa 0x6e0(%rsp), %ymm0
vmovdqa %ymm1, 0x980(%rsp)
vmovdqa %ymm0, 0x960(%rsp)
vmovdqa 0x980(%rsp), %ymm0
vmovdqa 0x960(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x2c0(%rsp)
vmovdqa 0x4e0(%rsp), %ymm1
vmovdqa 0x2c0(%rsp), %ymm0
vmovdqa %ymm1, 0xce0(%rsp)
vmovdqa %ymm0, 0xcc0(%rsp)
vmovdqa 0xce0(%rsp), %ymm0
vmovdqa 0xcc0(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x2e0(%rsp)
movq 0x748(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
vmovdqa 0x2e0(%rsp), %ymm0
movq %rax, 0xf38(%rsp)
vmovdqa %ymm0, 0xf00(%rsp)
vmovdqa 0xf00(%rsp), %ymm0
movq 0xf38(%rsp), %rax
vmovdqa %ymm0, (%rax)
movl 0x794(%rsp), %eax
addl $0x1, %eax
cmpl 0x7a4(%rsp), %eax
jge 0xc6eeef
vmovaps 0x4e0(%rsp), %ymm1
vmovaps 0x2c0(%rsp), %ymm0
vmovaps %ymm1, 0x1720(%rsp)
vmovaps %ymm0, 0x1700(%rsp)
vmovaps 0x1720(%rsp), %ymm0
vmovaps 0x1700(%rsp), %ymm1
vpcmpgtd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x2a0(%rsp)
vmovdqa 0x580(%rsp), %ymm2
vmovdqa 0x5a0(%rsp), %ymm1
vmovdqa 0x2a0(%rsp), %ymm0
vmovdqa %ymm2, 0x1340(%rsp)
vmovdqa %ymm1, 0x1320(%rsp)
vmovdqa %ymm0, 0x1300(%rsp)
vmovdqa 0x1340(%rsp), %ymm0
vmovdqa 0x1320(%rsp), %ymm1
vmovdqa 0x1300(%rsp), %ymm2
vpblendvb %ymm2, %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x280(%rsp)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
vmovdqa 0x280(%rsp), %ymm0
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
addl $0x1, %ecx
callq 0xc700e0
vmovdqa 0x480(%rsp), %ymm1
vmovdqa 0x6e0(%rsp), %ymm0
vmovdqa %ymm1, 0x940(%rsp)
vmovdqa %ymm0, 0x920(%rsp)
vmovdqa 0x940(%rsp), %ymm0
vmovdqa 0x920(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x460(%rsp)
vmovdqa 0x4e0(%rsp), %ymm1
vmovdqa 0x460(%rsp), %ymm0
vmovdqa %ymm1, 0xca0(%rsp)
vmovdqa %ymm0, 0xc80(%rsp)
vmovdqa 0xca0(%rsp), %ymm0
vmovdqa 0xc80(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x480(%rsp)
movl 0x798(%rsp), %eax
addl $0x1, %eax
cmpl 0x770(%rsp), %eax
jge 0xc6f0d8
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movl 0x798(%rsp), %esi
incl %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
callq 0xc70160
vmovaps %ymm0, 0x260(%rsp)
vmovaps 0x4e0(%rsp), %ymm1
vmovaps 0x460(%rsp), %ymm0
vmovaps %ymm1, 0x16e0(%rsp)
vmovaps %ymm0, 0x16c0(%rsp)
vmovaps 0x16e0(%rsp), %ymm0
vmovaps 0x16c0(%rsp), %ymm1
vpcmpgtd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x240(%rsp)
vmovdqa 0x540(%rsp), %ymm2
vmovdqa 0x560(%rsp), %ymm1
vmovdqa 0x240(%rsp), %ymm0
vmovdqa %ymm2, 0x12e0(%rsp)
vmovdqa %ymm1, 0x12c0(%rsp)
vmovdqa %ymm0, 0x12a0(%rsp)
vmovdqa 0x12e0(%rsp), %ymm0
vmovdqa 0x12c0(%rsp), %ymm1
vmovdqa 0x12a0(%rsp), %ymm2
vpblendvb %ymm2, %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x220(%rsp)
vmovdqa 0x220(%rsp), %ymm1
vmovdqa 0x260(%rsp), %ymm0
vmovdqa %ymm1, 0x1560(%rsp)
vmovdqa %ymm0, 0x1540(%rsp)
vmovdqa 0x1560(%rsp), %ymm0
vpor 0x1540(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x220(%rsp)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
vmovdqa 0x220(%rsp), %ymm0
movl 0x798(%rsp), %esi
addl $0x1, %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
callq 0xc700e0
movq 0x758(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xa98(%rsp)
movq 0xa98(%rsp), %rax
vmovdqa (%rax), %ymm0
vmovdqa %ymm0, 0x400(%rsp)
movl 0x798(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x798(%rsp)
jmp 0xc6e73e
vmovdqa 0x460(%rsp), %ymm0
vmovdqa %ymm0, 0x420(%rsp)
vmovdqa 0x480(%rsp), %ymm0
vmovdqa %ymm0, 0x440(%rsp)
movl $0x0, 0x790(%rsp)
movl 0x790(%rsp), %eax
cmpl 0x774(%rsp), %eax
jge 0xc6fce7
movq 0x758(%rsp), %rax
movl 0x770(%rsp), %ecx
decl %ecx
movslq %ecx, %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xa90(%rsp)
movq 0xa90(%rsp), %rax
vmovaps (%rax), %ymm0
vmovaps %ymm0, 0x200(%rsp)
vmovaps 0x200(%rsp), %ymm0
vperm2i128 $0x28, %ymm0, %ymm1, %ymm1 # ymm1 = zero,zero,ymm0[0,1]
vpalignr $0xc, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[12,13,14,15],ymm0[0,1,2,3,4,5,6,7,8,9,10,11],ymm1[28,29,30,31],ymm0[16,17,18,19,20,21,22,23,24,25,26,27]
vmovaps %ymm0, 0x200(%rsp)
vmovaps 0x4e0(%rsp), %ymm0
vperm2i128 $0x28, %ymm0, %ymm1, %ymm1 # ymm1 = zero,zero,ymm0[0,1]
vpalignr $0xc, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[12,13,14,15],ymm0[0,1,2,3,4,5,6,7,8,9,10,11],ymm1[28,29,30,31],ymm0[16,17,18,19,20,21,22,23,24,25,26,27]
vmovaps %ymm0, 0x4e0(%rsp)
vmovaps 0x4e0(%rsp), %ymm0
movl 0x7a0(%rsp), %eax
negl %eax
vmovd %eax, %xmm2
vmovaps %xmm2, %xmm1
vpblendd $0x1, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[0],ymm0[1,2,3,4,5,6,7]
vmovaps %ymm0, 0x4e0(%rsp)
vmovaps 0x460(%rsp), %ymm0
vperm2i128 $0x28, %ymm0, %ymm1, %ymm1 # ymm1 = zero,zero,ymm0[0,1]
vpalignr $0xc, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[12,13,14,15],ymm0[0,1,2,3,4,5,6,7,8,9,10,11],ymm1[28,29,30,31],ymm0[16,17,18,19,20,21,22,23,24,25,26,27]
vmovaps %ymm0, 0x460(%rsp)
movl $0xc0000000, 0x460(%rsp) # imm = 0xC0000000
vmovaps 0x480(%rsp), %ymm0
vperm2i128 $0x28, %ymm0, %ymm1, %ymm1 # ymm1 = zero,zero,ymm0[0,1]
vpalignr $0xc, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[12,13,14,15],ymm0[0,1,2,3,4,5,6,7,8,9,10,11],ymm1[28,29,30,31],ymm0[16,17,18,19,20,21,22,23,24,25,26,27]
vmovaps %ymm0, 0x480(%rsp)
vmovaps 0x480(%rsp), %ymm0
movl 0x7a0(%rsp), %eax
negl %eax
vmovd %eax, %xmm2
vmovaps %xmm2, %xmm1
vpblendd $0x1, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[0],ymm0[1,2,3,4,5,6,7]
vmovaps %ymm0, 0x480(%rsp)
vmovaps 0x420(%rsp), %ymm0
vperm2i128 $0x28, %ymm0, %ymm1, %ymm1 # ymm1 = zero,zero,ymm0[0,1]
vpalignr $0xc, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[12,13,14,15],ymm0[0,1,2,3,4,5,6,7,8,9,10,11],ymm1[28,29,30,31],ymm0[16,17,18,19,20,21,22,23,24,25,26,27]
vmovaps %ymm0, 0x420(%rsp)
movl $0xc0000000, 0x420(%rsp) # imm = 0xC0000000
vmovaps 0x440(%rsp), %ymm0
vperm2i128 $0x28, %ymm0, %ymm1, %ymm1 # ymm1 = zero,zero,ymm0[0,1]
vpalignr $0xc, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[12,13,14,15],ymm0[0,1,2,3,4,5,6,7,8,9,10,11],ymm1[28,29,30,31],ymm0[16,17,18,19,20,21,22,23,24,25,26,27]
vmovaps %ymm0, 0x440(%rsp)
vmovaps 0x440(%rsp), %ymm0
movl 0x7a0(%rsp), %eax
negl %eax
vmovd %eax, %xmm2
vmovaps %xmm2, %xmm1
vpblendd $0x1, %ymm1, %ymm0, %ymm0 # ymm0 = ymm1[0],ymm0[1,2,3,4,5,6,7]
vmovdqa %ymm0, 0x440(%rsp)
movl $0x0, 0x798(%rsp)
movl 0x798(%rsp), %eax
cmpl 0x770(%rsp), %eax
jge 0xc6fccf
movq 0x760(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xa88(%rsp)
movq 0xa88(%rsp), %rax
vmovaps (%rax), %ymm0
vmovaps %ymm0, 0x400(%rsp)
vmovaps 0x400(%rsp), %ymm1
vmovaps 0x480(%rsp), %ymm0
vmovaps %ymm1, 0xc60(%rsp)
vmovaps %ymm0, 0xc40(%rsp)
vmovaps 0xc60(%rsp), %ymm0
vmovaps 0xc40(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x400(%rsp)
movq 0x760(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
vmovaps 0x400(%rsp), %ymm0
movq %rax, 0xef8(%rsp)
vmovaps %ymm0, 0xec0(%rsp)
vmovaps 0xec0(%rsp), %ymm0
movq 0xef8(%rsp), %rax
vmovaps %ymm0, (%rax)
vmovaps 0x200(%rsp), %ymm1
movq 0x3d8(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xa80(%rsp)
movq 0xa80(%rsp), %rax
vmovaps (%rax), %ymm0
vmovaps %ymm1, 0xae0(%rsp)
vmovaps %ymm0, 0xac0(%rsp)
vmovaps 0xae0(%rsp), %ymm0
vmovaps 0xac0(%rsp), %ymm1
vpaddd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x200(%rsp)
vmovaps 0x200(%rsp), %ymm1
vmovaps 0x6c0(%rsp), %ymm0
vmovaps %ymm1, 0xc20(%rsp)
vmovaps %ymm0, 0xc00(%rsp)
vmovaps 0xc20(%rsp), %ymm0
vmovaps 0xc00(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x200(%rsp)
vmovaps 0x400(%rsp), %ymm1
vmovaps 0x200(%rsp), %ymm0
vmovaps %ymm1, 0x10a0(%rsp)
vmovaps %ymm0, 0x1080(%rsp)
vmovaps 0x10a0(%rsp), %ymm0
vmovaps 0x1080(%rsp), %ymm1
vpcmpeqd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1a0(%rsp)
vmovaps 0x400(%rsp), %ymm1
vmovaps 0x480(%rsp), %ymm0
vmovaps %ymm1, 0x1060(%rsp)
vmovaps %ymm0, 0x1040(%rsp)
vmovaps 0x1060(%rsp), %ymm0
vmovaps 0x1040(%rsp), %ymm1
vpcmpeqd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x180(%rsp)
vmovaps 0x1a0(%rsp), %ymm1
vmovaps 0x180(%rsp), %ymm0
vmovaps %ymm1, 0x1760(%rsp)
vmovaps %ymm0, 0x1740(%rsp)
vmovaps 0x1760(%rsp), %ymm0
vmovaps 0x1740(%rsp), %ymm1
vpandn %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x160(%rsp)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
callq 0xc70160
vmovaps %ymm0, 0x1e0(%rsp)
movq 0x738(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xa78(%rsp)
movq 0xa78(%rsp), %rax
vmovaps (%rax), %ymm0
vmovaps %ymm0, 0x1c0(%rsp)
vmovaps 0x1c0(%rsp), %ymm2
vmovaps 0x5e0(%rsp), %ymm1
vmovaps 0x160(%rsp), %ymm0
vmovaps %ymm2, 0x1280(%rsp)
vmovaps %ymm1, 0x1260(%rsp)
vmovaps %ymm0, 0x1240(%rsp)
vmovaps 0x1280(%rsp), %ymm0
vmovaps 0x1260(%rsp), %ymm1
vmovaps 0x1240(%rsp), %ymm2
vpblendvb %ymm2, %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1c0(%rsp)
movq 0x738(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
vmovaps 0x1c0(%rsp), %ymm0
movq %rax, 0xeb8(%rsp)
vmovaps %ymm0, 0xe80(%rsp)
vmovaps 0xe80(%rsp), %ymm0
movq 0xeb8(%rsp), %rax
vmovaps %ymm0, (%rax)
vmovaps 0x1e0(%rsp), %ymm1
vmovaps 0x520(%rsp), %ymm0
vmovaps %ymm1, 0x17e0(%rsp)
vmovaps %ymm0, 0x17c0(%rsp)
vmovaps 0x17e0(%rsp), %ymm0
vmovaps 0x17c0(%rsp), %ymm1
vpand %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1e0(%rsp)
vmovaps 0x1e0(%rsp), %ymm1
vmovaps 0x1c0(%rsp), %ymm0
vmovaps %ymm1, 0x1520(%rsp)
vmovaps %ymm0, 0x1500(%rsp)
vmovaps 0x1520(%rsp), %ymm0
vmovaps 0x1500(%rsp), %ymm1
vpor %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x1e0(%rsp)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
vmovaps 0x1e0(%rsp), %ymm0
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
callq 0xc700e0
vmovaps 0x400(%rsp), %ymm1
vmovaps 0x680(%rsp), %ymm0
vmovaps %ymm1, 0xbe0(%rsp)
vmovaps %ymm0, 0xbc0(%rsp)
vmovaps 0xbe0(%rsp), %ymm0
vmovaps 0xbc0(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovaps %ymm0, 0x680(%rsp)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
callq 0xc70160
vmovaps %ymm0, 0x140(%rsp)
vmovaps 0x4e0(%rsp), %ymm1
vmovaps 0x420(%rsp), %ymm0
vmovaps %ymm1, 0x16a0(%rsp)
vmovaps %ymm0, 0x1680(%rsp)
vmovaps 0x16a0(%rsp), %ymm0
vmovaps 0x1680(%rsp), %ymm1
vpcmpgtd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x120(%rsp)
vmovdqa 0x540(%rsp), %ymm2
vmovdqa 0x560(%rsp), %ymm1
vmovdqa 0x120(%rsp), %ymm0
vmovdqa %ymm2, 0x1220(%rsp)
vmovdqa %ymm1, 0x1200(%rsp)
vmovdqa %ymm0, 0x11e0(%rsp)
vmovdqa 0x1220(%rsp), %ymm0
vmovdqa 0x1200(%rsp), %ymm1
vmovdqa 0x11e0(%rsp), %ymm2
vpblendvb %ymm2, %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x100(%rsp)
vmovdqa 0x140(%rsp), %ymm1
vmovdqa 0x500(%rsp), %ymm0
vmovdqa %ymm1, 0x17a0(%rsp)
vmovdqa %ymm0, 0x1780(%rsp)
vmovdqa 0x17a0(%rsp), %ymm0
vpand 0x1780(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x140(%rsp)
vmovdqa 0x140(%rsp), %ymm1
vmovdqa 0x100(%rsp), %ymm0
vmovdqa %ymm1, 0x14e0(%rsp)
vmovdqa %ymm0, 0x14c0(%rsp)
vmovdqa 0x14e0(%rsp), %ymm0
vpor 0x14c0(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x140(%rsp)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
vmovdqa 0x140(%rsp), %ymm0
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
callq 0xc700e0
vmovdqa 0x400(%rsp), %ymm1
vmovdqa 0x700(%rsp), %ymm0
vmovdqa %ymm1, 0x900(%rsp)
vmovdqa %ymm0, 0x8e0(%rsp)
vmovdqa 0x900(%rsp), %ymm0
vmovdqa 0x8e0(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x4e0(%rsp)
vmovdqa 0x480(%rsp), %ymm1
vmovdqa 0x6e0(%rsp), %ymm0
vmovdqa %ymm1, 0x8c0(%rsp)
vmovdqa %ymm0, 0x8a0(%rsp)
vmovdqa 0x8c0(%rsp), %ymm0
vmovdqa 0x8a0(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x460(%rsp)
movq 0x740(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xa70(%rsp)
movq 0xa70(%rsp), %rax
vmovdqa (%rax), %ymm0
vmovdqa %ymm0, 0xe0(%rsp)
vmovdqa 0xe0(%rsp), %ymm1
vmovdqa 0x6e0(%rsp), %ymm0
vmovdqa %ymm1, 0x880(%rsp)
vmovdqa %ymm0, 0x860(%rsp)
vmovdqa 0x880(%rsp), %ymm0
vmovdqa 0x860(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0xc0(%rsp)
vmovdqa 0x4e0(%rsp), %ymm1
vmovdqa 0xc0(%rsp), %ymm0
vmovdqa %ymm1, 0xba0(%rsp)
vmovdqa %ymm0, 0xb80(%rsp)
vmovdqa 0xba0(%rsp), %ymm0
vmovdqa 0xb80(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0xe0(%rsp)
movq 0x748(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
vmovdqa 0xe0(%rsp), %ymm0
movq %rax, 0xe78(%rsp)
vmovdqa %ymm0, 0xe40(%rsp)
vmovdqa 0xe40(%rsp), %ymm0
movq 0xe78(%rsp), %rax
vmovdqa %ymm0, (%rax)
movl 0x794(%rsp), %eax
addl $0x1, %eax
cmpl 0x7a4(%rsp), %eax
jge 0xc6fb34
vmovaps 0x4e0(%rsp), %ymm1
vmovaps 0xc0(%rsp), %ymm0
vmovaps %ymm1, 0x1660(%rsp)
vmovaps %ymm0, 0x1640(%rsp)
vmovaps 0x1660(%rsp), %ymm0
vmovaps 0x1640(%rsp), %ymm1
vpcmpgtd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0xa0(%rsp)
vmovdqa 0x580(%rsp), %ymm2
vmovdqa 0x5a0(%rsp), %ymm1
vmovdqa 0xa0(%rsp), %ymm0
vmovdqa %ymm2, 0x11c0(%rsp)
vmovdqa %ymm1, 0x11a0(%rsp)
vmovdqa %ymm0, 0x1180(%rsp)
vmovdqa 0x11c0(%rsp), %ymm0
vmovdqa 0x11a0(%rsp), %ymm1
vmovdqa 0x1180(%rsp), %ymm2
vpblendvb %ymm2, %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x80(%rsp)
movq 0x650(%rsp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
vmovdqa 0x80(%rsp), %ymm0
movl 0x798(%rsp), %esi
movl 0x770(%rsp), %edx
movl 0x794(%rsp), %ecx
addl $0x1, %ecx
callq 0xc700e0
vmovaps 0x460(%rsp), %ymm1
vmovaps 0x4e0(%rsp), %ymm0
vmovaps %ymm1, 0x1620(%rsp)
vmovaps %ymm0, 0x1600(%rsp)
vmovaps 0x1620(%rsp), %ymm0
vmovaps 0x1600(%rsp), %ymm1
vpcmpgtd %ymm1, %ymm0, %ymm1
vmovaps 0x460(%rsp), %ymm2
vmovaps 0x4e0(%rsp), %ymm0
vmovaps %ymm2, 0x1020(%rsp)
vmovaps %ymm0, 0x1000(%rsp)
vmovaps 0x1020(%rsp), %ymm0
vmovaps 0x1000(%rsp), %ymm2
vpcmpeqd %ymm2, %ymm0, %ymm0
vmovdqa %ymm1, 0x14a0(%rsp)
vmovdqa %ymm0, 0x1480(%rsp)
vmovdqa 0x14a0(%rsp), %ymm0
vpor 0x1480(%rsp), %ymm0, %ymm0
vmovdqa %ymm0, 0x1820(%rsp)
vmovdqa 0x1820(%rsp), %ymm0
vpmovmskb %ymm0, %eax
cmpl $0x0, %eax
jne 0xc6fbec
jmp 0xc6fce9
vmovdqa 0x460(%rsp), %ymm0
vmovdqa %ymm0, 0x480(%rsp)
vmovdqa 0x440(%rsp), %ymm1
vmovdqa 0x6e0(%rsp), %ymm0
vmovdqa %ymm1, 0x840(%rsp)
vmovdqa %ymm0, 0x820(%rsp)
vmovdqa 0x840(%rsp), %ymm0
vmovdqa 0x820(%rsp), %ymm1
vpsubd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x420(%rsp)
vmovdqa 0x4e0(%rsp), %ymm1
vmovdqa 0x420(%rsp), %ymm0
vmovdqa %ymm1, 0xb60(%rsp)
vmovdqa %ymm0, 0xb40(%rsp)
vmovdqa 0xb60(%rsp), %ymm0
vmovdqa 0xb40(%rsp), %ymm1
vpmaxsd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x440(%rsp)
movq 0x758(%rsp), %rax
movslq 0x798(%rsp), %rcx
shlq $0x5, %rcx
addq %rcx, %rax
movq %rax, 0xa68(%rsp)
movq 0xa68(%rsp), %rax
vmovdqa (%rax), %ymm0
vmovdqa %ymm0, 0x200(%rsp)
movl 0x798(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x798(%rsp)
jmp 0xc6f2ed
jmp 0xc6fcd1
movl 0x790(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x790(%rsp)
jmp 0xc6f151
jmp 0xc6fce9
vmovaps 0x680(%rsp), %ymm1
vmovaps 0x660(%rsp), %ymm0
vmovaps %ymm1, 0x15e0(%rsp)
vmovaps %ymm0, 0x15c0(%rsp)
vmovaps 0x15e0(%rsp), %ymm0
vmovaps 0x15c0(%rsp), %ymm1
vpcmpgtd %ymm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x60(%rsp)
vmovdqa 0x60(%rsp), %ymm0
vmovdqa %ymm0, 0x1800(%rsp)
vmovdqa 0x1800(%rsp), %ymm0
vpmovmskb %ymm0, %eax
cmpl $0x0, %eax
je 0xc6fe6e
vmovdqa 0x680(%rsp), %ymm0
callq 0xc701b0
movl %eax, 0x6bc(%rsp)
movl 0x6bc(%rsp), %eax
cmpl 0x65c(%rsp), %eax
jle 0xc6fd89
movq 0x650(%rsp), %rax
movl 0xc(%rax), %ecx
orl $0x40, %ecx
movl %ecx, 0xc(%rax)
jmp 0xc6fe86
movl 0x6bc(%rsp), %eax
movl %eax, 0x7c4(%rsp)
movl 0x7c4(%rsp), %eax
movl %eax, 0x4(%rsp)
movl %eax, 0x1c0c(%rsp)
movl %eax, 0x1c08(%rsp)
movl %eax, 0x1c04(%rsp)
movl %eax, 0x1c00(%rsp)
movl %eax, 0x1bfc(%rsp)
movl %eax, 0x1bf8(%rsp)
movl %eax, 0x1bf4(%rsp)
movl %eax, 0x1bf0(%rsp)
movl 0x1bf4(%rsp), %edx
movl 0x1bf8(%rsp), %ecx
movl 0x1bfc(%rsp), %eax
movl 0x1c04(%rsp), %r8d
movl 0x1c08(%rsp), %edi
movl 0x1c0c(%rsp), %esi
vmovd 0x1c00(%rsp), %xmm0
vpinsrd $0x1, %r8d, %xmm0, %xmm0
vpinsrd $0x2, %edi, %xmm0, %xmm0
vpinsrd $0x3, %esi, %xmm0, %xmm1
vmovd 0x1bf0(%rsp), %xmm0
vpinsrd $0x1, %edx, %xmm0, %xmm0
vpinsrd $0x2, %ecx, %xmm0, %xmm0
vpinsrd $0x3, %eax, %xmm0, %xmm2
vmovaps %xmm2, %xmm0
vinserti128 $0x1, %xmm1, %ymm0, %ymm0
vmovdqa %ymm0, 0x1bc0(%rsp)
vmovdqa 0x1bc0(%rsp), %ymm0
vmovdqa %ymm0, 0x660(%rsp)
movl 0x794(%rsp), %eax
movl %eax, 0x788(%rsp)
jmp 0xc6fe70
movl 0x794(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x794(%rsp)
jmp 0xc6e54e
cmpl $0x7fffffff, 0x6bc(%rsp) # imm = 0x7FFFFFFF
jne 0xc6fea4
movq 0x650(%rsp), %rax
movl 0xc(%rax), %ecx
orl $0x40, %ecx
movl %ecx, 0xc(%rax)
movq 0x650(%rsp), %rdi
vzeroupper
callq 0x1c6390
cmpl $0x0, %eax
je 0xc6fedf
movl $0x0, 0x6bc(%rsp)
movl $0x0, 0x78c(%rsp)
movl $0x0, 0x788(%rsp)
jmp 0xc70032
movl 0x788(%rsp), %eax
movl 0x794(%rsp), %ecx
subl $0x1, %ecx
cmpl %ecx, %eax
jne 0xc6ff20
movq 0x730(%rsp), %rax
movq %rax, 0x58(%rsp)
movq 0x760(%rsp), %rax
movq %rax, 0x730(%rsp)
movq 0x58(%rsp), %rax
movq %rax, 0x760(%rsp)
jmp 0xc6ff61
movl 0x788(%rsp), %eax
movl 0x794(%rsp), %ecx
subl $0x2, %ecx
cmpl %ecx, %eax
jne 0xc6ff5f
movq 0x730(%rsp), %rax
movq %rax, 0x50(%rsp)
movq 0x758(%rsp), %rax
movq %rax, 0x730(%rsp)
movq 0x50(%rsp), %rax
movq %rax, 0x758(%rsp)
jmp 0xc6ff61
movq 0x730(%rsp), %rax
movq %rax, 0x48(%rsp)
movl 0x770(%rsp), %eax
imull 0x774(%rsp), %eax
movl %eax, 0x44(%rsp)
movl 0x784(%rsp), %eax
subl $0x1, %eax
movl %eax, 0x78c(%rsp)
movl $0x0, 0x798(%rsp)
movl 0x798(%rsp), %eax
cmpl 0x44(%rsp), %eax
jge 0xc70030
movq 0x48(%rsp), %rax
movl (%rax), %eax
cmpl 0x6bc(%rsp), %eax
jne 0xc7000a
movl 0x798(%rsp), %eax
cltd
idivl 0x774(%rsp)
movl %eax, (%rsp)
movl 0x798(%rsp), %eax
cltd
idivl 0x774(%rsp)
movl (%rsp), %eax
imull 0x770(%rsp), %edx
addl %edx, %eax
movl %eax, 0x40(%rsp)
movl 0x40(%rsp), %eax
cmpl 0x78c(%rsp), %eax
jge 0xc70008
movl 0x40(%rsp), %eax
movl %eax, 0x78c(%rsp)
jmp 0xc7000a
jmp 0xc7000c
movl 0x798(%rsp), %eax
addl $0x1, %eax
movl %eax, 0x798(%rsp)
movq 0x48(%rsp), %rax
addq $0x4, %rax
movq %rax, 0x48(%rsp)
jmp 0xc6ff9d
jmp 0xc70032
movl 0x6bc(%rsp), %ecx
movq 0x650(%rsp), %rax
movl %ecx, (%rax)
movl 0x78c(%rsp), %ecx
movq 0x650(%rsp), %rax
movl %ecx, 0x4(%rax)
movl 0x788(%rsp), %ecx
movq 0x650(%rsp), %rax
movl %ecx, 0x8(%rax)
movq 0x730(%rsp), %rdi
callq 0x1c3590
movq 0x738(%rsp), %rdi
callq 0x1c3590
movq 0x740(%rsp), %rdi
callq 0x1c3590
movq 0x748(%rsp), %rdi
callq 0x1c3590
movq 0x750(%rsp), %rdi
callq 0x1c3590
movq 0x758(%rsp), %rdi
callq 0x1c3590
movq 0x760(%rsp), %rdi
callq 0x1c3590
movq 0x650(%rsp), %rax
movq %rax, 0x7b8(%rsp)
movq 0x7b8(%rsp), %rax
movq %rbp, %rsp
popq %rbp
retq
nop