Searched refs:assumptionsFor (Results 1 – 3 of 3) sorted by relevance
135 MutableArrayRef<WeakTrackingVH> assumptionsFor(const Value *V) { in assumptionsFor() function
809 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange()
577 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume()