target/ppc: Split out float_invalid_cvt
Signed-off-by: Richard Henderson <richard.henderson@linaro.org> Signed-off-by: David Gibson <david@gibson.dropbear.id.au>
This commit is contained in:
parent
fec59ef30c
commit
a3dec427e0
|
@ -750,30 +750,30 @@ float64 helper_fdiv(CPUPPCState *env, float64 arg1, float64 arg2)
|
||||||
return ret;
|
return ret;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
static void float_invalid_cvt(CPUPPCState *env, bool set_fprc,
|
||||||
|
uintptr_t retaddr, int class1)
|
||||||
|
{
|
||||||
|
float_invalid_op_vxcvi(env, set_fprc, retaddr);
|
||||||
|
if (class1 & is_snan) {
|
||||||
|
float_invalid_op_vxsnan(env, retaddr);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
#define FPU_FCTI(op, cvt, nanval) \
|
#define FPU_FCTI(op, cvt, nanval) \
|
||||||
uint64_t helper_##op(CPUPPCState *env, uint64_t arg) \
|
uint64_t helper_##op(CPUPPCState *env, float64 arg) \
|
||||||
{ \
|
{ \
|
||||||
CPU_DoubleU farg; \
|
uint64_t ret = float64_to_##cvt(arg, &env->fp_status); \
|
||||||
|
int status = get_float_exception_flags(&env->fp_status); \
|
||||||
\
|
\
|
||||||
farg.ll = arg; \
|
if (unlikely(status)) { \
|
||||||
farg.ll = float64_to_##cvt(farg.d, &env->fp_status); \
|
if (status & float_flag_invalid) { \
|
||||||
\
|
float_invalid_cvt(env, 1, GETPC(), float64_classify(arg)); \
|
||||||
if (unlikely(env->fp_status.float_exception_flags)) { \
|
ret = nanval; \
|
||||||
if (float64_is_any_nan(arg)) { \
|
|
||||||
float_invalid_op_vxcvi(env, 1, GETPC()); \
|
|
||||||
if (float64_is_signaling_nan(arg, &env->fp_status)) { \
|
|
||||||
float_invalid_op_vxsnan(env, GETPC()); \
|
|
||||||
} \
|
|
||||||
farg.ll = nanval; \
|
|
||||||
} else if (env->fp_status.float_exception_flags & \
|
|
||||||
float_flag_invalid) { \
|
|
||||||
float_invalid_op_vxcvi(env, 1, GETPC()); \
|
|
||||||
} \
|
} \
|
||||||
do_float_check_status(env, GETPC()); \
|
do_float_check_status(env, GETPC()); \
|
||||||
} \
|
} \
|
||||||
return farg.ll; \
|
return ret; \
|
||||||
}
|
}
|
||||||
|
|
||||||
FPU_FCTI(fctiw, int32, 0x80000000U)
|
FPU_FCTI(fctiw, int32, 0x80000000U)
|
||||||
FPU_FCTI(fctiwz, int32_round_to_zero, 0x80000000U)
|
FPU_FCTI(fctiwz, int32_round_to_zero, 0x80000000U)
|
||||||
|
@ -2965,6 +2965,7 @@ uint64_t helper_xscvspdpn(CPUPPCState *env, uint64_t xb)
|
||||||
#define VSX_CVT_FP_TO_INT(op, nels, stp, ttp, sfld, tfld, rnan) \
|
#define VSX_CVT_FP_TO_INT(op, nels, stp, ttp, sfld, tfld, rnan) \
|
||||||
void helper_##op(CPUPPCState *env, uint32_t opcode) \
|
void helper_##op(CPUPPCState *env, uint32_t opcode) \
|
||||||
{ \
|
{ \
|
||||||
|
int all_flags = env->fp_status.float_exception_flags, flags; \
|
||||||
ppc_vsr_t xt, xb; \
|
ppc_vsr_t xt, xb; \
|
||||||
int i; \
|
int i; \
|
||||||
\
|
\
|
||||||
|
@ -2972,22 +2973,18 @@ void helper_##op(CPUPPCState *env, uint32_t opcode) \
|
||||||
getVSR(xT(opcode), &xt, env); \
|
getVSR(xT(opcode), &xt, env); \
|
||||||
\
|
\
|
||||||
for (i = 0; i < nels; i++) { \
|
for (i = 0; i < nels; i++) { \
|
||||||
if (unlikely(stp##_is_any_nan(xb.sfld))) { \
|
env->fp_status.float_exception_flags = 0; \
|
||||||
if (stp##_is_signaling_nan(xb.sfld, &env->fp_status)) { \
|
xt.tfld = stp##_to_##ttp##_round_to_zero(xb.sfld, &env->fp_status); \
|
||||||
float_invalid_op_vxsnan(env, GETPC()); \
|
flags = env->fp_status.float_exception_flags; \
|
||||||
} \
|
if (unlikely(flags & float_flag_invalid)) { \
|
||||||
float_invalid_op_vxcvi(env, 0, GETPC()); \
|
float_invalid_cvt(env, 0, GETPC(), stp##_classify(xb.sfld)); \
|
||||||
xt.tfld = rnan; \
|
xt.tfld = rnan; \
|
||||||
} else { \
|
|
||||||
xt.tfld = stp##_to_##ttp##_round_to_zero(xb.sfld, \
|
|
||||||
&env->fp_status); \
|
|
||||||
if (env->fp_status.float_exception_flags & float_flag_invalid) { \
|
|
||||||
float_invalid_op_vxcvi(env, 0, GETPC()); \
|
|
||||||
} \
|
|
||||||
} \
|
} \
|
||||||
|
all_flags |= flags; \
|
||||||
} \
|
} \
|
||||||
\
|
\
|
||||||
putVSR(xT(opcode), &xt, env); \
|
putVSR(xT(opcode), &xt, env); \
|
||||||
|
env->fp_status.float_exception_flags = all_flags; \
|
||||||
do_float_check_status(env, GETPC()); \
|
do_float_check_status(env, GETPC()); \
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -3025,18 +3022,10 @@ void helper_##op(CPUPPCState *env, uint32_t opcode) \
|
||||||
getVSR(rB(opcode) + 32, &xb, env); \
|
getVSR(rB(opcode) + 32, &xb, env); \
|
||||||
memset(&xt, 0, sizeof(xt)); \
|
memset(&xt, 0, sizeof(xt)); \
|
||||||
\
|
\
|
||||||
if (unlikely(stp##_is_any_nan(xb.sfld))) { \
|
xt.tfld = stp##_to_##ttp##_round_to_zero(xb.sfld, &env->fp_status); \
|
||||||
if (stp##_is_signaling_nan(xb.sfld, &env->fp_status)) { \
|
if (env->fp_status.float_exception_flags & float_flag_invalid) { \
|
||||||
float_invalid_op_vxsnan(env, GETPC()); \
|
float_invalid_cvt(env, 0, GETPC(), stp##_classify(xb.sfld)); \
|
||||||
} \
|
|
||||||
float_invalid_op_vxcvi(env, 0, GETPC()); \
|
|
||||||
xt.tfld = rnan; \
|
xt.tfld = rnan; \
|
||||||
} else { \
|
|
||||||
xt.tfld = stp##_to_##ttp##_round_to_zero(xb.sfld, \
|
|
||||||
&env->fp_status); \
|
|
||||||
if (env->fp_status.float_exception_flags & float_flag_invalid) { \
|
|
||||||
float_invalid_op_vxcvi(env, 0, GETPC()); \
|
|
||||||
} \
|
|
||||||
} \
|
} \
|
||||||
\
|
\
|
||||||
putVSR(rD(opcode) + 32, &xt, env); \
|
putVSR(rD(opcode) + 32, &xt, env); \
|
||||||
|
|
Loading…
Reference in a new issue