Enum cranelift_codegen::machinst::blockorder::LoweredBlock

pub enum LoweredBlock {
    Orig {
        block: Block,
    },
    OrigAndEdge {
        block: Block,
        edge_inst: Inst,
        succ: Block,
    },
    EdgeAndOrig {
        pred: Block,
        edge_inst: Inst,
        block: Block,
    },
    Edge {
        pred: Block,
        edge_inst: Inst,
        succ: Block,
    },
}

The origin of a block in the lowered block-order: either an original CLIF block, or an inserted edge-block, or a combination of the two if an edge is non-critical.

Variants

Orig

Fields

block: Block

Original CLIF block.

Block in original CLIF, with no merged edge-blocks.

OrigAndEdge

Fields

block: Block

The original CLIF block contained in this lowered block.

edge_inst: Inst

The edge (jump) instruction transitioning from this block to the next, i.e., corresponding to the included edge-block. This will be an instruction in block.

succ: Block

The successor CLIF block.

Block in the original CLIF, plus edge-block to one succ (which is the one successor of the original block).

EdgeAndOrig

Fields

pred: Block

The previous CLIF block, i.e., the edge block’s predecessor.

edge_inst: Inst

The edge (jump) instruction corresponding to the included edge-block. This will be an instruction in pred.

block: Block

The original CLIF block included in this lowered block.

Block in the original CLIF, preceded by edge-block from one pred (which is the one pred of the original block).

Edge

Fields

pred: Block

The predecessor CLIF block.

edge_inst: Inst

The edge (jump) instruction corresponding to this edge’s transition. This will be an instruction in pred.

succ: Block

The successor CLIF block.

Split critical edge between two CLIF blocks. This lowered block does not correspond to any original CLIF blocks; it only serves as an insertion point for work to happen on the transition from pred to succ.

Implementations

impl LoweredBlock

pub fn orig_block(self) -> Option<Block>

The associated original (CLIF) block included in this lowered block, if any.

pub fn in_edge(self) -> Option<(Block, Inst, Block)>

The associated in-edge, if any.

pub fn out_edge(self) -> Option<(Block, Inst, Block)>

the associated out-edge, if any. Also includes edge-only blocks.

Trait Implementations

impl Clone for LoweredBlock

fn clone(&self) -> LoweredBlock

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for LoweredBlock

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for LoweredBlock

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<LoweredBlock> for LoweredBlock

fn eq(&self, other: &LoweredBlock) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &LoweredBlock) -> bool

This method tests for !=.

impl Copy for LoweredBlock

impl Eq for LoweredBlock

impl StructuralEq for LoweredBlock

impl StructuralPartialEq for LoweredBlock