Searched defs:AssumeVH (Results 1 – 6 of 6) sorted by relevance
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
1614 for (auto AssumeVH : AC->assumptions()) { in verifyAssumptionCache() local