cetus.application

Class PSGReachingDefinitionAnalysis

java.lang.Object

cetus.analysis.AnalysisPass

cetus.application.DataFlowAnalysis

cetus.application.PSGReachingDefinitionAnalysis

All Implemented Interfaces:

java.lang.Runnable

public class PSGReachingDefinitionAnalysis
extends DataFlowAnalysis

This class performs the reaching definition analysis for the program summary graph. *

Author:

Jae-Woo Lee, School of ECE, Purdue University

Constructor Summary

Constructors

Constructor and Description
PSGReachingDefinitionAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.Map<Procedure,java.util.Set<AnalysisTarget>> refParamMap, java.util.Map<AnalysisTarget,java.lang.Integer> refParamIdxMap)
PSGReachingDefinitionAnalysis(Program program, java.util.Map<Procedure,CFGraph> cfgMap, java.util.Set<Symbol> globalSet, java.util.Set<AnalysisTarget> globalDefList, java.util.Set<Procedure> globalDefProcSet)

Method Summary

Methods

Modifier and Type	Method and Description
java.lang.String	getPassName()

Methods inherited from class cetus.application.DataFlowAnalysis

getAnalysisTargetListMap, run, setAnalysisTarget, 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

PSGReachingDefinitionAnalysis

public PSGReachingDefinitionAnalysis(Program program,
                             java.util.Map<Procedure,CFGraph> cfgMap,
                             java.util.Map<Procedure,java.util.Set<AnalysisTarget>> refParamMap,
                             java.util.Map<AnalysisTarget,java.lang.Integer> refParamIdxMap)

PSGReachingDefinitionAnalysis

public PSGReachingDefinitionAnalysis(Program program,
                             java.util.Map<Procedure,CFGraph> cfgMap,
                             java.util.Set<Symbol> globalSet,
                             java.util.Set<AnalysisTarget> globalDefList,
                             java.util.Set<Procedure> globalDefProcSet)

Method Detail

getPassName

public java.lang.String getPassName()

Overrides:

getPassName in class DataFlowAnalysis