Lines Matching refs:AC
109 AssumptionCache* AC = nullptr; member
113 AssumptionCache *AC = nullptr, DominatorTree *DT = nullptr) in AssumeBuilderState()
114 : M(M), InstBeingModified(I), AC(AC), DT(DT) {} in AssumeBuilderState()
122 RK.WasOn, {RK.AttrKind}, AC, in tryToPreserveWithoutAddingAssume()
292 bool llvm::salvageKnowledge(Instruction *I, AssumptionCache *AC, in salvageKnowledge() argument
297 AssumeBuilderState Builder(I->getModule(), I, AC, DT); in salvageKnowledge()
302 if (AC) in salvageKnowledge()
303 AC->registerAssumption(Intr); in salvageKnowledge()
310 Instruction *CtxI, AssumptionCache *AC, in buildAssumeFromKnowledge() argument
312 AssumeBuilderState Builder(CtxI->getModule(), CtxI, AC, DT); in buildAssumeFromKnowledge()
320 AssumptionCache *AC, in simplifyRetainedKnowledge() argument
322 AssumeBuilderState Builder(Assume->getModule(), Assume, AC, DT); in simplifyRetainedKnowledge()
337 AssumptionCache ∾ member
345 AssumeSimplify(Function &F, AssumptionCache &AC, DominatorTree *DT, in AssumeSimplify()
347 : F(F), AC(AC), DT(DT), C(C), in AssumeSimplify()
352 for (Value *V : AC.assumptions()) { in buildMapping()
508 AC.registerAssumption(MergedAssume); in mergeRange()
544 bool simplifyAssumes(Function &F, AssumptionCache *AC, DominatorTree *DT) { in simplifyAssumes() argument
545 AssumeSimplify AS(F, *AC, DT, F.getContext()); in simplifyAssumes()
578 AssumptionCache *AC = &AM.getResult<AssumptionAnalysis>(F); in run() local
582 Changed |= salvageKnowledge(&I, AC, DT); in run()