On Fri, Feb 9, 2018 at 11:28 AM, Eric Botcazou <ebotca...@adacore.com> wrote: > Hi, > > the change > > 2016-05-02 Marc Glisse <marc.gli...@inria.fr> > > * match.pd (X u< X, X u> X): New transformations. > > has an annoying effect on targets implementing (most) unordered comparisons in > hardware but not the UNORDERED operator itself, e.g. PowerPC SPE, because it > makes the compiler generate unnecessary libcalls to __unord[sd]f2. > > The attached patch contains a trick to undo the effect of the change at the > RTL level for such targets. It was tested on PowerPC SPE with a certified > version of VxWorks (which provides a minimal certified libgcc) where it fixes > the link failure of ACATS c45242b with optimization enabled. > > OK for the mainline?
Ok. Richard. > > 2018-02-09 Eric Botcazou <ebotca...@adacore.com> > > * optabs.c (prepare_cmp_insn): Try harder to emit a direct comparison > instead of a libcall for UNORDERED. > > -- > Eric Botcazou