Searched defs:AssumeVH (Results 1 – 10 of 10) sorted by relevance
69 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues() local91 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues() local
861 for (auto &AssumeVH : AC->assumptions()) { in intersectAssumeBlockValueConstantRange() local
529 for (auto &AssumeVH : Q.AC->assumptions()) { in computeKnownBitsFromAssume() local
7916 for (auto &AssumeVH : AC.assumptions()) { in isLoopBackedgeGuardedByCond() local8010 for (auto &AssumeVH : AC.assumptions()) { in isLoopEntryGuardedByCond() local
78 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues() local102 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues() local
809 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange() local
577 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume() local
9226 for (auto &AssumeVH : AC.assumptions()) { in isLoopBackedgeGuardedByCond() local9377 for (auto &AssumeVH : AC.assumptions()) { in isLoopEntryGuardedByCond() local
394 for (auto &AssumeVH : AC.assumptions()) in runImpl() local
423 for (auto &AssumeVH : AC.assumptions()) in runImpl() local