[llvm] [ValueTracking] Convert `isKnownNonZero` to use SimplifyQuery (PR #85863)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 11 08:53:07 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:
There are a few places it makes the code simpler (i.e the cases with just DL and depth==0).
https://github.com/llvm/llvm-project/pull/85863
More information about the llvm-commits
mailing list