Struct Code 

pub struct Code {
    pub hash: H256,
    /* private fields */
}

Fields

hash: H256

Implementations

impl Code

pub fn from_bytecode_unchecked(code: Bytes, hash: H256) -> Self

pub fn from_bytecode(code: Bytes, crypto: &dyn Crypto) -> Self

code is the logical, unpadded bytecode; BYTECODE_PADDING STOP bytes are appended internally by from_parts_unchecked.

pub fn from_parts_unchecked( hash: H256, code: &[u8], jumpdests: Arc<[u8]>, ) -> Self

Builds a Code from precomputed parts. The caller must guarantee hash and jumpdests correspond to code; neither is recomputed or validated.

code is the logical, unpadded bytecode: this function appends BYTECODE_PADDING STOP bytes and records the original length in bytecode_len. Never pass a pre-padded buffer, or the logical length and every JUMPDEST/PUSH offset derived from it would be wrong.

pub fn from_initcode_buffer(buffer: InitcodeBuffer) -> Self

Builds initcode from the initcode buffer was set to, in the buffer’s allocations: the padding is appended in place and the buffer becomes the bytecode, and the jump-destination bitmap reuses the buffer’s when that is the right size. Code::into_initcode_buffer hands them back for the next initcode. The hash is the same placeholder any initcode gets.

Unlike other code, initcode keeps the bitmap it was built in, so it can be handed back with the bytecode: even when it marks nothing, instead of the shared empty one, and even when it is longer than the code needs, zeroed past its end.

pub fn into_initcode_buffer(self) -> InitcodeBuffer

Hands back the allocations of initcode built by Code::from_initcode_buffer, each only when nothing else references it. The bytecode buffer comes back empty, so handing back any other Code’s is harmless too: no stale bytecode can be built from again.

pub fn compute_jumpdests(code: &[u8]) -> Arc<[u8]>

Builds the Code::jumpdests bitmap: the bit of every JUMPDEST that is not a PUSH immediate.

On aarch64, and on x86_64 with SSSE3, this runs without a data-dependent branch (see by_block), because a scan that branches on each opcode stalls on every misprediction, and random bytecode mispredicts on most bytes. execution-specs#3631 builds such initcode on purpose. Other targets are mostly the zkVM guests, which have no branch predictor and would only pay for the extra instructions, so they keep the plain scan (jumpdests_by_opcode).

pub fn is_valid_jumpdest(&self, offset: usize) -> bool

Whether offset is a valid jump destination, i.e. it holds a JUMPDEST that is not part of a PUSH immediate. Offsets past the bytecode are not valid.

pub fn jumpdests(&self) -> &[u8]

The raw Code::jumpdests bitmap, for persisting it alongside the bytecode.

pub fn code(&self) -> &[u8]

pub fn code_bytes(&self) -> Bytes

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn dispatch_buf(&self) -> &[u8]

Returns the padded bytecode buffer (real code + BYTECODE_PADDING trailing STOPs) used by the opcode dispatch loop to read opcodes without bounds checks. Use Code::code for the real, unpadded bytecode.

pub fn size(&self) -> usize

Estimates the size of the Code struct in bytes (including stack size and heap allocation).

Note: an estimate. It ignores allocator overhead and the Arc/Bytes control blocks, so it slightly under-counts, and a shared allocation is attributed in full to every entry holding it.

Returns

usize - Estimated size in bytes

Trait Implementations

impl Clone for Code

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Code

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

Formats the value using the given formatter.

impl Default for Code

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Code

fn deserialize<D: Deserializer<'de>>(deserializer: D) -> Result<Self, D::Error>

Deserialize this value from the given Serde deserializer.

impl Eq for Code

impl Hash for Code

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for Code

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

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Code

fn serialize<S: Serializer>(&self, serializer: S) -> Result<S::Ok, S::Error>

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Code