Struct WasmRegAlloc 

pub struct WasmRegAlloc { /* private fields */ }

WASM “register allocator” for stack-based virtual machine.

WASM doesn’t use physical registers like x86_64, but we still need to track virtual registers for stack operations. This is a simplified allocator that maps virtual registers to stack positions.

Implementations

impl WasmRegAlloc

pub fn new() -> Self

pub fn get_stack_position(&self, vreg: &VirtualReg) -> Option<u32>

Get the stack position for a virtual register

pub fn allocate_stack(&mut self, vreg: VirtualReg) -> u32

Allocate a stack position for a virtual register

Trait Implementations

impl Default for WasmRegAlloc

fn default() -> Self

Returns the “default value” for a type.

impl RegisterAllocator for WasmRegAlloc

type PhysReg = u32

Architecture-specific physical register handle.

fn alloc_scratch(&mut self) -> Option<Self::PhysReg>

Acquire a short-lived scratch register. Returns None when the dedicated pool is exhausted so the caller may spill or choose an alternate path.

fn free_scratch(&mut self, _phys: Self::PhysReg)

Release a scratch register obtained through RegisterAllocator::alloc_scratch.

fn get_mapping(&self, vreg: &VirtualReg) -> Option<Self::PhysReg>

Look up the physical register currently assigned to the virtual register, when available.

fn ensure_mapping(&mut self, vreg: VirtualReg) -> Option<Self::PhysReg>

Ensure that the virtual register has a permanent mapping. Implementers can reject unsupported register classes by returning None, signalling that the caller should spill.

fn mapped_for_register(&self, reg: &Register) -> Option<Self::PhysReg>

Resolve the backing physical register for an arbitrary MIR register (virtual or physical).

fn occupy(&mut self, _phys: Self::PhysReg)

Mark a physical register as occupied, removing it from the allocator’s free pool if necessary.

fn release(&mut self, _phys: Self::PhysReg)

Release a previously occupied physical register back to the pool.

fn is_occupied(&self, _phys: Self::PhysReg) -> bool

Test whether the allocator currently treats the physical register as occupied.