Searched defs:AssumeVH (Results 1 – 11 of 11) 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
76 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues() local100 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues() local
832 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange() local
618 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in isKnownNonZeroFromAssume() local658 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume() local
9565 for (auto &AssumeVH : AC.assumptions()) { in isLoopBackedgeGuardedByCond() local9720 for (auto &AssumeVH : AC.assumptions()) { in isLoopEntryGuardedByCond() local
392 for (auto &AssumeVH : AC.assumptions()) in runImpl() local
423 for (auto &AssumeVH : AC.assumptions()) in runImpl() local
1614 for (auto AssumeVH : AC->assumptions()) { in verifyAssumptionCache() local