void do_divwo (void)

{

    if (likely(!((Ts0 == INT32_MIN && Ts1 == -1) || Ts1 == 0))) {

        xer_ov = 0;

        T0 = (Ts0 / Ts1);

    } else {

        xer_so = 1;

        xer_ov = 1;

        T0 = (-1) * ((uint32_t)T0 >> 31);

    }

}

void do_divwo (void)

{

    if (likely(!((Ts0 == INT32_MIN && Ts1 == -1) || Ts1 == 0))) {

        xer_ov = 0;

        T0 = (Ts0 / Ts1);

    } else {

        xer_so = 1;

        xer_ov = 1;

        T0 = (-1) * ((uint32_t)T0 >> 31);

    }

}

    } else {     } else {         T0 = (Ts0 / Ts1);     } else {         xer_ov = 0;     } else {         xer_so = 1;         xer_ov = 1;     } else {         xer_ov = 0;     } else {         xer_so = 1;         xer_ov = 1;         xer_ov = 0;     } else {         xer_so = 1;         xer_ov = 1;     } else {     if (likely(!((Ts0 == INT32_MIN && Ts1 == -1) || Ts1 == 0))) {         T0 = (Ts0 / Ts1);         xer_so = 1;     } else {         xer_so = 1;     } else {
void FUNC_0 (void)

{

    if (likely(!((Ts0 == INT32_MIN && Ts1 == -1) || Ts1 == 0))) {

        xer_ov = 0;

        T0 = (Ts0 / Ts1);

    } else {

        xer_so = 1;

        xer_ov = 1;

        T0 = (-1) * ((uint32_t)T0 >> 31);

    }

}

void FUNC_0 (void)
{ if (likely(!((Ts0 == INT32_MIN && Ts1 == -1) || Ts1 == 0))) { xer_ov = 0; T0 = (Ts0 / Ts1); } else { xer_so = 1; xer_ov = 1; T0 = (-1) * ((uint32_t)T0 >> 31); } }