Struct ReconstructCtx 

struct ReconstructCtx<'a> {
    body: &'a ExprBody,
    exits_info: ExitsInfo,
    explored: HashSet<BlockId>,
    parent_loops: Vec<BlockId>,
    switch_exit_blocks: HashSet<BlockId>,
}

Fields

body: &'a ExprBody

exits_info: ExitsInfo

explored: HashSet<BlockId>

parent_loops: Vec<BlockId>

switch_exit_blocks: HashSet<BlockId>

Implementations

impl<'a> ReconstructCtx<'a>

fn build( ctx: &mut TransformCtx, src_body: &'a ExprBody, ) -> Result<Self, Irreducible>

fn get_goto_kind(&self, next_block_id: BlockId) -> GotoKind

fn translate_child_block( &mut self, parent_span: Span, child_id: BlockId, ) -> Block

parent_span: we need some span data for the new statement. We use the one for the parent terminator.

fn translate_statement(&self, st: &Statement) -> Option<Statement>

fn translate_terminator(&mut self, terminator: &Terminator) -> Block

fn translate_block(&mut self, block_id: BlockId) -> Block

Remark: some values are boxed (here, the returned statement) so that they are allocated on the heap. This reduces stack usage (we had problems with stack overflows in the past). A more efficient solution would be to use loops to make this code constant space, but that would require a serious rewriting.