| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 29 static inline llvm::SMTSortRef mkSort(llvm::SMTSolverRef &Solver, in mkSort()
41 static inline llvm::SMTExprRef fromUnOp(llvm::SMTSolverRef &Solver, in fromUnOp()
60 static inline llvm::SMTExprRef fromFloatUnOp(llvm::SMTSolverRef &Solver, in fromFloatUnOp()
77 fromNBinOp(llvm::SMTSolverRef &Solver, const BinaryOperator::Opcode Op, in fromNBinOp()
92 static inline llvm::SMTExprRef fromBinOp(llvm::SMTSolverRef &Solver, in fromBinOp()
171 fromFloatSpecialBinOp(llvm::SMTSolverRef &Solver, const llvm::SMTExprRef &LHS, in fromFloatSpecialBinOp()
203 static inline llvm::SMTExprRef fromFloatBinOp(llvm::SMTSolverRef &Solver, in fromFloatBinOp()
262 static inline llvm::SMTExprRef fromCast(llvm::SMTSolverRef &Solver, in fromCast()
315 static inline llvm::APSInt castAPSInt(llvm::SMTSolverRef &Solver, in castAPSInt()
325 fromData(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const SymbolData *Sym) { in fromData()
[all …]
|
| H A D | SMTConstraintManager.h | 33 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Transforms/IPO/ |
| H A D | FunctionSpecialization.h | 158 const SCCPSolver &Solver; variable
176 SCCPSolver &Solver) in InstCostVisitor()
235 SCCPSolver &Solver; variable
256 SCCPSolver &Solver, Module &M, FunctionAnalysisManager *FAM, in FunctionSpecializer()
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | Z3CrosscheckVisitor.cpp | 90 auto GetUsedRLimit = [](const llvm::SMTSolverRef &Solver) { in finalizeVisitor()
94 auto AttemptOnce = [&](const llvm::SMTSolverRef &Solver) -> Z3Result { in finalizeVisitor()
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/IPO/ |
| H A D | SCCP.cpp | 52 SCCPSolver &Solver) { in findReturnsToZap()
116 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runIPSCCP() local
|
| H A D | CalledValuePropagation.cpp | 378 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | SCCP.cpp | 58 SCCPSolver Solver( in runSCCP() local
|
| /freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysis.h | 330 auto Solver = std::make_unique<WatchedLiteralsSolver>(MaxSATIterations); variable
|
| /freebsd/contrib/llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | SCCPSolver.cpp | 91 static ConstantRange getRange(Value *Op, SCCPSolver &Solver, in getRange()
104 static bool refineInstruction(SCCPSolver &Solver, in refineInstruction()
176 static bool replaceSignedInst(SCCPSolver &Solver, in replaceSignedInst()
237 static Value *simplifyInstruction(SCCPSolver &Solver, in simplifyInstruction()
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/PBQP/ |
| H A D | Graph.h | 164 SolverT *Solver = nullptr; variable
|
| /freebsd/contrib/llvm-project/llvm/lib/Support/ |
| H A D | Z3Solver.cpp | 270 Z3_solver Solver = [this] { in __anona2cc94240202() member in __anona2cc94240111::Z3Solver
|