CodeStorage Namespace Reference

object model that describes the analyzed code on the input More...

Namespaces
namespace	CallGraph
namespace	PointsTo

Data Structures
struct	Var
	high-level variable representation More...
class	VarDb
	lookup container for set of Var objects More...
class	TypeDb
	type lookup table More...
struct	NameDb
	name to UID mapping for global/static symbols More...
struct	KillVar
	value type describing a single 'kill variable' hint More...
struct	ltKillVar
	FIXME: inserting <id,0> and <id,1> could break the consistency of std::set. More...
struct	Insn
	high-level representation of an intermediate code instruction More...
class	Block
	Basic block - a single node in ControlFlow graph. More...
class	ControlFlow
	Control flow graph - an easy to analyse representation of the intermediate code. More...
struct	Fnc
	function definition More...
class	FncDb
	lookup container for set of Fnc objects More...
struct	Storage
	a value type representing the whole serialised model of code More...

Typedefs
typedef struct cl_operand[]	TOperandList
	generic STL-based list of cl_operand objects. More...
typedef const Block *	TTargetList
	generic STL-based list of Block pointers (useful to build CFG from Block objects) More...
typedef std::set< KillVar, ltKillVar >	TKillVarList
	list of variables to kill (a kill list) More...
typedef std::vector< TKillVarList >	TKillPerTarget
	list of kill lists (one per each target of a terminal instruction) More...
typedef std::vector< int >	TArgByPos
typedef std::set< int >	TVarSet
typedef std::vector< const Insn * >	TInsnList
typedef std::map< Fnc *, TInsnList >	TInsnListByFnc

Enumerations
enum	EVar {   VAR_VOID,   VAR_GL,   VAR_LC,   VAR_FNC_ARG }
	high-level variable (operand) classification More...

Functions
bool	isOnStack (const Var &)
void	readTypeTree (TypeDb &db, const struct cl_type *clt)
	Add the given type into TypeDb instance, then descent into the type and add all the referred types recursively. More...
int	lookup (const NameDb &db, const std::string &file, const std::string &name)
const char *	nameOf (const Fnc &)
	return the name of given Fnc object (if any) More...
struct cl_loc *	locationOf (const Fnc &)
	return the location info associated with the given Fnc object (if any) More...
int	uidOf (const Fnc &)
	return the uid of given Fnc object More...
bool	isDefined (const Fnc &)
	return true if the function is defined (means we have its CFG and the like) More...
bool	isBuiltInFnc (const struct cl_operand &op)
	return true if the given operand is a function recognized as cl built-in More...
bool	isBuiltInCall (const Insn &insn)
	return true if the given instruction is recognized as a call of cl built-in More...
void	destroyInsn (Insn *insn)
void	killLocalVariables (Storage &stor)
void	findLoopClosingEdges (Storage &stor)
void	pointsToAnalyse (Storage &stor, const std::string &conf)

Detailed Description

object model that describes the analyzed code on the input

Typedef Documentation

typedef std::vector<int> TArgByPos

Definition at line 614 of file storage.hh.

typedef std::vector<const Insn *> TInsnList

Definition at line 824 of file storage.hh.

typedef std::map<Fnc *, TInsnList> TInsnListByFnc

Definition at line 825 of file storage.hh.

typedef std::vector<TKillVarList> TKillPerTarget

list of kill lists (one per each target of a terminal instruction)

Definition at line 329 of file storage.hh.

typedef std::set<KillVar, ltKillVar> TKillVarList

list of variables to kill (a kill list)

Definition at line 326 of file storage.hh.

typedef struct cl_operand [] TOperandList

generic STL-based list of cl_operand objects.

They may or may not be deep-cloned, it depends on the particular purpose.

Definition at line 293 of file storage.hh.

typedef const Block* TTargetList

generic STL-based list of Block pointers (useful to build CFG from Block objects)

Definition at line 299 of file storage.hh.

typedef std::set<int> TVarSet

Definition at line 615 of file storage.hh.

Enumeration Type Documentation

enum EVar

high-level variable (operand) classification

Enumerator
VAR_VOID	this should be used only internally
VAR_GL	global (may be also static) variable
VAR_LC	local variable (not valid beyond a function)
VAR_FNC_ARG	fnc argument (sort of local variable also)

Definition at line 53 of file storage.hh.

Function Documentation

void CodeStorage::destroyInsn

(

Insn *

insn

)

void CodeStorage::findLoopClosingEdges

(

Storage &

stor

)

bool CodeStorage::isBuiltInCall

(

const Insn &

insn

)

return true if the given instruction is recognized as a call of cl built-in

bool CodeStorage::isBuiltInFnc

(

const struct cl_operand &

op

)

return true if the given operand is a function recognized as cl built-in

bool CodeStorage::isDefined

(

const Fnc &

)

return true if the function is defined (means we have its CFG and the like)

bool CodeStorage::isOnStack

(

const Var &

)

void CodeStorage::killLocalVariables

(

Storage &

stor

)

struct cl_loc* CodeStorage::locationOf ( const Fnc &  )

read

return the location info associated with the given Fnc object (if any)

int CodeStorage::lookup	(	const NameDb &	db,
		const std::string &	file,
		const std::string &	name
	)

const char* CodeStorage::nameOf

(

const Fnc &

)

return the name of given Fnc object (if any)

void CodeStorage::pointsToAnalyse	(	Storage &	stor,
		const std::string &	conf
	)

void CodeStorage::readTypeTree	(	TypeDb &	db,
		const struct cl_type *	clt
	)

Add the given type into TypeDb instance, then descent into the type and add all the referred types recursively.

Parameters

db	TypeDb object to add all types to
clt	an arbitrary code listener type to be read

int CodeStorage::uidOf

(

const Fnc &

)

return the uid of given Fnc object