Searched refs:assumptionsFor (Results 1 – 6 of 6) sorted by relevance
153 MutableArrayRef<ResultElem> assumptionsFor(const Value *V) { in assumptionsFor() function
164 for (AssumptionCache::ResultElem &Elem : AC->assumptionsFor(V)) { in getKnowledgeForValue()
760 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange()
604 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in isKnownNonZeroFromAssume()651 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume()7031 for (auto &AssumeVH : AC->assumptionsFor(V)) { in computeConstantRange()
3352 for (auto &AssumeVH : Q.AC->assumptionsFor(AssumeBaseOp)) { in simplifyICmpWithDominatingAssume()
1798 for (auto AffectedValVH : AC->assumptionsFor(I->getOperand(0))) { in verifyAssumptionCache()