MLIR
21.0.0git
|
Typedefs | |
template<typename T , typename... Args> | |
using | 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 > | |
bool | isInvalidated (AnalysisT &analysis, const PreservedAnalyses &pa) |
using mlir::detail::analysis_impl::has_is_invalidated = typedef decltype(std::declval<T &>().isInvalidated( std::declval<const PreservedAnalyses &>())) |
Trait to check if T provides a static 'isInvalidated' method.
Definition at line 85 of file AnalysisManager.h.
bool mlir::detail::analysis_impl::isInvalidated | ( | AnalysisT & | analysis, |
const PreservedAnalyses & | pa | ||
) |
Implementation of 'isInvalidated' if the analysis provides a definition.
Default implementation of 'isInvalidated'.
Definition at line 89 of file AnalysisManager.h.
References mlir::detail::PreservedAnalyses::isPreserved().
Referenced by mlir::detail::AnalysisModel< AnalysisT >::invalidate().