void OPPROTO op_check_subfo_64 (void)

{

    if (likely(!(((uint64_t)(~T2) ^ (uint64_t)T1 ^ UINT64_MAX) &

                 ((uint64_t)(~T2) ^ (uint64_t)T0) & (1ULL << 63)))) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

    RETURN();

}

void OPPROTO op_check_subfo_64 (void)

{

    if (likely(!(((uint64_t)(~T2) ^ (uint64_t)T1 ^ UINT64_MAX) &

                 ((uint64_t)(~T2) ^ (uint64_t)T0) & (1ULL << 63)))) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

    RETURN();

}

        xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;     RETURN(); void OPPROTO op_check_subfo_64 (void)     if (likely(!(((uint64_t)(~T2) ^ (uint64_t)T1 ^ UINT64_MAX) &                  ((uint64_t)(~T2) ^ (uint64_t)T0) & (1ULL << 63)))) {         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;     RETURN();     RETURN();         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;         xer_ov = 0;     } else {         xer_ov = 1;         xer_so = 1;
void VAR_0 op_check_subfo_64 (void)

{

    if (likely(!(((uint64_t)(~T2) ^ (uint64_t)T1 ^ UINT64_MAX) &

                 ((uint64_t)(~T2) ^ (uint64_t)T0) & (1ULL << 63)))) {

        xer_ov = 0;

    } else {

        xer_ov = 1;

        xer_so = 1;

    }

    RETURN();

}

void VAR_0 op_check_subfo_64 (void)
{ if (likely(!(((uint64_t)(~T2) ^ (uint64_t)T1 ^ UINT64_MAX) &
((uint64_t)(~T2) ^ (uint64_t)T0) & (1ULL << 63)))) { xer_ov = 0; } else { xer_ov = 1; xer_so = 1; } RETURN(); }