//! Dead-code elimination helpers for the IR optimizer.
/// Collect variable references from an expression tree.
pub use collect_expr_refs;
/// Evaluate whether loop bounds make a loop statically empty.
pub use const_loop_empty;
/// Evaluate an expression as a static boolean when possible.
pub use const_truth;
/// Remove let-bindings whose values are neither live nor effectful.
pub use eliminate_dead_lets;
/// Trim unreachable control-flow nodes after static terminators.
pub use eliminate_unreachable;
/// Classify whether an expression must be preserved for side effects.
pub use expr_has_effect;
/// Result bundle returned by liveness pruning.
pub use LiveResult;
/// Return the node prefix reachable before an unconditional return.
pub use reachable_prefix;
dir!;