scale.backend
Class DominanceFrontier

java.lang.Object
  scale.backend.DominanceFrontier

public class DominanceFrontier
extends java.lang.Object

This class computes and manages dominance frontiers for a graph.

$Id: DominanceFrontier.java,v 1.2 2005-03-24 13:56:45 burrill Exp $

Copyright 2008 by the Scale Compiler Group,
Department of Computer Science
University of Massachusetts,
Amherst MA. 01003, USA
All Rights Reserved.

Constructor Summary

DominanceFrontier(Node begin, Domination dom)

Method Summary

static int	computed() Return the number of times the dominance frontier was computed.
static int	created() Return the number of instances of this class that were created.
java.util.Iterator<Node>	getDominanceFrontier(Node bb) Return an iteration of all of the nodes on the dominance frontier of a PFG node.
boolean	inDominanceFrontier(Node b1, Node b2) Return true if b2 is in b1's dominance frontier.

Methods inherited from class java.lang.Object

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

Constructor Detail

DominanceFrontier

public DominanceFrontier(Node begin,
                         Domination dom)

Parameters:

begin - is the root node of the PFG (or end node for post-dominators)

dom - is the (post) dominance relation ship

Method Detail

created

public static int created()

Return the number of instances of this class that were created.

computed

public static int computed()

Return the number of times the dominance frontier was computed.

getDominanceFrontier

public java.util.Iterator<Node> getDominanceFrontier(Node bb)

Return an iteration of all of the nodes on the dominance frontier of a PFG node.

Parameters:

bb - the node for which the dominance frontier is requested.

inDominanceFrontier

public boolean inDominanceFrontier(Node b1,
                                   Node b2)

Return true if b2 is in b1's dominance frontier.