tensorlogic-compiler 0.1.0

Compiler for transforming logic expressions into tensor computation graphs
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

//! Core recursive dispatcher for DCE.
//!
//! Delegates to the per-category helpers in `eliminate_flow`, `eliminate_ops`,
//! and `eliminate_ext`.

use tensorlogic_ir::TLExpr;

use super::types::{DceStats, DeadCodeEliminator};

impl DeadCodeEliminator {
    /// Recursively apply DCE rules bottom-up: recurse into children first,
    /// then apply simplification rules at the current node.
    pub(super) fn eliminate(&self, expr: TLExpr, stats: &mut DceStats) -> (TLExpr, bool) {
        let expr = match self.elim_flow(expr, stats) {
            Ok(result) => return result,
            Err(unchanged) => unchanged,
        };

        let expr = match self.elim_ops(expr, stats) {
            Ok(result) => return result,
            Err(unchanged) => unchanged,
        };

        self.elim_ext(expr, stats)
    }
}