| soot.jimple.toolkits.scalar.pre |
|
Jimple PRE optimizations
Particial redundency elimination.
|
| Java Source File Name | Type | Comment |
| BusyCodeMotion.java | Class | Performs a partial redundancy elimination (= code motion). |
| DelayabilityAnalysis.java | Class | Performs a Delayability-analysis on the given graph.
This analysis is the third analysis in the PRE (lazy code motion) and has
little (no?) sense if used alone. |
| DownSafetyAnalysis.java | Class | Performs an DownSafe-analysis on the given graph. |
| EarliestnessComputation.java | Class | Computes the earliest points for the given expressions.
This basicly finds the highest point in the flow-graph where we can put each
computation, without introducing new computations on any path.
More technically: A computation is earliest, if at the current point the
computation is down-safe, and if either:
- any of the predecessors is not transparent, or
- if any predecessors is not "safe" (ie.
|
| LatestComputation.java | Class | Performs a Latest-Computation on the given graph.
a computation is latest, when we can't delay it anymore. |
| LazyCodeMotion.java | Class | Performs a partial redundancy elimination (= code motion). |
| NotIsolatedAnalysis.java | Class | Performs a Not-Isolated-analysis on the given graph, which is basicly the
same as an Isolated-analysis (we just return the complement, as it's easier
to calculate it).
A computation is isolated, if it can only be used at the current
computation-point. |
| SootFilter.java | Class | Allows easy filtering/wrapping of Soot objects. |
| UpSafetyAnalysis.java | Class | Performs an UpSafe-analysis on the given graph. |