low.storage.reserve
← low dialect
Reserve target-low function-local storage and preserve its segment footprint. The result borrows storage owned by the execution frame and requires no explicit release.
Operation contract
| Property |
Value |
| Semantic phase |
executable |
| Traits |
UnknownEffects |
| Ownership effects |
borrowed storage |
Signature
| Kind |
Name |
Type |
Cardinality |
Description |
| Result |
storage |
storage |
required |
— Produces a fresh allocation. |
| Attribute |
byte_length |
i64 |
required |
— |
| Attribute |
byte_alignment |
i64 |
required |
— |
Examples
%slot = low.storage.reserve {byte_alignment = 4, byte_length = 16} : low.storage<private>