| ActivePerStmt.cpp [code] | Implementation of Activity::ActivePerStmt |
| ActivePerStmt.hpp [code] | Maps StmtHandles to set of locations that are InActive |
| ActiveStandard.cpp [code] | Implementation of Activity::ActiveStandard |
| ActiveStandard.hpp [code] | Maps procedures to a set of locations, statements, and memory references in the stmt that are active |
| ActivityIRInterface.hpp [code] | Abstract IR interface for differentiable location visitor, which is ultimately used for activity analysis |
| AffineExprAbstraction.cpp [code] | |
| AffineExprAbstraction.hpp [code] | |
| AffineExprAbstraction_output.cpp [code] | |
| AffineExprIRInterface.hpp [code] | |
| AliasIRInterface.hpp [code] | Abstract IR interface for Alias analysis |
| AliasIRInterfaceDefault.hpp [code] | Default implementation for some of the methods in the abstract IR interface for Alias analysis |
| AliasMap.cpp [code] | Implementation of Alias::AliasMap |
| AliasMap.hpp [code] | Maps MemRefHandle's to a particular alias map set |
| AliasMap_output.cpp [code] | |
| AliasMapXAIF.cpp [code] | Implementation of XAIF::AliasMapXAIF |
| AliasMapXAIF.hpp [code] | Maps MemRefHandle's to a particular alias map set |
| AliasTag.hpp [code] | Declarations for the Alias Tag class |
| AliasTagInterface.hpp [code] | Declarations for the abstract Alias interface |
| Annotation.cpp [code] | Need to initialize static variable |
| Annotation.hpp [code] | All analysis results have this as their base class |
| AssignPairIterator.hpp [code] | Abstract iterator for pairs of MemRefHandle and ExprHandles where MemRefHandle = ExprHandle |
| auto_AvailableExpressions.hpp [code] | |
| auto_AvailableExpressionsIRInterface.hpp [code] | |
| auto_AvailableExpressionsStandard.cpp [code] | |
| auto_AvailableExpressionsStandard.hpp [code] | |
| auto_LivenessStandard.cpp [code] | |
| auto_LivenessStandard.hpp [code] | |
| auto_ManagerAvailableExpressionsStandard.cpp [code] | |
| auto_ManagerAvailableExpressionsStandard.hpp [code] | |
| auto_ManagerLivenessStandard.cpp [code] | |
| auto_ManagerLivenessStandard.hpp [code] | |
| auto_ManagerReachingDefsStandard.cpp [code] | |
| auto_ManagerReachingDefsStandard.hpp [code] | |
| auto_ReachingDefsIRInterface.hpp [code] | |
| auto_ReachingDefsStandard.cpp [code] | |
| auto_ReachingDefsStandard.hpp [code] | |
| CalleeToCallerVisitor.cpp [code] | Implementation of CalleeToCallerVisitor class |
| CalleeToCallerVisitor.hpp [code] | Concrete Location that will use alias results and parameter bindings to convert a callee location to a set of caller locations |
| CalleeToCallerVisitorIRInterface.hpp [code] | Concrete Location that will use alias results and parameter bindings to convert a callee location to a set of caller locations |
| CallGraph.cpp [code] | Implementation of CallGraph |
| CallGraph.hpp [code] | Declaration for standard CallGraph |
| CallGraphDFProblem.hpp [code] | Class for solving dataflow analysis problems on CallGraphs in a flow and context insensitive fashion |
| CallGraphDFProblemIRInterface.hpp [code] | Abstract IR interface for interprocedural analysis |
| CallGraphDFSolver.cpp [code] | Definition of a dataflow algorithm for CallGraphs |
| CallGraphDFSolver.hpp [code] | Class for solving dataflow analysis problems on CallGraphs in a flow and context insensitive fashion |
| CallGraphInterface.hpp [code] | Abstract interface that all CFG analysis results must satisfy |
| CallGraphIRInterface.hpp [code] | Abstract interface that the CallGraph AnnotationManagers require |
| CFG.cpp [code] | Implementation of CFG |
| CFG.hpp [code] | Declaration for standard CFGStandard |
| CFGDFProblem.cpp [code] | Definition of a dataflow algorithm for CFGs |
| CFGDFProblem.hpp [code] | Abstract class for solving dataflow analysis problems on CFGs |
| CFGDFSolver.cpp [code] | Definition of a dataflow algorithm for CFGs |
| CFGDFSolver.hpp [code] | Abstract class for solving dataflow analysis problems on CFGs |
| CFGInterface.hpp [code] | Abstract interface that all CFG analysis results must satisfy |
| CFGIRInterface.hpp [code] | Abstract interface that the CFG AnnotationManagers require |
| CFGIRInterfaceDefault.hpp [code] | Contains some default implementation for the CFGIRInterface |
| ChainsXAIF.cpp [code] | Implementation of XAIF::ChainsXAIF |
| ChainsXAIF.hpp [code] | Specially formatted and filtered Chains for XAIF |
| CompareExprTree.cpp [code] | Implementation of ExprTree |
| CompareExprTree.hpp [code] | Expression tree declarations (Possible to compare expression trees) |
| config.cpp [code] | Configuration options that need to be known throughout OA |
| ConstValBasicInterface.hpp [code] | Abstract basic constant value interface |
| ConstValIntInterface.hpp [code] | Abstract basic constant integer interface |
| CountDFSet.cpp [code] | DataflowSet that consists of a count |
| CountDFSet.hpp [code] | DataflowSet that consists of a count |
| DataDepIRInterface.hpp [code] | Abstract IR interface for various data dependence analysis algorithms |
| DataDepResults.cpp [code] | |
| DataDepResults.hpp [code] | |
| DataDepResults_output.cpp [code] | |
| DataFlowSet.hpp [code] | Abstract class for sets of dataflow facts |
| DepDFSet.cpp [code] | Implementation of DepDFSet |
| DepDFSet.hpp [code] | DataflowSet that maps a differentiable use loc to the def locs that depend on it vice versa |
| DepStandard.cpp [code] | Implementation of DepStandard |
| DepStandard.hpp [code] | Definition of DepStandard |
| DFAGenDFSet.hpp [code] | |
| DFAGenLivenessIRInterface.hpp [code] | |
| DFAGenReachingDefinitionsIRInterface.hpp [code] | |
| DFAGenReachingDefinitionsStandard.cpp [code] | |
| DFAGenReachingDefinitionsStandard.hpp [code] | |
| DGraphImplement.cpp [code] | |
| DGraphImplement.hpp [code] | Declaration for DGraphInterface class |
| DGraphInterface.hpp [code] | Declaration for DGraphInterface class |
| DGraphIterativeDFP.cpp [code] | Definition of Kildall iterative data flow solver for directed graphs |
| DGraphIterativeDFP.hpp [code] | Declaration of Kildall iterative data flow solver for directed graphs |
| DGraphSolverDFP.cpp [code] | Definition of Kildall iterative data flow solver for directed graphs |
| DGraphSolverDFP.hpp [code] | Declaration of Kildall iterative data flow solver for directed graphs |
| DifferentiableLocsVisitor.cpp [code] | Implementation of DifferentiableLocsVisitor class |
| DifferentiableLocsVisitor.hpp [code] | Concrete ExprTreeVisitor that determines which locations are differentiable in an expression. Basically all non-constants that are not index expressions |
| DomTree.cpp [code] | Declaration for standard CFGStandard |
| DomTree.hpp [code] | Declaration for DomTree |
| CSFIActivity/DUGInterface.hpp [code] | Abstract interface that all DUG analysis results must satisfy |
| CSFSActivity/DUGInterface.hpp [code] | Abstract interface that all DUG analysis results must satisfy |
| DUGIRInterface.hpp [code] | Abstract interface that the DUG AnnotationManagers require |
| CSFIActivity/DUGStandard.cpp [code] | Implementation of DUGStandard |
| CSFSActivity/DUGStandard.cpp [code] | Implementation of DUGStandard |
| CSFIActivity/DUGStandard.hpp [code] | Declaration for standard DUG (interprocedural control flow graph) |
| CSFSActivity/DUGStandard.hpp [code] | Declaration for standard DUG (interprocedural control flow graph) |
| EachCFGInterface.hpp [code] | Declarations for the abstract interface CFG results by proc |
| EachCFGStandard.hpp [code] | Declarations and defs for class that maps procedures to CFG's |
| EquivSets.cpp [code] | Implementation of Alias::EquivSets |
| EquivSets.hpp [code] | Maps memory references into non-overlapping equivalence classes |
| EquivSets_output.cpp [code] | |
| EvalToConstVisitor.cpp [code] | Implementation of EvalToConstVisitor class |
| EvalToConstVisitor.hpp [code] | Concrete ExprTreeVisitor that will use reaching constant information if available and an IRInterface to attempt to evaluate an expression tree to a ConstValBasicInterface |
| EvalToConstVisitorIRInterface.hpp [code] | Abstract IR interface for visitor that evaluates and expression tree to a ConstValBasicInterface |
| EvalToMemRefVisitor.hpp [code] | Concrete ExprTreeVisitor that determines if the only node in the tree is a memory reference |
| Exception.hpp [code] | |
| ExprDFSet.cpp [code] | |
| ExprDFSet.hpp [code] | |
| ExprTree.cpp [code] | Implementation of ExprTree |
| ExprTree.hpp [code] | Expression tree declarations |
| ExprTreeIRInterface.hpp [code] | |
| ExprTreeSetIterator.cpp [code] | |
| ExprTreeSetIterator.hpp [code] | |
| ExprTreeVisitor.hpp [code] | Abstract visitor for ExprTree's |
| GenOutputTool.hpp [code] | Includes macros that analysis classes use to communicate with genOutputTool |
| Graph.cpp [code] | Definition for Graph class |
| Graph.hpp [code] | Declarations for Graph class |
| grtest.cpp [code] | Test driver for directed graph class |
| ICFG.cpp [code] | Implementation of ICFG |
| ICFG.hpp [code] | Declaration for standard ICFG (interprocedural control flow graph) |
| ICFGDep.cpp [code] | Implementation of ICFGDep |
| ICFGDep.hpp [code] | Definition of ICFGDep |
| ICFGDFProblem.hpp [code] | Abstract class for specifying dataflow analysis problems on ICFGs |
| ICFGDFSolver.cpp [code] | Definition of a dataflow algorithm for ICFGs |
| ICFGDFSolver.hpp [code] | Abstract class for solving dataflow analysis problems on ICFGs |
| ICFGInterface.hpp [code] | Abstract interface that all ICFG analysis results must satisfy |
| ICFGIRInterface.hpp [code] | Abstract interface that the ICFG AnnotationManagers require |
| InterActive.cpp [code] | Implementation of InterActive |
| InterActive.hpp [code] | Maps procedures to a set of locations, statements, and memory references in the stmt that are active |
| InterActiveFortran.cpp [code] | Implementation of InterActive |
| InterActiveFortran.hpp [code] | Maps procedures to a set of locations, statements, and memory references in the stmt that are active |
| InterAliasInterface.hpp [code] | Declarations for the abstract interface interprocedural Alias results |
| InterAliasMap.hpp [code] | Declarations for the AliasMap implementation of interprocedural Alias results |
| InterDep.cpp [code] | Definition for InterDep |
| InterDep.hpp [code] | Declarations for the DepStandard implementation of interprocedural Dep results |
| Alias/Interface.hpp [code] | Declarations for the abstract Alias interface |
| DataDep/Interface.hpp [code] | |
| Linearity/Interface.hpp [code] | Abstract interface that all Linearity analysis results must satisfy |
| Liveness/Interface.hpp [code] | |
| Loop/Interface.hpp [code] | Results interface for loop detection analysis |
| ReachConsts/Interface.hpp [code] | Abstract interface that all ReachConsts analysis results must satisfy |
| ReachDefs/Interface.hpp [code] | Declarations for the abstract ReachDefs interface |
| ReachDefsOverwrite/Interface.hpp [code] | Declarations for the abstract ReachDefsOverwrite interface |
| UDDUChains/Interface.hpp [code] | Contains definition of abstract interface for UDDUChains results |
| InterReachConsts.cpp [code] | Definition for InterReachConsts |
| InterReachConsts.hpp [code] | Declarations for the ReachConsts::Interface implementation of interprocedural ReachConsts results |
| InterSideEffectInterface.hpp [code] | Contains definition of abstract interface for Interprocedural SideEffect results |
| InterSideEffectIRInterface.hpp [code] | Abstract IR interface for interprocedural SideEffect analysis |
| InterSideEffectIRInterfaceDefault.hpp [code] | Default implementation for interprocedural side effect analysis IR interface |
| InterSideEffectStandard.cpp [code] | Implementation of SideEffect::InterSideEffectStandard |
| InterSideEffectStandard.hpp [code] | Definition of SideEffectStandard |
| InterSideEffectStandard_output.cpp [code] | |
| InterUseful.hpp [code] | Declarations for the UsefulStandard implementation of interprocedural Vary results |
| InterVary.hpp [code] | Declarations for the VaryStandard implementation of interprocedural Vary results |
| InvisibleLoc.cpp [code] | Definition for invisible location, location abstraction |
| InvisibleLoc.hpp [code] | Declarations for the invisible Location, location abstraction |
| IRHandleDataFlowSet.hpp [code] | DataflowSet that consists of a set of IRHandles |
| IRHandles.hpp [code] | Definition of IRHandles, abstract interfaces for iterators over handles, and abstract IRInterface for generating debug output for the handles |
| Iterator.hpp [code] | Declaration for Iterator class |
| LinearityDepsSet.cpp [code] | Linearity Deps Set which holds VarClassPairs for each Statement |
| LinearityDepsSet.hpp [code] | Linearity Deps Set which holds VarClassPairs for each Statement |
| LinearityIRInterface.hpp [code] | Abstract IR interface for Linearity analysis |
| LinearityLocsVisitor.cpp [code] | Implementation of LinearityLocsVisitor class |
| LinearityLocsVisitor.hpp [code] | Concrete ExprTreeVisitor that will use Linearity information if available and an IRInterface to attempt to include specific information to deps |
| LinearityMatrixStandard.cpp [code] | Linearity Matrix which holds Dataflow Sets for the Analysis |
| LinearityMatrixStandard.hpp [code] | Linearity Matrix which holds Dataflow Sets for the Linearity Analysis |
| LinearityPair.cpp [code] | Linearity Pairs, holds the Datastructures for LinearityAnalysis |
| LinearityPair.hpp [code] | Linearity Pairs, holds the Datastructures for LinearityAnalysis |
| ListIterator.hpp [code] | Templated implementation of an OpenAnalysis iterator interface for a list of objects |
| LivenessIRInterface.hpp [code] | |
| LivenessStandard.cpp [code] | |
| LivenessStandard.hpp [code] | |
| Location.cpp [code] | Definition for Location class |
| Location.hpp [code] | Declarations for the Location abstraction |
| Locations.hpp [code] | Header which includes all classes in the Locations package |
| LocationVisitor.cpp [code] | Visitor for locations |
| LocationVisitor.hpp [code] | Abstract visitor for locations |
| LocDFSet.cpp [code] | DataflowSet that consists of a set of Locations |
| LocDFSet.hpp [code] | DataflowSet that consists of a set of Locations |
| LocFieldSubSet.cpp [code] | Definition for field sub set location abstraction |
| LocFieldSubSet.hpp [code] | Decleration for field sub set location abstraction |
| LocIdxSubSet.cpp [code] | Definition for index sub set location abstraction |
| LocIdxSubSet.hpp [code] | Decleration for index sub set location abstraction |
| LocIterator.cpp [code] | |
| LocIterator.hpp [code] | Declarations for the Location iterator class |
| LocSet.cpp [code] | Definition for Location Set class |
| LocSet.hpp [code] | Declarations for various functions that manipulate sets of locations |
| LocSetIterator.cpp [code] | |
| LocSetIterator.hpp [code] | Declarations for the Location-set iterator class |
| LocSubSet.cpp [code] | Definition for location sub set abstraction |
| LocSubSet.hpp [code] | Decleration for location sub set abstraction |
| Loop.cpp [code] | Description |
| Loop.hpp [code] | Description |
| Loop_output.cpp [code] | |
| LoopAbstraction.cpp [code] | Implementation of loop abstraction |
| LoopAbstraction.hpp [code] | Loop abstraction prototype |
| LoopAbstraction_output.cpp [code] | |
| LoopIndex.cpp [code] | Implementation of LoopIndex class |
| LoopIndex.hpp [code] | Abstraction to represent loop index variables and loop bounds |
| LoopIndex_output.cpp [code] | |
| LoopIRInterface.hpp [code] | |
| LoopManager.cpp [code] | Implementation of LoopManager |
| LoopManager.hpp [code] | Manager to perform loop detection analysis |
| LoopResults.cpp [code] | Implementation of LoopResults class |
| LoopResults.hpp [code] | Loop results class that implements the results interface |
| ManagerActiveStandard.cpp [code] | The AnnotationManager that generates ActiveStandard |
| ManagerActiveStandard.hpp [code] | Declarations of the AnnotationManager that generates a ActiveStandard |
| ManagerAffineExpr.cpp [code] | |
| ManagerAffineExpr.hpp [code] | |
| ManagerAliasMapBasic.cpp [code] | The AnnotationManager that generates AliasMaps by giving each local variable its own number and virtual location and mapping everyone else to unknown |
| ManagerAliasMapBasic.hpp [code] | Declarations of the AnnotationManager that generates an AliasMap for a given procedure |
| ManagerAliasMapXAIF.cpp [code] | The AnnotationManager that filters UDDUChains for XAIF |
| ManagerAliasMapXAIF.hpp [code] | Declarations of the AnnotationManager that generates a AliasMapXAIF. These don't satisfy the AliasMap::Interface because they are a filtered version of AliasMap specifically for XAIF |
| ManagerAutoDFAGenReachingDefinitionsStandard.cpp [code] | |
| ManagerAutoDFAGenReachingDefinitionsStandard.hpp [code] | |
| ManagerCallGraph.cpp [code] | Definition of the AnnotationManager that generates a CallGraphStandard |
| ManagerCallGraph.hpp [code] | Declarations of the AnnotationManager that generates a CallGraphStandard |
| ManagerCFG.cpp [code] | The AnnotationManager that generates a CFGStandard |
| ManagerCFG.hpp [code] | Declarations of the AnnotationManager that generates a CFGStandard |
| ManagerDataDep.cpp [code] | |
| ManagerDataDep.hpp [code] | |
| ManagerDataDepGCD.cpp [code] | |
| ManagerDataDepGCD.hpp [code] | |
| ManagerDepStandard.cpp [code] | The AnnotationManager that generates DepStandard |
| ManagerDepStandard.hpp [code] | Declarations of the AnnotationManager that generates a DepStandard |
| CSFIActivity/ManagerDUActive.cpp [code] | The AnnotationManager that generates InterActive INTERprocedurally |
| CSFSActivity/ManagerDUActive.cpp [code] | The AnnotationManager that generates InterActive INTERprocedurally |
| CSFIActivity/ManagerDUActive.hpp [code] | Declarations of the AnnotationManager that generates Activity analysis results for each procedure using interprocedural Def-Use graph |
| CSFSActivity/ManagerDUActive.hpp [code] | Declarations of the AnnotationManager that generates Activity analysis results for each procedure using interprocedural Def-Use graph |
| CSFIActivity/ManagerDUGStandard.cpp [code] | The AnnotationManager that generates DUG |
| CSFSActivity/ManagerDUGStandard.cpp [code] | The AnnotationManager that generates DUG |
| CSFIActivity/ManagerDUGStandard.hpp [code] | Declarations of the AnnotationManager that generates a DUGStandard from the CFG standards for each procedure |
| CSFSActivity/ManagerDUGStandard.hpp [code] | Declarations of the AnnotationManager that generates a DUGStandard from the CFG standards for each procedure |
| ManagerEachActive.cpp [code] | The AnnotationManager that generates InterActive INTRAprocedurally |
| ManagerEachActive.hpp [code] | Declarations of the AnnotationManager that generates Activity analysis results for each procedure intraprocedurally |
| ManagerFIAlias.cpp [code] | The AnnotationManager that generates union-find sets of MREs, where each MRE in the set may alias other MREs in the set |
| ManagerFIAlias.hpp [code] | Declarations of the AnnotationManager that implements FIAlias |
| ManagerFIAliasAliasMap.cpp [code] | The AnnotationManager that generates AliasMaps in a context and flow insensitive way |
| ManagerFIAliasAliasMap.hpp [code] | Declarations of the AnnotationManager that generates AliasMaps |
| ManagerFIAliasEquivSets.cpp [code] | The AnnotationManager that generates EquivSets in a context and flow insensitive way |
| ManagerFIAliasEquivSets.hpp [code] | Declarations of the AnnotationManager that generates an EquivSets |
| ManagerICFG.cpp [code] | The AnnotationManager that generates ICFG |
| ManagerICFG.hpp [code] | Declarations of the AnnotationManager that generates a ICFGStandard from the CFG standards for each procedure |
| ManagerICFGActive.cpp [code] | The AnnotationManager that generates InterActive INTERprocedurally |
| ManagerICFGActive.hpp [code] | Declarations of the AnnotationManager that generates Activity analysis results for each procedure using interprocedural results |
| ManagerICFGDep.cpp [code] | The AnnotationManager that generates ICFGDep |
| ManagerICFGDep.hpp [code] | Declarations of the AnnotationManager that generates a ICFGDep |
| ManagerICFGReachConsts.cpp [code] | The AnnotationManager that generates InterReachConsts using ICFGDFSolver |
| ManagerICFGReachConsts.hpp [code] | Declarations of an AnnotationManager that generates an InterReachConsts using the ICFGDFSolver |
| ManagerICFGUseful.cpp [code] | The AnnotationManager that generates InterUseful using ICFGDFSolver |
| ManagerICFGUseful.hpp [code] | Declarations of an AnnotationManager that generates an InterUseful using the ICFGDFSolver |
| ManagerICFGVaryActive.cpp [code] | The AnnotationManager that generates ActivePerStmt |
| ManagerICFGVaryActive.hpp [code] | Declarations of an AnnotationManager that generates an ActivePerStmt by doing Vary analysis and using results of Useful analysis |
| ManagerInsNoPtrInterAliasMap.cpp [code] | The AnnotationManager that generates InterAliasMaps in a context and flow insensitive way and handles pointers conservatively |
| ManagerInsNoPtrInterAliasMap.hpp [code] | Declarations of the AnnotationManager that generates an InterAliasMap in a context and flow insensitive way and handles pointers conservatively |
| ManagerInterActive.cpp [code] | The AnnotationManager that generates InterActive INTERprocedurally |
| ManagerInterActive.hpp [code] | Declarations of the AnnotationManager that generates Activity analysis results for each procedure interprocedurally |
| ManagerInterAliasMapBasic.cpp [code] | The AnnotationManager that generates InterAliasMaps |
| ManagerInterAliasMapBasic.hpp [code] | Declarations of the AnnotationManager that generates an InterAliasMap |
| ManagerInterDep.cpp [code] | The AnnotationManager that generates InterDep |
| ManagerInterDep.hpp [code] | Declarations of the AnnotationManager that generates an InterDep |
| ManagerInterReachConsts.cpp [code] | The AnnotationManager that generates InterReachConsts INTERprocedurally |
| ManagerInterReachConsts.hpp [code] | Declarations of the AnnotationManager that generates ReachConsts analysis results for each procedure interprocedurally |
| ManagerInterSideEffectStandard.cpp [code] | The AnnotationManager that generates SideEffectStandard which maps each procedure to the sets of locations belonging to LMOD, MOD, LUSE, USE, LDEF, DEF, LREF, and REF. The SideEffect analysis results also determine the set of locations in MOD, USE, DEF, and REF for a function call |
| ManagerInterSideEffectStandard.hpp [code] | Declarations of the AnnotationManager that generates an InterSideEffectStandard |
| ManagerLinearityStandard.cpp [code] | |
| ManagerLinearityStandard.hpp [code] | The AnnotationManager that generates a LinearityMatrixStandard |
| ManagerLivenessStandard.cpp [code] | |
| ManagerLivenessStandard.hpp [code] | |
| ManagerNoAddressOf.cpp [code] | The AnnotationManager that generates EquivSets by putting all local varials that don't have their address taken into their own equivalence set and by putting all other memory references into one equivalence set |
| ManagerNoAddressOf.hpp [code] | Declarations of the AnnotationManager that generates an EquivSets |
| ManagerParamBindings.cpp [code] | The AnnotationManager that generates ParamBindings |
| ManagerParamBindings.hpp [code] | Declarations of the AnnotationManager that determines parameter bindings and generates a ParamBindings object |
| ManagerReachConstsStandard.cpp [code] | The AnnotationManager that generates ReachDefsStandards which map each statement to a set of reaching definitions that reach that statement |
| ManagerReachConstsStandard.hpp [code] | Declarations of the AnnotationManager that generates a ReachConstsStandard |
| ManagerReachDefsOverwriteStandard.cpp [code] | The AnnotationManager that generates ReachDefsOverwriteStandards which map each statement to a set of reaching definitions that reach that statement and a set of overwriting statements |
| ManagerReachDefsOverwriteStandard.hpp [code] | Declarations of the AnnotationManager that generates a ReachDefsOverwriteStandard |
| ManagerReachDefsOverwriteXAIF.cpp [code] | The AnnotationManager that generates ReachDefsOverwriteXAIF |
| ManagerReachDefsOverwriteXAIF.hpp [code] | Declarations of the AnnotationManager that generates a ReachDefsOverwriteXAIF |
| ManagerReachDefsStandard.cpp [code] | The AnnotationManager that generates ReachDefsStandards which map each statement to a set of reaching definitions that reach that statement |
| ManagerReachDefsStandard.hpp [code] | Declarations of the AnnotationManager that generates a ReachDefsStandard |
| ManagerSideEffectStandard.cpp [code] | The AnnotationManager that generates SideEffectStandard which maps each procedure to the sets of locations belonging to LMOD, MOD, LUSE, USE, LDEF, DEF, LREF, and REF |
| ManagerSideEffectStandard.hpp [code] | Declarations of the AnnotationManager that generates a SideEffectStandard |
| ManagerSSAStandard.cpp [code] | The AnnotationManager that generates a SSAStandard |
| ManagerSSAStandard.hpp [code] | Declarations of the AnnotationManager that generates a SSAStandard |
| ManagerSymAliasSetsBottom.cpp [code] | The AnnotationManager that generates SymAliasSets bottom |
| ManagerSymAliasSetsBottom.hpp [code] | Declarations of the AnnotationManager that generates an SymAliasSets that is pessimistic, all non-local and reference param symbols are in the same set |
| ManagerSymAliasSetsTop.cpp [code] | The AnnotationManager that generates SymAliasSets top |
| ManagerSymAliasSetsTop.hpp [code] | Declarations of the AnnotationManager that generates an SymAliasSet that is optimistic, each non-local and reference param is in its own set |
| ManagerUDDUChainsStandard.cpp [code] | The AnnotationManager that generates UDDUChains |
| ManagerUDDUChainsStandard.hpp [code] | Declarations of the AnnotationManager that generates a UDDUChainsStandard |
| ManagerUDDUChainsXAIF.cpp [code] | The AnnotationManager that filters UDDUChains for XAIF |
| ManagerUDDUChainsXAIF.hpp [code] | Declarations of the AnnotationManager that generates a UDDUChainsXAIF. These don't satisfy the UDDUChains::Interface because they are a filtered version of UDDUChains specifically for XAIF |
| ManagerUsefulStandard.cpp [code] | The AnnotationManager that generates UsefulStandard |
| ManagerUsefulStandard.hpp [code] | Declarations of the AnnotationManager that generates a UsefulStandard |
| MemRefExpr.cpp [code] | Definition for MemRefExpr class hierarchy |
| MemRefExpr.hpp [code] | Declarations for the MemRefExpr abstraction |
| MemRefExprVisitor.hpp [code] | Abstract visitor for MemRefExpr's |
| MemRefsVisitor.cpp [code] | Implementation of MemRefsVisitor class |
| MemRefsVisitor.hpp [code] | Concrete ExprTreeVisitor that determines which memory references are in an expression |
| MPICFGIRInterface.hpp [code] | Abstract interface that the CallGraph AnnotationManagers require |
| mretest.cpp [code] | Testdriver for MemRefExpr hierarchy |
| NamedLoc.cpp [code] | Definition for named location, location abstraction |
| NamedLoc.hpp [code] | Definition for named location, location abstraction |
| NestedSCR.cpp [code] | This file contains code to determine the Tarjan intervals (nested strongly connected regions) of a flow graph. Tarjan's original algorithm is described in the following article: Tarjan, R.E. "Testing flow graph reducibility" J. of Computer & System Sciences 9, 355-365, 1974 |
| NestedSCR.hpp [code] | This file contains code to determine the Tarjan intervals (nested strongly connected regions) of a flow graph. Tarjan's original algorithm is described in the following article: Tarjan, R.E. "Testing flow graph reducibility" J. of Computer & System Sciences 9, 355-365, 1974 |
| NewExprTree.cpp [code] | Implementation of ExprTree |
| NewExprTree.hpp [code] | Expression tree declarations |
| NewExprTreeVisitor.hpp [code] | Abstract visitor for ExprTree's |
| NotationGenerator.cpp [code] | Generate a notation file from an interface |
| NotationGenerator.hpp [code] | Generate a notation file from an interface |
| OA_ptr.hpp [code] | |
| OpBasicInterface.hpp [code] | |
| OutputBuilder.cpp [code] | The OutputBuilder utility functions |
| OutputBuilder.hpp [code] | The OutputBuilder abstract interface |
| OutputBuilderDOT.cpp [code] | Definitions for OutputBuilder for DOT output |
| OutputBuilderDOT.hpp [code] | An OutputBuilder for DOT output |
| OutputBuilderText.cpp [code] | Definitions for OutputBuilder for text output |
| OutputBuilderText.hpp [code] | An OutputBuilder for text output |
| OutputExprTreeVisitor.cpp [code] | Implementation of OutputExprTreeVisitor class |
| OutputExprTreeVisitor.hpp [code] | Concrete ExprTreeVisitor that will use Linearity information if available and an IRInterface to attempt to include specific information to deps |
| OutputNewExprTreeVisitor.cpp [code] | Implementation of OutputExprTreeVisitor class |
| OutputNewExprTreeVisitor.hpp [code] | Concrete ExprTreeVisitor that will use Linearity information if available and an IRInterface to attempt to include specific information to deps |
| OverlapSymIterator.cpp [code] | |
| OverlapSymIterator.hpp [code] | Declaration for the overlapping symbol iterator class |
| ParamBindings.cpp [code] | Implementation of ParamBindings |
| ParamBindings.hpp [code] | One-to-one mapping between formal parameter symbols in callee and memory reference handles in caller |
| ParamBindings_output.cpp [code] | |
| ParamBindingsIRInterface.hpp [code] | Abstract IR interface for determining parameter bindings |
| Phi.cpp [code] | Declaration for Phi |
| Phi.hpp [code] | Declaration for Phi |
| ReachConstsIRInterface.hpp [code] | Abstract IR interface for Reaching Constants analysis |
| ReachConstsStandard.cpp [code] | Implementation of ReachConsts::ReachConstsStandard |
| ReachConstsStandard.hpp [code] | Maps StmtHandles to set of constant defs that reach each StmtHandle |
| ReachConstsStandard_output.cpp [code] | |
| ReachDefsIRInterface.hpp [code] | Abstract IR interface for ReachDef analysis |
| ReachDefsOverwriteStandard.cpp [code] | Implementation of ReachDefsOverwrite::ReachDefsOverwriteStandard |
| ReachDefsOverwriteStandard.hpp [code] | Maps StmtHandles to set of StmtHandle defs that reach each StmtHandle and defs that overwrite this statements def |
| ReachDefsOverwriteXAIF.cpp [code] | Implementation of XAIF::ReachDefsOverwriteXAIF |
| ReachDefsOverwriteXAIF.hpp [code] | Define-overwrite chains for XAIF |
| ReachDefsStandard.cpp [code] | Implementation of ReachDefs::ReachDefsStandard |
| ReachDefsStandard.hpp [code] | Maps StmtHandles to set of StmtHandle defs that reach each StmtHandle |
| RIFG.cpp [code] | Representation Independent Flowgraph Interface. This is a wrapper that allows access to an OA DGraph through dense id numbers ranging from 0 to n. It is useful to interface with algorithms that worked by creating a work or result array of size n. It might more appropriately be a mixin to an OA DGraph |
| RIFG.hpp [code] | Representation Independent Flowgraph Interface. This is a wrapper that allows access to an OA DGraph through dense id numbers ranging from 1 to n. It is useful to interface with algorithms that worked by creating a work or result array of size n. It might more appropriately be a mixin to an OA DGraph |
| SCC.cpp [code] | Tarjan's algorithm to determine strongly connected components of a directed graph. This was the first algorithm that solved the problem in linear time |
| SCC.hpp [code] | Tarjan's algorithm to determine strongly connected components of a directed graph. This was the first algorithm that solved the problem in linear time |
| SetIterator.hpp [code] | Templated implementation of an OpenAnalysis iterator interface for a set of objects |
| SideEffectInterface.hpp [code] | Contains definition of abstract interface for SideEffect results |
| SideEffectIRInterface.hpp [code] | Abstract IR interface for SideEffect analysis |
| SideEffectStandard.cpp [code] | Implementation of SideEffect::SideEffectStandard |
| SideEffectStandard.hpp [code] | Definition of SideEffectStandard |
| SideEffectStandard_output.cpp [code] | |
| SSAIRInterface.hpp [code] | Abstract interface that the SSA AnnotationManagers require |
| SSAStandard.cpp [code] | Implementation of SSAStandard |
| SSAStandard.hpp [code] | Declaration for standard SSAStandard |
| StmtDFSet.cpp [code] | |
| StmtDFSet.hpp [code] | |
| SymAliasSets.cpp [code] | Implementation of SymAliasSets and helper class |
| SymAliasSets.hpp [code] | Declarations for the SymAliasSets which maps formal and global symbols to sets. If two symbols map to the same set then they may alias each other |
| Test_Iterators.cpp [code] | |
| Tree.cpp [code] | Declaration of Tree class |
| Tree.hpp [code] | Declaration for Tree class |
| trtest.cpp [code] | |
| UDDUChainsIRInterface.hpp [code] | Abstract IR interface for UDDUChains analysis |
| UDDUChainsStandard.cpp [code] | Implementation of UDDUChains::UDDUChainsStandard |
| UDDUChainsStandard.hpp [code] | Definition of UDDUChainsStandard |
| UDDUChainsStandard_output.cpp [code] | |
| UDDUChainsXAIF.cpp [code] | Implementation of XAIF::UDDUChainsXAIF |
| UDDUChainsXAIF.hpp [code] | Specially formatted and filtered UDChains for XAIF |
| UnionFindUniverse.cpp [code] | Definition for UnionFind |
| UnionFindUniverse.hpp [code] | Declarations for UnionFind |
| UnknownLoc.cpp [code] | Definition for unknown location, location abstraction |
| UnknownLoc.hpp [code] | Definition for unknown location, location abstraction |
| UnnamedLoc.cpp [code] | Definition for unnamed location, location abstraction |
| UnnamedLoc.hpp [code] | Definition for unnamed location, location abstraction |
| UsefulStandard.cpp [code] | Implementation of Activity::UsefulStandard |
| UsefulStandard.hpp [code] | Maps StmtHandles to set of locations that are in the set InUseful based on a set of dependent location |
| Util.hpp [code] | OA utilities |
| VaryStandard.cpp [code] | Implementation of Activity::VaryStandard |
| VaryStandard.hpp [code] | Maps StmtHandles to set of locations that OutVary based on certain independent locations |
| WorkList.hpp [code] | Declaration of Kildall iterative data flow solver for directed graphs |
| WorkListPQueue.hpp [code] | Declaration of Kildall iterative data flow solver for directed graphs |
| WorkListQueue.hpp [code] | Declaration of Kildall iterative data flow solver for directed graphs |
| XAIFIRInterface.hpp [code] | Abstract IR interface for XAIF-specific analyses |
