pub enum SiteKind {
NoMem,
Alloc,
StaticStream,
StaticField,
IndexedBy(Reg),
DynamicHash,
Coprocessor,
}Expand description
The memory shape of one ISA op. Exhaustive over every variant — no wildcard.
Variants§
NoMem
Registers/control only — never touches collection memory.
Alloc
Allocates a fresh collection (allocator bump + sequential init) — static.
StaticStream
Sequential append/pop/scan/copy — a (base, stride, count) stream; static.
StaticField
Constant-offset access: struct field, enum tag/arm, global slot, length header — static.
IndexedBy(Reg)
Element access through an index register — static iff the register is
Const or Induction at analysis time.
DynamicHash
Hash-structure access (set/map insert/remove/lookup/union) — dynamic.
Coprocessor
Off-datapath service: I/O, clock, scheduler, channels, tasks, network, builtins.
Trait Implementations§
impl Copy for SiteKind
impl Eq for SiteKind
impl StructuralPartialEq for SiteKind
Auto Trait Implementations§
impl Freeze for SiteKind
impl RefUnwindSafe for SiteKind
impl Send for SiteKind
impl Sync for SiteKind
impl Unpin for SiteKind
impl UnsafeUnpin for SiteKind
impl UnwindSafe for SiteKind
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,
§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
§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.§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.§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.§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.§impl<T> DowncastSync for T
impl<T> DowncastSync for T
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Checks if this value is equivalent to the given key. Read more
§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key and return true if they are equal.