Home
last modified time | relevance | path

Searched refs:isValidAssumeForContext (Results 1 – 11 of 11) sorted by relevance

/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DAlignmentFromAssumptions.cpp218 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption()
227 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption()
236 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption()
H A DInferAddressSpaces.cpp976 if (!isValidAssumeForContext(CI, UserCtxI, DT)) in getPredicatedAddrSpace()
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp126 if (!isValidAssumeForContext(Assume, InstBeingModified, DT)) in tryToPreserveWithoutAddingAssume()
131 } else if (isValidAssumeForContext(InstBeingModified, Assume, DT)) { in tryToPreserveWithoutAddingAssume()
433 if (isValidAssumeForContext( in dropRedundantKnowledge()
446 if (!isValidAssumeForContext(Elem.Assume, Assume, DT)) in dropRedundantKnowledge()
451 } else if (isValidAssumeForContext(Assume, Elem.Assume, DT)) { in dropRedundantKnowledge()
/freebsd/contrib/llvm-project/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp192 return isValidAssumeForContext(I, CtxI, DT); in getKnowledgeValidInContext()
H A DLoads.cpp54 if (!isValidAssumeForContext(Assume, CtxI, DT)) in isDereferenceableAndAlignedPointerViaAssumption()
148 return CtxI && isValidAssumeForContext(I, CtxI, DT); in isDereferenceableAndAlignedPointer()
H A DBasicAliasAnalysis.cpp1675 return isValidAssumeForContext(Assume, PtrI, DT, in aliasCheck()
1681 return isValidAssumeForContext(Assume, FirstI, DT, in aliasCheck()
1691 if ((CtxI && isValidAssumeForContext(Assume, CtxI, DT, in aliasCheck()
H A DValueTracking.cpp505 bool llvm::isValidAssumeForContext(const Instruction *Inv, in isValidAssumeForContext() function in llvm
650 isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownNonZeroFromAssume()
666 if (cmpExcludesZero(Pred, RHS) && isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownNonZeroFromAssume()
898 isValidAssumeForContext(I, Q.CxtI, Q.DT, /*AllowEphemerals*/ true)) in computeKnownBitsFromContext()
910 if (Arg == V && isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromContext()
917 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromContext()
925 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromContext()
942 if (!isValidAssumeForContext(I, Q.CxtI, Q.DT)) in computeKnownBitsFromContext()
2431 isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownToBeAPowerOfTwo()
2716 isValidAssumeForContext(UI, CtxI, DT)) in isKnownNonNullFromDominatingCondition()
[all …]
H A DLazyValueInfo.cpp773 if (I->getParent() != BB || !isValidAssumeForContext(I, BBI)) in intersectAssumeOrGuardBlockValueConstantRange()
H A DInstructionSimplify.cpp3686 if (isValidAssumeForContext(Assume, Q.CxtI, Q.DT)) in simplifyICmpWithDominatingAssume()
/freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/
H A DValueTracking.h616 LLVM_ABI bool isValidAssumeForContext(const Instruction *I,
/freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp870 if (!isValidAssumeForContext(I, II, /*DT=*/nullptr, in foldIntrinsicWithOverflowCommon()
3333 isValidAssumeForContext(II, LHS, &DT)) { in visitCallInst()