Richard Henderson <richard.hender...@linaro.org> writes:
> The new name emphasizes that the output denormal has been flushed to zero. > > Patch created mechanically using: > sed -i s,float_flag_output_denormal,float_flag_oflush_denormal,g \ > $(git grep -l float_flag_output_denormal) > > Signed-off-by: Richard Henderson <richard.hender...@linaro.org> Reviewed-by: Alex Bennée <alex.ben...@linaro.org> -- Alex Bennée