// File: /workspace/github_c_makefile_star2_O0/nh13[P]ksw/src/parasail/src/nw_trace_striped_sse2_128_32.c
// Function: parasail_nw_trace_striped_profile_sse2_128_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 s1Len = 0;
    int32_t end_query = 0;
    int32_t end_ref = 0;
    const parasail_matrix_t *matrix = NULL;
    int32_t segWidth = 0;
    int32_t segLen = 0;
    int32_t offset = 0;
    int32_t position = 0;
    __m128i* restrict vProfile = NULL;
    __m128i* restrict pvHStore = NULL;
    __m128i* restrict pvHLoad = NULL;
    __m128i* restrict pvE = NULL;
    __m128i* restrict pvEaStore = NULL;
    __m128i* restrict pvEaLoad = NULL;
    __m128i* restrict pvHT = NULL;
    int32_t* restrict boundary = NULL;
    __m128i vGapO;
    __m128i vGapE;
    int32_t NEG_LIMIT = 0;
    int32_t POS_LIMIT = 0;
    int32_t score = 0;
    __m128i vNegLimit;
    __m128i vPosLimit;
    __m128i vSaturationCheckMin;
    __m128i vSaturationCheckMax;
    parasail_result_t *result = NULL;
    __m128i vTIns;
    __m128i vTDel;
    __m128i vTDiag;
    __m128i vTDiagE;
    __m128i vTInsE;
    __m128i vTDiagF;
    __m128i vTDelF;
    __m128i vTMask;
    __m128i 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;
    s1Len = profile->s1Len;
    end_query = s1Len-1;
    end_ref = s2Len-1;
    matrix = profile->matrix;
    segWidth = 4; /* number of values in vector unit */
    segLen = (s1Len + segWidth - 1) / segWidth;
    offset = (s1Len - 1) % segLen;
    position = (segWidth - 1) - (s1Len - 1) / segLen;
    vProfile = (__m128i*)profile->profile32.score;
    vGapO = _mm_set1_epi32(open);
    vGapE = _mm_set1_epi32(gap);
    NEG_LIMIT = (-open < matrix->min ? INT32_MIN + open : INT32_MIN - matrix->min) + 1;
    POS_LIMIT = INT32_MAX - matrix->max - 1;
    score = NEG_LIMIT;
    vNegLimit = _mm_set1_epi32(NEG_LIMIT);
    vPosLimit = _mm_set1_epi32(POS_LIMIT);
    vSaturationCheckMin = vPosLimit;
    vSaturationCheckMax = vNegLimit;
    vTIns  = _mm_set1_epi32(PARASAIL_INS);
    vTDel  = _mm_set1_epi32(PARASAIL_DEL);
    vTDiag = _mm_set1_epi32(PARASAIL_DIAG);
    vTDiagE = _mm_set1_epi32(PARASAIL_DIAG_E);
    vTInsE = _mm_set1_epi32(PARASAIL_INS_E);
    vTDiagF = _mm_set1_epi32(PARASAIL_DIAG_F);
    vTDelF = _mm_set1_epi32(PARASAIL_DEL_F);
    vTMask = _mm_set1_epi32(PARASAIL_ZERO_MASK);
    vFTMask = _mm_set1_epi32(PARASAIL_F_MASK);

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

    /* set known flags */
    result->flag |= PARASAIL_FLAG_NW | PARASAIL_FLAG_STRIPED
        | PARASAIL_FLAG_TRACE
        | PARASAIL_FLAG_BITS_32 | PARASAIL_FLAG_LANES_4;

    /* initialize heap variables */
    pvHStore = parasail_memalign___m128i(16, segLen);
    pvHLoad = parasail_memalign___m128i(16, segLen);
    pvE = parasail_memalign___m128i(16, segLen);
    pvEaStore = parasail_memalign___m128i(16, segLen);
    pvEaLoad = parasail_memalign___m128i(16, segLen);
    pvHT = parasail_memalign___m128i(16, segLen);
    boundary = parasail_memalign_int32_t(16, s2Len+1);

    /* 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 (!boundary) return NULL;

    /* initialize H and E */
    {
        int32_t index = 0;
        for (i=0; i<segLen; ++i) {
            int32_t segNum = 0;
            __m128i_32_t h;
            __m128i_32_t e;
            for (segNum=0; segNum<segWidth; ++segNum) {
                int64_t tmp = -open-gap*(segNum*segLen+i);
                h.v[segNum] = tmp < INT32_MIN ? INT32_MIN : tmp;
                tmp = tmp - open;
                e.v[segNum] = tmp < INT32_MIN ? INT32_MIN : tmp;
            }
            _mm_store_si128(&pvHStore[index], h.m);
            _mm_store_si128(&pvE[index], e.m);
            _mm_store_si128(&pvEaStore[index], e.m);
            ++index;
        }
    }

    /* initialize uppder boundary */
    {
        boundary[0] = 0;
        for (i=1; i<=s2Len; ++i) {
            int64_t tmp = -open-gap*(i-1);
            boundary[i] = tmp < INT32_MIN ? INT32_MIN : tmp;
        }
    }

    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) {
        __m128i vEF_opn;
        __m128i vE;
        __m128i vE_ext;
        __m128i vF;
        __m128i vF_ext;
        __m128i vFa;
        __m128i vFa_ext;
        __m128i vH;
        __m128i vH_dag;
        const __m128i* vP = NULL;

        /* Initialize F value to -inf.  Any errors to vH values will be
         * corrected in the Lazy_F loop.  */
        vF = vNegLimit;

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

        /* insert upper boundary condition */
        vH = _mm_insert_epi32_rpl(vH, boundary[j], 0);

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

        /* 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 = _mm_load_si128(pvE + i);

            /* Get max from vH, vE and vF. */
            vH_dag = _mm_add_epi32(vH, _mm_load_si128(vP + i));
            vH = _mm_max_epi32_rpl(vH_dag, vE);
            vH = _mm_max_epi32_rpl(vH, vF);
            /* Save vH values. */
            _mm_store_si128(pvHStore + i, vH);
            vSaturationCheckMax = _mm_max_epi32_rpl(vSaturationCheckMax, vH);
            vSaturationCheckMin = _mm_min_epi32_rpl(vSaturationCheckMin, vH);
            vSaturationCheckMin = _mm_min_epi32_rpl(vSaturationCheckMin, vE);
            vSaturationCheckMin = _mm_min_epi32_rpl(vSaturationCheckMin, vF);

            {
                __m128i vTAll = arr_load(result->trace->trace_table, i, segLen, j);
                __m128i case1 = _mm_cmpeq_epi32(vH, vH_dag);
                __m128i case2 = _mm_cmpeq_epi32(vH, vF);
                __m128i vT = _mm_blendv_epi8_rpl(
                        _mm_blendv_epi8_rpl(vTIns, vTDel, case2),
                        vTDiag, case1);
                _mm_store_si128(pvHT + i, vT);
                vT = _mm_or_si128(vT, vTAll);
                arr_store(result->trace->trace_table, vT, i, segLen, j);
            }

            vEF_opn = _mm_sub_epi32(vH, vGapO);

            /* Update vE value. */
            vE_ext = _mm_sub_epi32(vE, vGapE);
            vE = _mm_max_epi32_rpl(vEF_opn, vE_ext);
            _mm_store_si128(pvE + i, vE);
            {
                __m128i vEa = _mm_load_si128(pvEaLoad + i);
                __m128i vEa_ext = _mm_sub_epi32(vEa, vGapE);
                vEa = _mm_max_epi32_rpl(vEF_opn, vEa_ext);
                _mm_store_si128(pvEaStore + i, vEa);
                if (j+1<s2Len) {
                    __m128i cond = _mm_cmpgt_epi32(vEF_opn, vEa_ext);
                    __m128i vT = _mm_blendv_epi8_rpl(vTInsE, vTDiagE, cond);
                    arr_store(result->trace->trace_table, vT, i, segLen, j+1);
                }
            }

            /* Update vF value. */
            vF_ext = _mm_sub_epi32(vF, vGapE);
            vF = _mm_max_epi32_rpl(vEF_opn, vF_ext);
            if (i+1<segLen) {
                __m128i vTAll = arr_load(result->trace->trace_table, i+1, segLen, j);
                __m128i cond = _mm_cmpgt_epi32(vEF_opn, vF_ext);
                __m128i vT = _mm_blendv_epi8_rpl(vTDelF, vTDiagF, cond);
                vT = _mm_or_si128(vT, vTAll);
                arr_store(result->trace->trace_table, vT, i+1, segLen, j);
            }

            /* Load the next vH. */
            vH = _mm_load_si128(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) {
            int64_t tmp = boundary[j+1]-open;
            int32_t tmp2 = tmp < INT32_MIN ? INT32_MIN : tmp;
            __m128i vHp = _mm_load_si128(&pvHLoad[segLen - 1]);
            vHp = _mm_slli_si128(vHp, 4);
            vHp = _mm_insert_epi32_rpl(vHp, boundary[j], 0);
            vEF_opn = _mm_slli_si128(vEF_opn, 4);
            vEF_opn = _mm_insert_epi32_rpl(vEF_opn, tmp2, 0);
            vF_ext = _mm_slli_si128(vF_ext, 4);
            vF_ext = _mm_insert_epi32_rpl(vF_ext, NEG_LIMIT, 0);
            vF = _mm_slli_si128(vF, 4);
            vF = _mm_insert_epi32_rpl(vF, tmp2, 0);
            vFa_ext = _mm_slli_si128(vFa_ext, 4);
            vFa_ext = _mm_insert_epi32_rpl(vFa_ext, NEG_LIMIT, 0);
            vFa = _mm_slli_si128(vFa, 4);
            vFa = _mm_insert_epi32_rpl(vFa, tmp2, 0);
            for (i=0; i<segLen; ++i) {
                vH = _mm_load_si128(pvHStore + i);
                vH = _mm_max_epi32_rpl(vH,vF);
                _mm_store_si128(pvHStore + i, vH);
                vSaturationCheckMin = _mm_min_epi32_rpl(vSaturationCheckMin, vH);
                vSaturationCheckMax = _mm_max_epi32_rpl(vSaturationCheckMax, vH);
                {
                    __m128i vTAll;
                    __m128i vT;
                    __m128i case1;
                    __m128i case2;
                    __m128i cond;
                    vHp = _mm_add_epi32(vHp, _mm_load_si128(vP + i));
                    case1 = _mm_cmpeq_epi32(vH, vHp);
                    case2 = _mm_cmpeq_epi32(vH, vF);
                    cond = _mm_andnot_si128(case1,case2);
                    vTAll = arr_load(result->trace->trace_table, i, segLen, j);
                    vT = _mm_load_si128(pvHT + i);
                    vT = _mm_blendv_epi8_rpl(vT, vTDel, cond);
                    _mm_store_si128(pvHT + i, vT);
                    vTAll = _mm_and_si128(vTAll, vTMask);
                    vTAll = _mm_or_si128(vTAll, vT);
                    arr_store(result->trace->trace_table, vTAll, i, segLen, j);
                }
                /* Update vF value. */
                {
                    __m128i vTAll = arr_load(result->trace->trace_table, i, segLen, j);
                    __m128i cond = _mm_cmpgt_epi32(vEF_opn, vFa_ext);
                    __m128i vT = _mm_blendv_epi8_rpl(vTDelF, vTDiagF, cond);
                    vTAll = _mm_and_si128(vTAll, vFTMask);
                    vTAll = _mm_or_si128(vTAll, vT);
                    arr_store(result->trace->trace_table, vTAll, i, segLen, j);
                }
                vEF_opn = _mm_sub_epi32(vH, vGapO);
                vF_ext = _mm_sub_epi32(vF, vGapE);
                {
                    __m128i vEa = _mm_load_si128(pvEaLoad + i);
                    __m128i vEa_ext = _mm_sub_epi32(vEa, vGapE);
                    vEa = _mm_max_epi32_rpl(vEF_opn, vEa_ext);
                    _mm_store_si128(pvEaStore + i, vEa);
                    if (j+1<s2Len) {
                        __m128i cond = _mm_cmpgt_epi32(vEF_opn, vEa_ext);
                        __m128i vT = _mm_blendv_epi8_rpl(vTInsE, vTDiagE, cond);
                        arr_store(result->trace->trace_table, vT, i, segLen, j+1);
                    }
                }
                if (! _mm_movemask_epi8(
                            _mm_or_si128(
                                _mm_cmpgt_epi32(vF_ext, vEF_opn),
                                _mm_cmpeq_epi32(vF_ext, vEF_opn))))
                    goto end;
                /*vF = _mm_max_epi32_rpl(vEF_opn, vF_ext);*/
                vF = vF_ext;
                vFa_ext = _mm_sub_epi32(vFa, vGapE);
                vFa = _mm_max_epi32_rpl(vEF_opn, vFa_ext);
                vHp = _mm_load_si128(pvHLoad + i);
            }
        }
end:
        {
        }
    }

    /* extract last value from the last column */
    {
        __m128i vH = _mm_load_si128(pvHStore + offset);
        for (k=0; k<position; ++k) {
            vH = _mm_slli_si128 (vH, 4);
        }
        score = (int32_t) _mm_extract_epi32_rpl (vH, 3);
    }

    if (_mm_movemask_epi8(_mm_or_si128(
            _mm_cmplt_epi32(vSaturationCheckMin, vNegLimit),
            _mm_cmpgt_epi32(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(boundary);
    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
subq $0xc00, %rsp            # imm = 0xC00
movq %rdi, -0x7a8(%rbp)
movq %rsi, -0x7b0(%rbp)
movl %edx, -0x7b4(%rbp)
movl %ecx, -0x7b8(%rbp)
movl %r8d, -0x7bc(%rbp)
movl $0x0, -0x7c0(%rbp)
movl $0x0, -0x7c4(%rbp)
movl $0x0, -0x7c8(%rbp)
movl $0x0, -0x7cc(%rbp)
movl $0x0, -0x7d0(%rbp)
movl $0x0, -0x7d4(%rbp)
movq $0x0, -0x7e0(%rbp)
movl $0x0, -0x7e4(%rbp)
movl $0x0, -0x7e8(%rbp)
movl $0x0, -0x7ec(%rbp)
movl $0x0, -0x7f0(%rbp)
movq $0x0, -0x7f8(%rbp)
movq $0x0, -0x800(%rbp)
movq $0x0, -0x808(%rbp)
movq $0x0, -0x810(%rbp)
movq $0x0, -0x818(%rbp)
movq $0x0, -0x820(%rbp)
movq $0x0, -0x828(%rbp)
movq $0x0, -0x830(%rbp)
movl $0x0, -0x854(%rbp)
movl $0x0, -0x858(%rbp)
movl $0x0, -0x85c(%rbp)
movq $0x0, -0x8a8(%rbp)
cmpq $0x0, -0x7a8(%rbp)
jne 0x57afcc
movq 0x8ac03b(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x771044(%rip), %rsi    # 0xcebfeb
leaq 0x76b2f3(%rip), %rdx    # 0xce62a1
leaq 0x747528(%rip), %rcx    # 0xcc24dd
movb $0x0, %al
callq 0x19e180
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
jmp 0x57afce
jmp 0x57afd0
movq -0x7a8(%rbp), %rax
cmpq $0x0, 0x48(%rax)
jne 0x57b014
movq 0x8abff3(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x770ffc(%rip), %rsi    # 0xcebfeb
leaq 0x76b2ab(%rip), %rdx    # 0xce62a1
leaq 0x77198c(%rip), %rcx    # 0xcec989
movb $0x0, %al
callq 0x19e180
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
jmp 0x57b016
jmp 0x57b018
movq -0x7a8(%rbp), %rax
cmpq $0x0, 0x10(%rax)
jne 0x57b05c
movq 0x8abfab(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x770fb4(%rip), %rsi    # 0xcebfeb
leaq 0x76b263(%rip), %rdx    # 0xce62a1
leaq 0x7718d7(%rip), %rcx    # 0xcec91c
movb $0x0, %al
callq 0x19e180
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
jmp 0x57b05e
jmp 0x57b060
movq -0x7a8(%rbp), %rax
cmpl $0x0, 0x8(%rax)
jg 0x57b0a3
movq 0x8abf64(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x771683(%rip), %rsi    # 0xcec701
leaq 0x76b21c(%rip), %rdx    # 0xce62a1
leaq 0x7718a0(%rip), %rcx    # 0xcec92c
movb $0x0, %al
callq 0x19e180
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
jmp 0x57b0a5
jmp 0x57b0a7
cmpq $0x0, -0x7b0(%rbp)
jne 0x57b0e7
movq 0x8abf20(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x770f29(%rip), %rsi    # 0xcebfeb
leaq 0x76b1d8(%rip), %rdx    # 0xce62a1
leaq 0x77162e(%rip), %rcx    # 0xcec6fe
movb $0x0, %al
callq 0x19e180
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
jmp 0x57b0e9
jmp 0x57b0eb
cmpl $0x0, -0x7b4(%rbp)
jg 0x57b12a
movq 0x8abedd(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7715fc(%rip), %rsi    # 0xcec701
leaq 0x76b195(%rip), %rdx    # 0xce62a1
leaq 0x771602(%rip), %rcx    # 0xcec715
movb $0x0, %al
callq 0x19e180
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
jmp 0x57b12c
jmp 0x57b12e
cmpl $0x0, -0x7b8(%rbp)
jge 0x57b16d
movq 0x8abe9a(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x7715d3(%rip), %rsi    # 0xcec71b
leaq 0x76b152(%rip), %rdx    # 0xce62a1
leaq 0x7715da(%rip), %rcx    # 0xcec730
movb $0x0, %al
callq 0x19e180
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
jmp 0x57b16f
jmp 0x57b171
cmpl $0x0, -0x7bc(%rbp)
jge 0x57b1b0
movq 0x8abe57(%rip), %rax    # 0xe26fd8
movq (%rax), %rdi
leaq 0x771590(%rip), %rsi    # 0xcec71b
leaq 0x76b10f(%rip), %rdx    # 0xce62a1
leaq 0x77159c(%rip), %rcx    # 0xcec735
movb $0x0, %al
callq 0x19e180
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
jmp 0x57b1b2
movl $0x0, -0x7c0(%rbp)
movl $0x0, -0x7c4(%rbp)
movl $0x0, -0x7c8(%rbp)
movq -0x7a8(%rbp), %rax
movl 0x8(%rax), %eax
movl %eax, -0x7cc(%rbp)
movl -0x7cc(%rbp), %eax
decl %eax
movl %eax, -0x7d0(%rbp)
movl -0x7b4(%rbp), %eax
decl %eax
movl %eax, -0x7d4(%rbp)
movq -0x7a8(%rbp), %rax
movq 0x10(%rax), %rax
movq %rax, -0x7e0(%rbp)
movl $0x4, -0x7e4(%rbp)
movl -0x7cc(%rbp), %esi
movl -0x7e4(%rbp), %ecx
movl %ecx, %edx
movl %esi, %eax
leal -0x1(%rax,%rdx), %eax
cltd
idivl %ecx
movl %eax, -0x7e8(%rbp)
movl -0x7cc(%rbp), %eax
decl %eax
movl -0x7e8(%rbp), %ecx
cltd
idivl %ecx
movl %edx, -0x7ec(%rbp)
movl -0x7e4(%rbp), %ecx
movl -0x7cc(%rbp), %eax
decl %eax
movl -0x7e8(%rbp), %esi
cltd
idivl %esi
notl %eax
addl %ecx, %eax
movl %eax, -0x7f0(%rbp)
movq -0x7a8(%rbp), %rax
movq 0x48(%rax), %rax
movq %rax, -0x7f8(%rbp)
movl -0x7b8(%rbp), %eax
movl %eax, -0x764(%rbp)
movl -0x764(%rbp), %eax
movl %eax, -0x184(%rbp)
movl %eax, -0x188(%rbp)
movl %eax, -0x18c(%rbp)
movl %eax, -0x190(%rbp)
movd -0x184(%rbp), %xmm0
movd -0x188(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x18c(%rbp), %xmm2
movd -0x190(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0x1a0(%rbp)
movaps -0x1a0(%rbp), %xmm0
movaps %xmm0, -0x840(%rbp)
movl -0x7bc(%rbp), %eax
movl %eax, -0x768(%rbp)
movl -0x768(%rbp), %eax
movl %eax, -0x164(%rbp)
movl %eax, -0x168(%rbp)
movl %eax, -0x16c(%rbp)
movl %eax, -0x170(%rbp)
movd -0x164(%rbp), %xmm0
movd -0x168(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x16c(%rbp), %xmm2
movd -0x170(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movdqa %xmm0, -0x180(%rbp)
movdqa -0x180(%rbp), %xmm0
movdqa %xmm0, -0x850(%rbp)
xorl %eax, %eax
subl -0x7b8(%rbp), %eax
movq -0x7e0(%rbp), %rcx
cmpl 0x20(%rcx), %eax
jge 0x57b37f
movl -0x7b8(%rbp), %eax
addl $0x80000000, %eax       # imm = 0x80000000
movl %eax, -0xbd4(%rbp)
jmp 0x57b394
movq -0x7e0(%rbp), %rcx
movl $0x80000000, %eax       # imm = 0x80000000
subl 0x20(%rcx), %eax
movl %eax, -0xbd4(%rbp)
movl -0xbd4(%rbp), %eax
incl %eax
movl %eax, -0x854(%rbp)
movq -0x7e0(%rbp), %rax
movl 0x1c(%rax), %ecx
movl $0x7ffffffe, %eax       # imm = 0x7FFFFFFE
subl %ecx, %eax
movl %eax, -0x858(%rbp)
movl -0x854(%rbp), %eax
movl %eax, -0x85c(%rbp)
movl -0x854(%rbp), %eax
movl %eax, -0x76c(%rbp)
movl -0x76c(%rbp), %eax
movl %eax, -0x144(%rbp)
movl %eax, -0x148(%rbp)
movl %eax, -0x14c(%rbp)
movl %eax, -0x150(%rbp)
movd -0x144(%rbp), %xmm0
movd -0x148(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x14c(%rbp), %xmm2
movd -0x150(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0x160(%rbp)
movaps -0x160(%rbp), %xmm0
movaps %xmm0, -0x870(%rbp)
movl -0x858(%rbp), %eax
movl %eax, -0x770(%rbp)
movl -0x770(%rbp), %eax
movl %eax, -0x124(%rbp)
movl %eax, -0x128(%rbp)
movl %eax, -0x12c(%rbp)
movl %eax, -0x130(%rbp)
movd -0x124(%rbp), %xmm0
movd -0x128(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x12c(%rbp), %xmm2
movd -0x130(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0x140(%rbp)
movaps -0x140(%rbp), %xmm0
movaps %xmm0, -0x880(%rbp)
movaps -0x880(%rbp), %xmm0
movaps %xmm0, -0x890(%rbp)
movaps -0x870(%rbp), %xmm0
movaps %xmm0, -0x8a0(%rbp)
movl $0x1, -0x774(%rbp)
movl -0x774(%rbp), %eax
movl %eax, -0x104(%rbp)
movl %eax, -0x108(%rbp)
movl %eax, -0x10c(%rbp)
movl %eax, -0x110(%rbp)
movd -0x104(%rbp), %xmm0
movd -0x108(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x10c(%rbp), %xmm2
movd -0x110(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0x120(%rbp)
movaps -0x120(%rbp), %xmm0
movaps %xmm0, -0x8c0(%rbp)
movl $0x2, -0x778(%rbp)
movl -0x778(%rbp), %eax
movl %eax, -0xe4(%rbp)
movl %eax, -0xe8(%rbp)
movl %eax, -0xec(%rbp)
movl %eax, -0xf0(%rbp)
movd -0xe4(%rbp), %xmm0
movd -0xe8(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0xec(%rbp), %xmm2
movd -0xf0(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0x100(%rbp)
movaps -0x100(%rbp), %xmm0
movaps %xmm0, -0x8d0(%rbp)
movl $0x4, -0x77c(%rbp)
movl -0x77c(%rbp), %eax
movl %eax, -0xc4(%rbp)
movl %eax, -0xc8(%rbp)
movl %eax, -0xcc(%rbp)
movl %eax, -0xd0(%rbp)
movd -0xc4(%rbp), %xmm0
movd -0xc8(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0xcc(%rbp), %xmm2
movd -0xd0(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0xe0(%rbp)
movaps -0xe0(%rbp), %xmm0
movaps %xmm0, -0x8e0(%rbp)
movl $0x8, -0x780(%rbp)
movl -0x780(%rbp), %eax
movl %eax, -0xa4(%rbp)
movl %eax, -0xa8(%rbp)
movl %eax, -0xac(%rbp)
movl %eax, -0xb0(%rbp)
movd -0xa4(%rbp), %xmm0
movd -0xa8(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0xac(%rbp), %xmm2
movd -0xb0(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0xc0(%rbp)
movaps -0xc0(%rbp), %xmm0
movaps %xmm0, -0x8f0(%rbp)
movl $0x10, -0x784(%rbp)
movl -0x784(%rbp), %eax
movl %eax, -0x84(%rbp)
movl %eax, -0x88(%rbp)
movl %eax, -0x8c(%rbp)
movl %eax, -0x90(%rbp)
movd -0x84(%rbp), %xmm0
movd -0x88(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x8c(%rbp), %xmm2
movd -0x90(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0xa0(%rbp)
movaps -0xa0(%rbp), %xmm0
movaps %xmm0, -0x900(%rbp)
movl $0x20, -0x788(%rbp)
movl -0x788(%rbp), %eax
movl %eax, -0x64(%rbp)
movl %eax, -0x68(%rbp)
movl %eax, -0x6c(%rbp)
movl %eax, -0x70(%rbp)
movd -0x64(%rbp), %xmm0
movd -0x68(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x6c(%rbp), %xmm2
movd -0x70(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0x80(%rbp)
movaps -0x80(%rbp), %xmm0
movaps %xmm0, -0x910(%rbp)
movl $0x40, -0x78c(%rbp)
movl -0x78c(%rbp), %eax
movl %eax, -0x44(%rbp)
movl %eax, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
movl %eax, -0x50(%rbp)
movd -0x44(%rbp), %xmm0
movd -0x48(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x4c(%rbp), %xmm2
movd -0x50(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0x60(%rbp)
movaps -0x60(%rbp), %xmm0
movaps %xmm0, -0x920(%rbp)
movl $0x78, -0x790(%rbp)
movl -0x790(%rbp), %eax
movl %eax, -0x24(%rbp)
movl %eax, -0x28(%rbp)
movl %eax, -0x2c(%rbp)
movl %eax, -0x30(%rbp)
movd -0x24(%rbp), %xmm0
movd -0x28(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0x2c(%rbp), %xmm2
movd -0x30(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movaps %xmm0, -0x40(%rbp)
movaps -0x40(%rbp), %xmm0
movaps %xmm0, -0x930(%rbp)
movl $0x1f, -0x794(%rbp)
movl -0x794(%rbp), %eax
movl %eax, -0x4(%rbp)
movl %eax, -0x8(%rbp)
movl %eax, -0xc(%rbp)
movl %eax, -0x10(%rbp)
movd -0x4(%rbp), %xmm0
movd -0x8(%rbp), %xmm1
punpckldq %xmm0, %xmm1    # xmm1 = xmm1[0],xmm0[0],xmm1[1],xmm0[1]
movd -0xc(%rbp), %xmm2
movd -0x10(%rbp), %xmm0
punpckldq %xmm2, %xmm0    # xmm0 = xmm0[0],xmm2[0],xmm0[1],xmm2[1]
punpcklqdq %xmm1, %xmm0    # xmm0 = xmm0[0],xmm1[0]
movdqa %xmm0, -0x20(%rbp)
movdqa -0x20(%rbp), %xmm0
movdqa %xmm0, -0x940(%rbp)
movl -0x7e8(%rbp), %edi
movl -0x7b4(%rbp), %esi
movl $0x10, %ecx
movq %rcx, %rdx
callq 0x1c3fa0
movq %rax, -0x8a8(%rbp)
cmpq $0x0, -0x8a8(%rbp)
jne 0x57b82d
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
movq -0x8a8(%rbp), %rax
movl 0xc(%rax), %ecx
orl $0x4480801, %ecx        # imm = 0x4480801
movl %ecx, 0xc(%rax)
movslq -0x7e8(%rbp), %rsi
movl $0x10, %edi
callq 0x381e20
movq %rax, -0x800(%rbp)
movslq -0x7e8(%rbp), %rsi
movl $0x10, %edi
callq 0x381e20
movq %rax, -0x808(%rbp)
movslq -0x7e8(%rbp), %rsi
movl $0x10, %edi
callq 0x381e20
movq %rax, -0x810(%rbp)
movslq -0x7e8(%rbp), %rsi
movl $0x10, %edi
callq 0x381e20
movq %rax, -0x818(%rbp)
movslq -0x7e8(%rbp), %rsi
movl $0x10, %edi
callq 0x381e20
movq %rax, -0x820(%rbp)
movslq -0x7e8(%rbp), %rsi
movl $0x10, %edi
callq 0x381e20
movq %rax, -0x828(%rbp)
movl -0x7b4(%rbp), %eax
addl $0x1, %eax
movslq %eax, %rsi
movl $0x10, %edi
callq 0x1c3660
movq %rax, -0x830(%rbp)
cmpq $0x0, -0x800(%rbp)
jne 0x57b907
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
cmpq $0x0, -0x808(%rbp)
jne 0x57b921
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
cmpq $0x0, -0x810(%rbp)
jne 0x57b93b
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
cmpq $0x0, -0x818(%rbp)
jne 0x57b955
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
cmpq $0x0, -0x820(%rbp)
jne 0x57b96f
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
cmpq $0x0, -0x828(%rbp)
jne 0x57b989
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
cmpq $0x0, -0x830(%rbp)
jne 0x57b9a3
movq $0x0, -0x7a0(%rbp)
jmp 0x57d01a
movl $0x0, -0x944(%rbp)
movl $0x0, -0x7c0(%rbp)
movl -0x7c0(%rbp), %eax
cmpl -0x7e8(%rbp), %eax
jge 0x57bbae
movl $0x0, -0x948(%rbp)
movl $0x0, -0x948(%rbp)
movl -0x948(%rbp), %eax
cmpl -0x7e4(%rbp), %eax
jge 0x57bace
xorl %eax, %eax
subl -0x7b8(%rbp), %eax
movl -0x7bc(%rbp), %ecx
movl -0x948(%rbp), %edx
imull -0x7e8(%rbp), %edx
addl -0x7c0(%rbp), %edx
imull %edx, %ecx
subl %ecx, %eax
cltq
movq %rax, -0x978(%rbp)
cmpq $-0x80000000, -0x978(%rbp) # imm = 0x80000000
jge 0x57ba3b
movq $-0x80000000, %rax      # imm = 0x80000000
movq %rax, -0xbe0(%rbp)
jmp 0x57ba49
movq -0x978(%rbp), %rax
movq %rax, -0xbe0(%rbp)
movq -0xbe0(%rbp), %rax
movl %eax, %ecx
movslq -0x948(%rbp), %rax
movl %ecx, -0x960(%rbp,%rax,4)
movq -0x978(%rbp), %rax
movslq -0x7b8(%rbp), %rcx
subq %rcx, %rax
movq %rax, -0x978(%rbp)
cmpq $-0x80000000, -0x978(%rbp) # imm = 0x80000000
jge 0x57ba95
movq $-0x80000000, %rax      # imm = 0x80000000
movq %rax, -0xbe8(%rbp)
jmp 0x57baa3
movq -0x978(%rbp), %rax
movq %rax, -0xbe8(%rbp)
movq -0xbe8(%rbp), %rax
movl %eax, %ecx
movslq -0x948(%rbp), %rax
movl %ecx, -0x970(%rbp,%rax,4)
movl -0x948(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x948(%rbp)
jmp 0x57b9dd
movq -0x800(%rbp), %rax
movslq -0x944(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa -0x960(%rbp), %xmm0
movq %rax, -0x628(%rbp)
movdqa %xmm0, -0x640(%rbp)
movdqa -0x640(%rbp), %xmm0
movq -0x628(%rbp), %rax
movdqa %xmm0, (%rax)
movq -0x810(%rbp), %rax
movslq -0x944(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa -0x970(%rbp), %xmm0
movq %rax, -0x648(%rbp)
movdqa %xmm0, -0x660(%rbp)
movdqa -0x660(%rbp), %xmm0
movq -0x648(%rbp), %rax
movdqa %xmm0, (%rax)
movq -0x818(%rbp), %rax
movslq -0x944(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa -0x970(%rbp), %xmm0
movq %rax, -0x668(%rbp)
movdqa %xmm0, -0x680(%rbp)
movdqa -0x680(%rbp), %xmm0
movq -0x668(%rbp), %rax
movdqa %xmm0, (%rax)
movl -0x944(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x944(%rbp)
movl -0x7c0(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c0(%rbp)
jmp 0x57b9b7
movq -0x830(%rbp), %rax
movl $0x0, (%rax)
movl $0x1, -0x7c0(%rbp)
movl -0x7c0(%rbp), %eax
cmpl -0x7b4(%rbp), %eax
jg 0x57bc51
xorl %eax, %eax
subl -0x7b8(%rbp), %eax
movl -0x7bc(%rbp), %ecx
movl -0x7c0(%rbp), %edx
subl $0x1, %edx
imull %edx, %ecx
subl %ecx, %eax
cltq
movq %rax, -0x980(%rbp)
cmpq $-0x80000000, -0x980(%rbp) # imm = 0x80000000
jge 0x57bc15
movq $-0x80000000, %rax      # imm = 0x80000000
movq %rax, -0xbf0(%rbp)
jmp 0x57bc23
movq -0x980(%rbp), %rax
movq %rax, -0xbf0(%rbp)
movq -0xbf0(%rbp), %rax
movl %eax, %edx
movq -0x830(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
movl %edx, (%rax,%rcx,4)
movl -0x7c0(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c0(%rbp)
jmp 0x57bbc5
movl $0x0, -0x7c0(%rbp)
movl -0x7c0(%rbp), %eax
cmpl -0x7e8(%rbp), %eax
jge 0x57bca3
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movdqa -0x8f0(%rbp), %xmm0
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
xorl %ecx, %ecx
callq 0x57d030
movl -0x7c0(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c0(%rbp)
jmp 0x57bc5b
movl $0x0, -0x7c4(%rbp)
movl -0x7c4(%rbp), %eax
cmpl -0x7b4(%rbp), %eax
jge 0x57ce27
movq $0x0, -0xa18(%rbp)
movaps -0x870(%rbp), %xmm0
movaps %xmm0, -0x9c0(%rbp)
movq -0x800(%rbp), %rax
movl -0x7e8(%rbp), %ecx
decl %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x5c8(%rbp)
movq -0x5c8(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0xa00(%rbp)
movaps -0xa00(%rbp), %xmm0
pslldq $0x4, %xmm0             # xmm0 = zero,zero,zero,zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11]
movdqa %xmm0, -0xa00(%rbp)
movdqa -0xa00(%rbp), %xmm0
movq -0x830(%rbp), %rax
movslq -0x7c4(%rbp), %rcx
movl (%rax,%rcx,4), %edi
xorl %esi, %esi
callq 0x57d090
movdqa %xmm0, -0xa00(%rbp)
movq -0x7f8(%rbp), %rax
movq -0x7e0(%rbp), %rcx
movq 0x10(%rcx), %rcx
movq -0x7b0(%rbp), %rdx
movslq -0x7c4(%rbp), %rsi
movzbl (%rdx,%rsi), %edx
movl (%rcx,%rdx,4), %ecx
imull -0x7e8(%rbp), %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0xa18(%rbp)
movq -0x808(%rbp), %rax
movq %rax, -0xa20(%rbp)
movq -0x800(%rbp), %rax
movq %rax, -0x808(%rbp)
movq -0xa20(%rbp), %rax
movq %rax, -0x800(%rbp)
movq -0x820(%rbp), %rax
movq %rax, -0xa28(%rbp)
movq -0x818(%rbp), %rax
movq %rax, -0x820(%rbp)
movq -0xa28(%rbp), %rax
movq %rax, -0x818(%rbp)
movl $0x0, -0x7c0(%rbp)
movl -0x7c0(%rbp), %eax
cmpl -0x7e8(%rbp), %eax
jge 0x57c49e
movq -0x810(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x5d0(%rbp)
movq -0x5d0(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0x9a0(%rbp)
movaps -0xa00(%rbp), %xmm1
movq -0xa18(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x5d8(%rbp)
movq -0x5d8(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x590(%rbp)
movaps %xmm0, -0x5a0(%rbp)
movaps -0x590(%rbp), %xmm0
movaps -0x5a0(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0xa10(%rbp)
movaps -0xa10(%rbp), %xmm0
movaps -0x9a0(%rbp), %xmm1
callq 0x57d0c0
movaps %xmm0, -0xa00(%rbp)
movaps -0xa00(%rbp), %xmm0
movaps -0x9c0(%rbp), %xmm1
callq 0x57d0c0
movaps %xmm0, -0xa00(%rbp)
movq -0x800(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps -0xa00(%rbp), %xmm0
movq %rax, -0x688(%rbp)
movaps %xmm0, -0x6a0(%rbp)
movaps -0x6a0(%rbp), %xmm0
movq -0x688(%rbp), %rax
movaps %xmm0, (%rax)
movaps -0x8a0(%rbp), %xmm0
movaps -0xa00(%rbp), %xmm1
callq 0x57d0c0
movaps %xmm0, -0x8a0(%rbp)
movaps -0x890(%rbp), %xmm0
movaps -0xa00(%rbp), %xmm1
callq 0x57d190
movaps %xmm0, -0x890(%rbp)
movaps -0x890(%rbp), %xmm0
movaps -0x9a0(%rbp), %xmm1
callq 0x57d190
movaps %xmm0, -0x890(%rbp)
movaps -0x890(%rbp), %xmm0
movaps -0x9c0(%rbp), %xmm1
callq 0x57d190
movaps %xmm0, -0x890(%rbp)
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
callq 0x57d260
movaps %xmm0, -0xa40(%rbp)
movaps -0xa00(%rbp), %xmm1
movaps -0xa10(%rbp), %xmm0
movaps %xmm1, -0x4f0(%rbp)
movaps %xmm0, -0x500(%rbp)
movaps -0x4f0(%rbp), %xmm0
movaps -0x500(%rbp), %xmm1
pcmpeqd %xmm1, %xmm0
movaps %xmm0, -0xa50(%rbp)
movaps -0xa00(%rbp), %xmm1
movaps -0x9c0(%rbp), %xmm0
movaps %xmm1, -0x510(%rbp)
movaps %xmm0, -0x520(%rbp)
movaps -0x510(%rbp), %xmm0
movaps -0x520(%rbp), %xmm1
pcmpeqd %xmm1, %xmm0
movdqa %xmm0, -0xa60(%rbp)
movdqa -0x8c0(%rbp), %xmm0
movdqa -0x8d0(%rbp), %xmm1
movdqa -0xa60(%rbp), %xmm2
callq 0x57d2b0
movdqa -0x8e0(%rbp), %xmm1
movdqa -0xa50(%rbp), %xmm2
callq 0x57d2b0
movdqa %xmm0, -0xa70(%rbp)
movq -0x828(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa -0xa70(%rbp), %xmm0
movq %rax, -0x6a8(%rbp)
movdqa %xmm0, -0x6c0(%rbp)
movdqa -0x6c0(%rbp), %xmm0
movq -0x6a8(%rbp), %rax
movdqa %xmm0, (%rax)
movdqa -0xa70(%rbp), %xmm1
movdqa -0xa40(%rbp), %xmm0
movdqa %xmm1, -0x430(%rbp)
movdqa %xmm0, -0x440(%rbp)
movdqa -0x430(%rbp), %xmm0
por -0x440(%rbp), %xmm0
movdqa %xmm0, -0xa70(%rbp)
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movdqa -0xa70(%rbp), %xmm0
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
callq 0x57d030
movdqa -0xa00(%rbp), %xmm1
movdqa -0x840(%rbp), %xmm0
movdqa %xmm1, -0x330(%rbp)
movdqa %xmm0, -0x340(%rbp)
movdqa -0x330(%rbp), %xmm0
movdqa -0x340(%rbp), %xmm1
psubd %xmm1, %xmm0
movdqa %xmm0, -0x990(%rbp)
movdqa -0x9a0(%rbp), %xmm1
movdqa -0x850(%rbp), %xmm0
movdqa %xmm1, -0x350(%rbp)
movdqa %xmm0, -0x360(%rbp)
movdqa -0x350(%rbp), %xmm0
movdqa -0x360(%rbp), %xmm1
psubd %xmm1, %xmm0
movdqa %xmm0, -0x9b0(%rbp)
movdqa -0x990(%rbp), %xmm0
movdqa -0x9b0(%rbp), %xmm1
callq 0x57d0c0
movdqa %xmm0, -0x9a0(%rbp)
movq -0x810(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa -0x9a0(%rbp), %xmm0
movq %rax, -0x6c8(%rbp)
movdqa %xmm0, -0x6e0(%rbp)
movdqa -0x6e0(%rbp), %xmm0
movq -0x6c8(%rbp), %rax
movdqa %xmm0, (%rax)
movq -0x820(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x5e0(%rbp)
movq -0x5e0(%rbp), %rax
movdqa (%rax), %xmm0
movdqa %xmm0, -0xa80(%rbp)
movdqa -0xa80(%rbp), %xmm1
movdqa -0x850(%rbp), %xmm0
movdqa %xmm1, -0x370(%rbp)
movdqa %xmm0, -0x380(%rbp)
movdqa -0x370(%rbp), %xmm0
movdqa -0x380(%rbp), %xmm1
psubd %xmm1, %xmm0
movdqa %xmm0, -0xa90(%rbp)
movdqa -0x990(%rbp), %xmm0
movdqa -0xa90(%rbp), %xmm1
callq 0x57d0c0
movdqa %xmm0, -0xa80(%rbp)
movq -0x818(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa -0xa80(%rbp), %xmm0
movq %rax, -0x6e8(%rbp)
movdqa %xmm0, -0x700(%rbp)
movdqa -0x700(%rbp), %xmm0
movq -0x6e8(%rbp), %rax
movdqa %xmm0, (%rax)
movl -0x7c4(%rbp), %eax
addl $0x1, %eax
cmpl -0x7b4(%rbp), %eax
jge 0x57c2fc
movaps -0x990(%rbp), %xmm1
movaps -0xa90(%rbp), %xmm0
movaps %xmm1, -0x270(%rbp)
movaps %xmm0, -0x280(%rbp)
movaps -0x270(%rbp), %xmm0
movaps -0x280(%rbp), %xmm1
pcmpgtd %xmm1, %xmm0
movdqa %xmm0, -0xaa0(%rbp)
movdqa -0x900(%rbp), %xmm0
movdqa -0x8f0(%rbp), %xmm1
movdqa -0xaa0(%rbp), %xmm2
callq 0x57d2b0
movdqa %xmm0, -0xab0(%rbp)
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movdqa -0xab0(%rbp), %xmm0
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
addl $0x1, %ecx
callq 0x57d030
movdqa -0x9c0(%rbp), %xmm1
movdqa -0x850(%rbp), %xmm0
movdqa %xmm1, -0x390(%rbp)
movdqa %xmm0, -0x3a0(%rbp)
movdqa -0x390(%rbp), %xmm0
movdqa -0x3a0(%rbp), %xmm1
psubd %xmm1, %xmm0
movdqa %xmm0, -0x9d0(%rbp)
movdqa -0x990(%rbp), %xmm0
movdqa -0x9d0(%rbp), %xmm1
callq 0x57d0c0
movdqa %xmm0, -0x9c0(%rbp)
movl -0x7c0(%rbp), %eax
addl $0x1, %eax
cmpl -0x7e8(%rbp), %eax
jge 0x57c45b
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movl -0x7c0(%rbp), %esi
incl %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
callq 0x57d260
movaps %xmm0, -0xac0(%rbp)
movaps -0x990(%rbp), %xmm1
movaps -0x9d0(%rbp), %xmm0
movaps %xmm1, -0x290(%rbp)
movaps %xmm0, -0x2a0(%rbp)
movaps -0x290(%rbp), %xmm0
movaps -0x2a0(%rbp), %xmm1
pcmpgtd %xmm1, %xmm0
movdqa %xmm0, -0xad0(%rbp)
movdqa -0x920(%rbp), %xmm0
movdqa -0x910(%rbp), %xmm1
movdqa -0xad0(%rbp), %xmm2
callq 0x57d2b0
movdqa %xmm0, -0xae0(%rbp)
movdqa -0xae0(%rbp), %xmm1
movdqa -0xac0(%rbp), %xmm0
movdqa %xmm1, -0x450(%rbp)
movdqa %xmm0, -0x460(%rbp)
movdqa -0x450(%rbp), %xmm0
por -0x460(%rbp), %xmm0
movdqa %xmm0, -0xae0(%rbp)
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movdqa -0xae0(%rbp), %xmm0
movl -0x7c0(%rbp), %esi
addl $0x1, %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
callq 0x57d030
movq -0x808(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x5e8(%rbp)
movq -0x5e8(%rbp), %rax
movdqa (%rax), %xmm0
movdqa %xmm0, -0xa00(%rbp)
movl -0x7c0(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c0(%rbp)
jmp 0x57bde2
movdqa -0x9d0(%rbp), %xmm0
movdqa %xmm0, -0x9f0(%rbp)
movdqa -0x9c0(%rbp), %xmm0
movdqa %xmm0, -0x9e0(%rbp)
movl $0x0, -0x7c8(%rbp)
movl -0x7c8(%rbp), %eax
cmpl -0x7e4(%rbp), %eax
jge 0x57ce0f
movq -0x830(%rbp), %rax
movl -0x7c4(%rbp), %ecx
addl $0x1, %ecx
movslq %ecx, %rcx
movl (%rax,%rcx,4), %eax
subl -0x7b8(%rbp), %eax
cltq
movq %rax, -0xae8(%rbp)
cmpq $-0x80000000, -0xae8(%rbp) # imm = 0x80000000
jge 0x57c51c
movq $-0x80000000, %rax      # imm = 0x80000000
movq %rax, -0xbf8(%rbp)
jmp 0x57c52a
movq -0xae8(%rbp), %rax
movq %rax, -0xbf8(%rbp)
movq -0xbf8(%rbp), %rax
movl %eax, -0xaec(%rbp)
movq -0x808(%rbp), %rax
movl -0x7e8(%rbp), %ecx
decl %ecx
movslq %ecx, %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x5f0(%rbp)
movq -0x5f0(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0xb00(%rbp)
movaps -0xb00(%rbp), %xmm0
pslldq $0x4, %xmm0             # xmm0 = zero,zero,zero,zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11]
movaps %xmm0, -0xb00(%rbp)
movaps -0xb00(%rbp), %xmm0
movq -0x830(%rbp), %rax
movslq -0x7c4(%rbp), %rcx
movl (%rax,%rcx,4), %edi
xorl %esi, %esi
movl %esi, -0xbfc(%rbp)
callq 0x57d090
movl -0xbfc(%rbp), %esi
movaps %xmm0, -0xb00(%rbp)
movaps -0x990(%rbp), %xmm0
pslldq $0x4, %xmm0             # xmm0 = zero,zero,zero,zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11]
movaps %xmm0, -0x990(%rbp)
movaps -0x990(%rbp), %xmm0
movl -0xaec(%rbp), %edi
callq 0x57d090
movl -0xbfc(%rbp), %esi
movaps %xmm0, -0x990(%rbp)
movaps -0x9d0(%rbp), %xmm0
pslldq $0x4, %xmm0             # xmm0 = zero,zero,zero,zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11]
movaps %xmm0, -0x9d0(%rbp)
movaps -0x9d0(%rbp), %xmm0
movl -0x854(%rbp), %edi
callq 0x57d090
movl -0xbfc(%rbp), %esi
movaps %xmm0, -0x9d0(%rbp)
movaps -0x9c0(%rbp), %xmm0
pslldq $0x4, %xmm0             # xmm0 = zero,zero,zero,zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11]
movaps %xmm0, -0x9c0(%rbp)
movaps -0x9c0(%rbp), %xmm0
movl -0xaec(%rbp), %edi
callq 0x57d090
movl -0xbfc(%rbp), %esi
movaps %xmm0, -0x9c0(%rbp)
movaps -0x9f0(%rbp), %xmm0
pslldq $0x4, %xmm0             # xmm0 = zero,zero,zero,zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11]
movaps %xmm0, -0x9f0(%rbp)
movaps -0x9f0(%rbp), %xmm0
movl -0x854(%rbp), %edi
callq 0x57d090
movaps %xmm0, -0x9f0(%rbp)
movaps -0x9e0(%rbp), %xmm0
pslldq $0x4, %xmm0             # xmm0 = zero,zero,zero,zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11]
movdqa %xmm0, -0x9e0(%rbp)
movdqa -0x9e0(%rbp), %xmm0
movl -0xaec(%rbp), %edi
xorl %esi, %esi
callq 0x57d090
movdqa %xmm0, -0x9e0(%rbp)
movl $0x0, -0x7c0(%rbp)
movl -0x7c0(%rbp), %eax
cmpl -0x7e8(%rbp), %eax
jge 0x57cdf9
movq -0x800(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x5f8(%rbp)
movq -0x5f8(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0xa00(%rbp)
movaps -0xa00(%rbp), %xmm0
movaps -0x9c0(%rbp), %xmm1
callq 0x57d0c0
movaps %xmm0, -0xa00(%rbp)
movq -0x800(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps -0xa00(%rbp), %xmm0
movq %rax, -0x708(%rbp)
movaps %xmm0, -0x720(%rbp)
movaps -0x720(%rbp), %xmm0
movq -0x708(%rbp), %rax
movaps %xmm0, (%rax)
movaps -0x890(%rbp), %xmm0
movaps -0xa00(%rbp), %xmm1
callq 0x57d190
movaps %xmm0, -0x890(%rbp)
movaps -0x8a0(%rbp), %xmm0
movaps -0xa00(%rbp), %xmm1
callq 0x57d0c0
movaps %xmm0, -0x8a0(%rbp)
movaps -0xb00(%rbp), %xmm1
movq -0xa18(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x600(%rbp)
movq -0x600(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm1, -0x5b0(%rbp)
movaps %xmm0, -0x5c0(%rbp)
movaps -0x5b0(%rbp), %xmm0
movaps -0x5c0(%rbp), %xmm1
paddd %xmm1, %xmm0
movaps %xmm0, -0xb00(%rbp)
movaps -0xa00(%rbp), %xmm1
movaps -0xb00(%rbp), %xmm0
movaps %xmm1, -0x530(%rbp)
movaps %xmm0, -0x540(%rbp)
movaps -0x530(%rbp), %xmm0
movaps -0x540(%rbp), %xmm1
pcmpeqd %xmm1, %xmm0
movaps %xmm0, -0xb30(%rbp)
movaps -0xa00(%rbp), %xmm1
movaps -0x9c0(%rbp), %xmm0
movaps %xmm1, -0x550(%rbp)
movaps %xmm0, -0x560(%rbp)
movaps -0x550(%rbp), %xmm0
movaps -0x560(%rbp), %xmm1
pcmpeqd %xmm1, %xmm0
movaps %xmm0, -0xb40(%rbp)
movaps -0xb30(%rbp), %xmm1
movaps -0xb40(%rbp), %xmm0
movaps %xmm1, -0x250(%rbp)
movaps %xmm0, -0x260(%rbp)
movaps -0x250(%rbp), %xmm0
movaps -0x260(%rbp), %xmm1
pandn %xmm1, %xmm0
movaps %xmm0, -0xb50(%rbp)
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
callq 0x57d260
movaps %xmm0, -0xb10(%rbp)
movq -0x828(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x608(%rbp)
movq -0x608(%rbp), %rax
movaps (%rax), %xmm0
movaps %xmm0, -0xb20(%rbp)
movaps -0xb20(%rbp), %xmm0
movaps -0x8d0(%rbp), %xmm1
movaps -0xb50(%rbp), %xmm2
callq 0x57d2b0
movaps %xmm0, -0xb20(%rbp)
movq -0x828(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movaps -0xb20(%rbp), %xmm0
movq %rax, -0x728(%rbp)
movaps %xmm0, -0x740(%rbp)
movaps -0x740(%rbp), %xmm0
movq -0x728(%rbp), %rax
movaps %xmm0, (%rax)
movaps -0xb10(%rbp), %xmm1
movaps -0x930(%rbp), %xmm0
movaps %xmm1, -0x210(%rbp)
movaps %xmm0, -0x220(%rbp)
movaps -0x210(%rbp), %xmm0
movaps -0x220(%rbp), %xmm1
pand %xmm1, %xmm0
movaps %xmm0, -0xb10(%rbp)
movaps -0xb10(%rbp), %xmm1
movaps -0xb20(%rbp), %xmm0
movaps %xmm1, -0x470(%rbp)
movaps %xmm0, -0x480(%rbp)
movaps -0x470(%rbp), %xmm0
movaps -0x480(%rbp), %xmm1
por %xmm1, %xmm0
movaps %xmm0, -0xb10(%rbp)
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movaps -0xb10(%rbp), %xmm0
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
callq 0x57d030
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
callq 0x57d260
movaps %xmm0, -0xb60(%rbp)
movaps -0x990(%rbp), %xmm1
movaps -0x9f0(%rbp), %xmm0
movaps %xmm1, -0x2b0(%rbp)
movaps %xmm0, -0x2c0(%rbp)
movaps -0x2b0(%rbp), %xmm0
movaps -0x2c0(%rbp), %xmm1
pcmpgtd %xmm1, %xmm0
movdqa %xmm0, -0xb70(%rbp)
movdqa -0x920(%rbp), %xmm0
movdqa -0x910(%rbp), %xmm1
movdqa -0xb70(%rbp), %xmm2
callq 0x57d2b0
movdqa %xmm0, -0xb80(%rbp)
movdqa -0xb60(%rbp), %xmm1
movdqa -0x940(%rbp), %xmm0
movdqa %xmm1, -0x230(%rbp)
movdqa %xmm0, -0x240(%rbp)
movdqa -0x230(%rbp), %xmm0
pand -0x240(%rbp), %xmm0
movdqa %xmm0, -0xb60(%rbp)
movdqa -0xb60(%rbp), %xmm1
movdqa -0xb80(%rbp), %xmm0
movdqa %xmm1, -0x490(%rbp)
movdqa %xmm0, -0x4a0(%rbp)
movdqa -0x490(%rbp), %xmm0
por -0x4a0(%rbp), %xmm0
movdqa %xmm0, -0xb60(%rbp)
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movdqa -0xb60(%rbp), %xmm0
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
callq 0x57d030
movdqa -0xa00(%rbp), %xmm1
movdqa -0x840(%rbp), %xmm0
movdqa %xmm1, -0x3b0(%rbp)
movdqa %xmm0, -0x3c0(%rbp)
movdqa -0x3b0(%rbp), %xmm0
movdqa -0x3c0(%rbp), %xmm1
psubd %xmm1, %xmm0
movdqa %xmm0, -0x990(%rbp)
movdqa -0x9c0(%rbp), %xmm1
movdqa -0x850(%rbp), %xmm0
movdqa %xmm1, -0x3d0(%rbp)
movdqa %xmm0, -0x3e0(%rbp)
movdqa -0x3d0(%rbp), %xmm0
movdqa -0x3e0(%rbp), %xmm1
psubd %xmm1, %xmm0
movdqa %xmm0, -0x9d0(%rbp)
movq -0x820(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x610(%rbp)
movq -0x610(%rbp), %rax
movdqa (%rax), %xmm0
movdqa %xmm0, -0xb90(%rbp)
movdqa -0xb90(%rbp), %xmm1
movdqa -0x850(%rbp), %xmm0
movdqa %xmm1, -0x3f0(%rbp)
movdqa %xmm0, -0x400(%rbp)
movdqa -0x3f0(%rbp), %xmm0
movdqa -0x400(%rbp), %xmm1
psubd %xmm1, %xmm0
movdqa %xmm0, -0xba0(%rbp)
movdqa -0x990(%rbp), %xmm0
movdqa -0xba0(%rbp), %xmm1
callq 0x57d0c0
movdqa %xmm0, -0xb90(%rbp)
movq -0x818(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movdqa -0xb90(%rbp), %xmm0
movq %rax, -0x748(%rbp)
movdqa %xmm0, -0x760(%rbp)
movdqa -0x760(%rbp), %xmm0
movq -0x748(%rbp), %rax
movdqa %xmm0, (%rax)
movl -0x7c4(%rbp), %eax
addl $0x1, %eax
cmpl -0x7b4(%rbp), %eax
jge 0x57ccb3
movaps -0x990(%rbp), %xmm1
movaps -0xba0(%rbp), %xmm0
movaps %xmm1, -0x2d0(%rbp)
movaps %xmm0, -0x2e0(%rbp)
movaps -0x2d0(%rbp), %xmm0
movaps -0x2e0(%rbp), %xmm1
pcmpgtd %xmm1, %xmm0
movdqa %xmm0, -0xbb0(%rbp)
movdqa -0x900(%rbp), %xmm0
movdqa -0x8f0(%rbp), %xmm1
movdqa -0xbb0(%rbp), %xmm2
callq 0x57d2b0
movdqa %xmm0, -0xbc0(%rbp)
movq -0x8a8(%rbp), %rax
movq 0x10(%rax), %rax
movq (%rax), %rdi
movdqa -0xbc0(%rbp), %xmm0
movl -0x7c0(%rbp), %esi
movl -0x7e8(%rbp), %edx
movl -0x7c4(%rbp), %ecx
addl $0x1, %ecx
callq 0x57d030
movaps -0x9d0(%rbp), %xmm1
movaps -0x990(%rbp), %xmm0
movaps %xmm1, -0x2f0(%rbp)
movaps %xmm0, -0x300(%rbp)
movaps -0x2f0(%rbp), %xmm1
movaps -0x300(%rbp), %xmm0
pcmpgtd %xmm0, %xmm1
movaps -0x9d0(%rbp), %xmm2
movaps -0x990(%rbp), %xmm0
movaps %xmm2, -0x570(%rbp)
movaps %xmm0, -0x580(%rbp)
movaps -0x570(%rbp), %xmm0
movaps -0x580(%rbp), %xmm2
pcmpeqd %xmm2, %xmm0
movdqa %xmm1, -0x4b0(%rbp)
movdqa %xmm0, -0x4c0(%rbp)
movdqa -0x4b0(%rbp), %xmm0
por -0x4c0(%rbp), %xmm0
movdqa %xmm0, -0x1f0(%rbp)
movdqa -0x1f0(%rbp), %xmm0
pmovmskb %xmm0, %eax
cmpl $0x0, %eax
jne 0x57cd4d
jmp 0x57ce11
movdqa -0x9d0(%rbp), %xmm0
movdqa %xmm0, -0x9c0(%rbp)
movdqa -0x9e0(%rbp), %xmm1
movdqa -0x850(%rbp), %xmm0
movdqa %xmm1, -0x410(%rbp)
movdqa %xmm0, -0x420(%rbp)
movdqa -0x410(%rbp), %xmm0
movdqa -0x420(%rbp), %xmm1
psubd %xmm1, %xmm0
movdqa %xmm0, -0x9f0(%rbp)
movdqa -0x990(%rbp), %xmm0
movdqa -0x9f0(%rbp), %xmm1
callq 0x57d0c0
movdqa %xmm0, -0x9e0(%rbp)
movq -0x808(%rbp), %rax
movslq -0x7c0(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x618(%rbp)
movq -0x618(%rbp), %rax
movdqa (%rax), %xmm0
movdqa %xmm0, -0xb00(%rbp)
movl -0x7c0(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c0(%rbp)
jmp 0x57c6aa
jmp 0x57cdfb
movl -0x7c8(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c8(%rbp)
jmp 0x57c4c8
jmp 0x57ce11
jmp 0x57ce13
movl -0x7c4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c4(%rbp)
jmp 0x57bcad
movq -0x800(%rbp), %rax
movslq -0x7ec(%rbp), %rcx
shlq $0x4, %rcx
addq %rcx, %rax
movq %rax, -0x620(%rbp)
movq -0x620(%rbp), %rax
movdqa (%rax), %xmm0
movdqa %xmm0, -0xbd0(%rbp)
movl $0x0, -0x7c8(%rbp)
movl -0x7c8(%rbp), %eax
cmpl -0x7f0(%rbp), %eax
jge 0x57ce93
movaps -0xbd0(%rbp), %xmm0
pslldq $0x4, %xmm0             # xmm0 = zero,zero,zero,zero,xmm0[0,1,2,3,4,5,6,7,8,9,10,11]
movdqa %xmm0, -0xbd0(%rbp)
movl -0x7c8(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x7c8(%rbp)
jmp 0x57ce60
movaps -0xbd0(%rbp), %xmm0
movl $0x3, %edi
callq 0x57d340
movl %eax, -0x85c(%rbp)
movaps -0x890(%rbp), %xmm1
movaps -0x870(%rbp), %xmm0
movaps %xmm1, -0x1d0(%rbp)
movaps %xmm0, -0x1e0(%rbp)
movaps -0x1e0(%rbp), %xmm1
movaps -0x1d0(%rbp), %xmm0
movaps %xmm1, -0x1b0(%rbp)
movaps %xmm0, -0x1c0(%rbp)
movaps -0x1b0(%rbp), %xmm1
movaps -0x1c0(%rbp), %xmm0
pcmpgtd %xmm0, %xmm1
movaps -0x8a0(%rbp), %xmm2
movaps -0x880(%rbp), %xmm0
movaps %xmm2, -0x310(%rbp)
movaps %xmm0, -0x320(%rbp)
movaps -0x310(%rbp), %xmm0
movaps -0x320(%rbp), %xmm2
pcmpgtd %xmm2, %xmm0
movdqa %xmm1, -0x4d0(%rbp)
movdqa %xmm0, -0x4e0(%rbp)
movdqa -0x4d0(%rbp), %xmm0
por -0x4e0(%rbp), %xmm0
movdqa %xmm0, -0x200(%rbp)
movdqa -0x200(%rbp), %xmm0
pmovmskb %xmm0, %eax
cmpl $0x0, %eax
je 0x57cf89
movq -0x8a8(%rbp), %rax
movl 0xc(%rax), %ecx
orl $0x40, %ecx
movl %ecx, 0xc(%rax)
movl $0x0, -0x85c(%rbp)
movl $0x0, -0x7d0(%rbp)
movl $0x0, -0x7d4(%rbp)
movl -0x85c(%rbp), %ecx
movq -0x8a8(%rbp), %rax
movl %ecx, (%rax)
movl -0x7d0(%rbp), %ecx
movq -0x8a8(%rbp), %rax
movl %ecx, 0x4(%rax)
movl -0x7d4(%rbp), %ecx
movq -0x8a8(%rbp), %rax
movl %ecx, 0x8(%rax)
movq -0x830(%rbp), %rdi
callq 0x1c3590
movq -0x828(%rbp), %rdi
callq 0x1c3590
movq -0x820(%rbp), %rdi
callq 0x1c3590
movq -0x818(%rbp), %rdi
callq 0x1c3590
movq -0x810(%rbp), %rdi
callq 0x1c3590
movq -0x808(%rbp), %rdi
callq 0x1c3590
movq -0x800(%rbp), %rdi
callq 0x1c3590
movq -0x8a8(%rbp), %rax
movq %rax, -0x7a0(%rbp)
movq -0x7a0(%rbp), %rax
addq $0xc00, %rsp            # imm = 0xC00
popq %rbp
retq
nopw (%rax,%rax)