Lines Matching refs:solver
19 static void printAnalysisResults(DataFlowSolver &solver, Operation *op, in printAnalysisResults() argument
32 auto *live = solver.lookupState<Executable>(&block); in printAnalysisResults()
42 auto *live = solver.lookupState<Executable>( in printAnalysisResults()
43 solver.getProgramPoint<CFGEdge>(pred, &block)); in printAnalysisResults()
52 auto *preds = solver.lookupState<PredecessorState>(®ion.front()); in printAnalysisResults()
57 auto *preds = solver.lookupState<PredecessorState>(op); in printAnalysisResults()
115 DataFlowSolver solver; in runOnOperation() local
116 solver.load<DeadCodeAnalysis>(); in runOnOperation()
117 solver.load<ConstantAnalysis>(); in runOnOperation()
118 if (failed(solver.initializeAndRun(op))) in runOnOperation()
120 printAnalysisResults(solver, op, llvm::errs()); in runOnOperation()