channel.copy
← channel dialect
Transfer both accesses to asynchronous transport. Retire the source after its last source read, independently of publishing the destination after completed writes and required visibility. The enclosing execution owns the transfer even after the issuing helper returns.
Operation contract
| Property |
Value |
| Semantic phase |
— |
| Memory effects |
readwrite source, readwrite destination |
| Ownership effects |
consume source (by_value), consume destination (by_value) |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Operand |
source |
any |
required |
— |
| Operand |
destination |
any |
required |
— |
Examples
channel.copy %read -> %write : read<tile<144xi32>>, write<tile<144xi32>>