harpoon.Analysis
Class ReachingDefsAltImpl

java.lang.Object
  |
  +--harpoon.Analysis.ReachingDefs
        |
        +--harpoon.Analysis.ReachingDefsAltImpl
Direct Known Subclasses:
ReachingDefsCachingImpl

public class ReachingDefsAltImpl
extends ReachingDefs

ReachingDefsAltImpl

Version:
$Id: ReachingDefsAltImpl.java,v 1.3 2002/02/26 22:39:08 cananian Exp $
Author:
Felix S. Klock II <pnkfelix@mit.edu>

Field Summary
protected  BasicBlock.Factory bbf
           
protected  harpoon.Analysis.ReachingDefsAltImpl.AugSetFactory bsf
           
protected  Map cache
           
protected  boolean check_typecast
           
protected  Map tempToAllDefs
           
protected  UseDefer ud
           
 
Fields inherited from class harpoon.Analysis.ReachingDefs
hc, TIME
 
Constructor Summary
ReachingDefsAltImpl(HCode hc)
          Creates a ReachingDefsImpl object for the provided HCode using CFGrapher.DEFAULT and UseDefer.DEFAULT.
ReachingDefsAltImpl(HCode hc, CFGrapher cfger)
          Creates a ReachingDefsImpl object for the provided HCode for an IR implementing UseDefable using the provided CFGrapher.
ReachingDefsAltImpl(HCode hc, CFGrapher cfger, UseDefer ud)
          Creates a ReachingDefsImpl object for the provided HCode using the provided CFGrapher and UseDefer.
 
Method Summary
 Set reachingDefs(HCodeElement hce, Temp t)
          Returns the Set of HCodeElements providing definitions of Temp t which reach HCodeElement hce.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

bbf

protected final BasicBlock.Factory bbf

bsf

protected final harpoon.Analysis.ReachingDefsAltImpl.AugSetFactory bsf

tempToAllDefs

protected final Map tempToAllDefs

cache

protected final Map cache

check_typecast

protected final boolean check_typecast

ud

protected final UseDefer ud
Constructor Detail

ReachingDefsAltImpl

public ReachingDefsAltImpl(HCode hc)
Creates a ReachingDefsImpl object for the provided HCode using CFGrapher.DEFAULT and UseDefer.DEFAULT. This may take a while since the analysis is done at this time.


ReachingDefsAltImpl

public ReachingDefsAltImpl(HCode hc,
                           CFGrapher cfger)
Creates a ReachingDefsImpl object for the provided HCode for an IR implementing UseDefable using the provided CFGrapher. This may take a while since the analysis is done at this time.


ReachingDefsAltImpl

public ReachingDefsAltImpl(HCode hc,
                           CFGrapher cfger,
                           UseDefer ud)
Creates a ReachingDefsImpl object for the provided HCode using the provided CFGrapher and UseDefer. This may take a while since the analysis is done at this time.

Method Detail

reachingDefs

public Set reachingDefs(HCodeElement hce,
                        Temp t)
Returns the Set of HCodeElements providing definitions of Temp t which reach HCodeElement hce. Any use that is not explicitly defined is assumed to be implicitly defined by the root element of the HCode for this.

Specified by:
reachingDefs in class ReachingDefs