Searched refs:Solver (Results 1 – 7 of 7) sorted by relevance
| /third_party/skia/third_party/externals/swiftshader/third_party/llvm-10.0/llvm/include/llvm/CodeGen/PBQP/ |
| D | Graph.h | 164 SolverT *Solver = nullptr; variable
357 assert(!Solver && "Solver already set. Call unsetSolver()."); in setSolver()
358 Solver = &S; in setSolver()
360 Solver->handleAddNode(NId); in setSolver()
362 Solver->handleAddEdge(EId); in setSolver()
367 assert(Solver && "Solver not set."); in unsetSolver()
368 Solver = nullptr; in unsetSolver()
379 if (Solver) in addNode()
380 Solver->handleAddNode(NId); in addNode()
398 if (Solver) in addNodeBypassingCostAllocator()
[all …]
|
| /third_party/skia/third_party/externals/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Scalar/ |
| D | SCCP.cpp | 1753 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant() argument
1756 std::vector<LatticeVal> IVs = Solver.getStructLatticeValueFor(V); in tryToReplaceWithConstant()
1770 const LatticeVal &IV = Solver.getLatticeValueFor(V); in tryToReplaceWithConstant()
1787 Solver.AddMustTailCallee(F); in tryToReplaceWithConstant()
1806 SCCPSolver Solver( in runSCCP() local
1810 Solver.MarkBlockExecutable(&F.front()); in runSCCP()
1814 Solver.markOverdefined(&AI); in runSCCP()
1819 Solver.Solve(); in runSCCP()
1821 ResolvedUndefs = Solver.ResolvedUndefsIn(F); in runSCCP()
1831 if (!Solver.isBlockExecutable(&BB)) { in runSCCP()
[all …]
|
| /third_party/skia/third_party/externals/swiftshader/third_party/llvm-10.0/llvm/lib/Support/ |
| D | Z3Solver.cpp | 262 Z3_solver Solver; member in __anon9310faee0111::Z3Solver
271 Z3Solver() : Solver(Z3_mk_simple_solver(Context.Context)) { in Z3Solver()
272 Z3_solver_inc_ref(Context.Context, Solver); in Z3Solver()
281 if (Solver) in ~Z3Solver()
282 Z3_solver_dec_ref(Context.Context, Solver); in ~Z3Solver()
286 Z3_solver_assert(Context.Context, Solver, toZ3Expr(*Exp).AST); in addConstraint()
828 Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver)); in getInterpretation()
842 Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver)); in getInterpretation()
856 Z3_lbool res = Z3_solver_check(Context.Context, Solver); in check()
866 void push() override { return Z3_solver_push(Context.Context, Solver); } in push()
[all …]
|
| /third_party/skia/third_party/externals/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/IPO/ |
| D | CalledValuePropagation.cpp | 375 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
381 Solver.MarkBlockExecutable(&F.front()); in runCVP()
385 Solver.Solve(); in runCVP()
394 CVPLatticeVal LV = Solver.getExistingValueState(RegI); in runCVP()
|
| /third_party/boost/libs/compute/cmake/ |
| D | FindEigen.cmake | 1 # Ceres Solver - A fast non-linear least squares minimizer
|
| /third_party/mindspore/third_party/proto/caffe/ |
| D | caffe.proto | 207 // If non-negative, the seed with which the Solver will initialize the Caffe
|
| /third_party/mindspore/ |
| D | RELEASE.md | 1900 - [STABLE] Support Safe Optimized Memory Allocation Solver (SOMAS) on Ascend to improve the memory-…
|