DelayabilityAnalysis(DirectedGraph<Unit> dg,
EarliestnessComputation earliest,
Map<Unit,EquivalentValue> equivRhsMap,
BoundedFlowSet<EquivalentValue> set) |
Automatically performs the Delayability-analysis on the graph dg and the Earliest-computation
earliest.
the equivRhsMap is only here to avoid doing these things again...
as set-operations are usually more efficient, if the sets come from one source, sets should be shared around analyses,
if the analyses are to be combined.
|
DownSafetyAnalysis(DirectedGraph<Unit> dg,
Map<Unit,EquivalentValue> unitToGen,
SideEffectTester sideEffect,
BoundedFlowSet<EquivalentValue> set) |
This constructor automatically performs the DownSafety-analysis.
the result of the analysis is as usual in FlowBefore (getFlowBefore()) and FlowAfter (getFlowAfter()).
as sets-operations are usually more efficient, if the original set comes from the same source, this allows to share
sets.
|
LatestComputation(UnitGraph unitGraph,
DelayabilityAnalysis delayed,
Map<Unit,EquivalentValue> equivRhsMap,
BoundedFlowSet<EquivalentValue> 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.
|
NotIsolatedAnalysis(DirectedGraph<Unit> dg,
LatestComputation latest,
Map<Unit,EquivalentValue> equivRhsMap,
BoundedFlowSet<EquivalentValue> set) |
Automatically performs the Isolation-analysis on the graph dg using the Latest-computation
latest.
the equivRhsMap is only here to avoid doing these things again...
the shared set allows more efficient set-operations, when this analysis is joined with other analyses/computations.
|
UpSafetyAnalysis(DirectedGraph<Unit> dg,
Map<Unit,EquivalentValue> unitToGen,
SideEffectTester sideEffect,
BoundedFlowSet<EquivalentValue> set) |
This constructor automatically performs the UpSafety-analysis.
the result of the analysis is as usual in FlowBefore (getFlowBefore()) and FlowAfter (getFlowAfter()).
As usually flowset-operations are more efficient if shared, this allows to share sets over several analyses.
|