harpoon.Analysis
Class SSxReachingDefsImpl

java.lang.Object
  |
  +--harpoon.Analysis.ReachingDefs
        |
        +--harpoon.Analysis.SSxReachingDefsImpl

public class SSxReachingDefsImpl
extends ReachingDefs

SSxReachingDefsImpl is a ReachingDefs implementation that works on codeviews in SSA or SSI form. It is much more efficient (because of the SSx form) than the standard ReachingDefsImpl.

Version:
$Id: SSxReachingDefsImpl.java,v 1.3 2002/02/26 22:39:08 cananian Exp $
Author:
C. Scott Ananian <cananian@alumni.princeton.edu>

Field Summary
 
Fields inherited from class harpoon.Analysis.ReachingDefs
hc, TIME
 
Constructor Summary
SSxReachingDefsImpl(HCode hc)
          Create an SSxReachingDefs using the default UseDefer.
SSxReachingDefsImpl(HCode hc, UseDefer ud)
          Create an SSxReachingDefs for hc using the specified 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
 

Constructor Detail

SSxReachingDefsImpl

public SSxReachingDefsImpl(HCode hc)
Create an SSxReachingDefs using the default UseDefer.


SSxReachingDefsImpl

public SSxReachingDefsImpl(HCode hc,
                           UseDefer ud)
Create an SSxReachingDefs for hc using the specified UseDefer.

Method Detail

reachingDefs

public Set reachingDefs(HCodeElement hce,
                        Temp t)
Description copied from class: ReachingDefs
Returns the Set of HCodeElements providing definitions of Temp t which reach HCodeElement hce.

Specified by:
reachingDefs in class ReachingDefs