ReifyValueBounds.cpp File Reference

#include <utility>
#include "mlir/Dialect/Arith/Transforms/Transforms.h"
#include "mlir/Dialect/Arith/IR/Arith.h"
#include "mlir/Dialect/MemRef/IR/MemRef.h"
#include "mlir/Dialect/Tensor/IR/Tensor.h"
#include "mlir/Interfaces/ValueBoundsOpInterface.h"

Go to the source code of this file.

Functions
static bool	isIndexLikeType (Type type, ValueBoundsOptions options)
static Value	castToIndexValue (OpBuilder &b, Location loc, Value value)
static Value	buildArithValue (OpBuilder &b, Location loc, AffineMap map, ValueRange operands)
	Build Arith IR for the given affine map and its operands.

Function Documentation

buildArithValue()

Value buildArithValue ( OpBuilder & b, Location loc, AffineMap map, ValueRange operands )

static

Build Arith IR for the given affine map and its operands.

Definition at line 35 of file ReifyValueBounds.cpp.

References mlir::Add, b, castToIndexValue(), mlir::CeilDiv, mlir::Constant, mlir::arith::ConstantIndexOp::create(), mlir::DimId, mlir::FloorDiv, mlir::AffineMap::getNumDims(), mlir::AffineMap::getNumResults(), mlir::AffineMap::getResult(), mlir::Mod, mlir::Mul, and mlir::SymbolId.

Referenced by mlir::arith::reifyValueBound().

castToIndexValue()

Value castToIndexValue ( OpBuilder & b, Location loc, Value value )

static

Definition at line 26 of file ReifyValueBounds.cpp.

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

Referenced by buildArithValue(), and mlir::arith::reifyValueBound().

isIndexLikeType()

bool isIndexLikeType ( Type type, ValueBoundsOptions options )

static

Definition at line 21 of file ReifyValueBounds.cpp.

References mlir::Type::isIndex(), mlir::Type::isInteger(), and options.

Referenced by assertValidValueDim(), mlir::ValueBoundsConstraintSet::computeBound(), and mlir::arith::reifyValueBound().