A concrete variable, to be used in our variant of AffineExpr.
More...
#include "Dialect/SparseTensor/IR/Detail/Var.h"
Inheritance diagram for mlir::sparse_tensor::ir_detail::Var:
Classes | |
| class | Impl |
The underlying implementation of Var. More... | |
Public Types | |
| using | Num = unsigned |
| Typedef for the type of variable numbers. More... | |
Public Member Functions | |
| constexpr | Var (VarKind vk, Num n) |
| Var (AffineSymbolExpr sym) | |
| Var (VarKind vk, AffineDimExpr var) | |
| constexpr bool | operator== (Var other) const |
| constexpr bool | operator!= (Var other) const |
| constexpr VarKind | getKind () const |
| constexpr Num | getNum () const |
| template<typename U > | |
| constexpr bool | isa () const |
| template<typename U > | |
| constexpr U | cast () const |
| template<typename U > | |
| constexpr std::optional< U > | dyn_cast () const |
| std::string | str () const |
| void | print (llvm::raw_ostream &os) const |
| void | print (AsmPrinter &printer) const |
| void | dump () const |
Static Public Member Functions | |
| static constexpr bool | isWF_Num (Num n) |
Checks whether the number would be accepted by Var(VarKind,Var::Num). More... | |
Protected Member Functions | |
| constexpr | Var (Impl impl) |
| Protected ctor for the RTTI methods to use. More... | |
Detailed Description
A concrete variable, to be used in our variant of AffineExpr.
Client-facing class for VarKind + Var::Num pairs, with RTTI support for subclasses with a fixed VarKind.
Member Typedef Documentation
◆ Num
| using mlir::sparse_tensor::ir_detail::Var::Num = unsigned |
Constructor & Destructor Documentation
◆ Var() [1/4]
|
inlineexplicitconstexprprotected |
◆ Var() [2/4]
◆ Var() [3/4]
|
inline |
◆ Var() [4/4]
|
inline |
Definition at line 117 of file Var.h.
References mlir::sparse_tensor::ir_detail::Symbol.
Member Function Documentation
◆ cast()
|
constexpr |
Definition at line 188 of file Var.h.
Referenced by mlir::sparse_tensor::ir_detail::LvlExpr::castDimVar(), and mlir::sparse_tensor::ir_detail::DimExpr::castLvlVar().
◆ dump()
◆ dyn_cast()
|
constexpr |
◆ getKind()
|
inlineconstexpr |
Definition at line 124 of file Var.h.
Referenced by mlir::sparse_tensor::ir_detail::VarSet::add(), mlir::sparse_tensor::ir_detail::SymVar::classof(), mlir::sparse_tensor::ir_detail::DimVar::classof(), mlir::sparse_tensor::ir_detail::LvlVar::classof(), mlir::sparse_tensor::ir_detail::VarSet::contains(), isa(), mlir::sparse_tensor::ir_detail::Ranks::isValid(), and print().
◆ getNum()
|
inlineconstexpr |
Definition at line 125 of file Var.h.
Referenced by mlir::sparse_tensor::ir_detail::VarSet::add(), mlir::sparse_tensor::ir_detail::VarSet::contains(), mlir::sparse_tensor::ir_detail::Ranks::isValid(), and print().
◆ isa()
|
constexpr |
Definition at line 178 of file Var.h.
References mlir::sparse_tensor::ir_detail::Dimension, getKind(), mlir::sparse_tensor::ir_detail::Level, and mlir::sparse_tensor::ir_detail::Symbol.
◆ isWF_Num()
|
inlinestaticconstexpr |
Checks whether the number would be accepted by Var(VarKind,Var::Num).
Definition at line 83 of file Var.h.
Referenced by mlir::sparse_tensor::ir_detail::Var::Impl::Impl(), and mlir::sparse_tensor::ir_detail::VarInfo::setNum().
◆ operator!=()
|
inlineconstexpr |
◆ operator==()
|
inlineconstexpr |
◆ print() [1/2]
| void Var::print | ( | AsmPrinter & | printer | ) | const |
Definition at line 35 of file Var.cpp.
References mlir::AsmPrinter::getStream(), and print().
◆ print() [2/2]
| void Var::print | ( | llvm::raw_ostream & | os | ) | const |
◆ str()
The documentation for this class was generated from the following files:
