[PATCH] D109953: [X86][FP16] Combine the FADD(A, FMA(B, C, 0)) to FMA(B, C, A)

[LuoYuanke via Phabricator via llvm-commits]

LuoYuanke added a comment.

In D109953#3007745 <https://reviews.llvm.org/D109953#3007745>, @craig.topper wrote:

> I'm not sure this transform is valid without no signed zeros. fma(x, y, -0.0) is equivalent to fmul.

Sorry, I lack the knowledge of 0.0 and -0.0. Why fma(x, y, 0.0) is not equal fmul?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D109953/new/

https://reviews.llvm.org/D109953