MLIR: mlir::ValueBoundsConstraintSet::BoundBuilder Class Reference

MLIR 19.0.0git

Helper class that builds a bound for a shaped value dimension or index-typed value. More...

#include "mlir/Interfaces/ValueBoundsOpInterface.h"

Public Member Functions
BoundBuilder &	operator[] (int64_t dim)
	Specify a dimension, assuming that the underlying value is a shaped value. More...

void	operator< (AffineExpr expr)

void	operator<= (AffineExpr expr)

void	operator> (AffineExpr expr)

void	operator>= (AffineExpr expr)

void	operator== (AffineExpr expr)

void	operator< (OpFoldResult ofr)

void	operator<= (OpFoldResult ofr)

void	operator> (OpFoldResult ofr)

void	operator>= (OpFoldResult ofr)

void	operator== (OpFoldResult ofr)

void	operator< (int64_t i)

void	operator<= (int64_t i)

void	operator> (int64_t i)

void	operator>= (int64_t i)

void	operator== (int64_t i)

Protected Member Functions
	BoundBuilder (ValueBoundsConstraintSet &cstr, Value value)

Friends
class	ValueBoundsConstraintSet

Detailed Description

Helper class that builds a bound for a shaped value dimension or index-typed value.

Definition at line 73 of file ValueBoundsOpInterface.h.

Constructor & Destructor Documentation

◆ BoundBuilder()

mlir::ValueBoundsConstraintSet::BoundBuilder::BoundBuilder	(	ValueBoundsConstraintSet &	cstr,
		Value	value
	)

inlineprotected

Definition at line 98 of file ValueBoundsOpInterface.h.

Member Function Documentation

◆ operator<() [1/3]

void ValueBoundsConstraintSet::BoundBuilder::operator< ( AffineExpr expr )

Definition at line 913 of file ValueBoundsOpInterface.cpp.

References mlir::FlatLinearConstraints::addBound(), assertValidValueDim(), and mlir::ValueBoundsConstraintSet::cstr.

◆ operator<() [2/3]

void ValueBoundsConstraintSet::BoundBuilder::operator< ( int64_t i )

Definition at line 962 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::presburger::operator<().

◆ operator<() [3/3]

void ValueBoundsConstraintSet::BoundBuilder::operator< ( OpFoldResult ofr )

Definition at line 942 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::presburger::operator<().

◆ operator<=() [1/3]

void ValueBoundsConstraintSet::BoundBuilder::operator<= ( AffineExpr expr )

Definition at line 920 of file ValueBoundsOpInterface.cpp.

References mlir::presburger::operator<().

◆ operator<=() [2/3]

void ValueBoundsConstraintSet::BoundBuilder::operator<= ( int64_t i )

Definition at line 966 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::presburger::operator<=().

◆ operator<=() [3/3]

void ValueBoundsConstraintSet::BoundBuilder::operator<= ( OpFoldResult ofr )

Definition at line 946 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::presburger::operator<=().

◆ operator==() [1/3]

void ValueBoundsConstraintSet::BoundBuilder::operator== ( AffineExpr expr )

Definition at line 935 of file ValueBoundsOpInterface.cpp.

References mlir::FlatLinearConstraints::addBound(), assertValidValueDim(), and mlir::ValueBoundsConstraintSet::cstr.

◆ operator==() [2/3]

void ValueBoundsConstraintSet::BoundBuilder::operator== ( int64_t i )

Definition at line 978 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::operator==().

◆ operator==() [3/3]

void ValueBoundsConstraintSet::BoundBuilder::operator== ( OpFoldResult ofr )

Definition at line 958 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::operator==().

◆ operator>() [1/3]

void ValueBoundsConstraintSet::BoundBuilder::operator> ( AffineExpr expr )

Definition at line 924 of file ValueBoundsOpInterface.cpp.

References mlir::presburger::operator>=().

◆ operator>() [2/3]

void ValueBoundsConstraintSet::BoundBuilder::operator> ( int64_t i )

Definition at line 970 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::presburger::operator>().

◆ operator>() [3/3]

void ValueBoundsConstraintSet::BoundBuilder::operator> ( OpFoldResult ofr )

Definition at line 950 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::presburger::operator>().

◆ operator>=() [1/3]

void ValueBoundsConstraintSet::BoundBuilder::operator>= ( AffineExpr expr )

Definition at line 928 of file ValueBoundsOpInterface.cpp.

References mlir::FlatLinearConstraints::addBound(), assertValidValueDim(), and mlir::ValueBoundsConstraintSet::cstr.

◆ operator>=() [2/3]

void ValueBoundsConstraintSet::BoundBuilder::operator>= ( int64_t i )

Definition at line 974 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::presburger::operator>=().

◆ operator>=() [3/3]

void ValueBoundsConstraintSet::BoundBuilder::operator>= ( OpFoldResult ofr )

Definition at line 954 of file ValueBoundsOpInterface.cpp.

References mlir::ValueBoundsConstraintSet::cstr, and mlir::presburger::operator>=().

◆ operator[]()

ValueBoundsConstraintSet::BoundBuilder & ValueBoundsConstraintSet::BoundBuilder::operator[] ( int64_t dim )

Specify a dimension, assuming that the underlying value is a shaped value.

Definition at line 904 of file ValueBoundsOpInterface.cpp.

References assertValidValueDim().

Friends And Related Function Documentation

◆ ValueBoundsConstraintSet

friend class ValueBoundsConstraintSet

friend

Definition at line 97 of file ValueBoundsOpInterface.h.

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

include/mlir/Interfaces/ValueBoundsOpInterface.h
lib/Interfaces/ValueBoundsOpInterface.cpp