On Thu, 27 May 2021 13:14:02 +0900, Richard Henderson wrote: > > The existing check was completely wrong, confused about the > definition of the (previous) float_flag_{input,output}_denormal > flags, then making sure that DN, the flush-to-zero bit, was off. > > Update for the introduction of float_flag_inorm_denormal and > float_flag_result_denormal, taking into account that DN now sets > the softfloat flush-to-zero bits. > > Cc: Philippe Mathieu-Daudé <f4...@amsat.org> > Cc: Yoshinori Sato <ys...@users.sourceforge.jp> > Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
Reviewd-by: Yoshinori Sato <ys...@users.sourceforge.jp> > --- > target/rx/op_helper.c | 8 +++++--- > 1 file changed, 5 insertions(+), 3 deletions(-) > > diff --git a/target/rx/op_helper.c b/target/rx/op_helper.c > index b1772e9538..c2e4f9a5e3 100644 > --- a/target/rx/op_helper.c > +++ b/target/rx/op_helper.c > @@ -97,9 +97,11 @@ static void update_fpsw(CPURXState *env, float32 ret, > uintptr_t retaddr) > if (xcpt & float_flag_inexact) { > SET_FPSW(X); > } > - if ((xcpt & (float_flag_iflush_denormal > - | float_flag_oflush_denormal)) > - && !FIELD_EX32(env->fpsw, FPSW, DN)) { > + /* > + * If any input or output denormals, not flushed to zero, raise CE: > + * unimplemented processing has been encountered. > + */ > + if (xcpt & (float_flag_inorm_denormal | float_flag_result_denormal)) > { > env->fpsw = FIELD_DP32(env->fpsw, FPSW, CE, 1); > } > > -- > 2.25.1 > >