[llvm] [InstSimplify] Generalize simplification of icmps with monotonic operands (PR #69471)
via llvm-commits
llvm-commits at lists.llvm.org
Wed Oct 18 09:01:19 PDT 2023
================
@@ -3103,6 +3103,54 @@ static Value *simplifyICmpWithConstant(CmpInst::Predicate Pred, Value *LHS,
return nullptr;
}
+/// Get values V_i such that V uge V_i (Greater) or V ule V_i (!Greater).
+static void getUnsignedMonotonicValues(SmallPtrSetImpl<Value *> &Res, Value *V,
+ bool Greater, unsigned Depth = 0) {
----------------
goldsteinn wrote:
Would replace greater with an enum that also support `GreaterOrEq` and `LessOrEq`. Also think a bool for `Signed` makes sense.
https://github.com/llvm/llvm-project/pull/69471
More information about the llvm-commits
mailing list