#include <FalseAliasAnalyzer.hh>

Inheritance diagram for FalseAliasAnalyzer:

Collaboration diagram for FalseAliasAnalyzer:

Public Member Functions
	FalseAliasAnalyzer (FunctionNameList *enabledFuncs=nullptr)

virtual bool	isAddressTraceable (DataDependenceGraph &ddg, const ProgramOperation &pop) override

virtual AliasingResult	analyze (DataDependenceGraph &ddg, const ProgramOperation &pop1, const ProgramOperation &pop2, MoveNodeUse::BBRelation bbInfo) override

	~FalseAliasAnalyzer ()

Public Member Functions inherited from MemoryAliasAnalyzer
virtual void	initProcedure (TTAProgram::Procedure &)

virtual	~MemoryAliasAnalyzer ()

Private Member Functions
bool	isEnabled (const DataDependenceGraph &ddg) const

Private Attributes
FunctionNameList *	funcs_

Additional Inherited Members
Public Types inherited from MemoryAliasAnalyzer
enum	AliasingResult { ALIAS_FALSE = 0, ALIAS_TRUE = 1, ALIAS_UNKNOWN = 2, ALIAS_PARTIAL = 3 }

Protected Member Functions inherited from MemoryAliasAnalyzer
AliasingResult	compareIndeces (int index1, int index2, const ProgramOperation &pop1, const ProgramOperation &pop2)

Static Protected Member Functions inherited from MemoryAliasAnalyzer
static const MoveNode *	addressOperandMove (const ProgramOperation &po)

static TwoPartAddressOperandDetection	findTwoPartAddressOperands (const ProgramOperation &po)

static const MoveNode *	searchLoopIndexBasedIncrement (DataDependenceGraph &ddg, const MoveNode &mn, long &loopIncrement)

static const MoveNode *	findIncrement (const MoveNode &mn, long &increment)

static const MoveNode *	detectConstantScale (const MoveNode &mn, int &shiftAmount)

Detailed Description

Definition at line 40 of file FalseAliasAnalyzer.hh.

Constructor & Destructor Documentation

◆ FalseAliasAnalyzer()

FalseAliasAnalyzer::FalseAliasAnalyzer ( FunctionNameList * enabledFuncs = nullptr )

inline

Definition at line 42 of file FalseAliasAnalyzer.hh.

42 :

43 funcs_(enabledFuncs) {}

◆ ~FalseAliasAnalyzer()

FalseAliasAnalyzer::~FalseAliasAnalyzer ( )

Desctructor

Definition at line 60 of file FalseAliasAnalyzer.cc.

60 {}

Member Function Documentation

◆ analyze()

MemoryAliasAnalyzer::AliasingResult FalseAliasAnalyzer::analyze	(	DataDependenceGraph &	ddg,
		const ProgramOperation &	pop1,
		const ProgramOperation &	pop2,
		MoveNodeUse::BBRelation	bbInfo
	)

overridevirtual

checks whether mem adderesses alias. As this is fake, always returns false.

Returns: always ALIAS_FALSE

Implements MemoryAliasAnalyzer.

Definition at line 52 of file FalseAliasAnalyzer.cc.

                                                                                                        {
     return isEnabled(ddg) ? ALIAS_FALSE : ALIAS_UNKNOWN;
 }

References MemoryAliasAnalyzer::ALIAS_FALSE, MemoryAliasAnalyzer::ALIAS_UNKNOWN, and isEnabled().

Here is the call graph for this function:

◆ isAddressTraceable()

bool FalseAliasAnalyzer::isAddressTraceable	(	DataDependenceGraph &	ddg,
		const ProgramOperation &	pop
	)

overridevirtual

Checks whether can say something about a memory address.

Returns: always returns true

Implements MemoryAliasAnalyzer.

Definition at line 42 of file FalseAliasAnalyzer.cc.

                                                        {
     return isEnabled(ddg) ?  true : false;
 }

References isEnabled().

Here is the call graph for this function:

◆ isEnabled()

bool FalseAliasAnalyzer::isEnabled ( const DataDependenceGraph & ddg ) const

private

Definition at line 62 of file FalseAliasAnalyzer.cc.

                                                                        {
     if (funcs_ == NULL) {
         return true;
     }
     return AssocTools::containsKey(*funcs_, ddg.name());
 }