solar-codegen 0.2.0

Solidity MIR and EVM code generation
Documentation 
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

//! Stack scheduling for EVM code generation.
//!
//! This module handles the translation from MIR's SSA values to EVM's stack-based model.
//! The key abstraction is `StackModel`, which tracks which MIR values are at which stack depths.
//!
//! ## Submodules
//!
//! - `model`: Core stack model tracking value positions
//! - `scheduler`: Stack scheduler for generating DUP/SWAP sequences
//! - `shuffler`: Optimal stack layout transitions (backward analysis)
//! - `spill`: Spill management for values beyond depth 16

mod model;
mod scheduler;
pub mod shuffler;
mod spill;

pub(crate) use model::MAX_STACK_ACCESS;
pub use model::{StackModel, StackOp};
pub use scheduler::{ScheduledOp, StackScheduler};
pub use shuffler::{
    BlockStackLayout, LayoutAnalysis, ShuffleResult, StackShuffler, TargetSlot,
    combine_stack_layouts, estimate_shuffle_cost, ideal_binary_op_entry, ideal_operand_layout,
    ideal_unary_op_entry, is_freely_generable,
};
pub use spill::{SpillManager, SpillSlot};