[llvm-dev] Condition code in DAGCombiner::visitFADDForFMACombine?

[Ryan Taylor via llvm-dev]

Matt,
I'm sorry, actually it's fma not fmad.

In the post-legalizer DAG combine for the given code it's producing fma not
fmad. That doens't seem correct.

On Tue, Aug 21, 2018 at 10:11 AM Matt Arsenault <arsenm2 at gmail.com> wrote:

>
>
> > On Aug 21, 2018, at 17:08, Ryan Taylor via llvm-dev <
> llvm-dev at lists.llvm.org> wrote:
> >
> > So I have a test case where:
> >
> > %20 = fmul nnan arcp float %15, %19
> > %21 = fadd reassoc nnan arcp contract float %20, -1.000000e+00
> >
> > is being contracted in DAG to fmad. Is this correct since the fmul has
> no reassoc or contract fast math flag?
> >
> > Thanks.
>
>
> fmad is defined as the exact same result as the separate fmul + fadd,
> unlike fma so this is OK
>
> -Matt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20180821/bbfc21d6/attachment.html>