Home
last modified time | relevance | path

Searched defs:Solver (Results 1 – 6 of 6) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConv.h28 static inline SMTSortRef mkSort(SMTSolverRef &Solver, const QualType &Ty, in mkSort()
40 static inline SMTExprRef fromUnOp(SMTSolverRef &Solver, in fromUnOp()
59 static inline SMTExprRef fromFloatUnOp(SMTSolverRef &Solver, in fromFloatUnOp()
75 static inline SMTExprRef fromNBinOp(SMTSolverRef &Solver, in fromNBinOp()
91 static inline SMTExprRef fromBinOp(SMTSolverRef &Solver, in fromBinOp()
168 fromFloatSpecialBinOp(SMTSolverRef &Solver, const SMTExprRef &LHS, in fromFloatSpecialBinOp()
200 static inline SMTExprRef fromFloatBinOp(SMTSolverRef &Solver, in fromFloatBinOp()
310 static inline llvm::APSInt castAPSInt(SMTSolverRef &Solver, in castAPSInt()
319 static inline SMTExprRef fromData(SMTSolverRef &Solver, const SymbolID ID, in fromData()
335 static inline SMTExprRef getBinExpr(SMTSolverRef &Solver, ASTContext &Ctx, in getBinExpr()
[all …]
H A DSMTConstraintManager.h26 SMTSolverRef &Solver; variable
/freebsd-12.1/contrib/llvm/lib/Transforms/Scalar/
H A DSCCP.cpp1706 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant()
1759 SCCPSolver Solver(DL, TLI); in runSCCP() local
1874 SCCPSolver &Solver) { in findReturnsToZap()
1903 static void forceIndeterminateEdge(Instruction* I, SCCPSolver &Solver) { in forceIndeterminateEdge()
1939 SCCPSolver Solver(DL, TLI); in runIPSCCP() local
/freebsd-12.1/contrib/llvm/lib/Transforms/IPO/
H A DCalledValuePropagation.cpp374 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DZ3ConstraintManager.cpp269 Z3_solver Solver; member in __anon1f86e14b0211::Z3Solver
809 SMTSolverRef Solver = CreateZ3Solver(); member in __anon1f86e14b0211::Z3ConstraintManager
/freebsd-12.1/contrib/llvm/include/llvm/CodeGen/PBQP/
H A DGraph.h165 SolverT *Solver = nullptr; variable