Enum OutputVarReferenceInfo

pub enum OutputVarReferenceInfo {
    SameAsParam {
        param_idx: usize,
    },
    PartialParam {
        param_idx: usize,
    },
    NewTempVar {
        idx: usize,
    },
    NewLocalVar,
    Deferred(DeferredOutputKind),
    SimpleDerefs,
    ZeroSized,
}

Information regarding the reference created as an output of a library function. For example, whether the reference is equal to one of the parameters (as in the dup() function), or whether it’s newly allocated local variable.

Variants

SameAsParam

The output value is exactly the same as one of the parameters.

Fields

param_idx: usize

PartialParam

The output value is a part of one of the parameters. For example, it may be the first element of a struct.

Information, such as whether the parameter was a temporary or local variable, will be copied to the output variable.

Fields

param_idx: usize

NewTempVar

The output was allocated as a temporary variable and it is at the top of the stack (contiguously).

Fields

idx: usize

The index of the temporary variable in the stack (0 is the variable with the lowest memory address).

NewLocalVar

The output was allocated as a local variable.

Deferred(DeferredOutputKind)

The output is the result of a computation. For example [ap] + [fp], [ap + 1] * [fp - 3], [ap] + 3, 7.

SimpleDerefs

All the output cells are of the form [ap/fp + const]. For example, ([ap + 1], [fp]).

ZeroSized

The output is a of size 0.

Trait Implementations

impl Clone for OutputVarReferenceInfo

fn clone(&self) -> OutputVarReferenceInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for OutputVarReferenceInfo

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

Formats the value using the given formatter.