MLIR  20.0.0git
Namespaces | Functions
Transforms.h File Reference
#include "mlir/Interfaces/ValueBoundsOpInterface.h"
#include "mlir/Support/LLVM.h"

Go to the source code of this file.

Namespaces

 mlir
 Include the generated interface declarations.
 
 mlir::presburger
 
 mlir::affine
 

Functions

void mlir::affine::populateAffineExpandIndexOpsPatterns (RewritePatternSet &patterns)
 Populate patterns that expand affine index operations into more fundamental operations (not necessarily restricted to Affine dialect). More...
 
void mlir::affine::reorderOperandsByHoistability (RewriterBase &rewriter, AffineApplyOp op)
 Helper function to rewrite op's affine map and reorder its operands such that they are in increasing order of hoistability (i.e. More...
 
FailureOr< AffineApplyOp > mlir::affine::decompose (RewriterBase &rewriter, AffineApplyOp op)
 Split an "affine.apply" operation into smaller ops. More...
 
FailureOr< OpFoldResultmlir::affine::reifyValueBound (OpBuilder &b, Location loc, presburger::BoundType type, const ValueBoundsConstraintSet::Variable &var, ValueBoundsConstraintSet::StopConditionFn stopCondition, bool closedUB=false)
 Reify a bound for the given variable in terms of SSA values for which stopCondition is met. More...
 
FailureOr< OpFoldResultmlir::affine::reifyIndexValueBound (OpBuilder &b, Location loc, presburger::BoundType type, Value value, ValueBoundsConstraintSet::StopConditionFn stopCondition=nullptr, bool closedUB=false)
 Reify a bound for the given index-typed value in terms of SSA values for which stopCondition is met. More...
 
FailureOr< OpFoldResultmlir::affine::reifyShapedValueDimBound (OpBuilder &b, Location loc, presburger::BoundType type, Value value, int64_t dim, ValueBoundsConstraintSet::StopConditionFn stopCondition=nullptr, bool closedUB=false)
 Reify a bound for the specified dimension of the given shaped value in terms of SSA values for which stopCondition is met. More...
 
OpFoldResult mlir::affine::materializeComputedBound (OpBuilder &b, Location loc, AffineMap boundMap, ArrayRef< std::pair< Value, std::optional< int64_t >>> mapOperands)
 Materialize an already computed bound with Affine dialect ops. More...