|
|||||||||
| Home >> All >> Compil3r >> [ Dataflow overview ] | PREV NEXT | ||||||||
A
- allLocations() - Method in class Compil3r.Dataflow.IterativeSolver
- allLocations() - Method in class Compil3r.Dataflow.PriorityQueueSolver
- allLocations() - Method in class Compil3r.Dataflow.Solver
- Returns an iteration of all graph locations.
- allLocations() - Method in class Compil3r.Dataflow.SortedSetSolver
- allNodes - Variable in class Compil3r.Dataflow.SortedSetSolver
- All locations in the graph, stored in a list.
- apply(TransferFunction, Fact) - Method in class Compil3r.Dataflow.Problem
- Applies the transfer function to the given dataflow value, yielding another dataflow value.
- apply(Fact) - Method in class Compil3r.Dataflow.ReachingDefs.RDTransferFunction
- apply(Fact) - Method in interface Compil3r.Dataflow.TransferFunction
B
- boundaries - Variable in class Compil3r.Dataflow.IterativeSolver
- The boundary locations.
- boundaries - Variable in class Compil3r.Dataflow.WorklistSolver
- The boundary locations.
- boundary() - Method in class Compil3r.Dataflow.Problem
- Returns the boundary value for this dataflow problem.
- boundary() - Method in class Compil3r.Dataflow.ReachingDefs
- boundaryLocations() - Method in class Compil3r.Dataflow.IterativeSolver
- boundaryLocations() - Method in class Compil3r.Dataflow.Solver
- Returns an iteration of all boundary locations.
- boundaryLocations() - Method in class Compil3r.Dataflow.WorklistSolver
C
- Compil3r.Dataflow - package Compil3r.Dataflow
- change - Variable in class Compil3r.Dataflow.IterativeSolver
- Change flag, set to true if we need to iterate more times.
- closure(TransferFunction) - Method in class Compil3r.Dataflow.Problem
- Returns the closure of the given transfer function.
- compare(Fact, Fact) - Method in class Compil3r.Dataflow.Problem
- Compares two dataflow facts, returning true if they are equal and false otherwise.
- compare(Object, Object) - Method in class Compil3r.Dataflow.ReachingDefs.BBComparator
- compare(BasicBlock, BasicBlock) - Method in class Compil3r.Dataflow.ReachingDefs.BBComparator
- compareResults(ControlFlowGraph, Solver, Solver) - Static method in class Compil3r.Dataflow.ReachingDefs
- compose(TransferFunction, TransferFunction) - Method in class Compil3r.Dataflow.Problem
- Returns the composition of two transfer functions.
D
- dataflowValues - Variable in class Compil3r.Dataflow.Solver
- Map from locations to dataflow values.
- direction() - Method in class Compil3r.Dataflow.Problem
- Returns true if this is a forward dataflow problem, false if it is a backward dataflow problem.
- direction() - Method in class Compil3r.Dataflow.ReachingDefs
- direction() - Method in class Compil3r.Dataflow.Solver
- Returns the direction of the dataflow problem that we are solving.
- dumpResults(ControlFlowGraph, Solver) - Static method in class Compil3r.Dataflow.ReachingDefs
E
- emptySet - Variable in class Compil3r.Dataflow.ReachingDefs
- emptyTF - Variable in class Compil3r.Dataflow.ReachingDefs
- equals(Fact) - Method in interface Compil3r.Dataflow.Fact
- equals(Fact) - Method in class Compil3r.Dataflow.ReachingDefs.RDSet
F
- Fact - interface Compil3r.Dataflow.Fact.
- Fact
- factory - Variable in class Compil3r.Dataflow.Solver
- Map factory to create map from locations to dataflow values.
G
- gen - Variable in class Compil3r.Dataflow.ReachingDefs.RDTransferFunction
- getDataflowValue(Object) - Method in class Compil3r.Dataflow.Solver
- Get the dataflow value associated with the given location.
- getPredecessors(Object) - Method in class Compil3r.Dataflow.IterativeSolver
- Get the predecessor locations of the given location.
- getPredecessors(Object) - Method in class Compil3r.Dataflow.WorklistSolver
- Get the predecessor locations of the given location.
- getSuccessors(Object) - Method in class Compil3r.Dataflow.IterativeSolver
- Get the successor locations of the given location.
- getSuccessors(Object) - Method in class Compil3r.Dataflow.WorklistSolver
- Get the successor locations of the given location.
- getTransferFunction(Object) - Method in class Compil3r.Dataflow.Problem
- Returns the transfer function for the given code element.
- getTransferFunction(Object) - Method in class Compil3r.Dataflow.ReachingDefs
- getTraversalOrder() - Method in class Compil3r.Dataflow.IterativeSolver
- Returns an iteration of the order in which the locations are to be traversed.
- graphNavigator - Variable in class Compil3r.Dataflow.IterativeSolver
- Navigator to navigate the graph of locations.
- graphNavigator - Variable in class Compil3r.Dataflow.WorklistSolver
- Navigator to navigate the graph of locations.
H
- handleEdges(BasicBlock, List.BasicBlock, BitString, ReachingDefs.RDTransferFunction) - Method in class Compil3r.Dataflow.ReachingDefs
- hasNext() - Method in class Compil3r.Dataflow.PriorityQueueSolver
- hasNext() - Method in class Compil3r.Dataflow.SortedSetSolver
- hasNext() - Method in class Compil3r.Dataflow.WorklistSolver
- Returns true if the worklist is not empty, false otherwise.
I
- INSTANCE - Static variable in class Compil3r.Dataflow.ReachingDefs.BBComparator
- IterativeSolver - class Compil3r.Dataflow.IterativeSolver.
- Solves a dataflow problem using a iterative technique.
- IterativeSolver(MapFactory) - Constructor for class Compil3r.Dataflow.IterativeSolver
- IterativeSolver() - Constructor for class Compil3r.Dataflow.IterativeSolver
- initialize(Problem, Graph) - Method in class Compil3r.Dataflow.IterativeSolver
- initialize(Problem, Graph, List) - Method in class Compil3r.Dataflow.IterativeSolver
- Initializes this solver with the given dataflow problem, graph, and traversal order.
- initialize(Problem, Graph) - Method in class Compil3r.Dataflow.PriorityQueueSolver
- initialize(Problem, Graph, List) - Method in class Compil3r.Dataflow.PriorityQueueSolver
- Initializes this solver with the given dataflow problem, graph, and traversal order.
- initialize(Graph) - Method in class Compil3r.Dataflow.Problem
- Performs necessary initialization for this dataflow problem.
- initialize(Graph) - Method in class Compil3r.Dataflow.ReachingDefs
- initialize(Problem, Graph) - Method in class Compil3r.Dataflow.Solver
- Initializes the solver to prepare to solve the dataflow problem on the given graph.
- initialize(Problem, Graph) - Method in class Compil3r.Dataflow.SortedSetSolver
- initialize(Problem, Graph) - Method in class Compil3r.Dataflow.WorklistSolver
- initializeDataflowValueMap() - Method in class Compil3r.Dataflow.Solver
- (Re-)initialize the map from locations to dataflow values.
- initializeTraversalOrder(List) - Method in class Compil3r.Dataflow.PriorityQueueSolver
- initializeWorklist() - Method in class Compil3r.Dataflow.PriorityQueueSolver
- initializeWorklist() - Method in class Compil3r.Dataflow.SortedSetSolver
- initializeWorklist() - Method in class Compil3r.Dataflow.WorklistSolver
- (Re-)initialize the worklist.
- interior() - Method in class Compil3r.Dataflow.Problem
- Returns the value that the interior points should be initialized to.
- interior() - Method in class Compil3r.Dataflow.ReachingDefs
K
- kill - Variable in class Compil3r.Dataflow.ReachingDefs.RDTransferFunction
M
- main(String[]) - Static method in class Compil3r.Dataflow.ReachingDefs
- merge(Fact) - Method in interface Compil3r.Dataflow.Fact
- merge(Fact, Fact) - Method in class Compil3r.Dataflow.Problem
- Combines two dataflow values, returning a new value that is the confluence of the two.
- merge(Fact) - Method in class Compil3r.Dataflow.ReachingDefs.RDSet
N
- nodesToPriorities - Variable in class Compil3r.Dataflow.PriorityQueueSolver
- Map from nodes to their (integer) priorities.
O
- ordering - Variable in class Compil3r.Dataflow.SortedSetSolver
- Location ordering function.
P
- PriorityQueueSolver - class Compil3r.Dataflow.PriorityQueueSolver.
- PriorityQueueSolver
- PriorityQueueSolver(MapFactory) - Constructor for class Compil3r.Dataflow.PriorityQueueSolver
- PriorityQueueSolver() - Constructor for class Compil3r.Dataflow.PriorityQueueSolver
- Problem - class Compil3r.Dataflow.Problem.
- Problem
- Problem() - Constructor for class Compil3r.Dataflow.Problem
- problem - Variable in class Compil3r.Dataflow.Solver
- The dataflow problem to solve.
- pull() - Method in class Compil3r.Dataflow.PriorityQueueSolver
- pull() - Method in class Compil3r.Dataflow.SortedSetSolver
- pull() - Method in class Compil3r.Dataflow.WorklistSolver
- Pull the next location off of the worklist.
- pushAll(Collection) - Method in class Compil3r.Dataflow.PriorityQueueSolver
- pushAll(Collection) - Method in class Compil3r.Dataflow.SortedSetSolver
- pushAll(Collection) - Method in class Compil3r.Dataflow.WorklistSolver
- Push all of the given locations onto the worklist.
Q
- quads - Variable in class Compil3r.Dataflow.ReachingDefs
R
- ReachingDefs - class Compil3r.Dataflow.ReachingDefs.
- ReachingDefs
- ReachingDefs() - Constructor for class Compil3r.Dataflow.ReachingDefs
- ReachingDefs.BBComparator - class Compil3r.Dataflow.ReachingDefs.BBComparator.
- ReachingDefs.BBComparator() - Constructor for class Compil3r.Dataflow.ReachingDefs.BBComparator
- ReachingDefs.RDSet - class Compil3r.Dataflow.ReachingDefs.RDSet.
- ReachingDefs.RDSet(int) - Constructor for class Compil3r.Dataflow.ReachingDefs.RDSet
- ReachingDefs.RDSet(BitString) - Constructor for class Compil3r.Dataflow.ReachingDefs.RDSet
- ReachingDefs.RDTransferFunction - class Compil3r.Dataflow.ReachingDefs.RDTransferFunction.
- ReachingDefs.RDTransferFunction(int) - Constructor for class Compil3r.Dataflow.ReachingDefs.RDTransferFunction
- ReachingDefs.RDTransferFunction(BitString, BitString) - Constructor for class Compil3r.Dataflow.ReachingDefs.RDTransferFunction
- reachingDefs - Variable in class Compil3r.Dataflow.ReachingDefs.RDSet
- reset() - Method in class Compil3r.Dataflow.Solver
- Frees the memory associated with this solver.
S
- Solver - class Compil3r.Dataflow.Solver.
- Solver
- Solver(MapFactory) - Constructor for class Compil3r.Dataflow.Solver
- Solver() - Constructor for class Compil3r.Dataflow.Solver
- SortedSetSolver - class Compil3r.Dataflow.SortedSetSolver.
- SortedSetSolver
- SortedSetSolver(MapFactory) - Constructor for class Compil3r.Dataflow.SortedSetSolver
- SortedSetSolver() - Constructor for class Compil3r.Dataflow.SortedSetSolver
- SortedSetSolver(Comparator) - Constructor for class Compil3r.Dataflow.SortedSetSolver
- setOrder(Comparator) - Method in class Compil3r.Dataflow.SortedSetSolver
- Set the default ordering for this solver.
- solve() - Method in class Compil3r.Dataflow.IterativeSolver
- solve(ControlFlowGraph, Solver, Problem) - Static method in class Compil3r.Dataflow.ReachingDefs
- solve() - Method in class Compil3r.Dataflow.Solver
- Solves this dataflow problem.
- solve() - Method in class Compil3r.Dataflow.WorklistSolver
T
- TRACE - Static variable in class Compil3r.Dataflow.IterativeSolver
- TRACE - Static variable in class Compil3r.Dataflow.ReachingDefs
- TransferFunction - interface Compil3r.Dataflow.TransferFunction.
- TransferFunction
- toString() - Method in class Compil3r.Dataflow.ReachingDefs.RDSet
- toString() - Method in class Compil3r.Dataflow.ReachingDefs.RDTransferFunction
- transferFunctions - Variable in class Compil3r.Dataflow.ReachingDefs
- traversalOrder - Variable in class Compil3r.Dataflow.IterativeSolver
- The order in which the locations are to be traversed.
W
- WorklistSolver - class Compil3r.Dataflow.WorklistSolver.
- WorklistSolver
- WorklistSolver(MapFactory) - Constructor for class Compil3r.Dataflow.WorklistSolver
- WorklistSolver() - Constructor for class Compil3r.Dataflow.WorklistSolver
- worklist - Variable in class Compil3r.Dataflow.PriorityQueueSolver
- Priority-queue implementation of the worklist.
- worklist - Variable in class Compil3r.Dataflow.SortedSetSolver
- Worklist of locations, sorted by priority.
A B C D E F G H I K M N O P Q R S T W
|
|||||||||
| Home >> All >> Compil3r >> [ Dataflow overview ] | PREV NEXT | ||||||||