Enum cranelift_codegen::ir::instructions::BranchInfo

pub enum BranchInfo<'a> {
    NotABranch,
    SingleDest(Block, &'a [Value]),
    Table(JumpTable, Option<Block>),
}

Information about branch and jump instructions.

Variants

NotABranch

This is not a branch or jump instruction. This instruction will not transfer control to another block in the function, but it may still affect control flow by returning or trapping.

SingleDest

This is a branch or jump to a single destination block, possibly taking value arguments.

Tuple Fields of SingleDest

0: Block1: &'a [Value]

Table

This is a jump table branch which can have many destination blocks and maybe one default block.

Tuple Fields of Table

0: JumpTable1: Option<Block>