pub enum InstrumentationKind {
    Pure,
    Unreachable,
    PreControlFlow,
    PostControlFlow,
    Aggregate,
}

Variants§

§

Pure

This instrumentation point precedes an instruction that is largely uninteresting for the purposes of gas analysis, besides its inherent cost.

These do not participate in branching, trapping or any other kind of data flow. Simple operations such as an addition or subtraction will typically fall under this kind.

§

Unreachable

This instrumentation point is unreachable (usually because the stack is polymorphic at this point.)

For example,

block
  br 0                                ;; the stack becomes polymorphic
                                      ;; this instrumentation point is unreachable
  i32.add (i32.const 0) (i32.const 1)
                                      ;; this instrumentation point is still unreachable
end
                                      ;; this instrumentation point is reachable again
§

PreControlFlow

This instrumentation point precedes a branch target, branch, side effect, potential trap or similar construct.

As a result none of the succeeding instrumentation points may be merged up into this instrumentation point, as the gas may be observed by the instruction that is going to execute after this instruction.

§

PostControlFlow

This instrumentation point succeeds a branch target, branch, side effect, potential trap or similar construct.

As a result this instrumentation point may not be merged up into the preceding instrumentation points (but succeeding instrumentation points may still be merged into this).

§

Aggregate

This instrumentation point precedes an aggregate operation.

Instructions such as memory.fill cause this categorization. The amount of work they do depends on the operands.

TODO: a variant for each such instruction may be warranted?

Trait Implementations§

Returns a copy of the value. Read more
Performs copy-assignment from source. Read more
Formats the value using the given formatter. Read more

Auto Trait Implementations§

Blanket Implementations§

Gets the TypeId of self. Read more
Immutably borrows from an owned value. Read more
Mutably borrows from an owned value. Read more
Converts self into T using Into<T>. Read more
Causes self to use its Binary implementation when Debug-formatted.
Causes self to use its Display implementation when Debug-formatted.
Causes self to use its LowerExp implementation when Debug-formatted.
Causes self to use its LowerHex implementation when Debug-formatted.
Causes self to use its Octal implementation when Debug-formatted.
Causes self to use its Pointer implementation when Debug-formatted.
Causes self to use its UpperExp implementation when Debug-formatted.
Causes self to use its UpperHex implementation when Debug-formatted.
Formats each item in a sequence. Read more

Returns the argument unchanged.

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Pipes by value. This is generally the method you want to use. Read more
Borrows self and passes that borrow into the pipe function. Read more
Mutably borrows self and passes that borrow into the pipe function. Read more
Borrows self, then passes self.borrow() into the pipe function. Read more
Mutably borrows self, then passes self.borrow_mut() into the pipe function. Read more
Borrows self, then passes self.as_ref() into the pipe function.
Mutably borrows self, then passes self.as_mut() into the pipe function.
Borrows self, then passes self.deref() into the pipe function.
Mutably borrows self, then passes self.deref_mut() into the pipe function.
Immutable access to a value. Read more
Mutable access to a value. Read more
Immutable access to the Borrow<B> of a value. Read more
Mutable access to the BorrowMut<B> of a value. Read more
Immutable access to the AsRef<R> view of a value. Read more
Mutable access to the AsMut<R> view of a value. Read more
Immutable access to the Deref::Target of a value. Read more
Mutable access to the Deref::Target of a value. Read more
Calls .tap() only in debug builds, and is erased in release builds.
Calls .tap_mut() only in debug builds, and is erased in release builds.
Calls .tap_borrow() only in debug builds, and is erased in release builds.
Calls .tap_borrow_mut() only in debug builds, and is erased in release builds.
Calls .tap_ref() only in debug builds, and is erased in release builds.
Calls .tap_ref_mut() only in debug builds, and is erased in release builds.
Calls .tap_deref() only in debug builds, and is erased in release builds.
Calls .tap_deref_mut() only in debug builds, and is erased in release builds.
The resulting type after obtaining ownership.
Creates owned data from borrowed data, usually by cloning. Read more
Uses borrowed data to replace owned data, usually by cloning. Read more
Attempts to convert self into T using TryInto<T>. Read more
The type returned in the event of a conversion error.
Performs the conversion.
The type returned in the event of a conversion error.
Performs the conversion.