calyx_opt/analysis/
mod.rs

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
42
43
44
45
46
47
48
49
//! Analysis for Calyx programs.
//!
//! The analyses construct data-structures that make answering certain queries
//! about Calyx programs easier.

mod compaction_analysis;
mod compute_static;
mod control_id;
mod control_order;
mod control_ports;
mod dataflow_order;
mod domination_analysis;
mod graph;
mod graph_coloring;
mod inference_analysis;
mod live_range_analysis;
mod port_interface;
mod promotion_analysis;
pub mod reaching_defns;
mod read_write_set;
mod schedule_conflicts;
mod share_set;
mod static_fsm;
mod static_par_timing;
mod static_tree;
mod variable_detection;

pub use compaction_analysis::CompactionAnalysis;
pub use compute_static::IntoStatic;
pub use compute_static::WithStatic;
pub use control_id::ControlId;
pub use control_order::ControlOrder;
pub use control_ports::ControlPorts;
pub use dataflow_order::DataflowOrder;
pub use domination_analysis::DominatorMap;
pub use graph::GraphAnalysis;
pub use graph_coloring::GraphColoring;
pub use inference_analysis::GoDone;
pub use inference_analysis::InferenceAnalysis;
pub use live_range_analysis::LiveRangeAnalysis;
pub use port_interface::PortInterface;
pub use promotion_analysis::PromotionAnalysis;
pub use read_write_set::{AssignmentAnalysis, ReadWriteSet};
pub use schedule_conflicts::ScheduleConflicts;
pub use share_set::ShareSet;
pub use static_fsm::{FSMEncoding, StaticFSM};
pub use static_par_timing::StaticParTiming;
pub use static_tree::{Node, ParNodes, SingleNode, StateType};
pub use variable_detection::VariableDetection;