Struct SizeInference 

pub struct SizeInference<'a, C: PcodeLoweringContext + ?Sized, W: Width> { /* private fields */ }

The width-inference pass, shared by specification-compile time and by per-instruction planning.

It is generic over the statement representation so a producer can run it over its own source bodies, and over the width domain so those bodies can be resolved before the values a decode substitutes into them are known.

Inference is a fixed point: a forward-only pass cannot size, for example, v = 255 & 31 until a later word << v reveals that v is a word-wide shift count. run iterates it over a slice; a producer that streams its statements feeds them through statement and repeats the whole sequence while progressed says a pass found something new, at most once more than there are statements.

Implementations

impl<'a, C: PcodeLoweringContext + ?Sized, W: Width> SizeInference<'a, C, W>

pub fn new(context: &'a C) -> Self

Starts an inference with no widths known.

pub fn run<S>(context: &'a C, statements: &[Ast<S>]) -> HashMap<LocalVarId, W>

Infers the widths of statements to a fixed point.

pub fn statement<E: ExprNode>(&mut self, statement: StmtKind<'_, E>)

Constrains the locals of the next statement by their uses in it.

pub fn progressed(&mut self) -> bool

Whether a width was found since this was last asked, so the caller knows to feed the statements again.

pub fn finish(self) -> HashMap<LocalVarId, W>

The widths found so far.