pub struct DynMalloc;Expand description
Return a pointer to the next free page of memory. Updates the dyn malloc state accordingly
Implementations§
Source§impl DynMalloc
impl DynMalloc
pub fn memory_region() -> MemoryRegion
Trait Implementations§
Source§impl BasicSnippet for DynMalloc
impl BasicSnippet for DynMalloc
Source§fn parameters(&self) -> Vec<(DataType, String)>
fn parameters(&self) -> Vec<(DataType, String)>
The parameters expected by this snippet. Read more
Source§fn return_values(&self) -> Vec<(DataType, String)>
fn return_values(&self) -> Vec<(DataType, String)>
The (types of the) values this snippet computes. Read more
Source§fn entrypoint(&self) -> String
fn entrypoint(&self) -> String
The name of the snippet as a possible target for Triton VM’s
instruction
call.Source§fn code(&self, _: &mut Library) -> Vec<LabelledInstruction>
fn code(&self, _: &mut Library) -> Vec<LabelledInstruction>
The Triton Assembly that defines this snippet. Read more
Source§fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>
fn annotated_code(&self, library: &mut Library) -> Vec<LabelledInstruction>
Source§fn stack_diff(&self) -> isize
fn stack_diff(&self) -> isize
The size difference of the stack as a result of executing this snippet.
Source§impl Function for DynMalloc
impl Function for DynMalloc
fn rust_shadow( &self, stack: &mut Vec<BFieldElement>, memory: &mut HashMap<BFieldElement, BFieldElement>, )
Source§fn pseudorandom_initial_state(
&self,
seed: [u8; 32],
_: Option<BenchmarkCase>,
) -> FunctionInitialState
fn pseudorandom_initial_state( &self, seed: [u8; 32], _: Option<BenchmarkCase>, ) -> FunctionInitialState
Return (init_stack, init_memory)
fn corner_case_initial_states(&self) -> Vec<FunctionInitialState>
impl Copy for DynMalloc
impl Eq for DynMalloc
impl StructuralPartialEq for DynMalloc
Auto Trait Implementations§
impl Freeze for DynMalloc
impl RefUnwindSafe for DynMalloc
impl Send for DynMalloc
impl Sync for DynMalloc
impl Unpin for DynMalloc
impl UnwindSafe for DynMalloc
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<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> SignedOffSnippet for Twhere
T: BasicSnippet + ?Sized,
impl<T> SignedOffSnippet for Twhere
T: BasicSnippet + ?Sized,
Source§fn fingerprint(&self) -> SignOffFingerprint
fn fingerprint(&self) -> SignOffFingerprint
The unique fingerprint as used for signing off on
this snippet.
Source§fn assert_all_sign_offs_are_up_to_date(&self)
fn assert_all_sign_offs_are_up_to_date(&self)
Panics if any sign-offs disagree with the actual
fingerprint.