wazabin-jstd 0.2.1

Typed identifiers, registries, graph containers with dominator/SESE analysis, string interning, and stable arenas
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

//! Graph analysis algorithms.
//!
//! This module currently provides classic control-flow analyses:
//! - dominators
//! - post-dominators
//! - canonical edge-based SESE regions / program-structure trees
//!
//! Re-exported helpers:
//! - [`reachable_from_root`]
//! - [`compute_dominators`]
//! - [`DominatorTree`]
//! - [`compute_postdominators`]
//! - [`compute_sese`]

pub mod dominator;
pub mod post_dominator;
pub mod sese;

pub use dominator::{DominatorTree, compute_dominators, reachable_from_root};
pub use post_dominator::compute_postdominators;
// Public rather than crate-private: the layout crate composes SESE regions from
// the candidate set before `compute_sese` reduces it to the canonical tree.
pub use sese::compute_sese_candidates;
pub use sese::{SeseRegion, SeseTree, compute_sese};