[PATCH] D138814: [InstCombine] Combine a/lshr of add -> uadd.with.overflow

[Pierre van Houtryve via Phabricator via llvm-commits]

Pierre-vh added a comment.

By `a + b < a` do you mean that the combine would:

- Still reduce the add to the smaller type
- Replace the overflow bit (lshr) with `icmp lt (add a, b), a`?

Does the backend already transform that to uaddo or will that need a separate patch in the target's CGP?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138814