Searched refs:assumptionsFor (Results 1 – 7 of 7) sorted by relevance
157 MutableArrayRef<ResultElem> assumptionsFor(const Value *V) { in assumptionsFor() function
164 for (AssumptionCache::ResultElem &Elem : AC->assumptionsFor(V)) { in getKnowledgeForValue()
766 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange()
616 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in isKnownNonZeroFromAssume()661 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume()7440 for (auto &AssumeVH : AC->assumptionsFor(V)) { in computeConstantRange()
3638 for (auto &AssumeVH : Q.AC->assumptionsFor(AssumeBaseOp)) { in simplifyICmpWithDominatingAssume()
879 for (auto &AssumeVH : AC.assumptionsFor(Opnd)) { in getPredicatedAddrSpace()
1878 for (auto AffectedValVH : AC->assumptionsFor(I->getOperand(0))) { in verifyAssumptionCache()