Struct gf::pivot::fragment::Fragment

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

🟢 Fragment in a sealed module.

Implementations

impl<'a> Fragment<'a>

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

Wrap an unsealed fragment.

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

Return parent module.

pub fn id(&self) -> FragmentId

Return ID.

pub fn as_unsealed(&self) -> &'a UnsealedFragment

Return the unsealed fragment.

pub fn sealing_data(&self) -> &'a FragmentSealingData

Return sealing data.

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

Return metadata.

pub fn entry(&self) -> BasicBlock<'a>

Return entry basic block.

pub fn exit(&self) -> BasicBlock<'a>

Return exit basic block.

pub fn input_sizes(&self) -> &'a [VarSize]

Return input variable sizes.

pub fn output_sizes(&self) -> &'a [VarSize]

Return output variable sizes.

pub fn cfg(&self) -> FragmentCfg<'a, Forward>

Return the fragment forward CFG.

pub fn defs_uses(&self) -> FragmentDefsUses<'a>

Return the defined and used variables of the fragment.

pub fn dom_tree(&self) -> FragmentDomTree<'a, Forward>

Return the fragment forward dominator tree.

pub fn is_pure(&self) -> bool

Return whether the fragment is pure.

pub fn var_size(&self, var: Var) -> VarSize

Return variable size.

Errors

• Panics if the variable is not defined in the fragment.

Trait Implementations

impl<'a> Clone for Fragment<'a>

fn clone(&self) -> Fragment<'a>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for Fragment<'a>

impl<'a> Eq for Fragment<'a>

impl<'a> Hash for Fragment<'a>

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, 

Feeds a slice of this type into the given Hasher.

impl<'a> PartialEq<Fragment<'a>> for Fragment<'a>

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.