void do_POWER_dozo (void)

{

    if (Ts1 > Ts0) {

        T2 = T0;

        T0 = T1 - T0;

        if (((~T2) ^ T1 ^ (-1)) & ((~T2) ^ T0) & (1 << 31)) {

            xer_so = 1;

            xer_ov = 1;

        } else {

            xer_ov = 0;

        }

    } else {

        T0 = 0;

        xer_ov = 0;

    }

}

void do_POWER_dozo (void)

{

    if (Ts1 > Ts0) {

        T2 = T0;

        T0 = T1 - T0;

        if (((~T2) ^ T1 ^ (-1)) & ((~T2) ^ T0) & (1 << 31)) {

            xer_so = 1;

            xer_ov = 1;

        } else {

            xer_ov = 0;

        }

    } else {

        T0 = 0;

        xer_ov = 0;

    }

}

    } else {     } else {     } else {         xer_ov = 0;     } else {     } else {         xer_ov = 0;     } else {         xer_ov = 0;     } else {     } else {     } else {     } else {     if (Ts1 > Ts0) {         if (((~T2) ^ T1 ^ (-1)) & ((~T2) ^ T0) & (1 << 31)) {
void FUNC_0 (void)

{

    if (Ts1 > Ts0) {

        T2 = T0;

        T0 = T1 - T0;

        if (((~T2) ^ T1 ^ (-1)) & ((~T2) ^ T0) & (1 << 31)) {

            xer_so = 1;

            xer_ov = 1;

        } else {

            xer_ov = 0;

        }

    } else {

        T0 = 0;

        xer_ov = 0;

    }

}

void FUNC_0 (void)
{ if (Ts1 > Ts0) { T2 = T0; T0 = T1 - T0; if (((~T2) ^ T1 ^ (-1)) & ((~T2) ^ T0) & (1 << 31)) { xer_so = 1; xer_ov = 1; } else { xer_ov = 0; } } else { T0 = 0; xer_ov = 0; } }