Searched defs:AssumeVH (Results 1 – 7 of 7) sorted by relevance
76 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues() local100 for (auto &AssumeVH : AC->assumptions()) { in collectEphemeralValues() local
603 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in isKnownNonZeroFromAssume() local650 for (auto &AssumeVH : Q.AC->assumptionsFor(V)) { in computeKnownBitsFromAssume() local6964 for (auto &AssumeVH : AC->assumptionsFor(V)) { in computeConstantRange() local
760 for (auto &AssumeVH : AC->assumptionsFor(Val)) { in intersectAssumeOrGuardBlockValueConstantRange() local
10063 for (auto &AssumeVH : AC.assumptions()) { in isLoopBackedgeGuardedByCond() local10213 for (auto &AssumeVH : AC.assumptions()) { in isBasicBlockEntryGuardedByCond() local13512 for (auto &AssumeVH : AC.assumptions()) { in applyLoopGuards() local
3316 for (auto &AssumeVH : Q.AC->assumptionsFor(AssumeBaseOp)) { in simplifyICmpWithDominatingAssume() local
334 for (auto &AssumeVH : AC.assumptions()) in runImpl() local
1783 for (auto AssumeVH : AC->assumptions()) { in verifyAssumptionCache() local