eb2dab0aa4
A boxed slice is only two words, while a vec is three words. This should cut down on the memory size of our automata and improve cache usage.
32 lines
1.1 KiB
Rust
32 lines
1.1 KiB
Rust
//! Compile a set of linear optimizations into an automaton.
|
|
|
|
use peepmatic_automata::{Automaton, Builder};
|
|
use peepmatic_runtime::linear;
|
|
|
|
/// Construct an automaton from a set of linear optimizations.
|
|
pub fn automatize(
|
|
opts: &linear::Optimizations,
|
|
) -> Automaton<linear::MatchResult, linear::MatchOp, Box<[linear::Action]>> {
|
|
debug_assert!(crate::linear_passes::is_sorted_lexicographically(opts));
|
|
|
|
let mut builder = Builder::<linear::MatchResult, linear::MatchOp, Box<[linear::Action]>>::new();
|
|
|
|
for opt in &opts.optimizations {
|
|
let mut insertion = builder.insert();
|
|
for inc in &opt.increments {
|
|
// Ensure that this state's associated data is this increment's
|
|
// match operation.
|
|
if let Some(op) = insertion.get_state_data() {
|
|
assert_eq!(*op, inc.operation);
|
|
} else {
|
|
insertion.set_state_data(inc.operation);
|
|
}
|
|
|
|
insertion.next(inc.expected, inc.actions.clone().into_boxed_slice());
|
|
}
|
|
insertion.finish();
|
|
}
|
|
|
|
builder.finish()
|
|
}
|