Enum Shape 

pub enum Shape {
    Simple {
        block: BlockId,
        arms: Vec<Arm>,
    },
    Loop {
        id: u32,
        name: Option<String>,
        entries: Vec<BlockId>,
        state: Option<u32>,
        body: Seq,
    },
    Dispatch {
        state: u32,
        arms: Vec<Arm>,
    },
}

A piece of recovered control flow.

Variants

Simple

One basic block: its statements, then its terminator.

Fields

block: BlockId

The block.

arms: Vec<Arm>

The targets of its terminator that nothing else reaches, emitted inside the if or the match the terminator becomes. Every other target becomes a jump.

Loop

'l: loop { … }.

Fields

id: u32

Distinguishes this loop’s label from the others in the function.

name: Option<String>

The C label its head carries, which the Rust label is named after.

entries: Vec<BlockId>

The blocks it is entered at: one for a natural loop, several for an irreducible region.

state: Option<u32>

The state variable that picks the entry, for such a region.

body: Seq

What runs inside. For an irreducible region the first shape is the dispatch over state.

Dispatch

The head of an irreducible region: a match on the state variable that picks which entry this turn round the loop runs.

Fields

state: u32

The state variable it reads.

arms: Vec<Arm>

One arm per entry, in the order the state numbers them.

Implementations

impl Shape

pub fn exit(&self) -> Exit

Where a jump to this shape arrives.

Trait Implementations

impl Clone for Shape

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Shape

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

Formats the value using the given formatter.