| /llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConv.h | 27 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()
593 static inline void doTypeConversion(llvm::SMTSolverRef &Solver, in doTypeConversion()
[all …]
|
| H A D | SMTConstraintManager.h | 31 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); in REGISTER_TRAIT_WITH_PROGRAMSTATE() local
|
| /llvm-project-15.0.7/llvm/lib/Transforms/Scalar/ |
| H A D | SCCP.cpp | 106 static bool tryToReplaceWithConstant(SCCPSolver &Solver, Value *V) { in tryToReplaceWithConstant()
157 static bool simplifyInstsInBlock(SCCPSolver &Solver, BasicBlock &BB, in simplifyInstsInBlock()
202 SCCPSolver Solver( in runSCCP() local
323 SCCPSolver &Solver) { in findReturnsToZap()
373 static bool removeNonFeasibleEdges(const SCCPSolver &Solver, BasicBlock *BB, in removeNonFeasibleEdges()
471 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runIPSCCP() local
|
| /llvm-project-15.0.7/llvm/lib/Transforms/IPO/ |
| H A D | FunctionSpecialization.cpp | 171 SCCPSolver &Solver) { in getConstantStackValue()
205 SCCPSolver &Solver) { in constantArgPropagation()
272 SCCPSolver &Solver; member in __anonfb6321fa0211::FunctionSpecializer
285 FunctionSpecializer(SCCPSolver &Solver, in FunctionSpecializer()
832 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runFunctionSpecialization() local
|
| H A D | CalledValuePropagation.cpp | 374 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); in runCVP() local
|
| /llvm-project-15.0.7/libc/benchmarks/automemcpy/include/automemcpy/ |
| H A D | RandomFunctionGenerator.h | 47 z3::solver Solver; member
|
| /llvm-project-15.0.7/llvm/unittests/Analysis/ |
| H A D | SparsePropagation.cpp | 230 SparseSolver<TestLatticeKey, TestLatticeVal> Solver; member in __anon483a29410211::SparsePropagationTest
|
| /llvm-project-15.0.7/llvm/include/llvm/CodeGen/PBQP/ |
| H A D | Graph.h | 164 SolverT *Solver = nullptr; variable
|
| /llvm-project-15.0.7/llvm/lib/Support/ |
| H A D | Z3Solver.cpp | 265 Z3_solver Solver; member in __anonae660b540111::Z3Solver
|