AnalysisManager.h File Reference

#include "mlir/IR/Module.h"
#include "mlir/Pass/PassInstrumentation.h"
#include "mlir/Support/LLVM.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/SmallPtrSet.h"
#include "llvm/Support/TypeName.h"

Include dependency graph for AnalysisManager.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	mlir::detail::PreservedAnalyses
	A utility class to represent the analyses that are known to be preserved. More...
struct	mlir::detail::AnalysisConcept
	The abstract polymorphic base class representing an analysis. More...
struct	mlir::detail::AnalysisModel< AnalysisT >
	A derived analysis model used to hold a specific analysis object. More...
class	mlir::detail::AnalysisMap
struct	mlir::detail::NestedAnalysisMap
class	mlir::AnalysisManager
class	mlir::ModuleAnalysisManager

Namespaces
	mlir
	mlir::detail
	Check if a Callable type can be invoked with the given set of arg types.
	mlir::detail::analysis_impl

Typedefs
using	mlir::AnalysisID = ClassID
template<typename T , typename... Args>
using	mlir::detail::analysis_impl::has_is_invalidated = decltype(std::declval< T & >().isInvalidated(std::declval< const PreservedAnalyses & >()))
	Trait to check if T provides a static 'isInvalidated' method. More...

Functions
template<typename AnalysisT >
std::enable_if_t< is_detected< has_is_invalidated, AnalysisT >::value, bool >	mlir::detail::analysis_impl::isInvalidated (AnalysisT &analysis, const PreservedAnalyses &pa)
	Implementation of 'isInvalidated' if the analysis provides a definition. More...
template<typename AnalysisT >
std::enable_if_t<!is_detected< has_is_invalidated, AnalysisT >::value, bool >	mlir::detail::analysis_impl::isInvalidated (AnalysisT &analysis, const PreservedAnalyses &pa)
	Default implementation of 'isInvalidated'. More...