low.storage.reserve

← low dialect

Reserve target-low function-local storage and preserve its segment footprint.

Operation contract

Property	Value
Semantic phase	executable
Traits	UnknownEffects

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>