MLIR  20.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)
 

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)

◆ 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 929 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 933 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 913 of file ValueBoundsOpInterface.cpp.

References assertValidValueDim().

Friends And Related Function Documentation

◆ ValueBoundsConstraintSet

Definition at line 97 of file ValueBoundsOpInterface.h.


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