harpoon.Analysis.PreciseGC
Class PointsToQuadVisitor

java.lang.Object
  harpoon.IR.Quads.QuadVisitor
      harpoon.Analysis.PreciseGC.PointsToQuadVisitor

public class PointsToQuadVisitor
extends QuadVisitor

PointsToQuadVisitor performs local points to analysis, and can be subclassed for more specific purposes.

Version:

$Id: PointsToQuadVisitor.java,v 1.1 2002/07/18 21:06:00 kkz Exp $

Author:

Karen Zee <kkz@tmi.lcs.mit.edu>

Field Summary

protected Code	code
protected Map	EdgeToTemps
protected Worklist	toDo

Constructor Summary

PointsToQuadVisitor(Code code)
Creates a PointsToQuadVisitor.

Method Summary

protected void	analyze(Set aliases)
protected Set	get(CFGEdge e)
protected void	handleSIGMAEdge(SIGMA q, Set aliases, int index)
protected void	raiseValue(CFGEdge e, Set raised)
void	visit(CALL q)
void	visit(FOOTER q)
void	visit(MOVE q)
void	visit(PHI q)
void	visit(Quad q) Visit a quad q.
void	visit(SIGMA q)

Methods inherited from class harpoon.IR.Quads.QuadVisitor

visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

toDo

protected final Worklist toDo

code

protected final Code code

EdgeToTemps

protected final Map EdgeToTemps

Constructor Detail

PointsToQuadVisitor

public PointsToQuadVisitor(Code code)

Creates a PointsToQuadVisitor.

Method Detail

analyze

protected void analyze(Set aliases)

visit

public void visit(CALL q)

Overrides:

visit in class QuadVisitor

visit

public void visit(FOOTER q)

Overrides:

visit in class QuadVisitor

visit

public void visit(MOVE q)

Overrides:

visit in class QuadVisitor

visit

public void visit(PHI q)

Overrides:

visit in class QuadVisitor

visit

public void visit(Quad q)

Description copied from class: QuadVisitor

Visit a quad q.

Specified by:

visit in class QuadVisitor

visit

public void visit(SIGMA q)

Overrides:

visit in class QuadVisitor

get

protected Set get(CFGEdge e)

raiseValue

protected void raiseValue(CFGEdge e,
                          Set raised)

handleSIGMAEdge

protected void handleSIGMAEdge(SIGMA q,
                               Set aliases,
                               int index)