class

Alice::Mir::Phi

Inherits Alice::Mir::Instruction < Reference < Object

Phi is deliberately an ownership transfer, not a backend-only SSA hint. An Owned incoming is moved into target on its respective incoming edge.

Constructors

new(target : Int32, incoming : Array(Tuple(Int32, Int32)), span)

incoming

target