https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92488
--- Comment #3 from Peter Bergner <bergner at gcc dot gnu.org> --- (In reply to Segher Boessenkool from comment #2) > Doing everything but the final conversion down in round-to-odd mode works > correctly always. It's magic :-) Ok, so Paul's sequence is what we want and we don't need anything for the other cases I mentioned since they're not double casting. Thanks.
