cetus.analysis

Class IPRangeAnalysis

java.lang.Object

cetus.analysis.AnalysisPass

cetus.analysis.IPAnalysis

cetus.analysis.IPRangeAnalysis

public class IPRangeAnalysis
extends IPAnalysis

Class IPRangeAnalysis performs interprocedural range analysis.

Method Summary

Methods

Modifier and Type	Method and Description
void	analyzeProcedure(IPANode node) Performs intraprocedural range analysis.
static void	clear() Removes any existing interprocedural results.
static void	compute(Program program) Drives IPA by calling a customized MayMod analysis.
void	start() Starts interprocedural analysis.
boolean	updateCall(IPANode node) Updates the effect due to procedure call in the callee.
java.util.Set<CallSite>	updateCalls(IPANode node) Detects any changes in the range domain before call sites.
boolean	updateReturn(IPANode node) Checks any data change due to return from callee and updates the OUT data if applicable.

Methods inherited from class cetus.analysis.IPAnalysis

getPassName

Methods inherited from class cetus.analysis.AnalysisPass

run

Methods inherited from class java.lang.Object

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

Method Detail

compute

public static void compute(Program program)

Drives IPA by calling a customized MayMod analysis.

start

public void start()

Description copied from class: IPAnalysis

Starts interprocedural analysis.

Overrides:

start in class IPAnalysis

clear

public static void clear()

Removes any existing interprocedural results.

analyzeProcedure

public void analyzeProcedure(IPANode node)

Performs intraprocedural range analysis.

Parameters:

node - the node associated with the procedure.

updateCalls

public java.util.Set<CallSite> updateCalls(IPANode node)

Detects any changes in the range domain before call sites. Detection is made on the pre-selected version of the range domain whose content is accessible and valid in the callee's context.

Parameters:

node - the node that was just analyzed.

Returns:

the set of call sites that were updated.

updateCall

public boolean updateCall(IPANode node)

Description copied from class: IPAnalysis

Updates the effect due to procedure call in the callee.

Parameters:

node - the node that was just analyzed.

Returns:

true if the IN data of any call site has been updated.

updateReturn

public boolean updateReturn(IPANode node)

Checks any data change due to return from callee and updates the OUT data if applicable.

Parameters:

node - the node that was just analyzed.

Returns:

true if the OUT data of the node has been updated.