MLIR  19.0.0git
Functions
IndependenceTransforms.cpp File Reference
#include "mlir/Dialect/Tensor/Transforms/Transforms.h"
#include "mlir/Dialect/Affine/IR/AffineOps.h"
#include "mlir/Dialect/Affine/Transforms/Transforms.h"
#include "mlir/Dialect/Tensor/IR/Tensor.h"
#include "mlir/Dialect/Utils/StaticValueUtils.h"
#include "mlir/Interfaces/ValueBoundsOpInterface.h"

Go to the source code of this file.

Functions

static FailureOr< OpFoldResultmakeIndependent (OpBuilder &b, Location loc, OpFoldResult ofr, ValueRange independencies)
 Make the given OpFoldResult independent of all independencies. More...
 

Function Documentation

◆ makeIndependent()

static FailureOr<OpFoldResult> makeIndependent ( OpBuilder b,
Location  loc,
OpFoldResult  ofr,
ValueRange  independencies 
)
static

Make the given OpFoldResult independent of all independencies.

Definition at line 21 of file IndependenceTransforms.cpp.

References mlir::ValueBoundsConstraintSet::computeIndependentBound(), mlir::affine::materializeComputedBound(), and mlir::presburger::UB.

Referenced by mlir::tensor::buildIndependentOp().