Searched defs:Solver (Results 1 - 5 of 5) sorted by relevance

/freebsd-11-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h30 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); member in class:clang::ento::SMTConstraintManager
[all...]
H A DSMTConv.h27 static inline llvm::SMTSortRef mkSort(llvm::SMTSolverRef &Solver, argument
39 static inline llvm::SMTExprRef fromUnOp(llvm::SMTSolverRef &Solver, argument
58 static inline llvm::SMTExprRef fromFloatUnOp(llvm::SMTSolverRef &Solver, argument
75 fromNBinOp(llvm::SMTSolverRef &Solver, const BinaryOperator::Opcode Op, const std::vector<llvm::SMTExprRef> &ASTs) argument
90 fromBinOp(llvm::SMTSolverRef &Solver, const llvm::SMTExprRef &LHS, const BinaryOperator::Opcode Op, const llvm::SMTExprRef &RHS, bool isSigned) argument
169 fromFloatSpecialBinOp(llvm::SMTSolverRef &Solver, const llvm::SMTExprRef &LHS, const BinaryOperator::Opcode Op, const llvm::APFloat::fltCategory &RHS) argument
201 fromFloatBinOp(llvm::SMTSolverRef &Solver, const llvm::SMTExprRef &LHS, const BinaryOperator::Opcode Op, const llvm::SMTExprRef &RHS) argument
260 fromCast(llvm::SMTSolverRef &Solver, const llvm::SMTExprRef &Exp, QualType ToTy, uint64_t ToBitWidth, QualType FromTy, uint64_t FromBitWidth) argument
313 castAPSInt(llvm::SMTSolverRef &Solver, const llvm::APSInt &V, QualType ToTy, uint64_t ToWidth, QualType FromTy, uint64_t FromWidth) argument
322 fromData(llvm::SMTSolverRef &Solver, const SymbolID ID, const QualType &Ty, uint64_t BitWidth) argument
330 getCastExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const llvm::SMTExprRef &Exp, QualType FromTy, QualType ToTy) argument
341 getBinExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const llvm::SMTExprRef &LHS, QualType LTy, BinaryOperator::Opcode Op, const llvm::SMTExprRef &RHS, QualType RTy, QualType *RetTy) argument
376 getSymBinExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const BinarySymExpr *BSE, bool *hasComparison, QualType *RetTy) argument
417 getSymExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, SymbolRef Sym, QualType *RetTy, bool *hasComparison) argument
461 getExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, SymbolRef Sym, QualType *RetTy = nullptr, bool *hasComparison = nullptr) argument
473 getZeroExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, const llvm::SMTExprRef &Exp, QualType Ty, bool Assumption) argument
504 getRangeExpr(llvm::SMTSolverRef &Solver, ASTContext &Ctx, SymbolRef Sym, const llvm::APSInt &From, const llvm::APSInt &To, bool InRange) argument
567 doTypeConversion(llvm::SMTSolverRef &Solver, ASTContext &Ctx, llvm::SMTExprRef &LHS, llvm::SMTExprRef &RHS, QualType &LTy, QualType &RTy) argument
644 doIntTypeConversion(llvm::SMTSolverRef &Solver, ASTContext &Ctx, T &LHS, QualType &LTy, T &RHS, QualType &RTy) argument
727 doFloatTypeConversion(llvm::SMTSolverRef &Solver, ASTContext &Ctx, T &LHS, QualType &LTy, T &RHS, QualType &RTy) argument
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Support/
H A DZ3Solver.cpp262 Z3_solver Solver; member in class:__anon2011::Z3Solver
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/include/llvm/CodeGen/PBQP/
H A DGraph.h164 SolverT *Solver = nullptr; member in class:llvm::PBQP::Graph
[all...]
/freebsd-11-stable/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DSCCP.cpp1753 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { argument
1920 findReturnsToZap(Function &F, SmallVector<ReturnInst *, 8> &ReturnsToZap, SCCPSolver &Solver) argument
1972 forceIndeterminateEdge(Instruction* I, SCCPSolver &Solver) argument
[all...]

Completed in 73 milliseconds