|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.jimple.toolkits.scalar.pre.LatestComputation
Performs a Latest-Computation on the given graph. a computation is latest, when we can't delay it anymore. This uses the Delayability-analysis. More precise: The delayability-analysis says us already until which point we can delay a computation from the earliest computation-point. We just have to search for points, where there's a computation, or, where we can't delay the computation to one of the succesors.
Constructor Summary | |
LatestComputation(UnitGraph unitGraph,
DelayabilityAnalysis delayed,
java.util.Map equivRhsMap)
given a DelayabilityAnalysis and the computations of each unit, calculates the latest computation-point for each expression. |
|
LatestComputation(UnitGraph unitGraph,
DelayabilityAnalysis delayed,
java.util.Map equivRhsMap,
BoundedFlowSet set)
given a DelayabilityAnalysis and the computations of each unit, calculates the latest computation-point for each expression. the equivRhsMap could be calculated on the fly, but it is
very likely that it already exists (as similar maps are used for
calculating Earliestness, Delayed,...the shared set allows more efficient set-operations, when they the computation is merged with other analyses/computations. |
Method Summary | |
java.lang.Object |
getFlowBefore(java.lang.Object node)
returns the set of expressions, that have their latest computation just before node . |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, java.util.Map equivRhsMap)
equivRhsMap
could be calculated on the fly, but it is
very likely that it already exists (as similar maps are used for
calculating Earliestness, Delayed,...
delayed
- the delayability-analysis of the same graph.equivRhsMap
- all computations of the graphpublic LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, java.util.Map equivRhsMap, BoundedFlowSet set)
equivRhsMap
could be calculated on the fly, but it is
very likely that it already exists (as similar maps are used for
calculating Earliestness, Delayed,...
delayed
- the delayability-analysis of the same graph.equivRhsMap
- all computations of the graphset
- the shared flowSetMethod Detail |
public java.lang.Object getFlowBefore(java.lang.Object node)
node
.
node
- an Object of the flow-graph (in our case always a unit).
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |