void helper_idivq_EAX_T0(void)

{

    uint64_t r0, r1;

    if (T0 == 0) {

        raise_exception(EXCP00_DIVZ);

    }

    r0 = EAX;

    r1 = EDX;

    idiv64(&r0, &r1, T0);

    EAX = r0;

    EDX = r1;

}

void helper_idivq_EAX_T0(void)

{

    uint64_t r0, r1;

    if (T0 == 0) {

        raise_exception(EXCP00_DIVZ);

    }

    r0 = EAX;

    r1 = EDX;

    idiv64(&r0, &r1, T0);

    EAX = r0;

    EDX = r1;

}

    idiv64(&r0, &r1, T0);
void FUNC_0(void)

{

    uint64_t r0, r1;

    if (T0 == 0) {

        raise_exception(EXCP00_DIVZ);

    }

    r0 = EAX;

    r1 = EDX;

    idiv64(&r0, &r1, T0);

    EAX = r0;

    EDX = r1;

}

void FUNC_0(void)
{ uint64_t r0, r1; if (T0 == 0) { raise_exception(EXCP00_DIVZ); } r0 = EAX; r1 = EDX; idiv64(&r0, &r1, T0); EAX = r0; EDX = r1; }