Lines Matching defs:solver

19 static void printAnalysisResults(DataFlowSolver &solver, Operation *op,
32         auto *live = solver.lookupState<Executable>(
33             solver.getProgramPointBefore(&block));
43           auto *live = solver.lookupState<Executable>(
44               solver.getLatticeAnchor<CFGEdge>(pred, &block));
53         auto *preds = solver.lookupState<PredecessorState>(
54             solver.getProgramPointBefore(&region.front()));
60         solver.lookupState<PredecessorState>(solver.getProgramPointAfter(op));
117     DataFlowSolver solver;
118     solver.load<DeadCodeAnalysis>();
119     solver.load<ConstantAnalysis>();
120     if (failed(solver.initializeAndRun(op)))
122     printAnalysisResults(solver, op, llvm::errs());