Struct OptimizedSir 

pub struct OptimizedSir {
    pub sir: SirProgram,
    pub layout_requirements: LayoutRequirements<AbsoluteAddr>,
    /* private fields */
}

A pre-layout compiler artifact whose SIR optimization pipeline has completed successfully.

Construction is restricted to the compiler driver. Physical layout can only be finalized from this phase, preventing unoptimized SIR from accidentally entering a backend.

Fields

sir: SirProgram

layout_requirements: LayoutRequirements<AbsoluteAddr>

Implementations

impl OptimizedSir

pub fn into_laid_out(self, four_state: bool) -> LaidOutProgram

Finalize the physical state layout and consume the optimized program.

pub fn into_laid_out_with_mode( self, four_state: bool, mode: MemoryLayoutMode, ) -> LaidOutProgram

impl OptimizedSir

pub fn collect_working_region_addrs(&self) -> FxHashSet<AbsoluteAddr>

Collect the set of AbsoluteAddr values that are accessed in the working region (region != STABLE). These are the only variables that need working region space.

pub fn collect_sparse_working_region_addrs(&self) -> FxHashSet<AbsoluteAddr>

Methods from Deref<Target = RuntimeProgram>

pub fn get_addr( &self, instance_path: &[(&str, usize)], var_path: &[&str], ) -> Result<AbsoluteAddr, AddrLookupError>

pub fn get_path(&self, addr: &AbsoluteAddr) -> String

pub fn get_variable_info(&self, addr: &AbsoluteAddr) -> Option<&VariableInfo>

pub fn num_events(&self) -> usize

Trait Implementations

impl Clone for OptimizedSir

fn clone(&self) -> OptimizedSir

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OptimizedSir

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

Formats the value using the given formatter.

impl Deref for OptimizedSir

type Target = RuntimeProgram

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.

impl LayoutSource<AbsoluteAddrBase<StateObjectId>> for OptimizedSir

fn layout_input(&self, mode: MemoryLayoutMode) -> LayoutInput<AbsoluteAddr>