buffer.assume.same_root

← buffer dialect

Refine an existing buffer root to share another buffer's storage root. This is a dominance-scoped assertion for internally specialized dispatches that know two incoming handles refer to the same allocation. The result keeps the first operand's value while inheriting the second operand's root identity and comparable alias scope.

Operation contract

Property	Value
Semantic phase	executable
Traits	Pure

Signature

Kind	Name	Type	Cardinality	Description
Operand	buffer	buffer	required	Buffer value to refine.
Operand	root	buffer	required	Buffer whose storage root is shared.
Result	result	buffer	required	Same buffer value with refined root identity.

Examples

%same = buffer.assume.same_root %buffer, %root : buffer