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, HasAncestor(kernel.def)
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