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 new_leaf(target_os: TargetOperatingSystem) -> Self

Creates a new register allocator for leaf functions (no calls), expanding the available register pool by including r10/r11 as mappable GPRs since they won’t be clobbered.

pub fn gpr_pool_for_global_allocation( _target_os: TargetOperatingSystem, _leaf: bool, ) -> Vec<&'static str>

GPR candidates for global allocation; emitter constraints apply separately.

pub fn xmm_pool_for_global_allocation( target_os: TargetOperatingSystem, ) -> Vec<&'static str>

Vector register candidates for global allocation of RegisterClass::Vec values.

pub fn from_global_plan( target_os: TargetOperatingSystem, leaf: bool, plan: &HashMap<VirtualReg, Allocation<&'static str>>, ) -> Self

Rebuild allocator state from a precomputed plan (global linear scan or graph coloring).

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 xmm_for(&self, v: &VirtualReg) -> Option<&'static str>

The vector register a globally allocated RegisterClass::Vec value lives in.

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 LocalRegisterAllocator 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 LocalRegisterAllocator::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.