Home
last modified time | relevance | path

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

/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DAlignmentFromAssumptions.cpp261 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption()
270 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption()
279 if (!isValidAssumeForContext(ACall, J, DT)) in processAssumption()
H A DInferAddressSpaces.cpp881 if (!isValidAssumeForContext(CI, I, DT)) in getPredicatedAddrSpace()
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DAssumeBundleBuilder.cpp126 if (!isValidAssumeForContext(Assume, InstBeingModified, DT)) in tryToPreserveWithoutAddingAssume()
131 } else if (isValidAssumeForContext(InstBeingModified, Assume, DT)) { in tryToPreserveWithoutAddingAssume()
431 if (isValidAssumeForContext( in dropRedundantKnowledge()
444 if (!isValidAssumeForContext(Elem.Assume, Assume, DT)) in dropRedundantKnowledge()
449 } else if (isValidAssumeForContext(Assume, Elem.Assume, DT)) { in dropRedundantKnowledge()
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DValueTracking.cpp566 bool llvm::isValidAssumeForContext(const Instruction *Inv, in isValidAssumeForContext() function in llvm
718 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
753 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
761 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
892 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
905 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
918 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
931 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
944 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
955 isValidAssumeForContext(I, Q.CxtI, Q.DT)) { in computeKnownBitsFromAssume()
[all …]
H A DAssumeBundleQueries.cpp201 return isValidAssumeForContext(I, CtxI, DT); in getKnowledgeValidInContext()
H A DLoads.cpp99 if (!isValidAssumeForContext(Assume, CtxI)) in isDereferenceableAndAlignedPointer()
H A DLazyValueInfo.cpp770 if (I->getParent() != BB || !isValidAssumeForContext(I, BBI)) in intersectAssumeOrGuardBlockValueConstantRange()
H A DInstructionSimplify.cpp3575 if (isValidAssumeForContext(Assume, Q.CxtI, Q.DT)) in simplifyICmpWithDominatingAssume()
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DValueTracking.h505 bool isValidAssumeForContext(const Instruction *I, const Instruction *CxtI,
/llvm-project-15.0.7/llvm/lib/Transforms/InstCombine/
H A DInstCombineCalls.cpp2223 isValidAssumeForContext(II, LHS, &DT)) { in visitCallInst()