coins.backend.ana
クラス Dominators

java.lang.Object
  |
  +--coins.backend.ana.Dominators
すべての実装インタフェース:
LocalAnalysis

public class Dominators
extends java.lang.Object
implements LocalAnalysis

Find dominators of the control flow graph.


フィールドの概要
static coins.backend.ana.Dominators.Analyzer analyzer
          Factory singleton.
 BasicBlk[] idom
          BasicBlk-id-indexed array, whose elements are the parents of the block in the dominator tree.
 BiList[] kids
          BasicBlk-id-indexed array, whose elements are the lists of children nodes in the dominator tree.
 
メソッドの概要
 java.util.Iterator children(BasicBlk blk)
          Return children (immediate dominatees) list iterator of block blk.
 boolean dominates(BasicBlk x, BasicBlk y)
          Test if the block x dominates y.
 BasicBlk immDominator(BasicBlk blk)
          Return immediate dominator of block blk.
 boolean isUpToDate()
          Return true if this analysis is up to date.
 void printAfterBlock(BasicBlk blk, java.io.PrintWriter output)
          Called after each Basic Block.
 void printAfterFunction(java.io.PrintWriter out)
          Dump dominator tree on stream out
 void printAfterStmt(LirNode stmt, java.io.PrintWriter output)
          Called after each statement.
 void printBeforeBlock(BasicBlk blk, java.io.PrintWriter output)
          Called before each Basic Block.
 void printBeforeFunction(java.io.PrintWriter output)
          Debug print entries required by interface.
 void printBeforeStmt(LirNode stmt, java.io.PrintWriter output)
          Called before each statement.
 void printIt(java.io.PrintWriter out)
          Dump dominator tree on stream out (OBSOLETED)
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

analyzer

public static final coins.backend.ana.Dominators.Analyzer analyzer
Factory singleton.


idom

public final BasicBlk[] idom
BasicBlk-id-indexed array, whose elements are the parents of the block in the dominator tree.


kids

public final BiList[] kids
BasicBlk-id-indexed array, whose elements are the lists of children nodes in the dominator tree.

メソッドの詳細

isUpToDate

public boolean isUpToDate()
Return true if this analysis is up to date.

定義:
インタフェース LocalAnalysis 内の isUpToDate

immDominator

public BasicBlk immDominator(BasicBlk blk)
Return immediate dominator of block blk.


children

public java.util.Iterator children(BasicBlk blk)
Return children (immediate dominatees) list iterator of block blk.


dominates

public boolean dominates(BasicBlk x,
                         BasicBlk y)
Test if the block x dominates y.


printBeforeFunction

public void printBeforeFunction(java.io.PrintWriter output)
Debug print entries required by interface.

定義:
インタフェース LocalAnalysis 内の printBeforeFunction

printBeforeBlock

public void printBeforeBlock(BasicBlk blk,
                             java.io.PrintWriter output)
インタフェース LocalAnalysis の記述:
Called before each Basic Block.

定義:
インタフェース LocalAnalysis 内の printBeforeBlock

printAfterBlock

public void printAfterBlock(BasicBlk blk,
                            java.io.PrintWriter output)
インタフェース LocalAnalysis の記述:
Called after each Basic Block.

定義:
インタフェース LocalAnalysis 内の printAfterBlock

printBeforeStmt

public void printBeforeStmt(LirNode stmt,
                            java.io.PrintWriter output)
インタフェース LocalAnalysis の記述:
Called before each statement.

定義:
インタフェース LocalAnalysis 内の printBeforeStmt

printAfterStmt

public void printAfterStmt(LirNode stmt,
                           java.io.PrintWriter output)
インタフェース LocalAnalysis の記述:
Called after each statement.

定義:
インタフェース LocalAnalysis 内の printAfterStmt

printAfterFunction

public void printAfterFunction(java.io.PrintWriter out)
Dump dominator tree on stream out

定義:
インタフェース LocalAnalysis 内の printAfterFunction

printIt

public void printIt(java.io.PrintWriter out)
Dump dominator tree on stream out (OBSOLETED)