buffer.restrict.end

← buffer dialect

End source-language restrict access scopes carried by buffer roots or typed views. The results preserve every physical storage fact while removing the scoped access association, preventing it from escaping a lexical or invocation boundary.

Operation contract

Property	Value
Semantic phase	executable
Traits	Pure, FactIdentity

Signature

Kind	Name	Type	Cardinality	Description
Operand	references	any	variadic	Buffer or view references leaving their access scopes.
Result	results	any	variadic	Same references without restrict access associations.

Verification constraints

• VariadicValuesMatch(references, results)

Examples

%returned = buffer.restrict.end %scoped : buffer

%lhs_out, %rhs_out = buffer.restrict.end %lhs, %rhs : buffer, view<16xf32>