[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