low.br.identity

← low dialect

Unconditional branch whose contiguous identity payload range shares exact physical storage with the corresponding destination block arguments. Other payload values use ordinary edge transfers. This preserves register contents when destination participation includes lanes that did not execute the branch.

Operation contract

Property	Value
Semantic phase	executable
Traits	Terminator, StorageRelation
Interfaces	DirectBranch

Signature

Kind	Name	Type	Cardinality	Description
Operand	args	register	variadic	Register values forwarded to the destination block arguments.
Attribute	start	i64	required	First payload position sharing destination storage.
Attribute	count	i64	required	Number of payload positions sharing destination storage.
Successor	dest	block	required	Destination low block.

Examples

low.br.identity(2, 1) ^capture(%result: reg<test.i32>, %mask: reg<test.i32>, %retained: reg<test.i32>)