mlir::AttrTypeWalker Class Reference

AttrTypeWalker. More...

#include "mlir/IR/AttrTypeSubElements.h"

Public Types
template<typename T>
using	WalkFn = std::function<WalkResult(T)>

Public Member Functions
template<WalkOrder Order, typename T>
WalkResult	walk (T element)
	Walk the given attribute/type, and recursively walk any sub elements.
template<typename T>
WalkResult	walk (T element)
void	addWalk (WalkFn< Attribute > &&fn)
	Register a walk function for a given attribute or type.
void	addWalk (WalkFn< Type > &&fn)
template<typename FnT, typename T = typename llvm::function_traits< std::decay_t<FnT>>::template arg_t<0>, typename BaseT = std::conditional_t<std::is_base_of_v<Attribute, T>, Attribute, Type>, typename ResultT = std::invoke_result_t<FnT, T>>
std::enable_if_t<!std::is_same_v< T, BaseT >||std::is_same_v< ResultT, void > >	addWalk (FnT &&callback)
	Register a replacement function that doesn't match the default signature, either because it uses a derived parameter type, or it uses a simplified result type.

Detailed Description

AttrTypeWalker.

This class provides a utility for walking attributes/types, and their sub elements. Multiple walk functions may be registered.

Definition at line 34 of file AttrTypeSubElements.h.

Member Typedef Documentation

WalkFn

template<typename T>

using mlir::AttrTypeWalker::WalkFn = std::function<WalkResult(T)>

Definition at line 55 of file AttrTypeSubElements.h.

Member Function Documentation

addWalk() [1/3]

template<typename FnT, typename T = typename llvm::function_traits< std::decay_t<FnT>>::template arg_t<0>, typename BaseT = std::conditional_t<std::is_base_of_v<Attribute, T>, Attribute, Type>, typename ResultT = std::invoke_result_t<FnT, T>>

std::enable_if_t<!std::is_same_v< T, BaseT >||std::is_same_v< ResultT, void > > mlir::AttrTypeWalker::addWalk ( FnT && callback )

inline

Register a replacement function that doesn't match the default signature, either because it uses a derived parameter type, or it uses a simplified result type.

Definition at line 84 of file AttrTypeSubElements.h.

References addWalk(), and mlir::WalkResult::advance().

addWalk() [2/3]

void mlir::AttrTypeWalker::addWalk ( WalkFn< Attribute > && fn )

inline

Register a walk function for a given attribute or type.

A walk function must be convertible to any of the following forms(where T is a class derived from Type or Attribute:

• WalkResult(T)
  • Returns a walk result, which can be used to control the walk
• void(T)
  • Returns void, i.e. the walk always continues.

Note: When walking, the mostly recently added walk functions will be invoked first.

Definition at line 69 of file AttrTypeSubElements.h.

Referenced by addWalk(), deepCloneAliasScopes(), mlir::Attribute::walk(), mlir::LocationAttr::walk(), and mlir::Type::walk().

addWalk() [3/3]

void mlir::AttrTypeWalker::addWalk ( WalkFn< Type > && fn )

inline

Definition at line 72 of file AttrTypeSubElements.h.

walk() [1/2]

template<WalkOrder Order, typename T>

WalkResult mlir::AttrTypeWalker::walk ( T element )

inline

Walk the given attribute/type, and recursively walk any sub elements.

Definition at line 42 of file AttrTypeSubElements.h.

Referenced by deepCloneAliasScopes(), mlir::Attribute::walk(), walk(), mlir::LocationAttr::walk(), and mlir::Type::walk().

walk() [2/2]

template<typename T>

WalkResult mlir::AttrTypeWalker::walk ( T element )

inline

Definition at line 46 of file AttrTypeSubElements.h.

References walk().

---

The documentation for this class was generated from the following files:

• include/mlir/IR/AttrTypeSubElements.h
• lib/IR/AttrTypeSubElements.cpp