| /llvm-project/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()
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 D | SMTConstraintManager.h | 32 mutable llvm::SMTSolverRef Solver = llvm::CreateZ3Solver(); REGISTER_TRAIT_WITH_PROGRAMSTATE() local
[all...] |
| /llvm-project/llvm/include/llvm/Transforms/IPO/ |
| H A D | FunctionSpecialization.h | 179 SCCPSolver &Solver; global() variable
196 InstCostVisitor(const DataLayout & DL,BlockFrequencyInfo & BFI,TargetTransformInfo & TTI,SCCPSolver & Solver) InstCostVisitor() argument
252 SCCPSolver &Solver; global() variable
273 FunctionSpecializer(SCCPSolver & Solver,Module & M,FunctionAnalysisManager * FAM,std::function<BlockFrequencyInfo & (Function &)> GetBFI,std::function<const TargetLibraryInfo & (Function &)> GetTLI,std::function<TargetTransformInfo & (Function &)> GetTTI,std::function<AssumptionCache & (Function &)> GetAC) FunctionSpecializer() argument
[all...] |
| /llvm-project/llvm/lib/Transforms/Scalar/ |
| H A D | SCCP.cpp | 65 Solver.addTrackedFunction(&F); in runSCCP() local
[all...] |
| /llvm-project/llvm/lib/Transforms/IPO/ |
| H A D | SCCP.cpp | 52 SCCPSolver &Solver) { in findReturnsToZap() argument
118 SCCPSolver Solver(DL, GetTLI, M.getContext()); in runIPSCCP() local
[all...] |
| H A D | CalledValuePropagation.cpp | 373 SparseSolver<CVPLatticeKey, CVPLatticeVal> Solver(&Lattice); runCVP() local
|
| /llvm-project/libc/benchmarks/automemcpy/include/automemcpy/ |
| H A D | RandomFunctionGenerator.h | |
| /llvm-project/clang/include/clang/Analysis/FlowSensitive/ |
| H A D | DataflowAnalysis.h | 346 auto Solver = std::make_unique<WatchedLiteralsSolver>(MaxSATIterations); global() variable
|
| /llvm-project/llvm/unittests/Transforms/IPO/ |
| H A D | FunctionSpecializationTest.cpp | 45 std::unique_ptr<SCCPSolver> Solver; member in llvm::FunctionSpecializationTest
|
| /llvm-project/llvm/unittests/Analysis/ |
| H A D | SparsePropagation.cpp | 231 SparseSolver<TestLatticeKey, TestLatticeVal> Solver; global() member in __anon6c64d6440211::SparsePropagationTest
[all...] |
| /llvm-project/llvm/include/llvm/CodeGen/PBQP/ |
| H A D | Graph.h | 164 SolverT *Solver = nullptr; variable
|
| /llvm-project/llvm/lib/Transforms/Utils/ |
| H A D | SCCPSolver.cpp | 107 refineInstruction(SCCPSolver & Solver,const SmallPtrSetImpl<Value * > & InsertedValues,Instruction & Inst) refineInstruction() argument
176 replaceSignedInst(SCCPSolver & Solver,SmallPtrSetImpl<Value * > & InsertedValues,Instruction & Inst) replaceSignedInst() argument
|
| /llvm-project/llvm/lib/Support/ |
| H A D | Z3Solver.cpp | 269 Z3_solver Solver = [this] { __anon26d512570202() member in __anon26d512570111::Z3Solver
[all...] |