void do_405_check_ov (void)

{

    if (likely(((T1 ^ T2) >> 31) || !((T0 ^ T2) >> 31))) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

}

void do_405_check_ov (void)

{

    if (likely(((T1 ^ T2) >> 31) || !((T0 ^ T2) >> 31))) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

}

    } else {     } else {     } 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 {         xer_so = 1;     } else {         xer_so = 1;     } else {     if (likely(((T1 ^ T2) >> 31) || !((T0 ^ T2) >> 31))) {
void FUNC_0 (void)

{

    if (likely(((T1 ^ T2) >> 31) || !((T0 ^ T2) >> 31))) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

}

void FUNC_0 (void)
{ if (likely(((T1 ^ T2) >> 31) || !((T0 ^ T2) >> 31))) { xer_ov = 0; } else { xer_ov = 1; xer_so = 1; } }