Inheritance diagram for spatial::PointsToBenchmarkRunner:

Collaboration diagram for spatial::PointsToBenchmarkRunner:

Public Member Functions
	PointsToBenchmarkRunner ()

std::vector< llvm::Value * >	extract (llvm::Instruction *Inst)

template<class Ty >
void	evaluate (llvm::Instruction Inst, std::set< Ty >, Ty *)
	This Function evaluates the predicates defined in testcases for pointer analysis. More...

bool	CheckSoundness ()

void	evaluatePrecision (llvm::Function &)

Public Member Functions inherited from spatial::BenchmarkRunner
	BenchmarkRunner (std::string Key)

virtual std::vector< llvm::Value * >	extract (llvm::Instruction *Inst)=0

Friends
std::ostream &	operator<< (std::ostream &OS, const PointsToBenchmarkRunner &B)

Additional Inherited Members
Protected Attributes inherited from spatial::BenchmarkRunner
std::string	Key

Constructor & Destructor Documentation

◆ PointsToBenchmarkRunner()

spatial::PointsToBenchmarkRunner::PointsToBenchmarkRunner ( )

inline

bool spatial::PointsToBenchmarkRunner::CheckSoundness ( )

template<class Ty >

void spatial::PointsToBenchmarkRunner::evaluate	(	llvm::Instruction *	I,
		std::set< Ty * >	A,
		Ty *	B
	)

This Function evaluates the predicates defined in testcases for pointer analysis.

Parameters

I	CallInst which defines either one of the predicates : MayPointsTo(x,y), MustPointsTo(x,y) or DoesNotPointsTo(x,y)
A	Pointee Set of the first argument of the call to function.
B	Pointee which we have to check if is present in the Pointee set of A or not.

void spatial::PointsToBenchmarkRunner::evaluatePrecision ( llvm::Function & F )

std::vector< llvm::Value * > spatial::PointsToBenchmarkRunner::extract ( llvm::Instruction * Inst )

virtual

std::ostream & operator<<	(	std::ostream &	OS,
		const PointsToBenchmarkRunner &	B
	)

friend

The documentation for this class was generated from the following files: