cetus.application

Class IPChainAnalysis

java.lang.Object

cetus.analysis.AnalysisPass

cetus.application.IPChainAnalysis

All Implemented Interfaces:

DefUseChain, UseDefChain

public class IPChainAnalysis
extends AnalysisPass
implements DefUseChain, UseDefChain

This class performs the interprocedural Def-Use and Use-Def chain computation. It uses the program summary graph which is implemented in ProgramSummaryGraph.

Author:

Jae-Woo Lee, School of ECE, Purdue University

Constructor Summary

Constructors

Constructor and Description
IPChainAnalysis(Program program) Constructs a IPChainAnalysis object which can perform the def-use/use-def chain computation.

Method Summary

Methods

Modifier and Type	Method and Description
void	computeChainsForAllProcs()
void	computeChainsForAllProcsWithThreads()
java.util.Map<Procedure,CFGraph>	getCfgMap()
java.util.Set<DFANode>	getDefDFANodeSet(Expression use) Returns interprocedural definition list as list of DFANode in the control flow graph
java.util.List<Traversable>	getDefList(Expression use) Returns interprocedural definition list.
AnalysisTarget[]	getDefTargetArray(Procedure proc)
java.util.LinkedHashSet<AnalysisTarget>	getGlobalDefSet()
java.util.List<Traversable>	getLocalDefList(Expression use) Returns intraprocedural defintion list
java.util.List<Traversable>	getLocalUseList(Expression def) Returns intraprocedural use list.
java.lang.String	getPassName()
java.util.List<Traversable>	getUseList(Expression def) Returns interprocedural use list.
AnalysisTarget[]	getUseTargetArray(Procedure proc)
boolean	isReachable(Expression def, Expression use) Returns if the given definition reaches the given use interprocedurally
void	printDefUseChain()
void	printUseDefChain()
void	setProcList(java.util.Set<Procedure> procList)
void	start()

Methods inherited from class cetus.analysis.AnalysisPass

run

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

IPChainAnalysis

public IPChainAnalysis(Program program)

Constructs a IPChainAnalysis object which can perform the def-use/use-def chain computation.

Parameters:

program - program IR to analyze

Method Detail

getPassName

public java.lang.String getPassName()

Specified by:

getPassName in class AnalysisPass

start

public void start()

Specified by:

start in class AnalysisPass

setProcList

public void setProcList(java.util.Set<Procedure> procList)

computeChainsForAllProcs

public void computeChainsForAllProcs()

computeChainsForAllProcsWithThreads

public void computeChainsForAllProcsWithThreads()

getDefTargetArray

public AnalysisTarget[] getDefTargetArray(Procedure proc)

getUseTargetArray

public AnalysisTarget[] getUseTargetArray(Procedure proc)

printDefUseChain

public void printDefUseChain()

printUseDefChain

public void printUseDefChain()

getCfgMap

public java.util.Map<Procedure,CFGraph> getCfgMap()

getUseList

public java.util.List<Traversable> getUseList(Expression def)

Description copied from interface: DefUseChain

Returns interprocedural use list.

Specified by:

getUseList in interface DefUseChain

Parameters:

def - definition expression for def-use chain

Returns:

the resulting interprocedural use list

getLocalUseList

public java.util.List<Traversable> getLocalUseList(Expression def)

Description copied from interface: DefUseChain

Returns intraprocedural use list.

Specified by:

getLocalUseList in interface DefUseChain

Parameters:

def - definition expression for def-use chain

Returns:

the resulting interprocedural use list

isReachable

public boolean isReachable(Expression def,
                  Expression use)

Description copied from interface: DefUseChain

Returns if the given definition reaches the given use interprocedurally

Specified by:

isReachable in interface DefUseChain

Parameters:

def - definition expression

use - use expression

Returns:

the resulting reachability

getDefList

public java.util.List<Traversable> getDefList(Expression use)

Description copied from interface: UseDefChain

Returns interprocedural definition list.

Specified by:

getDefList in interface UseDefChain

Parameters:

use - use expression for use-def chain

Returns:

the resulting definition list

getDefDFANodeSet

public java.util.Set<DFANode> getDefDFANodeSet(Expression use)

Description copied from interface: UseDefChain

Returns interprocedural definition list as list of DFANode in the control flow graph

Specified by:

getDefDFANodeSet in interface UseDefChain

Parameters:

use - use expression for use-def chain

Returns:

the resulting definition list

getLocalDefList

public java.util.List<Traversable> getLocalDefList(Expression use)

Description copied from interface: UseDefChain

Returns intraprocedural defintion list

Specified by:

getLocalDefList in interface UseDefChain

Parameters:

use - use expression for use-def chain

Returns:

the resulting definition list

getGlobalDefSet

public java.util.LinkedHashSet<AnalysisTarget> getGlobalDefSet()