https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24021
--- Comment #14 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> --- (In reply to Jakub Jelinek from comment #11) > And also take into account different rounding modes if > user wants that to be honored. And that would eliminate the need to consider the possibility of double rounding in case of intermediate extended precision (as with x87).