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 > >>