void do_POWER_abso (void)

{

    if (T0 == INT32_MIN) {

        T0 = INT32_MAX;

        xer_ov = 1;

        xer_so = 1;

    } else {

        T0 = -T0;

        xer_ov = 0;

    }

}

void do_POWER_abso (void)

{

    if (T0 == INT32_MIN) {

        T0 = INT32_MAX;

        xer_ov = 1;

        xer_so = 1;

    } else {

        T0 = -T0;

        xer_ov = 0;

    }

}

    } 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 (T0 == INT32_MIN) {
void FUNC_0 (void)

{

    if (T0 == INT32_MIN) {

        T0 = INT32_MAX;

        xer_ov = 1;

        xer_so = 1;

    } else {

        T0 = -T0;

        xer_ov = 0;

    }

}

void FUNC_0 (void)
{ if (T0 == INT32_MIN) { T0 = INT32_MAX; xer_ov = 1; xer_so = 1; } else { T0 = -T0; xer_ov = 0; } }