|
LogicalResult | mlir::affine::lowerAffineDelinearizeIndexOp (RewriterBase &rewriter, AffineDelinearizeIndexOp op) |
| Lowers affine.delinearize_index into a sequence of division and remainder operations. More...
|
|
LogicalResult | mlir::affine::lowerAffineLinearizeIndexOp (RewriterBase &rewriter, AffineLinearizeIndexOp op) |
| Lowers affine.linearize_index into a sequence of multiplications and additions. More...
|
|
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::populateAffineExpandIndexOpsAsAffinePatterns (RewritePatternSet &patterns) |
| Populate patterns that expand affine index operations into their equivalent affine.apply representations. 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< 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. More...
|
|
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. More...
|
|
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. 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...
|
|
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. More...
|
|
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. More...
|
|
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 . More...
|
|