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/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.

Function Documentation

makeIndependent()

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

static

Make the given OpFoldResult independent of all independencies.

Definition at line 20 of file IndependenceTransforms.cpp.

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

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