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
27
28
29
30
31
32

//! MIR analysis passes.
//!
//! This module contains dataflow analysis passes for MIR, including:
//! - Liveness analysis for tracking value lifetimes
//! - Phi elimination for converting SSA to CSSA
//! - Loop analysis for detecting and analyzing natural loops

mod cfg;
pub use cfg::{CfgInfo, DominatorTree};

mod call_graph;
pub use call_graph::CallGraphInfo;

mod liveness;
pub use liveness::{LiveSet, Liveness, LivenessInfo};

mod phi_elimination;
pub use phi_elimination::{
    BlockCopies, CopyDest, CopySource, ParallelCopy, PhiEliminationResult, PhiEliminator,
    eliminate_phis,
};

mod loop_analysis;
pub use loop_analysis::{InductionVariable, Loop, LoopAnalyzer, LoopInfo};

mod scalar_evolution;
pub use scalar_evolution::{AffineExpr, AffineTerm, ScalarEvolution};

mod validator;
pub use validator::{
    ValidationError, Validator, ValidatorAnalysis, validate_function, validate_module,
};