[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