mlir::ValueBoundsConstraintSet::Variable Class Reference

A variable that can be added to the constraint set as a "column". More...

#include "mlir/Interfaces/ValueBoundsOpInterface.h"

Public Member Functions
	Variable (OpFoldResult ofr)
	Construct a variable for an index-typed attribute or SSA value.
	Variable (Value indexValue)
	Construct a variable for an index-typed SSA value.
	Variable (Value shapedValue, int64_t dim)
	Construct a variable for a dimension of a shaped value.
	Variable (OpFoldResult ofr, std::optional< int64_t > dim)
	Construct a variable for an index-typed attribute/SSA value or for a dimension of a shaped value.
	Variable (AffineMap map, ArrayRef< Variable > mapOperands)
	Construct a variable for a map and its operands.
	Variable (AffineMap map, ValueRange mapOperands)
MLIRContext *	getContext () const
AffineMap	getMap () const
	Returns the affine map.
ValueDimList &	getOperands ()
	Returns the map operands.
const ValueDimList &	getOperands () const

Friends
class	ValueBoundsConstraintSet

Detailed Description

A variable that can be added to the constraint set as a "column".

The value bounds infrastructure can compute bounds for variables and compare two variables.

Internally, a variable is represented as an affine map and operands.

Definition at line 120 of file ValueBoundsOpInterface.h.

Constructor & Destructor Documentation

Variable() [1/6]

ValueBoundsConstraintSet::Variable::Variable

(

OpFoldResult

ofr

)

Construct a variable for an index-typed attribute or SSA value.

Definition at line 78 of file ValueBoundsOpInterface.cpp.

References Variable().

Referenced by Variable(), Variable(), Variable(), and Variable().

Variable() [2/6]

ValueBoundsConstraintSet::Variable::Variable

(

Value

indexValue

)

Construct a variable for an index-typed SSA value.

Definition at line 81 of file ValueBoundsOpInterface.cpp.

References Variable().

Variable() [3/6]

ValueBoundsConstraintSet::Variable::Variable	(	Value	shapedValue,
		int64_t	dim )

Construct a variable for a dimension of a shaped value.

Definition at line 84 of file ValueBoundsOpInterface.cpp.

References Variable().

Variable() [4/6]

ValueBoundsConstraintSet::Variable::Variable	(	OpFoldResult	ofr,
		std::optional< int64_t >	dim )

Construct a variable for an index-typed attribute/SSA value or for a dimension of a shaped value.

A non-null dimension must be provided if and only if ofr is a shaped value.

Definition at line 87 of file ValueBoundsOpInterface.cpp.

References b, mlir::AffineMap::get(), mlir::getConstantIntValue(), mlir::OpFoldResult::getContext(), mlir::Value::getType(), and mlir::Type::isIndex().

Variable() [5/6]

ValueBoundsConstraintSet::Variable::Variable	(	AffineMap	map,
		ArrayRef< Variable >	mapOperands )

Construct a variable for a map and its operands.

Definition at line 109 of file ValueBoundsOpInterface.cpp.

References b, mlir::AffineMap::replace(), and mlir::AffineMap::replaceDimsAndSymbols().

Variable() [6/6]

ValueBoundsConstraintSet::Variable::Variable	(	AffineMap	map,
		ValueRange	mapOperands )

Definition at line 150 of file ValueBoundsOpInterface.cpp.

References Variable().

Member Function Documentation

getContext()

MLIRContext * mlir::ValueBoundsConstraintSet::Variable::getContext ( ) const

inline

Definition at line 140 of file ValueBoundsOpInterface.h.

Referenced by mlir::ValueBoundsConstraintSet::computeBound(), and mlir::ValueBoundsConstraintSet::computeConstantBound().

getMap()

AffineMap mlir::ValueBoundsConstraintSet::Variable::getMap ( ) const

inline

Returns the affine map.

Definition at line 143 of file ValueBoundsOpInterface.h.

getOperands() [1/2]

ValueDimList & mlir::ValueBoundsConstraintSet::Variable::getOperands ( )

inline

Returns the map operands.

Definition at line 146 of file ValueBoundsOpInterface.h.

getOperands() [2/2]

const ValueDimList & mlir::ValueBoundsConstraintSet::Variable::getOperands ( ) const

inline

Definition at line 147 of file ValueBoundsOpInterface.h.

Friends And Related Symbol Documentation

ValueBoundsConstraintSet

friend class ValueBoundsConstraintSet

friend

Definition at line 150 of file ValueBoundsOpInterface.h.

References ValueBoundsConstraintSet.

Referenced by ValueBoundsConstraintSet.

---

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

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