Skip to content

kernel.workgroup.vote.all

← kernel dialect

Return true when all workgroup invocations have a true predicate.

Operation contract

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

Signature

Kind Name Type Cardinality Description
Operand predicate i1 required Per-invocation predicate.
Result result i1 required Workgroup-uniform vote result.

Examples

%all = kernel.workgroup.vote.all %p : i1