Transforms.h File Reference
Go to the source code of this file.
Namespaces | |
| namespace | mlir |
| Include the generated interface declarations. | |
| namespace | mlir::presburger |
| namespace | mlir::affine |
Functions | |
| LogicalResult | mlir::affine::lowerAffineDelinearizeIndexOp (RewriterBase &rewriter, AffineDelinearizeIndexOp op) |
| Lowers affine.delinearize_index into a sequence of division and remainder operations. | |
| LogicalResult | mlir::affine::lowerAffineLinearizeIndexOp (RewriterBase &rewriter, AffineLinearizeIndexOp op) |
| Lowers affine.linearize_index into a sequence of multiplications and additions. | |
| void | mlir::affine::populateAffineExpandIndexOpsPatterns (RewritePatternSet &patterns) |
| Populate patterns that expand affine index operations into more fundamental operations (not necessarily restricted to Affine dialect). | |
| void | mlir::affine::populateAffineExpandIndexOpsAsAffinePatterns (RewritePatternSet &patterns) |
| Populate patterns that expand affine index operations into their equivalent affine.apply representations. | |
| 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. | |
| FailureOr< AffineApplyOp > | mlir::affine::decompose (RewriterBase &rewriter, AffineApplyOp op) |
| Split an "affine.apply" operation into smaller ops. | |
| FailureOr< OpFoldResult > | mlir::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. | |
| FailureOr< OpFoldResult > | mlir::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. | |
| FailureOr< OpFoldResult > | mlir::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. | |
| 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. | |
| bool | mlir::affine::simplifyAffineMinOp (RewriterBase &rewriter, AffineMinOp op) |
| This transform tries to simplify the affine min operation op, by finding a common lower bound for a set of expressions in the affine map results. | |
| bool | mlir::affine::simplifyAffineMaxOp (RewriterBase &rewriter, AffineMaxOp op) |
| This transform tries to simplify the affine max operation op, by finding a common upper bound for a set of expressions in the affine map results. | |
| LogicalResult | mlir::affine::simplifyAffineMinMaxOps (RewriterBase &rewriter, ArrayRef< Operation * > ops, bool *modified=nullptr) |
| This transform applies simplifyAffineMinOp and simplifyAffineMaxOp to all the affine.min or affine.max operations in ops. | |
Generated on for MLIR by
1.14.0