mlir::detail::analysis_impl Namespace Reference

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)

Typedef Documentation

has_is_invalidated

template<typename T , typename... Args>

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.

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::remark::analysis(), and mlir::detail::PreservedAnalyses::isPreserved().

Referenced by mlir::detail::AnalysisModel< AnalysisT >::invalidate().