|
Class Summary |
| AliasAnalysis |
This analysis pass performs flow-insensitive anlias analysis
and creates an alias map for the program. |
| AnalysisPass |
|
| ArrayPrivatization |
ArrayPrivatization performs privatization analysis of the program. |
| BanerjeeTest |
Banerjee Test implements data-dependence testing for a pair of
affine subscripts using Banerjee inequalities |
| BasicBlock |
|
| Cache<K,E> |
Data structure implementing FIFO cache. |
| CallGraph |
A static call graph for the program. |
| CetusAnnotationParser |
Parses string text within a Cetus annotation of type #pragma cetus ... |
| CFGraph |
CFGraph supports creation of statmenet-level control flow graphs. |
| ControlFlowGraph |
A control-flow graph of the program. |
| DataFlow |
|
| DDArrayAccessInfo |
|
| DDGraph |
Data-dependence Graph to store the result of dependence testing |
| DDGraph.Arc |
|
| DDTDriver |
Performs array data-dependence analysis on eligible loop nests in the program |
| DDTestWrapper |
Wrapper framework for executing specific data-dependence test on array subscripts |
| DependenceVector |
Stores and manipulates direction vectors for loop-based dependences |
| DFAGraph |
Class DFAGraph represents a directed graph with a set of DFANode
objects. |
| DFANode |
Class DFANode represents a node object to be used as workspace in any
data flow analysis. |
| GCD |
Class containing all functionalities for a weak greatest
common divisor (GCD) test. |
| LoopAnalysisPass |
|
| LoopInfo |
Represents loop-related information |
| LoopParallelizationPass |
Whole program analysis that uses data-dependence information to
internally annotate loops that are parallel |
| LoopTools |
Provides tools for querying information related to For Loop objects |
| NormalExpression |
NormalExpression supports normalization and simplification of expressions. |
| OmegaTest |
|
| OmpParser |
an OpenMP directive parser |
| ProcBasicBlock |
|
| RangeAnalysis |
RangeAnalysis performs symbolic range propagation for the programs by
symbolically executing the program and abstracting the values of integer
variables with a symbolic bounds. |
| RangeDomain |
RangeDomain provides symbolic environment for symbolic expression
comparison. |
| RangeTest |
Symbolic Range Test for disproving loop-carried dependences between two
subscript expressions. |
| Reduction |
Performs reduction variable analysis to detect and annotate statements like
x = x + i in loops. |
| Relation |
Class Relation represents symbolic relationship between two expressions. |
| Section |
Class Section represents a list of array subscripts that expresses a subset
of the whole array elements. |
| Section.ELEMENT |
Represents the elements contained in a section. |
| Section.MAP |
Class MAP represents map from variables to their sections. |
| SubscriptPair |
Creates a pair of affine subscripts where subscript is a single dimension of an array reference |