Lines Matching defs:AC

109   AssumptionCache* AC = nullptr;
113                      AssumptionCache *AC = nullptr, DominatorTree *DT = nullptr)
114       : M(M), InstBeingModified(I), AC(AC), DT(DT) {}
122         RK.WasOn, {RK.AttrKind}, AC,
293 bool llvm::salvageKnowledge(Instruction *I, AssumptionCache *AC,
298   AssumeBuilderState Builder(I->getModule(), I, AC, DT);
303     if (AC)
304       AC->registerAssumption(Intr);
311                                Instruction *CtxI, AssumptionCache *AC,
313   AssumeBuilderState Builder(CtxI->getModule(), CtxI, AC, DT);
321                                                   AssumptionCache *AC,
323   AssumeBuilderState Builder(Assume->getModule(), Assume, AC, DT);
338   AssumptionCache ∾
346   AssumeSimplify(Function &F, AssumptionCache &AC, DominatorTree *DT,
348       : F(F), AC(AC), DT(DT), C(C),
353     for (Value *V : AC.assumptions()) {
509     AC.registerAssumption(MergedAssume);
545 bool simplifyAssumes(Function &F, AssumptionCache *AC, DominatorTree *DT) {
546   AssumeSimplify AS(F, *AC, DT, F.getContext());
579   AssumptionCache *AC = &AM.getResult<AssumptionAnalysis>(F);
583     Changed |= salvageKnowledge(&I, AC, DT);