MLIR: mlir::ValueBoundsConstraintSet::Variable Class Reference

MLIR 24.0.0git

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 135 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 117 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 120 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 123 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 126 of file ValueBoundsOpInterface.cpp.

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

◆ Variable() [5/6]

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

Construct a variable for a map and its operands.

Definition at line 149 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 192 of file ValueBoundsOpInterface.cpp.

References Variable().

Member Function Documentation

◆ getContext()

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

inline

Definition at line 155 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 158 of file ValueBoundsOpInterface.h.

◆ getOperands() [1/2]

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

inline

Returns the map operands.

Definition at line 161 of file ValueBoundsOpInterface.h.

◆ getOperands() [2/2]

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

inline

Definition at line 162 of file ValueBoundsOpInterface.h.

◆ ValueBoundsConstraintSet

friend class ValueBoundsConstraintSet

friend

Definition at line 165 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