Struct rsim::processor::elements::cheri::IntegerModeCheriRV64RegisterFile

pub struct IntegerModeCheriRV64RegisterFile<'a> {
    base_reg: &'a mut CheriRV64RegisterFile,
    base_cap: Cc128Cap,
}

Fields

base_reg: &'a mut CheriRV64RegisterFile

base_cap: Cc128Cap

Implementations

impl<'a> IntegerModeCheriRV64RegisterFile<'a>

pub fn read_ddc_offset_cap(&mut self, idx: u8) -> Result<Cc128Cap>

pub fn wrap(base_reg: &'a mut CheriRV64RegisterFile, base_cap: Cc128Cap) -> Self

Trait Implementations

impl<'a> RegisterFile<u64> for IntegerModeCheriRV64RegisterFile<'a>

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

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

impl<'a> VecRegInterface<u64> for IntegerModeCheriRV64RegisterFile<'a>

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