[PATCH] D69006: [SCEV] Simplify umin/max of zext and sext of the same value
Nikita Popov via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Wed Oct 16 11:33:37 PDT 2019
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
More information about the llvm-commits
mailing list