Home
last modified time | relevance | path

Searched refs:assumptionsFor (Results 1 – 8 of 8) sorted by relevance

/llvm-project-15.0.7/llvm/unittests/Analysis/
H A DAssumeBundleQueriesTest.cpp522 auto AR = AC.assumptionsFor(F->getArg(3)); in TEST()
524 AR = AC.assumptionsFor(F->getArg(1)); in TEST()
528 AR = AC.assumptionsFor(F->getArg(2)); in TEST()
532 AR = AC.assumptionsFor(F->getArg(0)); in TEST()
542 AR = AC.assumptionsFor(F->getArg(4)); in TEST()
547 AR = AC.assumptionsFor(F->getArg(1)); in TEST()
549 AR = AC.assumptionsFor(F->getArg(0)); in TEST()
559 AR = AC.assumptionsFor(F->getArg(2)); in TEST()
/llvm-project-15.0.7/llvm/include/llvm/Analysis/
H A DAssumptionCache.h157 MutableArrayRef<ResultElem> assumptionsFor(const Value *V) { in assumptionsFor() function
/llvm-project-15.0.7/llvm/lib/Analysis/
H A DAssumeBundleQueries.cpp164 for (AssumptionCache::ResultElem &Elem : AC->assumptionsFor(V)) { in getKnowledgeForValue()
H A DLazyValueInfo.cpp762 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange()
H A DValueTracking.cpp648 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in isKnownNonZeroFromAssume()
696 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume()
7255 for (auto &AssumeVH : AC->assumptionsFor(V)) { in computeConstantRange()
H A DInstructionSimplify.cpp3568 for (auto &AssumeVH : Q.AC->assumptionsFor(AssumeBaseOp)) { in simplifyICmpWithDominatingAssume()
/llvm-project-15.0.7/llvm/lib/Transforms/Scalar/
H A DInferAddressSpaces.cpp877 for (auto &AssumeVH : AC.assumptionsFor(Opnd)) { in getPredicatedAddrSpace()
/llvm-project-15.0.7/llvm/lib/Transforms/Utils/
H A DCodeExtractor.cpp1868 for (auto AffectedValVH : AC->assumptionsFor(I->getOperand(0))) { in verifyAssumptionCache()