midenc-codegen-masm 0.7.1

Miden Assembly backend for the Miden compiler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

mod context;
mod solver;
mod stack;
mod tactics;
#[cfg(test)]
mod testing;

pub use midenc_hir::{StackOperand as Operand, ValueOrAlias};

pub use self::solver::{OperandMovementConstraintSolver, SolverError, SolverOptions};
use self::{context::SolverContext, stack::Stack};

/// The number of field elements addressable by MASM stack manipulation instructions.
pub(crate) const MASM_STACK_WINDOW_FELTS: usize = 16;

/// This represents a specific action that should be taken by
/// the code generator with regard to an operand on the stack.
///
/// The output of the optimizer is a sequence of these actions,
/// the effect of which is to place all of the current instruction's
/// operands exactly where they need to be, just when they are
/// needed.
#[derive(Debug, Copy, Clone, PartialEq, Eq)]
pub enum Action {
    /// Copy the operand at the given index to the top of the stack
    Copy(u8),
    /// Swap the operand at the given index with the one on top of the stack
    Swap(u8),
    /// Move the operand at the given index to the top of the stack
    MoveUp(u8),
    /// Move the operand at the top of the stack to the given index
    MoveDown(u8),
}