[][src]Struct gf::pivot::basic_block::BasicBlock

pub struct BasicBlock<'a> { /* fields omitted */ }

🟢 Basic block in a sealed module.


impl<'a> BasicBlock<'a>[src]

pub unsafe fn from_unsealed(
    module: &'a Module,
    id: BasicBlockId,
    unsealed: &'a UnsealedBasicBlock
) -> Self

Wrap an unsealed basic block.

pub fn module(&self) -> &'a Module[src]

Return parent module.

pub fn id(&self) -> BasicBlockId[src]

Return ID.

pub fn as_unsealed(&self) -> &'a UnsealedBasicBlock[src]

Return the unsealed basic block.

pub fn sealing_data(&self) -> &'a BasicBlockSealingData[src]

Return sealing data.

pub fn metadata(&self) -> Metadata<'a>[src]

Return metadata.

pub fn inputs(&self) -> &'a [Var][src]

Return input variables.

pub fn branch_var(&self) -> Option<Var>[src]

Return branch variable.

pub fn branch_edge(&self, direction: bool) -> Option<Edge<'a>>[src]

Return branch edge for direction.

pub fn branch_outputs(&self, direction: bool) -> &'a [Var][src]

Return branch output variables for direction.

pub fn branch_target(&self, direction: bool) -> Option<Self>[src]

Return branch target for direction.

pub fn unsealed_stmts(&self) -> &'a [UnsealedStmt][src]

Return unsealed statements.

pub fn fragment(&self) -> Fragment<'a>[src]

Return parent fragment.

Trait Implementations

impl<'a> Clone for BasicBlock<'a>[src]

impl<'a> Copy for BasicBlock<'a>[src]

impl<'a> Eq for BasicBlock<'a>[src]

impl<'a> Hash for BasicBlock<'a>[src]

impl<'a> PartialEq<BasicBlock<'a>> for BasicBlock<'a>[src]

Auto Trait Implementations

impl<'a> RefUnwindSafe for BasicBlock<'a>

impl<'a> Send for BasicBlock<'a>

impl<'a> Sync for BasicBlock<'a>

impl<'a> Unpin for BasicBlock<'a>

impl<'a> UnwindSafe for BasicBlock<'a>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> Borrow<T> for T where
    T: ?Sized

impl<T> BorrowMut<T> for T where
    T: ?Sized

impl<Q, K> Equivalent<K> for Q where
    K: Borrow<Q> + ?Sized,
    Q: Eq + ?Sized

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.