ValueBoundsOpInterface.cpp File Reference

#include "mlir/Interfaces/ValueBoundsOpInterface.h"
#include "mlir/IR/BuiltinTypes.h"
#include "mlir/IR/Matchers.h"
#include "mlir/Interfaces/DestinationStyleOpInterface.h"
#include "mlir/Interfaces/ViewLikeInterface.h"
#include "llvm/ADT/APSInt.h"
#include "llvm/Support/Debug.h"
#include "mlir/Interfaces/ValueBoundsOpInterface.cpp.inc"

Go to the source code of this file.

Namespaces
	mlir
	Include the generated interface declarations.

Macros
#define	DEBUG_TYPE   "value-bounds-op-interface"

Functions
static Operation *	getOwnerOfValue (Value value)
static std::optional< int64_t >	getConstantIntValue (OpFoldResult ofr)
	If ofr is a constant integer or an IntegerAttr, return the integer. More...
static void	assertValidValueDim (Value value, std::optional< int64_t > dim)

Macro Definition Documentation

DEBUG_TYPE

#define DEBUG_TYPE   "value-bounds-op-interface"

Definition at line 18 of file ValueBoundsOpInterface.cpp.

Function Documentation

assertValidValueDim()

static void assertValidValueDim ( Value  value, std::optional< int64_t >  dim  )

static

Definition at line 164 of file ValueBoundsOpInterface.cpp.

References mlir::Value::getType(), and mlir::Type::isIndex().

Referenced by mlir::ValueBoundsConstraintSet::computeConstantDelta(), mlir::ValueBoundsConstraintSet::getExpr(), mlir::ValueBoundsConstraintSet::getPos(), mlir::ValueBoundsConstraintSet::insert(), mlir::ValueBoundsConstraintSet::BoundBuilder::operator<(), mlir::ValueBoundsConstraintSet::BoundBuilder::operator==(), mlir::ValueBoundsConstraintSet::BoundBuilder::operator>=(), mlir::ValueBoundsConstraintSet::BoundBuilder::operator[](), and mlir::ValueBoundsConstraintSet::populateConstraints().

getConstantIntValue()

static std::optional<int64_t> getConstantIntValue ( OpFoldResult  ofr )

static

If ofr is a constant integer or an IntegerAttr, return the integer.

Definition at line 61 of file ValueBoundsOpInterface.cpp.

References mlir::m_ConstantInt(), and mlir::matchPattern().

Referenced by isInBounds().

getOwnerOfValue()

static Operation* getOwnerOfValue ( Value  value )

static

Definition at line 28 of file ValueBoundsOpInterface.cpp.

References mlir::Value::getDefiningOp(), and mlir::Operation::getParentOp().

Referenced by mlir::ValueBoundsConstraintSet::dump(), mlir::ValueBoundsConstraintSet::getPos(), mlir::ValueBoundsConstraintSet::insert(), and mlir::ValueBoundsConstraintSet::processWorklist().