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

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

In D138814#3981279 <https://reviews.llvm.org/D138814#3981279>, @arsenm wrote:

> Rather, if we can produce the add and compare as a more canonical form and match that in the backend, that would be better

Agreed - if we're just creating add+icmp rather than the intrinsic, then that seems fine to do here.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138814