mlir::AffineExprVisitor< SubClass, RetTy > Class Template Reference

See documentation for AffineExprVisitorBase. More...

#include "mlir/IR/AffineExprVisitor.h"

Inheritance diagram for mlir::AffineExprVisitor< SubClass, RetTy >:

Public Member Functions
RetTy	walkPostOrder (AffineExpr expr)
Public Member Functions inherited from mlir::AffineExprVisitorBase< SubClass, void >
void	visit (AffineExpr expr)
void	visitAffineBinaryOpExpr (AffineBinaryOpExpr expr)
void	visitAddExpr (AffineBinaryOpExpr expr)
void	visitMulExpr (AffineBinaryOpExpr expr)
void	visitModExpr (AffineBinaryOpExpr expr)
void	visitFloorDivExpr (AffineBinaryOpExpr expr)
void	visitCeilDivExpr (AffineBinaryOpExpr expr)
void	visitConstantExpr (AffineConstantExpr expr)
void	visitDimExpr (AffineDimExpr expr)
void	visitSymbolExpr (AffineSymbolExpr expr)

Detailed Description

template<typename SubClass, typename RetTy = void>
class mlir::AffineExprVisitor< SubClass, RetTy >

See documentation for AffineExprVisitorBase.

This visitor supports interrupting walks when a WalkResult is used for RetTy.

Definition at line 144 of file AffineExprVisitor.h.

Member Function Documentation

walkPostOrder()

template<typename SubClass, typename RetTy = void>

RetTy mlir::AffineExprVisitor< SubClass, RetTy >::walkPostOrder ( AffineExpr expr )

inline

Definition at line 150 of file AffineExprVisitor.h.

References mlir::Add, mlir::CeilDiv, mlir::Constant, mlir::DimId, mlir::FloorDiv, mlir::AffineExpr::getKind(), mlir::WalkResult::interrupt(), mlir::Mod, mlir::Mul, and mlir::SymbolId.

Referenced by canonicalizeMapExprAndTermOrder(), mlir::getBoundForAffineExpr(), and mlir::simplifyAffineExpr().

---

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

• include/mlir/IR/AffineExprVisitor.h