Struct EncodingGroup

pub struct EncodingGroup {
    pub encodings_per_arch: Vec<Vec<EncodingId>>,
}

For each architecture, a group of overlapping encodings.

Fields

encodings_per_arch: Vec<Vec<EncodingId>>

The encodings per architecture.

Implementations

impl EncodingGroup

pub fn compute_from_arches<A: Arch, C: Computation + Send + Sync>( encodings: &IndexedEncodings<A, C>, arches: Vec<Vec<EncodingId>>, ) -> Vec<EncodingGroup>

Computes a set of EncodingGroups that cover all encodings provided in arches.

pub fn num_encodings(&self) -> usize

The total number of encodings in the group, accross all architectures.

pub fn all_identical_bitpatterns<A: Arch, C: Computation>( &self, encodings: &IndexedEncodings<A, C>, ) -> bool

Checks whether the bitpatterns for the encodings are equivalent between all groups.

pub fn byte_len<A: Arch, C: Computation>( &self, encodings: &IndexedEncodings<A, C>, ) -> usize

Returns the byte length of the instructions in this group.

pub fn only_matching<A: Arch, C: Computation>( &self, encodings: &IndexedEncodings<A, C>, filter: &InstructionFilter, ) -> EncodingGroup

Filters the encodings by filter and only returns encodings for which match filter at least partially.

pub fn compare<A: Arch>( &self, encodings: &IndexedEncodings<A, SynthesizedComputation>, filter: &InstructionFilter, solver: &impl SolverProvider, ) -> ComparisonMatrix

Compares the encodings in the groups and builds a ComparisonMatrix with the comparison results.

pub fn split_exact<A: Arch, C: Computation>( &self, encodings: &IndexedEncodings<A, C>, ) -> Vec<(EncodingGroup, InstructionFilter)>

Splits the group into exact, non-overlapping, subgroups.

pub fn has_encodings_overlapping_filter<A: Arch>( &self, encodings: &IndexedEncodings<A, SynthesizedComputation>, restrict: &InstructionFilter, ) -> bool

Checks whether any encodings overlap the filter restrict.

pub fn all_encodings_have_computations<A: Arch, C: Computation>( &self, encodings: &IndexedEncodings<A, C>, ) -> bool

Checks whether all encodings for all architectures have successfully synthesized computations.

Trait Implementations

impl Clone for EncodingGroup

fn clone(&self) -> EncodingGroup

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for EncodingGroup

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EncodingGroup

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for EncodingGroup

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.