Enum codegem::arch::rv64::RvInstruction

pub enum RvInstruction {
    PhiPlaceholder {
        rd: VReg,
        options: Vec<(Location, Value)>,
    },
    Integer {
        rd: VReg,
        value: u64,
    },
    AluOp {
        op: RvAluOp,
        rd: VReg,
        rx: VReg,
        ry: VReg,
    },
    AluOpImm {
        op: RvAluOp,
        rd: VReg,
        rx: VReg,
        imm: i16,
    },
    Jal {
        rd: VReg,
        location: Location,
        clobbers: Vec<VReg>,
    },
    Bne {
        rx: VReg,
        ry: VReg,
        location: Location,
    },
    Ret,
    Load {
        rd: VReg,
        imm: i16,
        rx: VReg,
    },
    Store {
        rx: VReg,
        imm: i16,
        ry: VReg,
    },
}

Variants

PhiPlaceholder

Fields

rd: VReg

options: Vec<(Location, Value)>

Integer

Fields

rd: VReg

value: u64

AluOp

Fields

op: RvAluOp

rd: VReg

rx: VReg

ry: VReg

AluOpImm

Fields

op: RvAluOp

rd: VReg

rx: VReg

imm: i16

Jal

Fields

rd: VReg

location: Location

clobbers: Vec<VReg>

Bne

Fields

rx: VReg

ry: VReg

location: Location

Ret

Load

Fields

rd: VReg

imm: i16

rx: VReg

Store

Fields

rx: VReg

imm: i16

ry: VReg

Trait Implementations

impl Display for RvInstruction

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

Formats the value using the given formatter.

impl Instr for RvInstruction

fn get_regs() -> Vec<VReg>

Gets the registers available for selection by the register allocator.

fn get_arg_regs() -> Vec<VReg>

Gets the registers that can be used as function arguments.

fn collect_registers<A>(&self, alloc: &mut A)where
    A: RegisterAllocator,

Collects the registers in an instruction for register allocation.

fn apply_reg_allocs(&mut self, alloc: &HashMap<VReg, VReg>)

Applies the results of register allocation.

fn mandatory_transforms(vcode: &mut VCode<Self>)

Performs transformations on the VCode that are mandatory after register allocation.

fn emit_assembly(file: &mut impl Write, vcode: &VCode<Self>) -> Result<()>

Transforms the given VCode into assembly written to a file.