MLIR  19.0.0git
Functions
ReifyValueBounds.cpp File Reference
#include "mlir/Dialect/Affine/Transforms/Transforms.h"
#include "mlir/Dialect/Affine/IR/AffineOps.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 FailureOr< OpFoldResultreifyValueBound (OpBuilder &b, Location loc, presburger::BoundType type, Value value, std::optional< int64_t > dim, ValueBoundsConstraintSet::StopConditionFn stopCondition, bool closedUB)
 

Function Documentation

◆ reifyValueBound()

static FailureOr<OpFoldResult> reifyValueBound ( OpBuilder b,
Location  loc,
presburger::BoundType  type,
Value  value,
std::optional< int64_t >  dim,
ValueBoundsConstraintSet::StopConditionFn  stopCondition,
bool  closedUB 
)
static