coins.ssa
クラス DeadCodeElimination

java.lang.Object
  |
  +--coins.ssa.DeadCodeElimination
すべての実装インタフェース:
LocalTransformer, Transformer

class DeadCodeElimination
extends java.lang.Object
implements LocalTransformer

Dead code elimination:
If the expressions which are never used or reached, then these expressions are dead. This optimizer eliminate all dead expressions from the program.


フィールドの概要
static int THR
          The threshold of the debug print
 
コンストラクタの概要
DeadCodeElimination(SsaEnvironment e)
          Constructor
 
メソッドの概要
 boolean doIt(Data data, ImList args)
          Transform the DATA component.
 boolean doIt(Function function, ImList args)
          Do dead code elimination.
 java.lang.String name()
          Return the name of the transforming engine.
(パッケージプライベート)  boolean reachToAvailBlk(BasicBlk blk, BiList visited)
          If the basic block can be reached from the entrance of the current CFG, then return true.
 java.lang.String subject()
          Return brief description of the tranformation.
 
クラス java.lang.Object から継承したメソッド
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

フィールドの詳細

THR

public static final int THR
The threshold of the debug print

関連項目:
定数フィールド値
コンストラクタの詳細

DeadCodeElimination

public DeadCodeElimination(SsaEnvironment e)
Constructor

パラメータ:
e - The environment of the SSA module
メソッドの詳細

doIt

public boolean doIt(Data data,
                    ImList args)
インタフェース LocalTransformer の記述:
Transform the DATA component.

定義:
インタフェース LocalTransformer 内の doIt
パラメータ:
data - DATA to be transformed.
args - list of optional arguments.
戻り値:
true if transformation suceeded.

name

public java.lang.String name()
インタフェース Transformer の記述:
Return the name of the transforming engine. Used for trace tag name.

定義:
インタフェース Transformer 内の name
戻り値:
the name of the transforming engine.

subject

public java.lang.String subject()
インタフェース Transformer の記述:
Return brief description of the tranformation.

定義:
インタフェース Transformer 内の subject
戻り値:
brief description of the tranformation.

doIt

public boolean doIt(Function function,
                    ImList args)
Do dead code elimination.

定義:
インタフェース LocalTransformer 内の doIt
パラメータ:
function - The current function
args - The list of options
戻り値:
true if transformation suceeded.

reachToAvailBlk

boolean reachToAvailBlk(BasicBlk blk,
                        BiList visited)
If the basic block can be reached from the entrance of the current CFG, then return true.

パラメータ:
blk - The current basic block
visited - The list of the basic blocks which are already visited
戻り値:
If the current basic block can be reached, return true