Skip to content

kernel.subgroup.match.all

kernel dialect

Return a lane mask and predicate describing whether all active subgroup lanes hold the same scalar value.

Operation contract

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

Signature

Kind Name Type Cardinality Description
Operand value scalar required Value to compare across active subgroup lanes.
Result mask integer required Integer lane-equality mask.
Result all_equal i1 required True when all active lanes match.

Examples

%mask, %all = kernel.subgroup.match.all %v : i32 -> i64, i1