Enum RegAllocError

pub enum RegAllocError {
    CritEdge(Block, Block),
    SSA(VReg, Inst),
    BB(Block),
    Branch(Inst),
    EntryLivein,
    DisallowedBranchArg(Inst),
    TooManyLiveRegs,
}

An error that prevents allocation.

Variants

CritEdge(Block, Block)

Critical edge is not split between given blocks.

SSA(VReg, Inst)

Invalid SSA for given vreg at given inst: multiple defs or illegal use. inst may be Inst::invalid() if this concerns a block param.

BB(Block)

Invalid basic block: does not end in branch/ret, or contains a branch/ret in the middle.

Branch(Inst)

Invalid branch: operand count does not match sum of block params of successor blocks.

EntryLivein

A VReg is live-in on entry; this is not allowed.

DisallowedBranchArg(Inst)

A branch has non-blockparam arg(s) and at least one of the successor blocks has more than one predecessor, forcing edge-moves before this branch. This is disallowed because it places a use after the edge moves occur; insert an edge block to avoid the situation.

TooManyLiveRegs

Too many pinned VRegs + Reg-constrained Operands are live at once, making allocation impossible.

Trait Implementations

impl Clone for RegAllocError

fn clone(&self) -> RegAllocError

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for RegAllocError

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

Formats the value using the given formatter.

impl Display for RegAllocError

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

Formats the value using the given formatter.

impl Error for RegAllocError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.