| Interface | Description |
|---|---|
| DDTest |
Any class implementing this interface represents a Dependence testing
algorithm and provides the common functionality that these tests use to
interface with the dependence test wrapper.
|
| Domain |
A class that implements Domain is used to represent container for data used
in data flow analysis.
|
| Class | Description |
|---|---|
| AliasAnalysis |
Alias analysis is used to obtain alias sets i.e.
|
| AnalysisPass | |
| ArrayParameterAnalysis |
This analysis detects array- or pointer-type formal parameters that can be
safely expressed in terms of the argument arrays.
|
| 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.
|
| CallSite |
Class CallSite represents a container that mangages the source of a top-down
problem and the target of a bottom-up problem.
|
| CetusAnnotationParser |
Parses string text within a Cetus annotation of type #pragma cetus ...
|
| CFGraph |
CFGraph supports creation of statmenet-level control flow graphs.
|
| ControlFlowGraph | Deprecated |
| DataFlow | Deprecated |
| 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.
|
| InlineAnnotationParser |
Parses the inline annotations.
|
| InlineExpansion |
Performs simple function inlining.
|
| IPAGraph |
Class IPAGraph provides a call graph for interprocedural analysis.
|
| IPAnalysis |
Class IPAnalysis provides common framework for interprocedural analysis
passes.
|
| IPANode |
Class IPANode represents workspace for a procedure, used in interprocedural
analysis.
|
| IPPointsToAnalysis |
Interprocedural analysis enables computation of points-to relations through
whole-program analysis provided by the common interprocedural framework in
Cetus.
|
| IPPointsToAnalysis.AbstractLocation |
AbstractLocation represents a abstract location that is not referenced to
in terms of a program variable.
|
| IPRangeAnalysis |
Class IPRangeAnalysis performs interprocedural range analysis.
|
| 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
|
| MayMod |
Class MayMod instantiates an IPA problem that computes may-modified
variables.
|
| NormalExpression | Deprecated |
| NullDomain |
Class NullDomain represents a Domain that contains no data.
|
| OmegaTest | |
| OmpParser |
an OpenMP directive parser
|
| PointsToAnalysis |
The Points-To Analyzer creates intraprocedural pointer relationships for C
programs.
|
| PointsToDomain |
PointsToDomain represents a set of pointer-relationships at
a given program point, and is used by the Points-to Analyzer.
|
| PointsToDomain.Universe |
The Universe Domain is associated with the Points-To Domain
and hence the points-to analyzer.
|
| PointsToRel |
Points to relationships represent the link from the
head of the relationship to the tail.
|
| 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.
|
| SetDomain<T> |
Class SetDomain represents a set-based domain.
|
| SubscriptPair |
Creates a pair of affine subscripts where subscript is a single dimension of
an array reference
|
| Enum | Description |
|---|---|
| ArrayParameterAnalysis.Option |
Available safety options
|
| CetusAnnotationParser.cetus_clause | |
| CetusAnnotationParser.cetus_pragma | |
| OmpParser.omp_clause | |
| OmpParser.omp_pragma |