|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
java.lang.Object | +--coins.backend.ana.DataFlowAnalysis | +--coins.backend.ana.LiveVariableBitMap
Live variable analysis. Set information is represented by bitmap vectors.
フィールドの概要 | |
static coins.backend.ana.LiveVariableBitMap.Analyzer |
analyzer
Factory singleton. |
クラス coins.backend.ana.DataFlowAnalysis から継承したフィールド |
function, isForward, timeStamp |
メソッドの概要 | |
void |
addLiveInSet(NumberSet x,
BasicBlk blk)
Add set of live variable numbers at entry to NumberSet x. |
void |
addLiveOutSet(NumberSet x,
BasicBlk blk)
Add set of live variable numbers at exit of block blk to NumberSet x. |
(パッケージプライベート) void |
confluence(BasicBlk blk)
Supply confluence operator (=join at here) for block blk. |
void |
getLiveInSet(NumberSet x,
BasicBlk blk)
Copy set of live variable numbers at entry to NumberSet x. |
void |
getLiveOutSet(NumberSet x,
BasicBlk blk)
Copy set of live variable numbers at exit of block blk to NumberSet x. |
(パッケージプライベート) void |
initialize()
Initialize problem-oriented data structure. |
boolean |
isLiveAtEntry(int regvar,
BasicBlk blk)
Return true if variable regvar is live at entry of blk. |
boolean |
isLiveAtEntry(Symbol regvar,
BasicBlk blk)
Return true if variable regvar is live at entry of blk. |
boolean |
isLiveAtExit(int regvar,
BasicBlk blk)
Return true if variable regvar is live at exit of blk. |
boolean |
isLiveAtExit(Symbol regvar,
BasicBlk blk)
Return true if variable regvar is live at exit of blk. |
BiList |
liveIn(BasicBlk blk)
Return the list of live variables at entry of basic block blk. |
NumberSet |
liveInSet(BasicBlk blk)
Return set of live variable numbers at entry of basic block. |
BiList |
liveOut(BasicBlk blk)
Return the list of live variables at exit of basic block blk. |
NumberSet |
liveOutSet(BasicBlk blk)
Return set of live variable numbers at exit of basic block. |
void |
printAfterBlock(BasicBlk blk,
java.io.PrintWriter output)
Called after each Basic Block. |
void |
printAfterFunction(java.io.PrintWriter output)
Called after function body. |
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. |
(パッケージプライベート) boolean |
transfer(BasicBlk blk)
Supply transfer function for block blk. |
(パッケージプライベート) void |
windUp()
Finalization. |
クラス coins.backend.ana.DataFlowAnalysis から継承したメソッド |
isUpToDate |
クラス java.lang.Object から継承したメソッド |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
インタフェース coins.backend.LocalAnalysis から継承したメソッド |
isUpToDate |
フィールドの詳細 |
public static final coins.backend.ana.LiveVariableBitMap.Analyzer analyzer
メソッドの詳細 |
public boolean isLiveAtEntry(Symbol regvar, BasicBlk blk)
LiveVariableAnalysis
内の isLiveAtEntry
public boolean isLiveAtEntry(int regvar, BasicBlk blk)
LiveVariableAnalysis
内の isLiveAtEntry
public boolean isLiveAtExit(Symbol regvar, BasicBlk blk)
LiveVariableAnalysis
内の isLiveAtExit
public boolean isLiveAtExit(int regvar, BasicBlk blk)
LiveVariableAnalysis
内の isLiveAtExit
public BiList liveOut(BasicBlk blk)
LiveVariableAnalysis
内の liveOut
public BiList liveIn(BasicBlk blk)
LiveVariableAnalysis
内の liveIn
public NumberSet liveInSet(BasicBlk blk)
LiveVariableAnalysis
内の liveInSet
public NumberSet liveOutSet(BasicBlk blk)
LiveVariableAnalysis
内の liveOutSet
public void getLiveOutSet(NumberSet x, BasicBlk blk)
LiveVariableAnalysis
内の getLiveOutSet
public void addLiveOutSet(NumberSet x, BasicBlk blk)
LiveVariableAnalysis
内の addLiveOutSet
public void getLiveInSet(NumberSet x, BasicBlk blk)
LiveVariableAnalysis
内の getLiveInSet
public void addLiveInSet(NumberSet x, BasicBlk blk)
LiveVariableAnalysis
内の addLiveInSet
void initialize()
DataFlowAnalysis
内の initialize
void confluence(BasicBlk blk)
DataFlowAnalysis
内の confluence
boolean transfer(BasicBlk blk)
DataFlowAnalysis
内の transfer
void windUp()
DataFlowAnalysis
内の windUp
public void printBeforeFunction(java.io.PrintWriter output)
LocalAnalysis
内の printBeforeFunction
public void printBeforeBlock(BasicBlk blk, java.io.PrintWriter output)
LocalAnalysis
の記述:
LocalAnalysis
内の printBeforeBlock
public void printAfterBlock(BasicBlk blk, java.io.PrintWriter output)
LocalAnalysis
の記述:
LocalAnalysis
内の printAfterBlock
public void printBeforeStmt(LirNode stmt, java.io.PrintWriter output)
LocalAnalysis
の記述:
LocalAnalysis
内の printBeforeStmt
public void printAfterStmt(LirNode stmt, java.io.PrintWriter output)
LocalAnalysis
の記述:
LocalAnalysis
内の printAfterStmt
public void printAfterFunction(java.io.PrintWriter output)
LocalAnalysis
の記述:
LocalAnalysis
内の printAfterFunction
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |