kernel.workgroup.vote.any¶
Return true when any workgroup invocation has 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. |