[PATCH] D107552: [InstCombine] Combine lshr of add that intends to get the carry as llvm.uadd.with.overflow

[Abinav Puthan Purayil via Phabricator via llvm-commits]

abinavpp added a comment.

In D107552#2933906 <https://reviews.llvm.org/D107552#2933906>, @lebedev.ri wrote:

> Most of non-correctness bailouts here don't really make sense to me.
> Presumably, if it is profitable for a particular backend, said backend should be expanding whatever "bad" intrinsics into it's original form.

I agree that we shouldn't ideally add non-correctness bailouts, but I would like to do whatever I can in this patch to avoid regressing other backends.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D107552