Home
last modified time | relevance | path

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

/freebsd/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()
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 …]
H A DSMTConstraintManager.h32 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
/freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/IPO/
H A DFunctionSpecialization.h179 SCCPSolver &Solver; in FunctionSpecializer() argument
126 SCCPSolver &Solver; global() variable
134 InstCostVisitor(const DataLayout & DL,BlockFrequencyInfo & BFI,TargetTransformInfo & TTI,SCCPSolver & Solver) InstCostVisitor() argument
160 SCCPSolver &Solver; global() variable
[all...]
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DSCCP.cpp65 SCCPSolver Solver( in runSCCP() local
/freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/
H A DSCCP.cpp52 SCCPSolver &Solver) { in findReturnsToZap()
118 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runIPSCCP() local
H A DCalledValuePropagation.cpp373 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DDataflowAnalysis.h346 auto Solver = std::make_unique<WatchedLiteralsSolver>(MaxSATIterations); variable
/freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/PBQP/
H A DGraph.h164 SolverT *Solver = nullptr; variable
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/
H A DSCCPSolver.cpp99 static bool refineInstruction(SCCPSolver &Solver, in refineInstruction()
168 static bool replaceSignedInst(SCCPSolver &Solver, in replaceSignedInst()
/freebsd/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp270 Z3_solver Solver = [this] { in __anona2cc94240202() member in __anona2cc94240111::Z3Solver