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,
292 bool llvm::salvageKnowledge(Instruction *I, AssumptionCache *AC,
297 AssumeBuilderState Builder(I->getModule(), I, AC, DT);
302 if (AC)
303 AC->registerAssumption(Intr);
310 Instruction *CtxI, AssumptionCache *AC,
312 AssumeBuilderState Builder(CtxI->getModule(), CtxI, AC, DT);
320 AssumptionCache *AC,
322 AssumeBuilderState Builder(Assume->getModule(), Assume, AC, DT);
337 AssumptionCache ∾
345 AssumeSimplify(Function &F, AssumptionCache &AC, DominatorTree *DT,
347 : F(F), AC(AC), DT(DT), C(C),
352 for (Value *V : AC.assumptions()) {
508 AC.registerAssumption(MergedAssume);
544 bool simplifyAssumes(Function &F, AssumptionCache *AC, DominatorTree *DT) {
545 AssumeSimplify AS(F, *AC, DT, F.getContext());
578 AssumptionCache *AC = &AM.getResult<AssumptionAnalysis>(F);
582 Changed |= salvageKnowledge(&I, AC, DT);