harpoon.Analysis
Class ReachingDefsImpl
java.lang.Object
|
+--harpoon.Analysis.ReachingDefs
|
+--harpoon.Analysis.ReachingDefsImpl
- public class ReachingDefsImpl
- extends ReachingDefs
ReachingDefsImpl
defines an implementation
for analyzing reaching definitions. Since results are
cached, a new ReachingDefsImpl
should be
created if the code has been modified.
- Version:
- $Id: ReachingDefsImpl.java,v 1.3 2002/02/26 22:39:08 cananian Exp $
- Author:
- Karen K. Zee <kkz@alum.mit.edu>
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
bbf
protected final BasicBlock.Factory bbf
Temp_to_BitSetFactories
protected final Map Temp_to_BitSetFactories
cache
protected final Map cache
check_typecast
protected final boolean check_typecast
ud
protected final UseDefer ud
ReachingDefsImpl
public ReachingDefsImpl(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.
ReachingDefsImpl
public ReachingDefsImpl(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.
ReachingDefsImpl
public ReachingDefsImpl(HCode hc)
- Creates a
ReachingDefsImpl
object for the
provided HCode
using CFGrapher.DEFAULT
.
This may take a while since the analysis is done at this time.
reachingDefs
public Set reachingDefs(HCodeElement hce,
Temp t)
- Returns the Set of
HCodeElement
s providing definitions
of Temp
t
which reach
HCodeElement
hce
. Returns the empty
Set if the given HCodeElement
is unreachable.
- Specified by:
reachingDefs
in class ReachingDefs