Struct Ptr 

pub struct Ptr<T: ArenaObj> { /* private fields */ }

Pointer to an IR Object owned by Context.

Implementations

impl<'a, T: ArenaObj> Ptr<T>

pub fn deref(&self, ctx: &'a Context) -> Ref<'a, T>

Return a Ref to the pointee. This borrows from a RefCell and the borrow is live as long as the returned Ref lives. Run cargo with options +nightly -Zbuild-std -Zbuild-std-features="debug_refcell" to enable printing the interior mutability violation locations.

pub fn deref_mut(&self, ctx: &'a Context) -> RefMut<'a, T>

Return a RefMut to the pointee. This mutably borrows from a RefCell and the borrow is live as long as the returned RefMut lives. Run cargo with options +nightly -Zbuild-std -Zbuild-std-features="debug_refcell" to enable printing the interior mutability violation locations.

pub fn try_deref(&self, ctx: &'a Context) -> Option<Ref<'a, T>>

Try and return a Ref to the pointee. This borrows from a RefCell and the borrow is live as long as the returned Ref lives.

pub fn try_deref_mut(&self, ctx: &'a Context) -> Option<RefMut<'a, T>>

Try and return a RefMut to the pointee. This mutably borrows from a RefCell and the borrow is live as long as the returned RefMut lives.

impl<T> Ptr<T>

where T: LinkedList,

Linked list operations on Ptr<T: LinkedList> for convenience and safety.

pub fn insert_after(&self, ctx: &Context, mark: Ptr<T>)

Insert self after mark.

pub fn insert_before(&self, ctx: &Context, mark: Ptr<T>)

Insert self before mark.

pub fn insert_at_front(&self, container: Ptr<T::ContainerType>, ctx: &Context)

Insert self as the head of the list.

pub fn insert_at_back(&self, container: Ptr<T::ContainerType>, ctx: &Context)

Insert self as the tail of the list.

pub fn is_linked(&self, ctx: &Context) -> bool

Is this node part of a linked list?

pub fn unlink(&self, ctx: &Context)

Unlink self from list.

impl Ptr<BasicBlock>

pub fn has_pred(&self, ctx: &Context) -> bool

Does this block a predecessor?

pub fn num_preds(&self, ctx: &Context) -> usize

Number of predecessors to this block.

pub fn preds(&self, ctx: &Context) -> Vec<Ptr<BasicBlock>>

Get all predecessors of this block.

pub fn is_succ_of(&self, ctx: &Context, pred: Ptr<BasicBlock>) -> bool

Checks whether self is a successor of pred. O(n) in the number of successors of pred.

pub fn retarget_some_preds_to<P: Fn(&Context, Ptr<BasicBlock>) -> bool>( &self, ctx: &Context, predicate: P, other: Ptr<BasicBlock>, )

Retarget predecessors (that satisfy pred) to other.

pub fn retarget_pred_to( &self, ctx: &Context, block_use: Use<Ptr<BasicBlock>>, other: Ptr<BasicBlock>, )

Retarget the given pred (block_use) of this Ptr<BasicBlock> to other.

Trait Implementations

impl<T: ArenaObj> Clone for Ptr<T>

fn clone(&self) -> Ptr<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug + ArenaObj> Debug for Ptr<T>

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

Formats the value using the given formatter.

impl<T: Type> From<TypePtr<T>> for Ptr<TypeObj>

fn from(value: TypePtr<T>) -> Self

Converts to this type from the input type.

impl<T: ArenaObj + 'static> Hash for Ptr<T>

fn hash<H: Hasher>(&self, state: &mut H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Named for Ptr<BasicBlock>

fn given_name(&self, ctx: &Context) -> Option<Identifier>

fn id(&self, ctx: &Context) -> Identifier

fn unique_name(&self, ctx: &Context) -> Identifier

impl Parsable for Ptr<TypeObj>

type Arg = ()

Type of the argument that must be passed to the parser.

type Parsed = Ptr<Box<dyn Type>>

The type of the parsed entity.

fn parse<'a>( state_stream: &mut StateStream<'a>, _arg: Self::Arg, ) -> ParseResult<'a, Self::Parsed>

Define a parser using existing combinators and call into on Parser::parse_stream to get the final ParseResult. Use state_stream.state as necessary.

fn parser<'a>( arg: Self::Arg, ) -> Box<dyn Parser<StateStream<'a>, Output = Self::Parsed, PartialState = ()> + 'a>

Get a parser combinator that can work on StateStream as its input.

fn parser_fn<'a>( _: &'a (), arg: Self::Arg, ) -> Box<dyn Parser<StateStream<'a>, Output = Self::Parsed, PartialState = ()> + 'a>

Same as Self::parser but takes a unit reference for use as ParserFn

impl<T: ArenaObj> PartialEq for Ptr<T>

fn eq(&self, other: &Self) -> 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<T: ArenaObj + Printable> Printable for Ptr<T>

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

fn disp<'t, 'c>(&'t self, ctx: &'c Context) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and default State.

fn print<'t, 'c>( &'t self, ctx: &'c Context, state: &State, ) -> Box<dyn Display + 'c>

where 't: 'c,

Get a Display’able object from the given Context and State.

impl Typed for Ptr<TypeObj>

fn get_type(&self, _ctx: &Context) -> Ptr<TypeObj>

Get the Type of the current entity.

impl<T: ArenaObj + Verify> Verify for Ptr<T>

fn verify(&self, ctx: &Context) -> Result<()>

impl<T: ArenaObj> Copy for Ptr<T>

impl DefUseParticipant for Ptr<BasicBlock>

impl<T: ArenaObj> Eq for Ptr<T>