On Thu, 2 Jul 2015, David Sherwood wrote: > > > On Mon, 29 Jun 2015, David Sherwood wrote: > > > > > Hi, > > > > > > I have added new STRICT_MAX_EXPR and STRICT_MIN_EXPR expressions to > > > support the > > > IEEE versions of fmin and fmax. This is done by recognising the math > > > library > > > "fmax" and "fmin" builtin functions in a similar way to how this is done > > > for > > > -ffast-math. This also allows us to vectorise the IEEE max/min functions > > > for > > > targets that support it, for example aarch64/aarch32. > > > > This patch is missing documentation. You need to document the new insn > > patterns in md.texi and the new tree codes in generic.texi. > > Hi, I've uploaded a new patch with the documentation. Hope this is ok.
In various places where you refer to one operand being NaN, I think you mean one operand being a *quiet* NaN (if one is a signaling NaN - only supported by GCC if -fsignaling-nans - the IEEE minNum and maxNum operations raise "invalid" and return a quiet NaN). -- Joseph S. Myers jos...@codesourcery.com
