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

[Matt Arsenault via llvm-dev]

> 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