LLVM  13.0.0git
Classes | Namespaces | Typedefs | Functions
LoopAnalysisManager.h File Reference
#include "llvm/ADT/PostOrderIterator.h"
#include "llvm/IR/PassManager.h"
Include dependency graph for LoopAnalysisManager.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  llvm::LoopStandardAnalysisResults
 The adaptor from a function pass to a loop pass computes these analyses and makes them available to the loop passes "for free". More...
 
class  llvm::LoopAnalysisManagerFunctionProxy::Result
 A specialized result for the LoopAnalysisManagerFunctionProxy which retains a LoopInfo reference. More...
 

Namespaces

 llvm
 

Typedefs

typedef AnalysisManager< Loop, LoopStandardAnalysisResults & > llvm::LoopAnalysisManager
 The loop analysis manager. More...
 
typedef InnerAnalysisManagerProxy< LoopAnalysisManager, Function > llvm::LoopAnalysisManagerFunctionProxy
 A proxy from a LoopAnalysisManager to a Function. More...
 
typedef OuterAnalysisManagerProxy< FunctionAnalysisManager, Loop, LoopStandardAnalysisResults & > llvm::FunctionAnalysisManagerLoopProxy
 A proxy from a FunctionAnalysisManager to a Loop. More...
 

Functions

PreservedAnalyses llvm::getLoopPassPreservedAnalyses ()
 Returns the minimum set of Analyses that all loop passes must preserve. More...
 

Detailed Description

This header provides classes for managing per-loop analyses. These are typically used as part of a loop pass pipeline over the loop nests of a function.

Loop analyses are allowed to make some simplifying assumptions: 1) Loops are, where possible, in simplified form. 2) Loops are always in LCSSA form. 3) A collection of analysis results are available:

The primary mechanism to provide these invariants is the loop pass manager, but they can also be manually provided in order to reason about a loop from outside of a dedicated pass manager.

Definition in file LoopAnalysisManager.h.