pub struct Bytecode {Show 17 fields
pub instructions: Vec<Instr>,
pub instr_spans: Vec<Span>,
pub call_arg_spans: Vec<Option<Vec<Span>>>,
pub coverage_sites: Vec<Vec<u64>>,
pub source_id: Option<SourceId>,
pub var_count: usize,
pub bound_functions: HashMap<FunctionId, FunctionBytecode>,
pub function_registry: FunctionRegistry,
pub var_types: Vec<Type>,
pub var_names: HashMap<usize, String>,
pub initially_unassigned_slots: HashSet<usize>,
pub layout: Option<VmAssemblyLayout>,
pub async_metadata: AsyncMetadata,
pub regions: Vec<BytecodeRegion>,
pub accel_graph: Option<AccelGraph>,
pub fusion_groups: Vec<FusionGroup>,
pub fusion_metadata: FusionMetadata,
}Fields§
§instructions: Vec<Instr>§instr_spans: Vec<Span>§call_arg_spans: Vec<Option<Vec<Span>>>§coverage_sites: Vec<Vec<u64>>§source_id: Option<SourceId>§var_count: usize§bound_functions: HashMap<FunctionId, FunctionBytecode>§function_registry: FunctionRegistry§var_types: Vec<Type>§var_names: HashMap<usize, String>§initially_unassigned_slots: HashSet<usize>§layout: Option<VmAssemblyLayout>§async_metadata: AsyncMetadata§regions: Vec<BytecodeRegion>Canonical region identities mapped onto function-local bytecode PCs.
accel_graph: Option<AccelGraph>§fusion_groups: Vec<FusionGroup>§fusion_metadata: FusionMetadataImplementations§
Source§impl Bytecode
impl Bytecode
pub fn empty() -> Self
pub fn with_instructions(instructions: Vec<Instr>, var_count: usize) -> Self
pub fn function_registry(&self) -> FunctionRegistry
pub fn for_function( function: &FunctionBytecode, registry: FunctionRegistry, layout: VmAssemblyLayout, ) -> Self
pub fn runtime_fusion_groups(&self) -> Vec<FusionGroup>
pub fn runtime_fusion_groups_for_graph( &self, graph: &AccelGraph, ) -> Vec<FusionGroup>
pub fn runtime_accel_graph_for_fusion( &self, runtime_groups: &[FusionGroup], ) -> Option<AccelGraph>
pub fn runtime_accel_graph_for_fusion_with_source( &self, runtime_groups: &[FusionGroup], ) -> (Option<AccelGraph>, RuntimeAccelGraphSource)
Source§impl Bytecode
impl Bytecode
Sourcepub fn install_regions(
&mut self,
contracts: &[RegionContract],
) -> Result<(), String>
pub fn install_regions( &mut self, contracts: &[RegionContract], ) -> Result<(), String>
Transactionally install every analyzed region that resolves to exact empty-stack VM boundaries in this bytecode product. Regions are optional optimization candidates; a composed or transformed product that cannot represent one must execute normally without it.
Trait Implementations§
Source§impl<'de> Deserialize<'de> for Bytecode
impl<'de> Deserialize<'de> for Bytecode
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
Auto Trait Implementations§
impl !Send for Bytecode
impl !Sync for Bytecode
impl Freeze for Bytecode
impl RefUnwindSafe for Bytecode
impl Unpin for Bytecode
impl UnsafeUnpin for Bytecode
impl UnwindSafe for Bytecode
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
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
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 moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.