[PATCH] D118928: [FPEnv][InstSimplify] Fold fsub X, +0 ==> X
Nuno Lopes via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
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
More information about the llvm-commits
mailing list