coins.ssa
クラス BackTranslateFromSsa

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

class BackTranslateFromSsa
extends java.lang.Object
implements LocalTransformer

The back translation from SSA form into normal form. This class has three methods for the back translation. Sreedhar's method I, II and III. This class also has the SSA based coalescing module. Reference:
Vugranam C. Sreedhar, Roy Dz-Ching Ju, David M. Gillies, Vatsa Santhanam, "Translating Out of Static Single Assignment Form," SAS'99, LNCS 1694, pp.194-210, 1999.


フィールドの概要
static java.lang.String BACK_TMP
          The name of the symbol which the optimzer uses to make the temporary variables
static int METHOD_I
          Represent Sreedhar's Method I
static int METHOD_II
          Represent Sreedhar's Method II
static int METHOD_III
          Represent Sreedhar's Method III
static int THR
          The threshold of debug print
static int THR2
          The threshold of debug print
static int THR3
          The threshold of debug print
 
コンストラクタの概要
(パッケージプライベート) BackTranslateFromSsa(SsaEnvironment e, SsaSymTab stab, int howToTranslate, boolean withCoalesce, boolean aggr)
          Constructor.
 
メソッドの概要
 boolean doIt(Data data, ImList args)
          Transform the DATA component.
 boolean doIt(Function function, ImList args)
          Do Back translation from the SSA form.
 java.lang.String name()
          Return the name of the transforming engine.
 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 debug print

関連項目:
定数フィールド値

THR2

public static final int THR2
The threshold of debug print

関連項目:
定数フィールド値

THR3

public static final int THR3
The threshold of debug print

関連項目:
定数フィールド値

BACK_TMP

public static final java.lang.String BACK_TMP
The name of the symbol which the optimzer uses to make the temporary variables

関連項目:
定数フィールド値

METHOD_I

public static final int METHOD_I
Represent Sreedhar's Method I

関連項目:
定数フィールド値

METHOD_II

public static final int METHOD_II
Represent Sreedhar's Method II

関連項目:
定数フィールド値

METHOD_III

public static final int METHOD_III
Represent Sreedhar's Method III

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

BackTranslateFromSsa

BackTranslateFromSsa(SsaEnvironment e,
                     SsaSymTab stab,
                     int howToTranslate,
                     boolean withCoalesce,
                     boolean aggr)
Constructor. The back translation from SSA form.

パラメータ:
e - The environment of the SSA module
stab - The current symbol table on SSA form
howToTranslate - Specify the translate method
withCoalesce - Whether coalesce or not
メソッドの詳細

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 Back translation from the SSA form.

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