| /external/cronet/stable/third_party/llvm-libc/src/benchmarks/automemcpy/lib/ |
| D | RandomFunctionGenerator.cpp | 84 : Solver(Context), Type(Context.int_const("Type")), in RandomFunctionGenerator()
101 Solver.add(inSetConstraint(Type, kFunctionTypes)); in RandomFunctionGenerator()
113 Solver.add(ContiguousEnd == OverlapBegin); in RandomFunctionGenerator()
114 Solver.add(OverlapEnd == LoopBegin); in RandomFunctionGenerator()
115 Solver.add(LoopEnd == AlignedLoopBegin); in RandomFunctionGenerator()
116 Solver.add(AlignedLoopEnd == AcceleratorBegin); in RandomFunctionGenerator()
119 Solver.add(ContiguousBegin == 0); in RandomFunctionGenerator()
120 Solver.add(AcceleratorEnd == kMaxSize); in RandomFunctionGenerator()
122 Solver.add(ContiguousEnd <= kMaxIndividualSize + 1); in RandomFunctionGenerator()
124 Solver.add(OverlapEnd <= kMaxOverlapSize + 1); in RandomFunctionGenerator()
[all …]
|
| /external/cronet/tot/third_party/llvm-libc/src/benchmarks/automemcpy/lib/ |
| D | RandomFunctionGenerator.cpp | 84 : Solver(Context), Type(Context.int_const("Type")), in RandomFunctionGenerator()
101 Solver.add(inSetConstraint(Type, kFunctionTypes)); in RandomFunctionGenerator()
113 Solver.add(ContiguousEnd == OverlapBegin); in RandomFunctionGenerator()
114 Solver.add(OverlapEnd == LoopBegin); in RandomFunctionGenerator()
115 Solver.add(LoopEnd == AlignedLoopBegin); in RandomFunctionGenerator()
116 Solver.add(AlignedLoopEnd == AcceleratorBegin); in RandomFunctionGenerator()
119 Solver.add(ContiguousBegin == 0); in RandomFunctionGenerator()
120 Solver.add(AcceleratorEnd == kMaxSize); in RandomFunctionGenerator()
122 Solver.add(ContiguousEnd <= kMaxIndividualSize + 1); in RandomFunctionGenerator()
124 Solver.add(OverlapEnd <= kMaxOverlapSize + 1); in RandomFunctionGenerator()
[all …]
|
| /external/eigen/test/ |
| D | sparse_solver.h | 15 template<typename Solver, typename Rhs, typename Guess,typename Result>
16 void solve_with_guess(IterativeSolverBase<Solver>& solver, const MatrixBase<Rhs>& b, const Guess& g… in solve_with_guess()
29 template<typename Solver, typename Rhs, typename Guess,typename Result>
30 void solve_with_guess(SparseSolverBase<Solver>& solver, const MatrixBase<Rhs>& b, const Guess& , Re… in solve_with_guess()
37 template<typename Solver, typename Rhs, typename Guess,typename Result>
38 void solve_with_guess(SparseSolverBase<Solver>& solver, const SparseMatrixBase<Rhs>& b, const Guess… in solve_with_guess()
42 template<typename Solver, typename Rhs, typename DenseMat, typename DenseRhs>
43 void check_sparse_solving(Solver& solver, const typename Solver::MatrixType& A, const Rhs& b, const… in check_sparse_solving()
45 typedef typename Solver::MatrixType Mat; in check_sparse_solving()
57 …std::cerr << "ERROR | sparse solver testing, factorization failed (" << typeid(Solver).name() << "… in check_sparse_solving()
[all …]
|
| /external/swiftshader/third_party/llvm-16.0/llvm/lib/Transforms/IPO/ |
| D | SCCP.cpp | 51 SCCPSolver &Solver) { in findReturnsToZap() argument
53 if (!Solver.isArgumentTrackedFunction(&F)) in findReturnsToZap()
56 if (Solver.mustPreserveReturn(&F)) { in findReturnsToZap()
67 [&Solver](User *U) { in findReturnsToZap()
69 !Solver.isBlockExecutable(cast<Instruction>(U)->getParent())) in findReturnsToZap()
78 return all_of(Solver.getStructLatticeValueFor(U), in findReturnsToZap()
91 return !SCCPSolver::isOverdefined(Solver.getLatticeValueFor(U)); in findReturnsToZap()
116 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runIPSCCP() local
117 FunctionSpecializer Specializer(Solver, M, FAM, GetTLI, GetTTI, GetAC); in runIPSCCP()
125 Solver.addAnalysis(F, getAnalysis(F)); in runIPSCCP()
[all …]
|
| D | FunctionSpecialization.cpp | 173 if (!Solver.isArgumentTrackedFunction(&F)) in promoteConstantStackValues()
182 if (!Solver.isBlockExecutable(Call->getParent())) in promoteConstantStackValues()
210 Solver.visitCall(*Call); in promoteConstantStackValues()
346 Solver.solveWhileResolvedUndefsIn(Clones); in run()
437 if (!Solver.isBlockExecutable(CS.getParent())) in findSpecializations()
473 getSpecializationBonus(A.Formal, A.Actual, Solver.getLoopInfo(*F)); in findSpecializations()
501 if (!Solver.isArgumentTrackedFunction(F)) in isCandidateFunction()
515 if (!Solver.isBlockExecutable(&F->getEntryBlock())) in isCandidateFunction()
533 Solver.markArgInFuncSpecialization(Clone, S.Args); in createSpecialization()
535 Solver.addArgumentTrackedFunction(Clone); in createSpecialization()
[all …]
|
| D | CalledValuePropagation.cpp | 374 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
380 Solver.MarkBlockExecutable(&F.front()); in runCVP()
384 Solver.Solve(); in runCVP()
392 CVPLatticeVal LV = Solver.getExistingValueState(RegI); in runCVP()
|
| /external/llvm/include/llvm/CodeGen/PBQP/ |
| D | Graph.h | 179 SolverT *Solver; variable
347 Graph() : Solver(nullptr) {} in Graph()
351 : Metadata(std::move(Metadata)), Solver(nullptr) {} in Graph()
364 assert(!Solver && "Solver already set. Call unsetSolver()."); in setSolver()
365 Solver = &S; in setSolver()
367 Solver->handleAddNode(NId); in setSolver()
369 Solver->handleAddEdge(EId); in setSolver()
374 assert(Solver && "Solver not set."); in unsetSolver()
375 Solver = nullptr; in unsetSolver()
386 if (Solver) in addNode()
[all …]
|
| /external/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 …]
|
| /external/swiftshader/third_party/llvm-16.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 …]
|
| /external/swiftshader/third_party/llvm-16.0/llvm/lib/Transforms/Scalar/ |
| D | SCCP.cpp | 71 SCCPSolver Solver( in runSCCP() local
76 Solver.markBlockExecutable(&F.front()); in runSCCP()
80 Solver.markOverdefined(&AI); in runSCCP()
85 Solver.solve(); in runSCCP()
87 ResolvedUndefs = Solver.resolvedUndefsIn(F); in runSCCP()
99 if (!Solver.isBlockExecutable(&BB)) { in runSCCP()
107 MadeChanges |= Solver.simplifyInstsInBlock(BB, InsertedValues, in runSCCP()
118 MadeChanges |= Solver.removeNonFeasibleEdges(&BB, DTU, NewUnreachableBB); in runSCCP()
|
| /external/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 …]
|
| /external/pytorch/test/fx/ |
| D | test_z3_gradual_types.py | 60 s = z3.Solver()
81 s = z3.Solver()
159 s = z3.Solver()
178 s = z3.Solver()
196 s = z3.Solver()
211 s = z3.Solver()
227 s = z3.Solver()
241 s = z3.Solver()
253 s = z3.Solver()
273 s = z3.Solver()
[all …]
|
| /external/eigen/bench/spbench/ |
| D | spbenchsolver.h | 224 template<typename Solver, typename Scalar>
225 void call_solver(Solver &solver, const int solver_id, const typename Solver::MatrixType& A, const M… in call_solver()
289 template<typename Solver, typename Scalar>
290 void call_directsolver(Solver& solver, const int solver_id, const typename Solver::MatrixType& A, c… in call_directsolver()
299 template<typename Solver, typename Scalar>
300 void call_itersolver(Solver &solver, const int solver_id, const typename Solver::MatrixType& A, con… in call_itersolver()
|
| /external/swiftshader/third_party/llvm-16.0/llvm/include/llvm/Transforms/IPO/ |
| D | FunctionSpecialization.h | 118 SCCPSolver &Solver; variable
140 SCCPSolver &Solver, Module &M, FunctionAnalysisManager *FAM, in FunctionSpecializer() argument
144 : Solver(Solver), M(M), FAM(FAM), GetTLI(GetTLI), GetTTI(GetTTI), in FunctionSpecializer()
|
| /external/llvm/lib/Transforms/Scalar/ |
| D | SCCP.cpp | 1513 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant() argument
1516 std::vector<LatticeVal> IVs = Solver.getStructLatticeValueFor(V); in tryToReplaceWithConstant()
1530 LatticeVal IV = Solver.getLatticeValueFor(V); in tryToReplaceWithConstant()
1543 static bool tryToReplaceInstWithConstant(SCCPSolver &Solver, Instruction *Inst, in tryToReplaceInstWithConstant() argument
1545 if (!tryToReplaceWithConstant(Solver, Inst)) in tryToReplaceInstWithConstant()
1560 SCCPSolver Solver(DL, TLI); in runSCCP() local
1563 Solver.MarkBlockExecutable(&F.front()); in runSCCP()
1567 Solver.markAnythingOverdefined(&AI); in runSCCP()
1572 Solver.Solve(); in runSCCP()
1574 ResolvedUndefs = Solver.ResolvedUndefsIn(F); in runSCCP()
[all …]
|
| /external/apache-commons-math/src/main/java/org/apache/commons/math3/linear/ |
| D | RRQRDecomposition.java | 197 return new Solver(super.getSolver(), this.getP()); in getSolver()
201 private static class Solver implements DecompositionSolver { class in RRQRDecomposition
215 private Solver(final DecompositionSolver upper, final RealMatrix p) { in Solver() method in RRQRDecomposition.Solver
|
| D | CholeskyDecomposition.java | 210 return new Solver(lTData); in getSolver()
214 private static class Solver implements DecompositionSolver { class in CholeskyDecomposition
223 private Solver(final double[][] lTData) { in Solver() method in CholeskyDecomposition.Solver
|
| D | LUDecomposition.java | 275 return new Solver(lu, pivot, singular); in getSolver()
279 private static class Solver implements DecompositionSolver { class in LUDecomposition
297 private Solver(final double[][] lu, final int[] pivot, final boolean singular) { in Solver() method in LUDecomposition.Solver
|
| D | QRDecomposition.java | 318 return new Solver(qrt, rDiag, threshold); in getSolver()
322 private static class Solver implements DecompositionSolver { class in QRDecomposition
345 private Solver(final double[][] qrt, final double[] rDiag, final double threshold) { in Solver() method in QRDecomposition.Solver
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/Support/ |
| D | Z3Solver.cpp | 262 Z3_solver Solver; member in __anon9badfbde0111::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 …]
|
| /external/swiftshader/third_party/llvm-16.0/llvm/lib/Support/ |
| D | Z3Solver.cpp | 265 Z3_solver Solver; member in __anon02fc93e40111::Z3Solver
274 Z3Solver() : Solver(Z3_mk_simple_solver(Context.Context)) { in Z3Solver()
275 Z3_solver_inc_ref(Context.Context, Solver); in Z3Solver()
284 if (Solver) in ~Z3Solver()
285 Z3_solver_dec_ref(Context.Context, Solver); in ~Z3Solver()
289 Z3_solver_assert(Context.Context, Solver, toZ3Expr(*Exp).AST); in addConstraint()
846 Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver)); in getInterpretation()
860 Z3Model Model(Context, Z3_solver_get_model(Context.Context, Solver)); in getInterpretation()
874 Z3_lbool res = Z3_solver_check(Context.Context, Solver); in check()
884 void push() override { return Z3_solver_push(Context.Context, Solver); } in push()
[all …]
|
| /external/eigen/bench/ |
| D | dense_solvers.cpp | 14 template<typename Solver,typename MatrixType>
16 void compute_norm_equation(Solver &solver, const MatrixType &A) { in compute_norm_equation()
23 template<typename Solver,typename MatrixType>
25 void compute(Solver &solver, const MatrixType &A) { in compute()
|
| /external/apache-commons-math/src/main/java/org/apache/commons/math/linear/ |
| D | SingularValueDecompositionImpl.java | 268 return new Solver(singularValues, getUT(), getV(), getRank() == Math in getSolver()
273 private static class Solver implements DecompositionSolver { class in SingularValueDecompositionImpl
292 private Solver(final double[] singularValues, final RealMatrix uT, in Solver() method in SingularValueDecompositionImpl.Solver
|
| D | CholeskyDecompositionImpl.java | 187 return new Solver(lTData); in getSolver()
191 private static class Solver implements DecompositionSolver { class in CholeskyDecompositionImpl
200 private Solver(final double[][] lTData) { in Solver() method in CholeskyDecompositionImpl.Solver
|
| /external/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()
|