Searched refs:assumptionsFor (Results 1 – 3 of 3) sorted by relevance
138 MutableArrayRef<WeakTrackingVH> assumptionsFor(const Value *V) { in assumptionsFor() function
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()