Struct Machine 

pub struct Machine {
    pub conv: &'static CallRegs,
    pub file: RegFile,
    pub insts: &'static FrameInsts,
    pub branch: &'static BranchInsts,
    pub env: Env,
}

Everything about a machine that compiling a function for it needs.

The fields are different kinds of fact and they come from different places: where the convention puts things, what registers the machine has, which instructions build a frame, which instructions a branch becomes, and which registers the allocator may hand out. The last one is not a target fact on its own, because holding a register back as scratch is a decision about the allocator rather than about the machine, which is why it is built here rather than in rucc_target.

Fields

conv: &'static CallRegs

Where the convention this function is compiled for puts things.

file: RegFile

The registers the machine has, which is what says how wide a spill slot of a class is.

insts: &'static FrameInsts

The instructions that take a frame and give it back.

branch: &'static BranchInsts

The instructions a branch becomes once the blocks are in an order.

env: Env

What the allocator may hand out, and what it holds back.

Implementations

impl Machine

pub fn x86_64(conv: &'static CallRegs) -> Self

The x86-64 machine under that convention.

Both files are offered. A value the selector produces is in one or the other, which is decided by its type: an integer and an address are general purpose and a float or a double is in a vector register, and the allocator is given each file separately because no move goes between them.

pub fn for_target(target: &TargetInfo) -> Option<Self>

The machine a target describes, or None when no backend in this crate covers it.

TargetInfo already carries the convention, because the front end needs it to lay a va_list out, so the only thing this decides is which architecture’s frame instructions and register file go with it. AArch64 and RISC-V are None until M6 fills them in, and a caller that gets one reports a target it cannot compile for rather than compiling wrongly.

Trait Implementations

impl Debug for Machine

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

Formats the value using the given formatter.