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

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

FWIW our historical stance has always been that uadd.with.overflow is non-canonical, and the canonical pattern is `a + b < a` (for non-constant `b`). uadd.with.overflow generally has worse optimization support, which is why we only form it during CGP for backend purposes.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138814