Enum Constant 

pub enum Constant {
    Int {
        value: i64,
        bits: u8,
    },
    BigInt {
        value: String,
        bits: u8,
    },
    Float {
        value: f64,
        bits: u8,
    },
    String {
        value: String,
    },
    Null,
    Undef,
    ZeroInit,
    Aggregate {
        elements: Vec<Constant>,
    },
    GlobalRef(ValueId),
}

Constant values in AIR.

Represents compile-time constant values that can appear as instruction operands.

Variants

Int

Integer constant (signed, up to 128 bits).

Fields

value: i64

The integer value (stored as i64 for JSON compatibility; use String variant for larger).

bits: u8

Bit width (e.g., 8, 16, 32, 64, 128).

BigInt

Large integer constant that doesn’t fit in i64 (stored as string).

Fields

value: String

The integer value as a string.

bits: u8

Bit width.

Float

Floating point constant.

All floats are stored as f64 regardless of source precision. This is lossless for f32 values because every IEEE 754 binary32 value is exactly representable as a binary64 value. The bits field records the original source precision (32 or 64) for informational purposes, but analyses should treat the value field as the canonical representation and should not round-trip it back to f32.

Fields

value: f64

The floating point value (stored as f64; lossless for f32 sources).

bits: u8

Original bit width (32 for f32, 64 for f64).

String

String constant (UTF-8).

Fields

value: String

The string value.

Null

Null pointer constant.

Undef

Undefined/poison value.

ZeroInit

Zero initializer (for aggregates).

Aggregate

Aggregate constant (struct, array).

Fields

elements: Vec<Constant>

The aggregate elements.

GlobalRef(ValueId)

Global reference (pointer to a global variable).

Used for global pointer initializers like @p = global ptr @target. The ValueId identifies the target global’s address.

Implementations

impl Constant

pub fn int(value: i64, bits: u8) -> Self

Create an integer constant.

pub fn big_int(value: i128, bits: u8) -> Self

Create a big integer constant (for values that don’t fit in i64).

pub const fn i32(value: i32) -> Self

Create a 32-bit integer constant.

pub const fn i64(value: i64) -> Self

Create a 64-bit integer constant.

pub const fn float(value: f64, bits: u8) -> Self

Create a floating point constant.

pub fn string(value: impl Into<String>) -> Self

Create a string constant.

Trait Implementations

impl Clone for Constant

fn clone(&self) -> Constant

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Constant

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Constant

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Constant

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Constant

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Constant