[PATCH] D74066: [ValueTracking] usub(a, b) cannot overflow if a >= b.

[Nikita Popov via Phabricator via llvm-commits]

nikic accepted this revision.
nikic added a comment.
This revision is now accepted and ready to land.

LG as well.

For what it's worth, I think doing this generally is also fine, but we should probably wait until it actually shows up in practice before enabling that.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D74066