static void float64_maddsub_update_excp(CPUPPCState *env, float64 arg1,

                                        float64 arg2, float64 arg3,

                                        unsigned int madd_flags)

{

    if (unlikely((float64_is_infinity(arg1) && float64_is_zero(arg2)) ||

                 (float64_is_zero(arg1) && float64_is_infinity(arg2)))) {

        /* Multiplication of zero by infinity */

        arg1 = float_invalid_op_excp(env, POWERPC_EXCP_FP_VXIMZ, 1);

    } else if (unlikely(float64_is_signaling_nan(arg1, &env->fp_status) ||

                        float64_is_signaling_nan(arg2, &env->fp_status) ||

                        float64_is_signaling_nan(arg3, &env->fp_status))) {

        /* sNaN operation */

        float_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN, 1);

    } else if ((float64_is_infinity(arg1) || float64_is_infinity(arg2)) &&

               float64_is_infinity(arg3)) {

        uint8_t aSign, bSign, cSign;



        aSign = float64_is_neg(arg1);

        bSign = float64_is_neg(arg2);

        cSign = float64_is_neg(arg3);

        if (madd_flags & float_muladd_negate_c) {

            cSign ^= 1;

        }

        if (aSign ^ bSign ^ cSign) {

            float_invalid_op_excp(env, POWERPC_EXCP_FP_VXISI, 1);

        }

    }

}

static void float64_maddsub_update_excp(CPUPPCState *env, float64 arg1,

                                        float64 arg2, float64 arg3,

                                        unsigned int madd_flags)

{

    if (unlikely((float64_is_infinity(arg1) && float64_is_zero(arg2)) ||

                 (float64_is_zero(arg1) && float64_is_infinity(arg2)))) {

        

        arg1 = float_invalid_op_excp(env, POWERPC_EXCP_FP_VXIMZ, 1);

    } else if (unlikely(float64_is_signaling_nan(arg1, &env->fp_status) ||

                        float64_is_signaling_nan(arg2, &env->fp_status) ||

                        float64_is_signaling_nan(arg3, &env->fp_status))) {

        

        float_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN, 1);

    } else if ((float64_is_infinity(arg1) || float64_is_infinity(arg2)) &&

               float64_is_infinity(arg3)) {

        uint8_t aSign, bSign, cSign;



        aSign = float64_is_neg(arg1);

        bSign = float64_is_neg(arg2);

        cSign = float64_is_neg(arg3);

        if (madd_flags & float_muladd_negate_c) {

            cSign ^= 1;

        }

        if (aSign ^ bSign ^ cSign) {

            float_invalid_op_excp(env, POWERPC_EXCP_FP_VXISI, 1);

        }

    }

}

static void FUNC_0(CPUPPCState *VAR_0, float64 VAR_1,

                                        float64 VAR_2, float64 VAR_3,

                                        unsigned int VAR_4)

{

    if (unlikely((float64_is_infinity(VAR_1) && float64_is_zero(VAR_2)) ||

                 (float64_is_zero(VAR_1) && float64_is_infinity(VAR_2)))) {

        

        VAR_1 = float_invalid_op_excp(VAR_0, POWERPC_EXCP_FP_VXIMZ, 1);

    } else if (unlikely(float64_is_signaling_nan(VAR_1, &VAR_0->fp_status) ||

                        float64_is_signaling_nan(VAR_2, &VAR_0->fp_status) ||

                        float64_is_signaling_nan(VAR_3, &VAR_0->fp_status))) {

        

        float_invalid_op_excp(VAR_0, POWERPC_EXCP_FP_VXSNAN, 1);

    } else if ((float64_is_infinity(VAR_1) || float64_is_infinity(VAR_2)) &&

               float64_is_infinity(VAR_3)) {

        uint8_t aSign, bSign, cSign;



        aSign = float64_is_neg(VAR_1);

        bSign = float64_is_neg(VAR_2);

        cSign = float64_is_neg(VAR_3);

        if (VAR_4 & float_muladd_negate_c) {

            cSign ^= 1;

        }

        if (aSign ^ bSign ^ cSign) {

            float_invalid_op_excp(VAR_0, POWERPC_EXCP_FP_VXISI, 1);

        }

    }

}

static void FUNC_0(CPUPPCState *VAR_0, float64 VAR_1,
float64 VAR_2, float64 VAR_3,
unsigned int VAR_4)
{ if (unlikely((float64_is_infinity(VAR_1) && float64_is_zero(VAR_2)) ||
(float64_is_zero(VAR_1) && float64_is_infinity(VAR_2)))) { VAR_1 = float_invalid_op_excp(VAR_0, POWERPC_EXCP_FP_VXIMZ, 1); } else if (unlikely(float64_is_signaling_nan(VAR_1, &VAR_0->fp_status) || float64_is_signaling_nan(VAR_2, &VAR_0->fp_status) ||
float64_is_signaling_nan(VAR_3, &VAR_0->fp_status))) { float_invalid_op_excp(VAR_0, POWERPC_EXCP_FP_VXSNAN, 1); } else if ((float64_is_infinity(VAR_1) || float64_is_infinity(VAR_2)) && float64_is_infinity(VAR_3)) { uint8_t aSign, bSign, cSign; aSign = float64_is_neg(VAR_1); bSign = float64_is_neg(VAR_2); cSign = float64_is_neg(VAR_3); if (VAR_4 & float_muladd_negate_c) { cSign ^= 1; } if (aSign ^ bSign ^ cSign) { float_invalid_op_excp(VAR_0, POWERPC_EXCP_FP_VXISI, 1); } } }