Struct peepmatic_runtime::optimizations::PeepholeOptimizations

pub struct PeepholeOptimizations {
    pub paths: PathInterner,
    pub integers: IntegerInterner,
    pub automata: Automaton<MatchResult, MatchOp, Box<[Action]>>,
}

A compiled set of peephole optimizations.

This is the compilation result of the peepmatic crate, after its taken a bunch of optimizations written in the DSL and lowered and combined them.

Fields

paths: PathInterner

The instruction paths referenced by the peephole optimizations.

integers: IntegerInterner

Not all integers we're matching on fit in the u32 that we use as the result of match operations. So we intern them and refer to them by id.

automata: Automaton<MatchResult, MatchOp, Box<[Action]>>

The underlying automata for matching optimizations' left-hand sides, and building up the corresponding right-hand side.

Implementations

impl PeepholeOptimizations

pub fn deserialize(serialized: &[u8]) -> Result<Self>

Deserialize a PeepholeOptimizations from bytes.

pub fn optimizer<'peep, 'ctx, I>(
    &'peep self,
    instr_set: I
) -> PeepholeOptimizer<'peep, 'ctx, I> where
    I: InstructionSet<'ctx>, 

Create a new peephole optimizer instance from this set of peephole optimizations.

The peephole optimizer instance can be used to apply these peephole optimizations. When checking multiple instructions for whether they can be optimized, it is more performant to reuse a single peephole optimizer instance, rather than create a new one for each instruction. Reusing the peephole optimizer instance allows the reuse of a few internal allocations.

Trait Implementations

impl Debug for PeepholeOptimizations

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for PeepholeOptimizations

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Serialize for PeepholeOptimizations

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

Serialize this value into the given Serde serializer.