Lines Matching defs:AC
258 AssumptionCache ∾
295 AssumptionCache &AC)
296 : PI(PI), F(F), DT(DT), AC(AC) {
558 for (auto &Assume : AC.assumptions()) {
802 AssumptionCache &AC)
804 PredicateInfoBuilder Builder(*this, F, DT, AC);
857 auto &AC = getAnalysis<AssumptionCacheTracker>().getAssumptionCache(F);
858 auto PredInfo = std::make_unique<PredicateInfo>(F, DT, AC);
870 auto &AC = AM.getResult<AssumptionAnalysis>(F);
872 auto PredInfo = std::make_unique<PredicateInfo>(F, DT, AC);
933 auto &AC = AM.getResult<AssumptionAnalysis>(F);
934 std::make_unique<PredicateInfo>(F, DT, AC)->verifyPredicateInfo();