MLIR  19.0.0git
Public Member Functions | Protected Member Functions | Friends | List of all members
mlir::ValueBoundsConstraintSet::BoundBuilder Class Reference

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

#include "mlir/Interfaces/ValueBoundsOpInterface.h"

Public Member Functions

BoundBuilderoperator[] (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)


class ValueBoundsConstraintSet

Detailed Description

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

Definition at line 70 of file ValueBoundsOpInterface.h.

Constructor & Destructor Documentation

◆ BoundBuilder()

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

Definition at line 95 of file ValueBoundsOpInterface.h.

Member Function Documentation

◆ operator<() [1/3]

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

◆ operator<() [2/3]

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

◆ operator<() [3/3]

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

◆ operator<=() [1/3]

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

Definition at line 701 of file ValueBoundsOpInterface.cpp.

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

◆ operator<=() [2/3]

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

◆ operator<=() [3/3]

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

◆ operator==() [1/3]

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

◆ operator==() [2/3]

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

◆ operator==() [3/3]

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

◆ operator>() [1/3]

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

Definition at line 705 of file ValueBoundsOpInterface.cpp.

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

◆ operator>() [2/3]

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

◆ operator>() [3/3]

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

◆ operator>=() [1/3]

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

◆ operator>=() [2/3]

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

◆ operator>=() [3/3]

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

◆ operator[]()

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

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

Definition at line 685 of file ValueBoundsOpInterface.cpp.

References assertValidValueDim().

Friends And Related Function Documentation

◆ ValueBoundsConstraintSet

Definition at line 94 of file ValueBoundsOpInterface.h.

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