pipeline.reduce
← pipeline dialect
Gather each source-group lane record into one target-group stage firing. Target inputs remain pointwise with the target group.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UnknownEffects, HasAncestor(pipeline.def) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source_group |
any |
required |
Group whose lane records are gathered. |
| Operand |
source_inputs |
any |
variadic |
Gathered source-group flows. |
| Operand |
target_group |
any |
required |
Group executing the reduction stage. |
| Operand |
target_inputs |
any |
variadic |
Pointwise target-group flows. |
| Result |
outputs |
any |
variadic |
Target-group output flows. |
| Attribute |
entry |
symbol (callable) |
required |
— |
Examples
%result = pipeline.reduce @sum from %products(%partials) to %reducers(%bias) : (group, pipeline.flow<tile<8x8xi32>>) to (group, pipeline.flow<tile<8x8xi32>>) -> (pipeline.flow<tile<8x8xi32>>)