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