void do_405_check_sat (void)

{

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

        /* Saturate result */

        if (T2 >> 31) {

            T0 = INT32_MIN;

        } else {

            T0 = INT32_MAX;

        }

    }

}

void do_405_check_sat (void)

{

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

        

        if (T2 >> 31) {

            T0 = INT32_MIN;

        } else {

            T0 = INT32_MAX;

        }

    }

}

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

{

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

        

        if (T2 >> 31) {

            T0 = INT32_MIN;

        } else {

            T0 = INT32_MAX;

        }

    }

}

void FUNC_0 (void)
{ if (!likely(((T1 ^ T2) >> 31) || !((T0 ^ T2) >> 31))) { if (T2 >> 31) { T0 = INT32_MIN; } else { T0 = INT32_MAX; } } }