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

Mon Feb 7 08:32:52 PST 2022

nlopes added a subscriber: regehr.
nlopes added a comment.

In D118928#3301366 <https://reviews.llvm.org/D118928#3301366>, @sepavloff wrote:

> 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 .

let's ping @regehr to see if he has time to update the online version.

Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D118928