On Thu, Aug 02, 2012 at 05:20:24PM +0200, Marc Glisse wrote: > On Thu, 2 Aug 2012, Nathan Froyd wrote: > >> PR tree-optimization/53805 > >> * fold-const.c (invert_tree_comparison): Do invert ORDERED_EXPR and > >> UNORDERED_EXPR for floating point. > > > >Minor protest about the ChangeLog: I think you mean "Do _not_ invert..." > > No, I do mean do invert. The point of the patch is that even for > floating point and even with trapping-math, it is still safe to > invert them.
Ahhh, yes. I misread the patch. > Maybe I can reformulate as: "Invert ORDERED_EXPR and UNORDERED_EXPR > even for trapping floating point." ? That works for me. -Nathan
