class

Alice::Mir::Jump

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

A jump is an explicit, single-successor terminator. Keeping it distinct from Branch makes predecessor identity available to Phi verification.

Constructors

new(target : Int32, span)
Source

Instance methods

target
Source