Struct Context 

pub struct Context {
    pub aux_data: SlotMap<AuxDataIndex, Box<dyn Any + Send>>,
    pub aux_data_map: HMap<Identifier, AuxDataIndex>,
    /* private fields */
}

A context stores all IR data of this compilation session.

Fields

aux_data: SlotMap<AuxDataIndex, Box<dyn Any + Send>>

Arbitrary data storage. Use Self::aux_data_map for dictionary access.

aux_data_map: HMap<Identifier, AuxDataIndex>

A dictionary with keys mapping to an index in Self::aux_data.

Implementations

impl Context

pub fn new() -> Context

pub fn is_ir_empty(&self) -> bool

Is the IR in this context empty? An IR is considered empty if it has no operations, basic blocks, or regions. This does not check for types, dialects, ops, or aux_data stored in the context.

Trait Implementations

impl ContextExt for Context

fn aux_ty<T: Send + 'static>(&self) -> &T

fn aux_ty_mut<T: Send + 'static>(&mut self) -> &mut T

fn set_aux_ty<T: Send + 'static>(&mut self, value: T)

fn set_address_type(&mut self, addr: AddressType)

fn address_type(&self) -> AddressType

impl ControlFlowGraph<Context> for Ptr<Region>

type Node = Ptr<BasicBlock>

fn num_successors( &self, ctx: &Context, node: &<Ptr<Region> as ControlFlowGraph<Context>>::Node, ) -> usize

Number of successors of node.

fn get_successor( &self, ctx: &Context, node: &<Ptr<Region> as ControlFlowGraph<Context>>::Node, i: usize, ) -> <Ptr<Region> as ControlFlowGraph<Context>>::Node

Get the i-th successor of node. Panics if i is out of bounds.

fn successors( &self, ctx: &Context, node: &<Ptr<Region> as ControlFlowGraph<Context>>::Node, ) -> Vec<<Ptr<Region> as ControlFlowGraph<Context>>::Node>

Get all successors of node. The default implementation provided may be overridden for better performance.

fn num_predecessors( &self, ctx: &Context, node: &<Ptr<Region> as ControlFlowGraph<Context>>::Node, ) -> usize

Number of predecessors of node.

fn get_predecessor( &self, ctx: &Context, node: &<Ptr<Region> as ControlFlowGraph<Context>>::Node, i: usize, ) -> <Ptr<Region> as ControlFlowGraph<Context>>::Node

Get the i-th predecessor of node. Panics if i is out of bounds.

fn predecessors( &self, ctx: &Context, node: &<Ptr<Region> as ControlFlowGraph<Context>>::Node, ) -> Vec<<Ptr<Region> as ControlFlowGraph<Context>>::Node>

Get all predecessors of node. The default implementation provided may be overridden for better performance.

fn entry_node( &self, ctx: &Context, ) -> Option<<Ptr<Region> as ControlFlowGraph<Context>>::Node>

Returns the entry node of the graph.

fn nodes<'a>( &'a self, ctx: &'a Context, ) -> Box<dyn Iterator<Item = <Ptr<Region> as ControlFlowGraph<Context>>::Node> + 'a>

Get all nodes in the graph.

impl Default for Context

fn default() -> Context

Returns the “default value” for a type.

impl HasLabel<Context> for Ptr<BasicBlock>

fn label(&self, ctx: &Context) -> String