mlir::detail::analysis_impl Namespace Reference

Typedefs
template<typename T, typename... Args>
using	has_is_invalidated
	Trait to check if T provides a static 'isInvalidated' method.

Functions
template<typename AnalysisT>
bool	isInvalidated (AnalysisT &analysis, const PreservedAnalyses &pa)

Typedef Documentation

has_is_invalidated

template<typename T, typename... Args>

using mlir::detail::analysis_impl::has_is_invalidated

Initial value:

 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.

Function Documentation

isInvalidated()

template<typename AnalysisT>

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().