Enum Const 

pub enum Const {
    Bool(bool),
    Int(i64),
    UInt(u64),
    F32(u32),
    F64(u64),
    Char(char),
    Str(StrId),
    Bytes(Vec<u8>),
    Array(Vec<ConstId>),
    Map(Vec<(ConstId, ConstId)>),
}

An entry of the module’s constant pool.

Constants are exact and independent of any runtime value layout: a 64-bit integer is a 64-bit integer, floats are kept as IEEE bit patterns (so NaN payloads and -0.0 survive encoding bit for bit), and strings are referenced from the string table. A VM converts a constant into its own representation when it loads the module (see Inst::LoadConst and Inst::DLoadConst).

Aggregate constants (Array, Map) refer only to earlier constants, so the pool is a DAG by construction and its depth is a cheap, enforced decoding budget.

Examples

use bytecode_lang::Const;

let half = Const::f64(0.5);
assert_eq!(half, Const::F64(0.5f64.to_bits()));
assert_eq!(half.to_string(), "f64 0.5");
assert_eq!(Const::Int(-3).to_string(), "int -3");

Variants

Bool(bool)

A boolean.

Int(i64)

A signed integer, loadable into any integer type it fits.

UInt(u64)

An unsigned integer, for u64 values above i64::MAX.

F32(u32)

A binary32 float, as its IEEE bit pattern.

F64(u64)

A binary64 float, as its IEEE bit pattern.

Char(char)

A Unicode scalar value.

Str(StrId)

A UTF-8 string from the string table, loaded as a str.

Bytes(Vec<u8>)

An arbitrary byte string, loaded as a str (PHP strings are bytes).

Array(Vec<ConstId>)

An immutable array of earlier constants.

Map(Vec<(ConstId, ConstId)>)

An immutable insertion-ordered map of earlier constants.

Implementations

impl Const

pub fn f32(value: f32) -> Self

A binary32 constant from its value.

Examples

use bytecode_lang::Const;

assert_eq!(Const::f32(1.0), Const::F32(0x3f80_0000));

pub fn f64(value: f64) -> Self

A binary64 constant from its value.

Examples

use bytecode_lang::Const;

assert_eq!(Const::f64(-0.0), Const::F64(0x8000_0000_0000_0000));

Trait Implementations

impl Clone for Const

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 Const

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

Formats the value using the given formatter.

impl Display for Const

Floats print with Rust’s shortest round-trip form; NaNs print their bit pattern, since the value alone would lose the payload.

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

Formats the value using the given formatter.

impl Eq for Const

impl Hash for Const

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 Ord for Const

fn cmp(&self, other: &Self) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

fn clamp_to<R>(self, range: R) -> Self

where Self: Sized, R: ClampBounds<Self>,

🔬This is a nightly-only experimental API. (clamp_to)

Restrict a value to a certain range.

impl PartialEq for Const

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Const

fn partial_cmp(&self, other: &Self) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl StructuralPartialEq for Const