channel.wait
← channel dialect
Wait for payload readiness and acquire its visibility before returning a borrowed view. The read remains owned. An unused view does not erase the readiness or acquisition effect.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
MemoryFence |
| Memory effects |
readwrite read |
| Ownership effects |
borrow read (by_value), alias view from read |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
read |
any |
required |
— |
| Result |
view |
view |
required |
— |
Examples
%view = channel.wait %read : read<tile<144xi32>> -> view<144xi32>