Struct CfgBlock 

pub struct CfgBlock {
    pub inputs: Vec<u16>,
    pub body: Vec<LoopCell>,
    pub writes: Vec<(u16, Src)>,
    pub shows: Vec<Src>,
    pub term: Term,
}

One spatially-lowered basic block: a wired residual body + its live-in registers + the register writes it commits + its terminator.

Fields

inputs: Vec<u16>

Live-in registers, in input order: Src::In(k) in body/writes/term refers to inputs[k].

body: Vec<LoopCell>

The block’s straight-line datapath (SSA cells).

writes: Vec<(u16, Src)>

Each register the block writes, paired with the Src giving its final value.

shows: Vec<Src>

★ WHAT THIS BLOCK SHOWS, in order — the block’s slice of the program’s output tape.

A function RETURNS one value and the terminator carries it. A ## Main SHOWS a sequence, and a branchy Main shows a DIFFERENT sequence down each path — which is exactly why the combinational output-tape path refuses it (“a conditional Show cannot ride the combinational tape”) and why the tape has to live per block here. Empty for every function lowering, so nothing that existed before this field moves.

term: Term

Where control goes next.

Trait Implementations

impl Clone for CfgBlock

fn clone(&self) -> CfgBlock

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CfgBlock

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

Formats the value using the given formatter.