Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConv.h27 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()
260 static inline llvm::SMTExprRef fromCast(llvm::SMTSolverRef &Solver, in fromCast()
313 static inline llvm::APSInt castAPSInt(llvm::SMTSolverRef &Solver, in castAPSInt()
346 getBinExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, in getBinExpr()
422 static inline llvm::SMTExprRef getSymExpr(llvm::SMTSolverRef &Solver, in getSymExpr()
571 static inline void doTypeConversion(llvm::SMTSolverRef &Solver, in doTypeConversion()
[all …]
H A DSMTConstraintManager.h31 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DSCCP.cpp100 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant()
151 static bool simplifyInstsInBlock(SCCPSolver &Solver, BasicBlock &BB, in simplifyInstsInBlock()
191 SCCPSolver Solver( in runSCCP() local
295 SCCPSolver &Solver) { in findReturnsToZap()
345 static bool removeNonFeasibleEdges(const SCCPSolver &Solver, BasicBlock *BB, in removeNonFeasibleEdges()
413 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runIPSCCP() local
/freebsd-13.1/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DFunctionSpecialization.cpp79 SCCPSolver &Solver; member in FunctionSpecializer
89 FunctionSpecializer(SCCPSolver &Solver, in FunctionSpecializer()
555 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runFunctionSpecialization() local
H A DCalledValuePropagation.cpp371 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
/freebsd-13.1/contrib/llvm-project/llvm/include/llvm/CodeGen/PBQP/
H A DGraph.h164 SolverT *Solver = nullptr; variable
/freebsd-13.1/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp263 Z3_solver Solver; member in __anonca7d1dd80111::Z3Solver