|
Spatial
Simple Static Analysis in LLVM
|
This is the complete list of members for spatial::PointsToBenchmarkRunner, including all inherited members.
| BenchmarkRunner(std::string Key) | spatial::BenchmarkRunner | inline |
| CheckSoundness() | spatial::PointsToBenchmarkRunner | |
| evaluate(llvm::Instruction *Inst, std::set< Ty * >, Ty *) | spatial::PointsToBenchmarkRunner | |
| evaluatePrecision(llvm::Function &) | spatial::PointsToBenchmarkRunner | |
| extract(llvm::Instruction *Inst) | spatial::PointsToBenchmarkRunner | virtual |
| Key | spatial::BenchmarkRunner | protected |
| operator<< | spatial::PointsToBenchmarkRunner | friend |
| PointsToBenchmarkRunner() | spatial::PointsToBenchmarkRunner | inline |
1.9.4