Searched refs:assumptionsFor (Results 1 – 10 of 10) sorted by relevance
507 auto AR = AC.assumptionsFor(F->getArg(3)); in TEST()509 AR = AC.assumptionsFor(F->getArg(1)); in TEST()513 AR = AC.assumptionsFor(F->getArg(2)); in TEST()517 AR = AC.assumptionsFor(F->getArg(0)); in TEST()527 AR = AC.assumptionsFor(F->getArg(4)); in TEST()532 AR = AC.assumptionsFor(F->getArg(1)); in TEST()534 AR = AC.assumptionsFor(F->getArg(0)); in TEST()544 AR = AC.assumptionsFor(F->getArg(2)); in TEST()
138 MutableArrayRef<WeakTrackingVH> assumptionsFor(const Value *V) { in assumptionsFor() function
153 MutableArrayRef<ResultElem> assumptionsFor(const Value *V) { in assumptionsFor() function
177 for (AssumptionCache::ResultElem &Elem : AC->assumptionsFor(V)) { in getKnowledgeForValue()
760 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange()
638 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in isKnownNonZeroFromAssume()686 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume()6643 for (auto &AssumeVH : AC->assumptionsFor(V)) { in computeConstantRange()
3270 for (auto &AssumeVH : Q.AC->assumptionsFor(AssumeBaseOp)) { in simplifyICmpWithDominatingAssume()
1795 for (auto AffectedValVH : AC->assumptionsFor(I->getOperand(0))) { in verifyAssumptionCache()
832 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange()
618 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in isKnownNonZeroFromAssume()658 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume()