[PATCH] D149203: [ValueTracking] Add logic for `udiv x, y != 0` if `y u<= x`

[Noah Goldstein via Phabricator via llvm-commits]

goldstein.w.n marked an inline comment as done.
goldstein.w.n added a comment.

In D149203#4298080 <https://reviews.llvm.org/D149203#4298080>, @nikic wrote:

> I don't think you need the isKnownNonZero() check? If `X >= Y` and `X == 0` then `Y == 0`, which is UB. https://alive2.llvm.org/ce/z/hw8Gs9 Or maybe even simpler: https://alive2.llvm.org/ce/z/QhiNtE

Bright. Updated title and summary with your alive2 link.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D149203