Enum midenc_hir::GlobalValueData

pub enum GlobalValueData {
    Symbol {
        name: Ident,
        offset: i32,
    },
    Load {
        base: GlobalValue,
        offset: i32,
        ty: Type,
    },
    IAddImm {
        base: GlobalValue,
        offset: i32,
        ty: Type,
    },
}

Data associated with a GlobalValue.

Globals are allocated statically, and live for the lifetime of the program. In Miden, we allocate globals at the start of the heap. Since all globals are known statically, we instructions which manipulate globals are converted to loads/stores using constant addresses when translated to MASM.

Like other entities, globals may also have a crate::diagnostics::SourceSpan associated with them.

Variants

Symbol

A symbolic reference to a global variable symbol

The type of a symbolic global value is always a pointer, the address of the referenced global variable.

Fields

name: Ident

The name of the global variable that is referenced

offset: i32

A constant offset, in bytes, from the address of the symbol

Load

A global whose value is given by reading the value from the address derived from another global value and an offset.

Fields

base: GlobalValue

The global value whose value is the base pointer

offset: i32

A constant offset, in bytes, from the base address

ty: Type

The type of the value stored at base + offset

IAddImm

A global whose value is an address computed as the offset from another global

This can be used for getelementptr-like situations, such as calculating the address of a field in a struct that is stored in a global variable.

Fields

base: GlobalValue

The global value whose value is the base pointer

offset: i32

A constant offset, in units of ty, from the base address

ty: Type

The unit type of the offset

This can be helpful when computing addresses to elements of an array stored in a global variable.

Implementations

impl GlobalValueData

pub fn is_constant_addr(&self) -> bool

Returns true if this global value is a symbolic or computed address which can be resolved at compile-time.

Notably, global loads may produce an address, but the value of that address is not known until runtime.

pub fn offset(&self) -> i32

Return the computed offset for this global value (relative to it’s position in the global table)

pub fn ty(&self) -> Option<&Type>

Get the type associated with this value, if applicable

Trait Implementations

impl Clone for GlobalValueData

fn clone(&self) -> GlobalValueData

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GlobalValueData

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

Formats the value using the given formatter.