Lines Matching defs:solver

53   NextAccessAnalysis(DataFlowSolver &solver, SymbolTableCollection &symbolTable,
55       : DenseBackwardDataFlowAnalysis(solver, symbolTable),
225                                            const DataFlowSolver &solver,
237                 return solver.lookupState<UnderlyingValueLattice>(value);
273     DataFlowSolver solver(config);
274     solver.load<DeadCodeAnalysis>();
275     solver.load<NextAccessAnalysis>(symbolTable, assumeFuncReads);
276     solver.load<SparseConstantPropagation>();
277     solver.load<UnderlyingValueAnalysis>();
278     if (failed(solver.initializeAndRun(op))) {
279       emitError(op->getLoc(), "dataflow solver failed");
288           solver.lookupState<NextAccess>(solver.getProgramPointAfter(op));
290                   makeNextAccessAttribute(op, solver, nextAccess));
304             solver.getProgramPointBefore(&successorBlock);
306             op, solver, solver.lookupState<NextAccess>(successorPoint)));