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