coins.backend.ana
クラス Postdominators

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

public class Postdominators
extends java.lang.Object
implements LocalAnalysis

Find Postdominators of the control flow graph.


フィールドの概要
static coins.backend.ana.Postdominators.Analyzer analyzer
          Factory singleton.
 BasicBlk[] idom
          BasicBlk-id-indexed array, whose elements are the parents of the block in the Postdominator tree.
 BiList[] kids
          BasicBlk-id-indexed array, whose elements are the lists of children nodes in the Postdominator 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 immPostdominator(BasicBlk blk)
          Return immediate Postdominator 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 Postdominator 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 Postdominator 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.Postdominators.Analyzer analyzer
Factory singleton.


idom

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


kids

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

メソッドの詳細

isUpToDate

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

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

immPostdominator

public BasicBlk immPostdominator(BasicBlk blk)
Return immediate Postdominator 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 Postdominator tree on stream out

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

printIt

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