buffer.assume.memory_space

← buffer dialect

Refine an existing buffer root with a concrete target-independent memory-space fact while preserving the same storage identity, extent, alignment, and nullability facts.

Operation contract

Property	Value
Semantic phase	executable
Traits	Pure, FactIdentity

Signature

Kind	Name	Type	Cardinality	Description
Operand	buffer	buffer	required	Buffer root to refine.
Result	result	buffer	required	Same buffer root with refined memory-space facts.
Attribute	memory_space	enum MemorySpace	required	Concrete memory space to assume.

Examples

%global = buffer.assume.memory_space<global> %buffer : buffer