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< OpFoldResult >	makeIndependent (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().