Searched refs:isValidAssumeForContext (Results 1 – 11 of 11) sorted by relevance
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | AlignmentFromAssumptions.cpp | 217 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption() 226 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption() 235 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption()
|
| H A D | InferAddressSpaces.cpp | 903 if (!isValidAssumeForContext(CI, I, DT)) in getPredicatedAddrSpace()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | AssumeBundleBuilder.cpp | 125 if (!isValidAssumeForContext(Assume, InstBeingModified, DT)) in tryToPreserveWithoutAddingAssume() 130 } 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 D | AssumeBundleQueries.cpp | 202 return isValidAssumeForContext(I, CtxI, DT); in getKnowledgeValidInContext()
|
| H A D | BasicAliasAnalysis.cpp | 1636 return isValidAssumeForContext(Assume, PtrI, DT, in aliasCheck() 1642 return isValidAssumeForContext(Assume, FirstI, DT, in aliasCheck() 1652 if ((CtxI && isValidAssumeForContext(Assume, CtxI, DT, in aliasCheck()
|
| H A D | Loads.cpp | 168 if (!isValidAssumeForContext(Assume, CtxI, DT)) in isDereferenceableAndAlignedPointer()
|
| H A D | ValueTracking.cpp | 493 bool llvm::isValidAssumeForContext(const Instruction *Inv, in isValidAssumeForContext() function in llvm 602 isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownNonZeroFromAssume() 618 if (cmpExcludesZero(Pred, RHS) && isValidAssumeForContext(I, Q.CxtI, Q.DT)) in isKnownNonZeroFromAssume() 828 isValidAssumeForContext(I, Q.CxtI, Q.DT)) in computeKnownBitsFromContext() 840 if (Arg == V && isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromContext() 847 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromContext() 862 if (!isValidAssumeForContext(I, Q.CxtI, Q.DT)) in computeKnownBitsFromContext() 2490 isValidAssumeForContext(cast<Instruction>(U), CtxI, DT)) in isKnownNonNullFromDominatingCondition() 4834 if (!isValidAssumeForContext(I, Q.CxtI, Q.DT)) in computeKnownFPClassFromContext() 9747 if (!isValidAssumeForContext(I, CtxI, DT)) in computeConstantRange()
|
| H A D | LazyValueInfo.cpp | 813 if (I->getParent() != BB || !isValidAssumeForContext(I, BBI)) in intersectAssumeOrGuardBlockValueConstantRange()
|
| H A D | InstructionSimplify.cpp | 3697 if (isValidAssumeForContext(Assume, Q.CxtI, Q.DT)) in simplifyICmpWithDominatingAssume()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Analysis/ |
| H A D | ValueTracking.h | 893 bool isValidAssumeForContext(const Instruction *I, const Instruction *CxtI,
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/InstCombine/ |
| H A D | InstCombineCalls.cpp | 3038 isValidAssumeForContext(II, LHS, &DT)) { in visitCallInst()
|