[llvm] [ValueTracking] Convert `isKnownNonZero` to use SimplifyQuery (PR #85863)

via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 11 08:20:04 PDT 2024


================
@@ -124,11 +124,7 @@ bool isOnlyUsedInZeroEqualityComparison(const Instruction *CxtI);
 /// specified, perform context-sensitive analysis and return true if the
 /// pointer couldn't possibly be null at the specified instruction.
 /// Supports values with integer or pointer type and vectors of integers.
-bool isKnownNonZero(const Value *V, const DataLayout &DL, unsigned Depth = 0,
-                    AssumptionCache *AC = nullptr,
-                    const Instruction *CxtI = nullptr,
-                    const DominatorTree *DT = nullptr,
-                    bool UseInstrInfo = true);
----------------
goldsteinn wrote:

Do you also need to erase the old API? `computeKnownBits` has both.

https://github.com/llvm/llvm-project/pull/85863


More information about the llvm-commits mailing list