| /external/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SMTConv.h | 27 static inline llvm::SMTSortRef mkSort(llvm::SMTSolverRef &Solver, in mkSort()
39 static inline llvm::SMTExprRef fromUnOp(llvm::SMTSolverRef &Solver, in fromUnOp()
58 static inline llvm::SMTExprRef fromFloatUnOp(llvm::SMTSolverRef &Solver, in fromFloatUnOp()
75 fromNBinOp(llvm::SMTSolverRef &Solver, const BinaryOperator::Opcode Op, in fromNBinOp()
90 static inline llvm::SMTExprRef fromBinOp(llvm::SMTSolverRef &Solver, in fromBinOp()
169 fromFloatSpecialBinOp(llvm::SMTSolverRef &Solver, const llvm::SMTExprRef &LHS, in fromFloatSpecialBinOp()
201 static inline llvm::SMTExprRef fromFloatBinOp(llvm::SMTSolverRef &Solver, in fromFloatBinOp()
260 static inline llvm::SMTExprRef fromCast(llvm::SMTSolverRef &Solver, in fromCast()
313 static inline llvm::APSInt castAPSInt(llvm::SMTSolverRef &Solver, in castAPSInt()
323 fromData(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const SymbolData *Sym) { in fromData()
[all …]
|
| D | SMTConstraintManager.h | 31 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|
| /external/apache-commons-math/src/main/java/org/apache/commons/math/linear/ |
| D | SingularValueDecompositionImpl.java | 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 | 191 private static class Solver implements DecompositionSolver { class in CholeskyDecompositionImpl
200 private Solver(final double[][] lTData) { in Solver() method in CholeskyDecompositionImpl.Solver
|
| D | FieldLUDecompositionImpl.java | 223 private static class Solver<T extends FieldElement<T>> implements FieldDecompositionSolver<T> { class in FieldLUDecompositionImpl
247 private Solver(final Field<T> field, final T[][] lu, in Solver() method in FieldLUDecompositionImpl.Solver
|
| D | LUDecompositionImpl.java | 232 private static class Solver implements DecompositionSolver { class in LUDecompositionImpl
249 private Solver(final double[][] lu, final int[] pivot, final boolean singular) { in Solver() method in LUDecompositionImpl.Solver
|
| D | QRDecompositionImpl.java | 252 private static class Solver implements DecompositionSolver { class in QRDecompositionImpl
270 private Solver(final double[][] qrt, final double[] rDiag) { in Solver() method in QRDecompositionImpl.Solver
|
| D | EigenDecompositionImpl.java | 244 private static class Solver implements DecompositionSolver { class in EigenDecompositionImpl
264 private Solver(final double[] realEigenvalues, in Solver() method in EigenDecompositionImpl.Solver
|
| /external/llvm-project/llvm/lib/Transforms/Scalar/ |
| D | SCCP.cpp | 1627 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant()
1675 static bool simplifyInstsInBlock(SCCPSolver &Solver, BasicBlock &BB, in simplifyInstsInBlock()
1715 SCCPSolver Solver( in runSCCP() local
1820 SCCPSolver &Solver) { in findReturnsToZap()
1869 static bool removeNonFeasibleEdges(const SCCPSolver &Solver, BasicBlock *BB, in removeNonFeasibleEdges()
1937 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runIPSCCP() local
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Scalar/ |
| D | SCCP.cpp | 1753 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant()
1806 SCCPSolver Solver( in runSCCP() local
1922 SCCPSolver &Solver) { in findReturnsToZap()
1972 static void forceIndeterminateEdge(Instruction* I, SCCPSolver &Solver) { in forceIndeterminateEdge()
2009 SCCPSolver Solver(DL, GetTLI); in runIPSCCP() local
|
| /external/llvm/lib/Transforms/Scalar/ |
| D | SCCP.cpp | 1513 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant()
1543 static bool tryToReplaceInstWithConstant(SCCPSolver &Solver, Instruction *Inst, in tryToReplaceInstWithConstant()
1560 SCCPSolver Solver(DL, TLI); in runSCCP() local
1695 SCCPSolver Solver(DL, TLI); in runIPSCCP() local
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/IPO/ |
| D | CalledValuePropagation.cpp | 375 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
|
| /external/llvm-project/llvm/lib/Transforms/IPO/ |
| D | CalledValuePropagation.cpp | 371 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
|
| /external/llvm-project/llvm/unittests/Analysis/ |
| D | SparsePropagation.cpp | 230 SparseSolver<TestLatticeKey, TestLatticeVal> Solver; member in __anona7d1fd010211::SparsePropagationTest
|
| /external/llvm-project/llvm/include/llvm/CodeGen/PBQP/ |
| D | Graph.h | 164 SolverT *Solver = nullptr; variable
|
| /external/swiftshader/third_party/llvm-10.0/llvm/include/llvm/CodeGen/PBQP/ |
| D | Graph.h | 164 SolverT *Solver = nullptr; variable
|
| /external/llvm/include/llvm/CodeGen/PBQP/ |
| D | Graph.h | 179 SolverT *Solver; variable
|
| /external/swiftshader/third_party/llvm-10.0/llvm/lib/Support/ |
| D | Z3Solver.cpp | 262 Z3_solver Solver; member in __anond0ee00280111::Z3Solver
|
| /external/llvm-project/llvm/lib/Support/ |
| D | Z3Solver.cpp | 263 Z3_solver Solver; member in __anon764e5f140111::Z3Solver
|
| /external/conscrypt/benchmark-android/ |
| D | vogar.jar | META-INF/
META-INF/MANIFEST.MF
vogar/
vogar/TestProperties.class
TestProperties ... |