[PATCH] D118928: [FPEnv][InstSimplify] Fold fsub X, +0 ==> X

[Serge Pavlov via Phabricator via llvm-commits]

sepavloff added a comment.

In D118928#3300459 <https://reviews.llvm.org/D118928#3300459>, @nlopes wrote:

> FWIW, I added support for constrained fadd/fsub/fmul/fdiv to Alive2 yesterday.

Sounds great!

I tried to play with this case, but got failure: https://alive2.llvm.org/ce/z/BV68q5 .


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118928