channel.bind
← channel dialect
Bind a fresh channel identity to caller-owned record storage. The leading view dimension indexes slots; capacity bounds the admitted records. The caller retains the allocation through all accesses and transfers. Equal backing addresses do not make two bindings the same protocol.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Traits |
UniqueIdentity |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
storage |
view |
required |
— |
| Operand |
capacity |
index |
required |
— |
| Result |
result |
any |
required |
— |
| Attribute |
discipline |
enum ChannelDiscipline |
required |
— |
Examples
%channel = channel.bind<fifo> %storage, %capacity : view<2x144xi32>, index -> channel<tile<144xi32>>