Enum ZkrInstruction 

pub enum ZkrInstruction<Hart>
where
    Hart: HartConfig,
{
    Csrrw {
        rs1: Hart::Reg,
        rd: Hart::Reg,
        csr_index: u16,
        /* private fields */
    },
    Csrrs {
        rs1: Hart::Reg,
        rd: Hart::Reg,
        csr_index: u16,
        /* private fields */
    },
    Csrrc {
        rs1: Hart::Reg,
        rd: Hart::Reg,
        csr_index: u16,
        /* private fields */
    },
    Csrrwi {
        rd: Hart::Reg,
        zimm: u8,
        csr_index: u16,
        /* private fields */
    },
    Csrrsi {
        rd: Hart::Reg,
        zimm: u8,
        csr_index: u16,
        /* private fields */
    },
    Csrrci {
        rd: Hart::Reg,
        zimm: u8,
        csr_index: u16,
        /* private fields */
    },
}

RISC-V Zkr instruction.

Zkr (the entropy source extension) defines no instructions of its own: it only adds the seed CSR (see SEED_CSR_INDEX), which is accessed through ordinary Zicsr instructions.

Variants

Csrrw

Fields

rs1: Hart::Reg

rd: Hart::Reg

csr_index: u16

Csrrs

Fields

rs1: Hart::Reg

rd: Hart::Reg

csr_index: u16

Csrrc

Fields

rs1: Hart::Reg

rd: Hart::Reg

csr_index: u16

Csrrwi

Fields

rd: Hart::Reg

zimm: u8

csr_index: u16

Csrrsi

Fields

rd: Hart::Reg

zimm: u8

csr_index: u16

Csrrci

Fields

rd: Hart::Reg

zimm: u8

csr_index: u16

Trait Implementations

impl<Hart> Clone for ZkrInstruction<Hart>

where Hart: HartConfig + Clone, Hart::Reg: Clone,

fn clone(&self) -> ZkrInstruction<Hart>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Hart> Copy for ZkrInstruction<Hart>

where Hart: HartConfig + Copy, Hart::Reg: Copy,

impl<Hart> Debug for ZkrInstruction<Hart>

where Hart: HartConfig + Debug, Hart::Reg: Debug,

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

Formats the value using the given formatter.

impl<Reg, Hart> Display for ZkrInstruction<Hart>

where Reg: Display + Copy, Hart: HartConfig<Reg = Reg>,

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

Formats the value using the given formatter.

impl<Hart> Eq for ZkrInstruction<Hart>

where Hart: HartConfig + Eq, Hart::Reg: Eq,

impl<Reg, Hart> Instruction for ZkrInstruction<Hart>

where Reg: Register, Hart: HartConfig<Reg = Reg>,

const IMPLEMENTED_EXTENSIONS: &'static [ImplementedExtension]

All implemented extensions, including this instruction itself, with their ISA extensions.

const OWN_ISA_EXTENSIONS: &'static [IsaExtension]

ISA extensions defined by this instruction enum itself, without inherited ones.

const ALIGNMENT: u8

Instruction alignment in bytes, also known as IALIGN

type Hart = Hart

Hart configuration of the implementation

fn try_decode(instruction: u32) -> Option<Self>

Try to decode a single valid instruction

fn size(&self) -> u8

Instruction size in bytes

const ISA_STRING: &'static str = _

ISA string as used in the Tag_RISCV_arch attribute of ELF files, for example, rv64i2p1_m2p0_zmmul1p0.

fn implements_extension<E>() -> bool

where E: Instruction<Hart = Self::Hart>,

Checks whether this instruction implements the given extension, see Self::IMPLEMENTED_EXTENSIONS for details

impl<Hart> PartialEq for ZkrInstruction<Hart>

where Hart: HartConfig + PartialEq, Hart::Reg: PartialEq,

fn eq(&self, other: &ZkrInstruction<Hart>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl<Hart> StructuralPartialEq for ZkrInstruction<Hart>

where Hart: HartConfig + PartialEq, Hart::Reg: PartialEq,