Struct Arena

pub struct Arena<S, C> { /* private fields */ }

Implementations

impl<S, C> Arena<S, C>

where BasicBlock<S, C, BbId>: ForeachTarget<JumpTarget = BbId>,

pub fn check(&self) -> Result<(), OffendingIds>

Use this method to re-check all references in the Arena after modifications via Arena::bbs_mut.

pub fn push( &mut self, bb: BasicBlock<S, C, BbId>, ) -> Result<usize, (BasicBlock<S, C, BbId>, OffendingIds)>

Returns the ID of the newly appended BB if successful, or $bb & the invalid BbIds.

pub fn remove( &mut self, bbid: BbId, ) -> Option<Result<(BasicBlock<S, C, BbId>, Vec<String>), OffendingIds>>

Removes a BB, fails if any references to it exist. If successful, returns the removed BB and all labels which referenced it. Otherwise, returns the offending BBs (which still reference it)

impl<S, C> Arena<S, C>

where S: ForeachTarget<JumpTarget = BbId>, C: ForeachTarget<JumpTarget = BbId>,

pub fn optimize(&mut self) -> bool

impl<S, C> Arena<S, C>

pub fn new() -> Self

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn bbs(&self) -> &Map<BbId, BasicBlock<S, C, BbId>>

pub fn bbs_mut(&mut self) -> &mut Map<BbId, BasicBlock<S, C, BbId>>

pub fn labels(&self) -> &BTreeMap<String, BbId>

pub fn labels_of_bb(&self, bbid: BbId) -> impl Iterator<Item = &str>

pub fn label2bb(&self, label: &str) -> Option<(BbId, &BasicBlock<S, C, BbId>)>

pub fn set_label( &mut self, label: Label, target: BbId, overwrite: bool, ) -> Result<Option<BbId>, SetBbLabelError>

If this call replaced the current label->BB-ID association, then the old associated BBID is returned.

pub fn shrink_to_fit(&mut self)

Trait Implementations

impl<S: Debug, C: Debug> Debug for Arena<S, C>

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

Formats the value using the given formatter.

impl<S, C> Default for Arena<S, C>

fn default() -> Self

Returns the “default value” for a type.

impl<S, C> ForeachTarget for Arena<S, C>

where BasicBlock<S, C, BbId>: ForeachTarget<JumpTarget = BbId>,

type JumpTarget = usize

fn foreach_target<F>(&self, f: F)

where F: FnMut(&Self::JumpTarget),

fn foreach_target_mut<F>(&mut self, f: F)

where F: FnMut(&mut Self::JumpTarget),