cmtc 0.1.2

The cmtc compiler providing cmtir-based passes to generate backends including FIRRTL, SystemVerilog and simulators.
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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67

use super::*;
use std::collections::HashSet;
use std::hash::{Hash, Hasher};

pub struct CanonicalizePass {}

impl CanonicalizePass {
  pub fn new() -> Self {
    Self {}
  }
}

impl Visitor for CanonicalizePass {
  fn name() -> &'static str {
    "CanonicalizePass"
  }

  fn visit_rule_impl(
    &mut self,
    data: &mut VisitorData,
  ) -> anyhow::Result<(Vec<ir::Rule>, Vec<ir::RuleRel>)> {
    let guard_ops =
      data.rule().guard().map(|op| op.clone()).collect::<Vec<_>>();
    let mut value_map: HashMap<ir::ValueId, ir::ValueId> = HashMap::new();
    for op in guard_ops {
      let flatten = Self::flatten_op(&op);
      for op in flatten {
        if let ir::OpEnum::Assign(ir::AssignOp { res, value }) = op.inner() {
          if res.name(&data.module.values).is_none() {
            value_map.clear();
            value_map.insert(*value, *res);
            data.rule_mut().replace_all_op_with_map(&value_map);
            data.rule_mut().remove_unused_op();
          } else if value.name(&data.module.values).is_none() {
            value_map.clear();
            value_map.insert(*res, *value);
            data.rule_mut().replace_all_op_with_map(&value_map);
            data.rule_mut().remove_unused_op();
          }
        }
      }
    }

    let ops = data.rule().ops().map(|op| op.clone()).collect::<Vec<_>>();
    for op in ops {
      let flatten = Self::flatten_op(&op);
      for op in flatten {
        if let ir::OpEnum::Assign(ir::AssignOp { res, value }) = op.inner() {
          if res.name(&data.module.values).is_none() {
            value_map.clear();
            value_map.insert(*value, *res);
            data.rule_mut().replace_all_op_with_map(&value_map);
            data.rule_mut().remove_unused_op();
          } else if value.name(&data.module.values).is_none() {
            value_map.clear();
            value_map.insert(*res, *value);
            data.rule_mut().replace_all_op_with_map(&value_map);
            data.rule_mut().remove_unused_op();
          }
        }
      }
    }

    // Keep the rule as is
    Ok((vec![data.take_rule()], vec![]))
  }
}