diff options
Diffstat (limited to 'llvm/lib/Analysis/ValueTracking.cpp')
-rw-r--r-- | llvm/lib/Analysis/ValueTracking.cpp | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/llvm/lib/Analysis/ValueTracking.cpp b/llvm/lib/Analysis/ValueTracking.cpp index 45c3b85..1460641 100644 --- a/llvm/lib/Analysis/ValueTracking.cpp +++ b/llvm/lib/Analysis/ValueTracking.cpp @@ -316,18 +316,14 @@ static bool isKnownNonEqual(const Value *V1, const Value *V2, const SimplifyQuery &Q); bool llvm::isKnownNonEqual(const Value *V1, const Value *V2, - const DataLayout &DL, AssumptionCache *AC, - const Instruction *CxtI, const DominatorTree *DT, - bool UseInstrInfo) { + const SimplifyQuery &Q, unsigned Depth) { // We don't support looking through casts. if (V1 == V2 || V1->getType() != V2->getType()) return false; auto *FVTy = dyn_cast<FixedVectorType>(V1->getType()); APInt DemandedElts = FVTy ? APInt::getAllOnes(FVTy->getNumElements()) : APInt(1, 1); - return ::isKnownNonEqual( - V1, V2, DemandedElts, 0, - SimplifyQuery(DL, DT, AC, safeCxtI(V2, V1, CxtI), UseInstrInfo)); + return ::isKnownNonEqual(V1, V2, DemandedElts, Depth, Q); } bool llvm::MaskedValueIsZero(const Value *V, const APInt &Mask, |