Trait rsim::processor::isa_mods::vector::VecMemInterface

pub trait VecMemInterface<uXLEN: PossibleXlen, TElem> {
    fn load_from_memory(
        &mut self, 
        eew: Sew, 
        addr_provenance: (u64, Provenance)
    ) -> Result<TElem>;
    fn store_to_memory(
        &mut self, 
        eew: Sew, 
        val: TElem, 
        addr_provenance: (u64, Provenance)
    ) -> Result<()>;
}

Common trait for interfaces to memory

Required methods

fn load_from_memory(
    &mut self,
    eew: Sew,
    addr_provenance: (u64, Provenance)
) -> Result<TElem>

Use an address, provenance pair to read a vector element from memory

fn store_to_memory(
    &mut self,
    eew: Sew,
    val: TElem,
    addr_provenance: (u64, Provenance)
) -> Result<()>

Use an address, provenance pair to write a vector element to memory

Loading content...

Implementors

impl<'a> VecMemInterface<u64, SafeTaggedCap> for CheriAggregateMemory

fn load_from_memory(
    &mut self,
    eew: Sew,
    addr_provenance: (u64, Provenance)
) -> Result<SafeTaggedCap>

fn store_to_memory(
    &mut self,
    eew: Sew,
    val: SafeTaggedCap,
    addr_provenance: (u64, Provenance)
) -> Result<()>

impl<'a> VecMemInterface<u64, SafeTaggedCap> for IntegerModeCheriAggregateMemory<'a>

fn load_from_memory(
    &mut self,
    eew: Sew,
    addr_provenance: (u64, Provenance)
) -> Result<SafeTaggedCap>

fn store_to_memory(
    &mut self,
    eew: Sew,
    val: SafeTaggedCap,
    addr_provenance: (u64, Provenance)
) -> Result<()>

impl<'a, uXLEN: PossibleXlen> VecMemInterface<uXLEN, u128> for AggregateMemory

fn load_from_memory(
    &mut self,
    eew: Sew,
    addr_provenance: (u64, Provenance)
) -> Result<u128>

fn store_to_memory(
    &mut self,
    eew: Sew,
    val: u128,
    addr_provenance: (u64, Provenance)
) -> Result<()>

Loading content...