void do_mullwo (void)

{

    int64_t res = (int64_t)Ts0 * (int64_t)Ts1;



    if (likely((int32_t)res == res)) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

    T0 = (int32_t)res;

}

void do_mullwo (void)

{

    int64_t res = (int64_t)Ts0 * (int64_t)Ts1;



    if (likely((int32_t)res == res)) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

    T0 = (int32_t)res;

}

    } 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 {     int64_t res = (int64_t)Ts0 * (int64_t)Ts1;         xer_so = 1;     } else {         xer_so = 1;     } else {
void FUNC_0 (void)

{

    int64_t res = (int64_t)Ts0 * (int64_t)Ts1;



    if (likely((int32_t)res == res)) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

    T0 = (int32_t)res;

}

void FUNC_0 (void)
{ int64_t res = (int64_t)Ts0 * (int64_t)Ts1; if (likely((int32_t)res == res)) { xer_ov = 0; } else { xer_ov = 1; xer_so = 1; } T0 = (int32_t)res; }