harpoon.Analysis
Class SSxReachingDefsImpl<HCE extends HCodeElement>

java.lang.Object
  harpoon.Analysis.ReachingDefs<HCE>
      harpoon.Analysis.SSxReachingDefsImpl<HCE>

public class SSxReachingDefsImpl<HCE extends HCodeElement>
extends ReachingDefs<HCE>

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.6 2004/02/08 03:19:12 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<HCE> hc)
Create an SSxReachingDefs using the default UseDefer.

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

Method Summary

Set<HCE>

reachingDefs(HCE 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<HCE> hc)

Create an SSxReachingDefs using the default UseDefer.

SSxReachingDefsImpl

public SSxReachingDefsImpl(HCode<HCE> hc,
                           UseDefer<HCE> ud)

Create an SSxReachingDefs for hc using the specified UseDefer.

Method Detail

reachingDefs

public Set<HCE> reachingDefs(HCE 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<HCE extends HCodeElement>