MLIR  20.0.0git
Classes | Namespaces | Typedefs
ValueBoundsOpInterface.h File Reference
#include "mlir/Analysis/FlatLinearValueConstraints.h"
#include "mlir/IR/Builders.h"
#include "mlir/IR/OpDefinition.h"
#include "mlir/IR/Value.h"
#include "mlir/Interfaces/DestinationStyleOpInterface.h"
#include "llvm/ADT/SetVector.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/Support/ExtensibleRTTI.h"
#include <queue>
#include "mlir/Interfaces/ValueBoundsOpInterface.h.inc"

Go to the source code of this file.

Classes

class  mlir::HyperrectangularSlice
 A hyperrectangular slice, represented as a list of offsets, sizes and strides. More...
 
class  mlir::ValueBoundsConstraintSet
 A helper class to be used with ValueBoundsOpInterface. More...
 
class  mlir::ValueBoundsConstraintSet::BoundBuilder
 Helper class that builds a bound for a shaped value dimension or index-typed value. More...
 
class  mlir::ValueBoundsConstraintSet::Variable
 A variable that can be added to the constraint set as a "column". More...
 

Namespaces

 mlir
 Include the generated interface declarations.
 

Typedefs

using mlir::ValueDimList = SmallVector< std::pair< Value, std::optional< int64_t > >>