|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||
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 内の isLiveAtExitpublic BiList liveOut(BasicBlk blk)
LiveVariableAnalysis 内の liveOutpublic BiList liveIn(BasicBlk blk)
LiveVariableAnalysis 内の liveInpublic NumberSet liveInSet(BasicBlk blk)
LiveVariableAnalysis 内の liveInSetpublic 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 内の addLiveInSetvoid initialize()
DataFlowAnalysis 内の initializevoid confluence(BasicBlk blk)
DataFlowAnalysis 内の confluenceboolean transfer(BasicBlk blk)
DataFlowAnalysis 内の transfervoid windUp()
DataFlowAnalysis 内の windUppublic 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 内の printAfterStmtpublic void printAfterFunction(java.io.PrintWriter output)
LocalAnalysis の記述:
LocalAnalysis 内の printAfterFunction
|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||