buffer.view

← buffer dialect

Form a typed non-owning view from an opaque buffer root and base byte offset. The result view type carries the address layout.

Operation contract

Property	Value
Semantic phase	executable
Traits	Pure, RefinableResultTypeRefs

Signature

Kind	Name	Type	Cardinality	Description
Operand	buffer	buffer	required	Opaque storage root.
Operand	byte_offset	offset	required	Base byte offset from the buffer root.
Result	result	view	required	Typed logical view over the buffer.

Examples

%view = buffer.view %buffer[%offset] : buffer -> view<[%M]xf32, %layout>