Struct gf::pivot::fragment::UnsealedFragmentVarSizes

pub struct UnsealedFragmentVarSizes { /* fields omitted */ }

⚪ Sizes of variables defined in an unsealed fragment.

Implementations

impl UnsealedFragmentVarSizes

pub fn new(
    module: &UnsealedModule,
    fragment: &UnsealedFragment,
    cfg: &UnsealedFragmentCfg<Forward>
) -> Self

Build the variable sizes of an unsealed fragment.

Errors

• Panics if an object referenced in the fragment does not exist: basic block, constant, fragment, or space.
• Panics on mismatch between number of fragment inputs and entry basic block inputs.
• Panics on mismatch between number of fragment outputs and exit basic block false branch outputs.
• Panics on mismatch between number of CALL statement inputs and target fragment inputs.
• Panics on mismatch between number of CALL statement outputs and target fragment outputs.
• Panics on mismatch between number of MIX statement inputs and outputs.
• Panics on mismatch between number of edge inputs and outputs.

pub fn get(&self, var: Var) -> &FlatLattice<VarSize>

Return variable size.

If no information is available, returns ⊤. If there are conflicting size requirements, returns ⊥.

Trait Implementations

impl Clone for UnsealedFragmentVarSizes

fn clone(&self) -> UnsealedFragmentVarSizes

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for UnsealedFragmentVarSizes

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

Formats the value using the given formatter.