Struct CfgBuilder 

pub struct CfgBuilder {
    pub cfg: Option<ControlFlowGraph>,
    pub allocator: *mut CfgAllocator,
    pub current_block: *mut Block,
    pub sealed_blocks: DenseHashSet<*mut Block>,
    pub incomplete_joins: DenseHashMap<*mut Block, BTreeSet<*mut Join>>,
    pub version_counter: DenseHashMap<Symbol, usize>,
}

Fields

cfg: Option<ControlFlowGraph>

allocator: *mut CfgAllocator

current_block: *mut Block

sealed_blocks: DenseHashSet<*mut Block>

incomplete_joins: DenseHashMap<*mut Block, BTreeSet<*mut Join>>

version_counter: DenseHashMap<Symbol, usize>

Implementations

impl CfgBuilder

pub fn block_scope_cfg_builder_block(&mut self, target: *mut Block)

RAII enter. C++ ctor saves builder.currentBlock and sets it to target: : builder(builder), saved(builder.currentBlock.get()) { builder.currentBlock = NotNull{target}; } Here we apply the builder mutation (currentBlock = target); the matching restore (the dtor’s job) is performed by the lowering scope that holds the saved block (see lower_ast_stat_if / lower_ast_stat_while).

impl CfgBuilder

pub fn cfg_builder_block_scope_block_scope(&mut self)

RAII exit. C++ dtor restores the saved block: ~BlockScope() { builder.currentBlock = NotNull{saved}; } The saved block is not threadable through this nullary signature, so the restore is performed inline by the lowering scope that owns saved (lower_ast_stat_if / lower_ast_stat_while). Nothing remains for the destructor to do here.

impl CfgBuilder

pub fn block_scope_block_scope(&mut self)

Deleted copy constructor in C++ (= delete). Mirrors the established @delete convention (e.g. TypedAllocator copy ctor): never called.

impl CfgBuilder

pub fn new(allocator: *mut CfgAllocator) -> Self

impl CfgBuilder

pub fn emit<T, Args>(&mut self, block: *mut Block, args: Args) -> *mut T

where Args: IntoInstruction<T>, T: InstructionMember,

template<typename T, typename... Args> NotNull<T> emit(Block* block, Args&&...). NotNull<T> -> *mut T.

impl CfgBuilder

pub fn emit_join(&mut self, block: *mut Block, sym: Symbol) -> *mut Join

Join* CFGBuilder::emitJoin(Block* block, Symbol sym). Reference: ControlFlowGraph.cpp:258-265.

impl CfgBuilder

pub fn emit_refine_instruction( &mut self, block: *mut Block, refinement: RefinementId, )

impl CfgBuilder

pub fn fill_join_operands(&mut self, block: *mut Block, j: *mut Join)

impl CfgBuilder

pub fn is_sealed(&self, b: *mut Block) -> bool

impl CfgBuilder

pub fn lower_ast_stat(&mut self, statement: *mut AstStat)

impl CfgBuilder

pub fn lower_ast_stat_block(&mut self, statement: *mut AstStatBlock)

impl CfgBuilder

pub fn lower_ast_stat_local(&mut self, local: *mut AstStatLocal)

impl CfgBuilder

pub fn lower_ast_stat_assign(&mut self, assn: *mut AstStatAssign)

impl CfgBuilder

pub fn lower_ast_stat_if(&mut self, stat_if: *mut AstStatIf)

impl CfgBuilder

pub fn lower_ast_stat_while(&mut self, stat_while: *mut AstStatWhile)

impl CfgBuilder

pub fn lower_expr_ast_expr(&mut self, expr: *mut AstExpr)

impl CfgBuilder

pub fn lower_expr_ast_expr_local(&mut self, local: *mut AstExprLocal)

impl CfgBuilder

pub fn make_cfg( allocator: *mut CfgAllocator, block: *mut AstStatBlock, ) -> *mut ControlFlowGraph

impl CfgBuilder

pub fn new_block( &mut self, kind: BlockKind, debug_name: String, pred: *mut Block, ) -> *mut Block

C++ default arg Block* pred = nullptr; callers pass null_mut() to omit.

impl CfgBuilder

pub fn new_definition(&mut self, sym: Symbol) -> DefId

impl CfgBuilder

pub fn next_version_index(&mut self, sym: Symbol) -> usize

impl CfgBuilder

pub fn read_variable(&mut self, block: BlockId, sym: Symbol) -> DefId

impl CfgBuilder

pub fn resolve_condition( &mut self, condition: *mut AstExpr, ) -> Option<RefinementId>

impl CfgBuilder

pub fn seal(&mut self, b: *mut Block)

void CFGBuilder::seal(Block* b). Reference: ControlFlowGraph.cpp.

impl CfgBuilder

pub fn trim_trivial_join(&mut self, _j: *mut Join)

Trait Implementations

impl Clone for CfgBuilder

fn clone(&self) -> CfgBuilder

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CfgBuilder

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

Formats the value using the given formatter.