Struct X64RegAlloc 

pub struct X64RegAlloc { /* private fields */ }

x86_64 register allocator supporting System V AMD64 and Microsoft x64 ABIs.

Uses platform-appropriate GPR pools for stable virtual-to-physical register mappings and separate scratch pools for short-lived temporaries.

Implementations

impl X64RegAlloc

pub fn new(target_os: TargetOperatingSystem) -> Self

Creates a new register allocator for the specified target OS.

pub fn new_default() -> Self

Creates a new register allocator with default target OS (Linux).

pub fn set_conservative_mode(&mut self)

Sets conservative mode for complex functions, using fewer registers to reduce pressure.

pub fn alloc_scratch(&mut self) -> Option<&'static str>

pub fn free_scratch(&mut self, phys: &'static str)

pub fn is_occupied(&self, phys: &'static str) -> bool

pub fn occupy(&mut self, phys: &'static str)

pub fn release(&mut self, phys: &'static str)

pub fn get_mapping_for(&self, v: &VirtualReg) -> Option<&'static str>

pub fn ensure_mapping(&mut self, v: VirtualReg) -> Option<&'static str>

pub fn ensure_mapping_for_gpr(&mut self, v: VirtualReg) -> Option<&'static str>

pub fn mapped_for_register(&self, r: &Register) -> Option<&'static str>

Trait Implementations

impl Default for X64RegAlloc

fn default() -> Self

Returns the “default value” for a type.

impl RegisterAllocator for X64RegAlloc

type PhysReg = &'static str

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.