Modules

Checker: verifies that spills/reloads/moves retain equivalent dataflow to original, VReg-based code.

Index sets: sets of integers that represent indices into a space.

Macros

Structs

An Allocation represents the end result of regalloc for an Operand.

A machine envrionment tells the register allocator which registers are available to allocate and what register may be used as a scratch register for each class, and some other miscellaneous info as well.

An Operand encodes everything about a mention of a register in an instruction: virtual register number, and any constraint that applies to the register at this program point.

The output of the register allocator.

Iterator over the instructions and edits in a block.

A physical register. Contains a physical register number and a class.

A physical register set. Used to represent clobbers efficiently.

A program point: a single point before or after a given instruction.

Options for allocation.

A spillslot is a space in the stackframe used by the allocator to temporarily store a value.

A virtual register. Contains a virtual register number and a class.

Enums

An allocation is one of two “kinds” (or “none”): register or spillslot/stack.

An instruction to insert into the program to perform some data movement.

Wrapper around either an original instruction or an inserted edit.

A position before or after an instruction at which we can make an edit.

An OperandConstraint specifies where a vreg’s value must be placed at a particular reference to that vreg via an Operand. The constraint may be loose – “any register of a given class”, for example – or very specific, such as “this particular physical register”. The allocator’s result will always satisfy all given constraints; however, if the input has a combination of constraints that are impossible to satisfy, then allocation may fail or the allocator may panic (providing impossible constraints is usually a programming error in the client, rather than a function of bad input).

The “kind” of the operand: whether it reads a vreg (Use), writes a vreg (Def), or reads and then writes (Mod, for “modify”).

The “position” of the operand: where it has its read/write effects. These are positions “in” the instruction, and “early” and “late” are relative to the instruction’s main effect or computation. In other words, the allocator assumes that the instruction (i) performs all reads and writes of “early” operands, (ii) does its work, and (iii) performs all reads and writes of its “late” operands.

An error that prevents allocation.

Register classes.

Traits

A trait defined by the regalloc client to provide access to its machine-instruction / CFG representation.

Functions

Run the allocator.