On Mon, 14 Sep 2015, Richard Biener wrote: > To make progess here I think adding new optabs is fine. So can you > split out that part and implement builtin expanders > for fmin/max instead? > > Btw, FMIN/MAX_EXPR are not commutative AFAIK because of behavior for > fmax (-NaN, NaN) > vs. fmax (NaN, -NaN)?
For those cases, it's unspecified which NaN is returned, so they can be considered commutative (and likewise for the case when the arguments are 0 and -0). -- Joseph S. Myers jos...@codesourcery.com
