Struct rsim::processor::elements::cheri::registers::CheriRV64RegisterFile

pub struct CheriRV64RegisterFile {
    regs: [SafeTaggedCap; 31],
}

Register file for 64-bit RISC-V that can hold tagged 128-bit capabilities.

Implements RegisterFile for capability-mode access, RegisterFile for integer-mode.

Fields

regs: [SafeTaggedCap; 31]

Implementations

impl CheriRV64RegisterFile

pub fn read_u64(&mut self, idx: u8) -> Result<u64, RegisterFileError>

pub fn write_u64(&mut self, idx: u8, val: u64) -> Result<(), RegisterFileError>

pub fn read_maybe_cap(
    &mut self,
    idx: u8
) -> Result<SafeTaggedCap, RegisterFileError>

Reads a valid capability from the register file.

pub fn write_maybe_cap(
    &mut self,
    idx: u8,
    val: SafeTaggedCap
) -> Result<(), RegisterFileError>

pub fn dump(&self)

pub fn reset(&mut self)

Trait Implementations

impl Default for CheriRV64RegisterFile

fn default() -> Self

Returns the “default value” for a type.

impl RegisterFile<SafeTaggedCap> for CheriRV64RegisterFile

fn read(&mut self, idx: u8) -> Result<SafeTaggedCap, RegisterFileError>

fn write(
    &mut self,
    idx: u8,
    val: SafeTaggedCap
) -> Result<(), RegisterFileError>

impl RegisterFile<u64> for CheriRV64RegisterFile

Interface used by normal RV32 instructions

fn read(&mut self, idx: u8) -> Result<u64, RegisterFileError>

fn write(&mut self, idx: u8, val: u64) -> Result<(), RegisterFileError>

impl<'a> VecRegInterface<u64> for CheriRV64RegisterFile

fn sreg_read_xlen(&mut self, reg: u8) -> Result<u64>

Read a value XLEN from a register, not an address

fn sreg_write_xlen(&mut self, reg: u8, val: u64) -> Result<()>

Write a value XLEN to a register, not an address

fn get_addr_provenance(&mut self, reg: u8) -> Result<(u64, Provenance)>

Get a raw address value + the provenance of that address from a register. The address can be changed, and then VecMemInterface::load_from_memory and VecMemInterface::store_to_memory can reuse the providence with the modified address

fn check_addr_range_against_provenance(
    &mut self,
    addr_range: Range<u64>,
    prov: Provenance,
    dir: MemOpDir
) -> Result<()>

Check if the provenance p allows accesses to the specified address range in the specified direction (load or store). Note: This addr_range is at the 1-byte level - if you want to access a range of u64s, make sure the range includes the end of the last u64

fn check_elem_bounds_against_provenance(
    &mut self,
    eew: Sew,
    addr_provenance: (u64, Provenance),
    dir: MemOpDir
) -> Result<()>

As for check_addr_range_against_provenance, but for a single element of given width