Enum o1vm::interpreters::riscv32im::interpreter::RInstruction

pub enum RInstruction {
    Add,
    Sub,
    ShiftLeftLogical,
    SetLessThan,
    SetLessThanUnsigned,
    Xor,
    ShiftRightLogical,
    ShiftRightArithmetic,
    Or,
    And,
    Fence,
    FenceI,
}

Variants

Add

Format: add rd, rs1, rs2

Description: Adds the registers rs1 and rs2 and stores the result in rd. Arithmetic overflow is ignored and the result is simply the low 32 bits of the result.

Sub

Format: sub rd, rs1, rs2

Description: Subs the register rs2 from rs1 and stores the result in rd. Arithmetic overflow is ignored and the result is simply the low 32 bits of the result.

ShiftLeftLogical

Format: sll rd, rs1, rs2

Description: Performs logical left shift on the value in register rs1 by the shift amount held in the lower 5 bits of register rs2.

SetLessThan

Format: slt rd, rs1, rs2

Description: Place the value 1 in register rd if register rs1 is less than register rs2 when both are treated as signed numbers, else 0 is written to rd.

SetLessThanUnsigned

Format: sltu rd, rs1, rs2

Description: Place the value 1 in register rd if register rs1 is less than register rs2 when both are treated as unsigned numbers, else 0 is written to rd.

Xor

Format: xor rd, rs1, rs2

Description: Performs bitwise XOR on registers rs1 and rs2 and place the result in rd

ShiftRightLogical

Format: srl rd, rs1, rs2

Description: Logical right shift on the value in register rs1 by the shift amount held in the lower 5 bits of register rs2

ShiftRightArithmetic

Format: sra rd, rs1, rs2

Description: Performs arithmetic right shift on the value in register rs1 by the shift amount held in the lower 5 bits of register rs2

Or

Format: or rd, rs1, rs2

Description: Performs bitwise OR on registers rs1 and rs2 and place the result in rd

And

Format: and rd, rs1, rs2

Description: Performs bitwise AND on registers rs1 and rs2 and place the result in rd

Fence

Format: fence

Description: Used to order device I/O and memory accesses as viewed by other RISC-V harts and external devices or coprocessors. Any combination of device input (I), device output (O), memory reads (R), and memory writes (W) may be ordered with respect to any combination of the same. Informally, no other RISC-V hart or external device can observe any operation in the successor set following a FENCE before any operation in the predecessor set preceding the FENCE.

FenceI

Format: fence.i

Description: Provides explicit synchronization between writes to instruction memory and instruction fetches on the same hart.

Trait Implementations

impl Clone for RInstruction

fn clone(&self) -> RInstruction

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RInstruction

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

Formats the value using the given formatter.

impl Default for RInstruction

fn default() -> RInstruction

Returns the “default value” for a type.

impl Display for RInstruction

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

Formats the value using the given formatter.

impl EnumCount for RInstruction

const COUNT: usize = 12usize

impl Hash for RInstruction

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl IntoEnumIterator for RInstruction

type Iterator = RInstructionIter

fn iter() -> RInstructionIter

impl Ord for RInstruction

fn cmp(&self, other: &RInstruction) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Selfwhere Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Selfwhere Self: Sized + PartialOrd<Self>,

Restrict a value to a certain interval.

impl PartialEq<RInstruction> for RInstruction

fn eq(&self, other: &RInstruction) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd<RInstruction> for RInstruction

fn partial_cmp(&self, other: &RInstruction) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for RInstruction

impl Eq for RInstruction

impl StructuralEq for RInstruction

impl StructuralPartialEq for RInstruction