[PATCH] D69006: [SCEV] Simplify umin/max of zext and sext of the same value

[Nikita Popov via Phabricator via llvm-commits]

nikic added a comment.

As the property you're ultimately using here is that `zext x u<= sext x`, would it make more sense to include that as part of `isKnownViaNonRecursiveReasoning()`?  A corollary is that `sext x s<= zext x`.


Repository:
  rL LLVM

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

https://reviews.llvm.org/D69006