#[repr(C)]pub struct MemInstrEvent {
pub shard: u32,
pub clk: u32,
pub pc: u32,
pub opcode: Opcode,
pub a: u32,
pub b: u32,
pub c: u32,
pub op_a_0: bool,
pub mem_access: MemoryRecordEnum,
}Expand description
Memory Instruction Event.
This object encapsulated the information needed to prove a RISC-V memory operation.
Fields§
§shard: u32The shard.
clk: u32The clk.
pc: u32The program counter.
opcode: OpcodeThe opcode.
a: u32The first operand value.
b: u32The second operand value.
c: u32The third operand value.
op_a_0: boolWhether the first operand is register 0.
mem_access: MemoryRecordEnumThe memory access record for memory operations.
Implementations§
Source§impl MemInstrEvent
impl MemInstrEvent
Trait Implementations§
Source§impl Clone for MemInstrEvent
impl Clone for MemInstrEvent
Source§fn clone(&self) -> MemInstrEvent
fn clone(&self) -> MemInstrEvent
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for MemInstrEvent
impl Debug for MemInstrEvent
Source§impl<'de> Deserialize<'de> for MemInstrEvent
impl<'de> Deserialize<'de> for MemInstrEvent
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Source§impl Serialize for MemInstrEvent
impl Serialize for MemInstrEvent
impl Copy for MemInstrEvent
Auto Trait Implementations§
impl Freeze for MemInstrEvent
impl RefUnwindSafe for MemInstrEvent
impl Send for MemInstrEvent
impl Sync for MemInstrEvent
impl Unpin for MemInstrEvent
impl UnwindSafe for MemInstrEvent
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Convert
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>. Box<dyn Any> can
then be further downcast into Box<ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Convert
Rc<Trait> (where Trait: Downcast) to Rc<Any>. Rc<Any> can then be
further downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
Convert
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
Convert
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more