target/ppc: Honor fpscr_ze semantics and tidy fre, fresqrt
Divide by zero, exception taken, leaves the destination register unmodified. Therefore we must raise the exception before returning from the respective helpers. >From helper_fre, divide by zero exception not taken, return the documented +/- 0.5. At the same time, tidy the invalid exception checking so that we rely on softfloat for initial argument validation, and select the kind of invalid operand exception only when we know we must. At the same time, pass and return float64 values directly rather than bounce through the CPU_DoubleU union. 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
49ab52ef69
commit
3843471755
|
@ -879,18 +879,27 @@ float64 helper_fsqrt(CPUPPCState *env, float64 arg)
|
||||||
}
|
}
|
||||||
|
|
||||||
/* fre - fre. */
|
/* fre - fre. */
|
||||||
uint64_t helper_fre(CPUPPCState *env, uint64_t arg)
|
float64 helper_fre(CPUPPCState *env, float64 arg)
|
||||||
{
|
{
|
||||||
CPU_DoubleU farg;
|
/* "Estimate" the reciprocal with actual division. */
|
||||||
|
float64 ret = float64_div(float64_one, arg, &env->fp_status);
|
||||||
|
int status = get_float_exception_flags(&env->fp_status);
|
||||||
|
|
||||||
farg.ll = arg;
|
if (unlikely(status)) {
|
||||||
|
if (status & float_flag_invalid) {
|
||||||
if (unlikely(float64_is_signaling_nan(farg.d, &env->fp_status))) {
|
if (float64_is_signaling_nan(arg, &env->fp_status)) {
|
||||||
/* sNaN reciprocal */
|
/* sNaN reciprocal */
|
||||||
float_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN, 1);
|
float_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN, 1);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (status & float_flag_divbyzero) {
|
||||||
|
float_zero_divide_excp(env, GETPC());
|
||||||
|
/* For FPSCR.ZE == 0, the result is 1/2. */
|
||||||
|
ret = float64_set_sign(float64_half, float64_is_neg(arg));
|
||||||
|
}
|
||||||
}
|
}
|
||||||
farg.d = float64_div(float64_one, farg.d, &env->fp_status);
|
|
||||||
return farg.d;
|
return ret;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* fres - fres. */
|
/* fres - fres. */
|
||||||
|
@ -913,27 +922,30 @@ uint64_t helper_fres(CPUPPCState *env, uint64_t arg)
|
||||||
}
|
}
|
||||||
|
|
||||||
/* frsqrte - frsqrte. */
|
/* frsqrte - frsqrte. */
|
||||||
uint64_t helper_frsqrte(CPUPPCState *env, uint64_t arg)
|
float64 helper_frsqrte(CPUPPCState *env, float64 arg)
|
||||||
{
|
{
|
||||||
CPU_DoubleU farg;
|
/* "Estimate" the reciprocal with actual division. */
|
||||||
|
float64 rets = float64_sqrt(arg, &env->fp_status);
|
||||||
|
float64 retd = float64_div(float64_one, rets, &env->fp_status);
|
||||||
|
int status = get_float_exception_flags(&env->fp_status);
|
||||||
|
|
||||||
farg.ll = arg;
|
if (unlikely(status)) {
|
||||||
|
if (status & float_flag_invalid) {
|
||||||
if (unlikely(float64_is_any_nan(farg.d))) {
|
if (float64_is_signaling_nan(arg, &env->fp_status)) {
|
||||||
if (unlikely(float64_is_signaling_nan(farg.d, &env->fp_status))) {
|
/* sNaN reciprocal */
|
||||||
/* sNaN reciprocal square root */
|
float_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN, 1);
|
||||||
float_invalid_op_excp(env, POWERPC_EXCP_FP_VXSNAN, 1);
|
} else {
|
||||||
farg.ll = float64_snan_to_qnan(farg.ll);
|
/* Square root of a negative nonzero number */
|
||||||
|
float_invalid_op_excp(env, POWERPC_EXCP_FP_VXSQRT, 1);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if (status & float_flag_divbyzero) {
|
||||||
|
/* Reciprocal of (square root of) zero. */
|
||||||
|
float_zero_divide_excp(env, GETPC());
|
||||||
}
|
}
|
||||||
} else if (unlikely(float64_is_neg(farg.d) && !float64_is_zero(farg.d))) {
|
|
||||||
/* Reciprocal square root of a negative nonzero number */
|
|
||||||
farg.ll = float_invalid_op_excp(env, POWERPC_EXCP_FP_VXSQRT, 1);
|
|
||||||
} else {
|
|
||||||
farg.d = float64_sqrt(farg.d, &env->fp_status);
|
|
||||||
farg.d = float64_div(float64_one, farg.d, &env->fp_status);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
return farg.ll;
|
return retd;
|
||||||
}
|
}
|
||||||
|
|
||||||
/* fsel - fsel. */
|
/* fsel - fsel. */
|
||||||
|
|
Loading…
Reference in a new issue