kernel.workgroup.reduce

← kernel dialect

Reduce a scalar or rank-1 vector value across the current workgroup.

Operation contract

Property	Value
Semantic phase	executable
Traits	Convergent, HasAncestor(kernel.def)
Target contracts	kernel.synchronization

Signature

Kind	Name	Type	Cardinality	Description
Operand	value	any	required	Per-invocation value to reduce.
Result	result	any	required	Reduced value.
Attribute	kind	enum CombiningKind	required	Combining operation.

Verification constraints

• SameType(value, result)

Examples

%sum = kernel.workgroup.reduce<addf> %v : f32