| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/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 …]
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/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 …]
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/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 …]
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/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 …]
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567b/include/llvm/Transforms/IPO/ |
| D | FunctionSpecialization.h | 179 SCCPSolver &Solver; variable
196 TargetTransformInfo &TTI, SCCPSolver &Solver) in InstCostVisitor()
252 SCCPSolver &Solver; variable
273 SCCPSolver &Solver, Module &M, FunctionAnalysisManager *FAM, in FunctionSpecializer()
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r522817/include/llvm/Transforms/IPO/ |
| D | FunctionSpecialization.h | 179 SCCPSolver &Solver; variable
196 TargetTransformInfo &TTI, SCCPSolver &Solver) in InstCostVisitor()
252 SCCPSolver &Solver; variable
273 SCCPSolver &Solver, Module &M, FunctionAnalysisManager *FAM, in FunctionSpecializer()
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r530567/include/llvm/Transforms/IPO/ |
| D | FunctionSpecialization.h | 179 SCCPSolver &Solver; variable
196 TargetTransformInfo &TTI, SCCPSolver &Solver) in InstCostVisitor()
252 SCCPSolver &Solver; variable
273 SCCPSolver &Solver, Module &M, FunctionAnalysisManager *FAM, in FunctionSpecializer()
|
| /aosp_15_r20/prebuilts/clang/host/linux-x86/clang-r536225/include/llvm/Transforms/IPO/ |
| D | FunctionSpecialization.h | 179 SCCPSolver &Solver; variable
196 TargetTransformInfo &TTI, SCCPSolver &Solver) in InstCostVisitor()
252 SCCPSolver &Solver; variable
273 SCCPSolver &Solver, Module &M, FunctionAnalysisManager *FAM, in FunctionSpecializer()
|
| /aosp_15_r20/external/apache-commons-math/src/main/java/org/apache/commons/math3/linear/ |
| H A D | RRQRDecomposition.java | 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
|
| H A D | CholeskyDecomposition.java | 214 private static class Solver implements DecompositionSolver { class in CholeskyDecomposition
223 private Solver(final double[][] lTData) { in Solver() method in CholeskyDecomposition.Solver
|
| H A D | LUDecomposition.java | 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
|
| H A D | FieldLUDecomposition.java | 275 private static class Solver<T extends FieldElement<T>> implements FieldDecompositionSolver<T> { class in FieldLUDecomposition
297 private Solver( in Solver() method in FieldLUDecomposition.Solver
|
| H A D | QRDecomposition.java | 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
|
| H A D | EigenDecomposition.java | 397 private static class Solver implements DecompositionSolver { class in EigenDecomposition
414 private Solver( in Solver() method in EigenDecomposition.Solver
|
| /aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/include/llvm/Transforms/IPO/ |
| H A D | FunctionSpecialization.h | 118 SCCPSolver &Solver; variable
140 SCCPSolver &Solver, Module &M, FunctionAnalysisManager *FAM, in FunctionSpecializer()
|
| /aosp_15_r20/external/apache-commons-math/src/main/java/org/apache/commons/math/linear/ |
| H A 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
|
| H A 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
|
| H A 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
|
| H A 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
|
| H A 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
|
| H A 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
|
| /aosp_15_r20/external/swiftshader/third_party/llvm-10.0/llvm/lib/Transforms/Scalar/ |
| H A 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
|
| /aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/lib/Transforms/IPO/ |
| H A D | SCCP.cpp | 51 SCCPSolver &Solver) { in findReturnsToZap()
116 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runIPSCCP() local
|
| /aosp_15_r20/external/llvm/lib/Transforms/Scalar/ |
| H A 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
|
| /aosp_15_r20/external/swiftshader/third_party/llvm-16.0/llvm/lib/Transforms/Scalar/ |
| H A D | SCCP.cpp | 71 SCCPSolver Solver( in runSCCP() local
|