|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |
java.lang.Object | +--coins.ssa.PREQP
フィールドの概要 | |
(パッケージプライベート) MemoryAliasAnalyze |
alias
|
(パッケージプライベート) java.util.Hashtable |
cpMap
|
(パッケージプライベート) boolean[] |
initialized
|
(パッケージプライベート) int |
maxId
|
(パッケージプライベート) boolean[] |
memArray
|
(パッケージプライベート) java.util.Hashtable |
modMap
|
(パッケージプライベート) java.util.Hashtable |
occurMap
|
(パッケージプライベート) java.util.Hashtable |
phiMap
|
(パッケージプライベート) java.util.Hashtable |
rPhiMap
|
static int |
THR
|
static int |
THR2
The threshold of debug print |
(パッケージプライベート) coins.ssa.PREQP.VElem |
unavailVar
|
コンストラクタの概要 | |
PREQP(SsaEnvironment e,
SsaSymTab tab,
int m)
Constructor |
メソッドの概要 | |
boolean |
doIt(Data data,
ImList args)
Transform the DATA component. |
boolean |
doIt(Function function,
ImList args)
Do optimize using Efficient Question Propagation. |
(パッケージプライベート) boolean |
eqp(LirNode e,
BasicBlk v,
BasicBlk succ,
LirNode[] visited)
|
(パッケージプライベート) LirNode |
insertPhi(coins.ssa.PREQP.VElem v)
|
(パッケージプライベート) void |
invoke()
Do optimization using Efficient Question Propagation. |
(パッケージプライベート) void |
localInit(BasicBlk v)
|
(パッケージプライベート) void |
maintainTableDeleteExp(LirNode node,
BasicBlk b)
|
(パッケージプライベート) void |
maintainTableDeletePhi(LirNode node,
LirNode orgNode,
BasicBlk b)
|
(パッケージプライベート) void |
maintainTableInsertExp(BiLink q,
LirNode node,
BasicBlk b)
|
(パッケージプライベート) void |
maintainTableInsertPhi(BiLink q,
LirNode node,
BasicBlk b)
|
(パッケージプライベート) void |
maintainTableReplaceExp(LirNode old,
LirNode newN,
BasicBlk b)
|
(パッケージプライベート) void |
maintainTableReplacePhi(LirNode old,
LirNode newN,
BasicBlk b)
|
(パッケージプライベート) java.lang.String |
makeExpKey(LirNode n)
|
(パッケージプライベート) java.lang.String |
makeLocalKey(BasicBlk blk,
LirNode n)
|
(パッケージプライベート) java.lang.String |
makeLocalKey2(BasicBlk blk,
BasicBlk succ,
LirNode n)
|
(パッケージプライベート) java.lang.String |
makeTmpPhiKey(BasicBlk blk,
LirNode n)
Make keys for expressions. |
(パッケージプライベート) boolean |
memIsHoistable(BasicBlk target,
LirNode e)
|
(パッケージプライベート) boolean |
modGraph(coins.ssa.PREQP.VElem v)
The main routine of Efficient Question Propagation. |
java.lang.String |
name()
Return the name of the transforming engine. |
(パッケージプライベート) java.lang.Boolean |
postEqp(LirNode e,
BasicBlk v,
LirNode[] pVisited)
|
(パッケージプライベート) boolean |
propagate(LirNode e,
BasicBlk v,
LirNode[] visited)
|
java.lang.String |
subject()
Return brief description of the tranformation. |
クラス java.lang.Object から継承したメソッド |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
フィールドの詳細 |
int maxId
public static final int THR
public static final int THR2
coins.ssa.PREQP.VElem unavailVar
java.util.Hashtable occurMap
java.util.Hashtable modMap
java.util.Hashtable phiMap
java.util.Hashtable rPhiMap
java.util.Hashtable cpMap
boolean[] initialized
MemoryAliasAnalyze alias
boolean[] memArray
コンストラクタの詳細 |
public PREQP(SsaEnvironment e, SsaSymTab tab, int m)
e
- The environment of the SSA moduletab
- The symbol tabel of the SSA modulem
- The current modeメソッドの詳細 |
public boolean doIt(Data data, ImList args)
LocalTransformer
の記述:
LocalTransformer
内の doIt
data
- DATA to be transformed.args
- list of optional arguments.
public java.lang.String name()
Transformer
の記述:
Transformer
内の name
public java.lang.String subject()
Transformer
の記述:
Transformer
内の subject
boolean modGraph(coins.ssa.PREQP.VElem v)
v
- The current basic block
LirNode insertPhi(coins.ssa.PREQP.VElem v)
boolean propagate(LirNode e, BasicBlk v, LirNode[] visited)
boolean eqp(LirNode e, BasicBlk v, BasicBlk succ, LirNode[] visited)
java.lang.String makeTmpPhiKey(BasicBlk blk, LirNode n)
blk
- The current basic block
java.lang.String makeLocalKey(BasicBlk blk, LirNode n)
java.lang.String makeLocalKey2(BasicBlk blk, BasicBlk succ, LirNode n)
java.lang.String makeExpKey(LirNode n)
java.lang.Boolean postEqp(LirNode e, BasicBlk v, LirNode[] pVisited)
void maintainTableInsertExp(BiLink q, LirNode node, BasicBlk b)
void maintainTableInsertPhi(BiLink q, LirNode node, BasicBlk b)
void maintainTableDeleteExp(LirNode node, BasicBlk b)
void maintainTableReplaceExp(LirNode old, LirNode newN, BasicBlk b)
void maintainTableDeletePhi(LirNode node, LirNode orgNode, BasicBlk b)
void maintainTableReplacePhi(LirNode old, LirNode newN, BasicBlk b)
boolean memIsHoistable(BasicBlk target, LirNode e)
void invoke()
void localInit(BasicBlk v)
public boolean doIt(Function function, ImList args)
LocalTransformer
内の doIt
function
- L-function to be transformed.args
- list of optional arguments.
|
||||||||||
前のクラス 次のクラス | フレームあり フレームなし | |||||||||
概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド |