Module peepmatic_runtime::linear [−][src]
Expand description
A linear IR for optimizations.
This IR is designed such that it should be easy to combine multiple linear optimizations into a single automata.
See also src/linearize.rs
for the AST to linear IR translation pass.
Structs
Match any value.
A canonicalized identifier for a left-hand side value that was bound in a pattern.
A partial match of an optimization’s LHS.
A linearized optimization.
A set of linear optimizations.
A canonicalized identifier for a right-hand side value.
Enums
An action to perform when transitioning between states in the automata.
A matching operation to be performed on some Cranelift instruction as part of determining whether an optimization is applicable.
Functions
Convert a boolean to a MatchResult
.
Type Definitions
The result of evaluating a MatchOp
.