[][src]Struct gf::pivot::fragment::ssa::SsaTranslationCtx

pub struct SsaTranslationCtx { /* fields omitted */ }

⚪ SSA translation context.


impl SsaTranslationCtx[src]

pub fn new<I: IntoIterator<Item = Var>>(ugly_set: I) -> Self[src]

Create a translation context from a set of ugly variables.

pub fn rename_def(&mut self, basic_block_id: BasicBlockId, var: &mut Var)[src]

Rename a variable definition.

pub fn rename_use(&self, basic_block_id: BasicBlockId, var: &mut Var) -> bool[src]

Rename a variable use.

If this method returns false, there was no previous definition and var is unchanged.

pub fn edge_pairs(&mut self, edge: &UnsealedEdge) -> Vec<(Var, Var)>[src]

Build a set of pairs of extra variables to send along an edge.

Auto Trait Implementations

impl RefUnwindSafe for SsaTranslationCtx

impl Send for SsaTranslationCtx

impl Sync for SsaTranslationCtx

impl Unpin for SsaTranslationCtx

impl UnwindSafe for SsaTranslationCtx

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<T> From<T> for T[src]

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

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.