On Fri, Feb 9, 2018 at 11:28 AM, Eric Botcazou <ebotca...@adacore.com> wrote:
> 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?
> 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