harpoon.Analysis
Class DomFrontier

java.lang.Object
  harpoon.Analysis.DomFrontier

public class DomFrontier
extends Object

DomFrontier computes the dominance frontier of a flowgraph-structured IR. The HCodeElements must implement the harpoon.IR.Properties.CFGraphable interface.

Version:

$Id: DomFrontier.java,v 1.9 2004/02/08 03:19:12 cananian Exp $

Author:

C. Scott Ananian <cananian@alumni.princeton.edu>

Constructor Summary

DomFrontier(DomTree dt)
Creates a DomFrontier using a pre-existing DomTree.

DomFrontier(HCode hcode, boolean isPost)
Creates a DomFrontier for the given HCode using the default grapher; if isPost is false creates the dominance frontier; otherwise creates the postdominance frontier.

DomFrontier(HCode hcode, CFGrapher grapher, boolean isPost)
Creates a DomFrontier for the given HCode using the given CFGrapher; if isPost is false creates the dominance frontier; otherwise creates the postdominance frontier.

Method Summary

HCodeElement[]	df(HCodeElement n) Return an array of HCodeElements in the (post)dominance frontier of n.
Set	dfS(HCodeElement n) Return an immutable Set of HCodeElements in the (post)dominance frontier of n.

Methods inherited from class java.lang.Object

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

Constructor Detail

DomFrontier

public DomFrontier(DomTree dt)

Creates a DomFrontier using a pre-existing DomTree.

DomFrontier

public DomFrontier(HCode hcode,
                   boolean isPost)

Creates a DomFrontier for the given HCode using the default grapher; if isPost is false creates the dominance frontier; otherwise creates the postdominance frontier.

DomFrontier

public DomFrontier(HCode hcode,
                   CFGrapher grapher,
                   boolean isPost)

Creates a DomFrontier for the given HCode using the given CFGrapher; if isPost is false creates the dominance frontier; otherwise creates the postdominance frontier.

Method Detail

df

public HCodeElement[] df(HCodeElement n)

Return an array of HCodeElements in the (post)dominance frontier of n.

dfS

public Set dfS(HCodeElement n)

Return an immutable Set of HCodeElements in the (post)dominance frontier of n.