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

Yingwei Zheng via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 11 08:30:55 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);
----------------
dtcxzyw wrote:

I don't see any reason to keep the old API. It is unlikely to break LLVM downstream users' build (except some static analysis tools).


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


More information about the llvm-commits mailing list