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

[Jay Foad via Phabricator via llvm-commits]

foad added a comment.

Looks OK to me techincally but I will leave it to an InstCombine maintainer to approve.

I don't think there is any requirement for the wider type to be exactly double the narrower type.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D138814