void helper_divl_EAX_T0(void)

{

    unsigned int den, q, r;

    uint64_t num;

    

    num = ((uint32_t)EAX) | ((uint64_t)((uint32_t)EDX) << 32);

    den = T0;

    if (den == 0) {

        raise_exception(EXCP00_DIVZ);

    }

#ifdef BUGGY_GCC_DIV64

    r = div32(&q, num, den);

#else

    q = (num / den);

    r = (num % den);

#endif

    EAX = (uint32_t)q;

    EDX = (uint32_t)r;

}

void helper_divl_EAX_T0(void)

{

    unsigned int den, q, r;

    uint64_t num;

    

    num = ((uint32_t)EAX) | ((uint64_t)((uint32_t)EDX) << 32);

    den = T0;

    if (den == 0) {

        raise_exception(EXCP00_DIVZ);

    }

#ifdef BUGGY_GCC_DIV64

    r = div32(&q, num, den);

#else

    q = (num / den);

    r = (num % den);

#endif

    EAX = (uint32_t)q;

    EDX = (uint32_t)r;

}

    unsigned int den, q, r;     uint64_t num;
void FUNC_0(void)

{

    unsigned int VAR_0, VAR_1, VAR_2;

    uint64_t num;

    

    num = ((uint32_t)EAX) | ((uint64_t)((uint32_t)EDX) << 32);

    VAR_0 = T0;

    if (VAR_0 == 0) {

        raise_exception(EXCP00_DIVZ);

    }

#ifdef BUGGY_GCC_DIV64

    VAR_2 = div32(&VAR_1, num, VAR_0);

#else

    VAR_1 = (num / VAR_0);

    VAR_2 = (num % VAR_0);

#endif

    EAX = (uint32_t)VAR_1;

    EDX = (uint32_t)VAR_2;

}

void FUNC_0(void)
{ unsigned int VAR_0, VAR_1, VAR_2; uint64_t num; num = ((uint32_t)EAX) | ((uint64_t)((uint32_t)EDX) << 32); VAR_0 = T0; if (VAR_0 == 0) { raise_exception(EXCP00_DIVZ); } #ifdef BUGGY_GCC_DIV64
VAR_2 = div32(&VAR_1, num, VAR_0); #else
VAR_1 = (num / VAR_0); VAR_2 = (num % VAR_0); #endif
EAX = (uint32_t)VAR_1; EDX = (uint32_t)VAR_2; }