Searched refs:assumptionsFor (Results 1 – 9 of 9) sorted by relevance
158 MutableArrayRef<ResultElem> assumptionsFor(const Value *V) { in assumptionsFor() function
168 for (AssumptionCache::ResultElem &Elem : AC.assumptionsFor(V)) { in getKnowledgeForValue()
632 for (AssumptionCache::ResultElem &Elem : Q.AC->assumptionsFor(V)) { in isKnownNonZeroFromAssume()880 for (AssumptionCache::ResultElem &Elem : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromContext()2425 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in isKnownToBeAPowerOfTwo()3860 for (auto &AssumeVH : Q.AC->assumptionsFor(V1)) { in isKnownNonEqualFromContext()4641 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownFPClassFromContext()10042 for (auto &AssumeVH : AC->assumptionsFor(V)) { in computeConstantRange()
1657 for (AssumptionCache::ResultElem &Elem : AC.assumptionsFor(O1)) { in aliasCheck()
765 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange()
3679 for (auto &AssumeVH : Q.AC->assumptionsFor(AssumeBaseOp)) { in simplifyICmpWithDominatingAssume()
972 for (auto &AssumeVH : AC.assumptionsFor(StrippedPtr)) { in getPredicatedAddrSpace()
2096 for (auto AffectedValVH : AC->assumptionsFor(I->getOperand(0))) { in verifyAssumptionCache()
864 for (auto &AssumeVH : AC.assumptionsFor(U)) { in foldIntrinsicWithOverflowCommon()