Struct BodyDataStore

pub struct BodyDataStore { /* private fields */ }

A collection of basic block, instructions and values appear in a function body.

Implementations

impl BodyDataStore

pub fn store_inst(&mut self, inst: Inst) -> InstId

pub fn inst_data(&self, inst: InstId) -> &Inst

pub fn inst_data_mut(&mut self, inst: InstId) -> &mut Inst

pub fn replace_inst(&mut self, inst: InstId, new: Inst) -> Inst

pub fn store_value(&mut self, value: Value) -> ValueId

pub fn is_nop(&self, inst: InstId) -> bool

pub fn is_terminator(&self, inst: InstId) -> bool

pub fn branch_info(&self, inst: InstId) -> BranchInfo<'_>

pub fn value_data(&self, value: ValueId) -> &Value

pub fn value_data_mut(&mut self, value: ValueId) -> &mut Value

pub fn values(&self) -> impl Iterator<Item = &Value>

pub fn values_mut(&mut self) -> impl Iterator<Item = &mut Value>

pub fn store_block(&mut self, block: BasicBlock) -> BasicBlockId

pub fn inst_result(&self, inst: InstId) -> Option<&AssignableValue>

Returns an instruction result

pub fn map_result(&mut self, inst: InstId, result: AssignableValue)

pub fn remove_inst_result(&mut self, inst: InstId) -> Option<AssignableValue>

pub fn rewrite_branch_dest( &mut self, inst: InstId, from: BasicBlockId, to: BasicBlockId, )

pub fn value_ty(&self, vid: ValueId) -> TypeId

pub fn locals(&self) -> &[ValueId]

pub fn locals_mut(&mut self) -> &[ValueId]

pub fn func_args(&self) -> impl Iterator<Item = ValueId> + '_

pub fn func_args_mut(&mut self) -> impl Iterator<Item = &mut Value>

pub fn local_name(&self, value: ValueId) -> Option<&str>

Returns Some(local_name) if value is Value::Local.

pub fn replace_value(&mut self, value: ValueId, to: Value) -> Value

Trait Implementations

impl Clone for BodyDataStore

fn clone(&self) -> BodyDataStore

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BodyDataStore

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

Formats the value using the given formatter.

impl Default for BodyDataStore

fn default() -> BodyDataStore

Returns the “default value” for a type.

impl PartialEq for BodyDataStore

fn eq(&self, other: &BodyDataStore) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for BodyDataStore

impl StructuralPartialEq for BodyDataStore