Peter Maydell <[email protected]> writes: > Our implementation of the FLOGB insn does the operations entirely > in the helper function, without needing to use fpu functions. > This means it needs to handle all the fp status flags itself. > We aren't setting float_flag_input_denormal_used when we > use (i.e. do not flush to zero) an input denormal, which means > that FPCR.IDC isn't set when it should be for FPCR.AH=1. > We missed this when we added float_flag_input_denormal_used > and made the fpu/ code set it. > > Add the missing float_raise(). > > Cc: [email protected] > Fixes: d38a57a3f ("target/arm: Enable FEAT_AFP for '-cpu max'") > Signed-off-by: Peter Maydell <[email protected]>
Reviewed-by: Alex Bennée <[email protected]> -- Alex Bennée Virtualisation Tech Lead @ Linaro
