midenc-hir-analysis 0.4.1

Analysis passes and utilties for Miden HIR
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
33
34
35
36
37
38
39
40
41

#![no_std]
#![feature(allocator_api)]
#![feature(coerce_unsized)]
#![feature(debug_closure_helpers)]
#![feature(ptr_metadata)]
#![feature(specialization)]
#![feature(unsize)]
// Specialization
#![allow(incomplete_features)]
#![deny(warnings)]

extern crate alloc;
#[cfg(test)]
extern crate std;

pub mod analyses;
mod analysis;
mod anchor;
mod change_result;
mod config;
pub mod dense;
mod lattice;
mod solver;
pub mod sparse;

use self::anchor::LatticeAnchorExt;
pub use self::{
    analysis::{
        AnalysisKind, AnalysisState, AnalysisStateGuard, AnalysisStateGuardMut, AnalysisStateInfo,
        AnalysisStateSubscription, AnalysisStateSubscriptionBehavior, AnalysisStrategy,
        BuildableAnalysisState, BuildableDataFlowAnalysis, CallControlFlowAction, DataFlowAnalysis,
        Dense, Revision, Sparse,
    },
    anchor::{LatticeAnchor, LatticeAnchorRef},
    change_result::ChangeResult,
    config::DataFlowConfig,
    dense::{DenseBackwardDataFlowAnalysis, DenseForwardDataFlowAnalysis, DenseLattice},
    lattice::{Lattice, LatticeLike},
    solver::{AnalysisQueue, DataFlowSolver},
    sparse::{SparseBackwardDataFlowAnalysis, SparseForwardDataFlowAnalysis, SparseLattice},
};