pipeline.fold
← pipeline dialect
Fold the innermost temporal dimension of each lane's finite input record sequence using the template combining kind. Outer temporal dimensions, lane cardinality, and tile shape are preserved. Optional fastmath flags permit the corresponding floating-point reassociation and approximation choices.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAncestor(pipeline.def) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source |
any |
required |
Finite per-lane input record flow. |
| Result |
result |
any |
required |
One folded record per outer temporal position and source lane. |
| Attribute |
kind |
enum CombiningKind |
required |
— |
| Attribute |
fastmath |
flags FastMathFlags |
optional |
— |
Verification constraints
Examples
%partial = pipeline.fold<addf, reassoc> %contributions : pipeline.flow<tile<1xf32>>