cmtrs 0.1.2

A rule-based embedded HDL in Rust.
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

//! Cmtrs Type System
//!
//! Currently Type::UInt / Type::SInt and Integer are well-supported, while the others are working in progress.

use cmtir as ir;

// TODO: support more types
#[derive(Debug, Clone)]
pub enum Type {
  /// software integer type, (rust i32)
  Integer,
  /// unsigned int with width
  UInt(u32),
  /// signed int with width
  SInt(u32),
  /// probe, rwprobe, NOT HARDWARE
  Ref(u32),
  /// vector type
  Vector(Box<Type>, u32),
  /// bundle type
  Struct(Vec<(String, Type, bool)>),
  /// union type
  Enum(Vec<(String, Option<Type>)>),
}

impl Type {
  pub fn name(&self) -> String {
    let ir_type: ir::Type = self.clone().into();
    ir_type.to_string()
  }
}

impl Into<ir::Type> for Type {
  fn into(self) -> ir::Type {
    match self {
      Type::Integer => ir::Type::Integer,
      Type::UInt(x) => ir::Type::uint(x),
      Type::SInt(x) => ir::Type::sint(x),
      Type::Ref(x) => ir::Type::new_ref(x),
      Type::Vector(x, y) => ir::Type::vector((*x).into(), y),
      Type::Struct(x) => ir::Type::bundle(x.into_iter().map(|(name, ty, flip)| (name, ty.into(), flip)).collect()),
      Type::Enum(x) => ir::Type::union(x.into_iter().map(|(name, ty)| (name, ty.map(|ty| ty.into()))).collect()),
    }
  }
}

impl From<ir::Type> for Type {
  fn from(ty: ir::Type) -> Self {
    match ty {
      ir::Type::Integer => Self::Integer,
      ir::Type::UInt(x) => Self::UInt(x),
      ir::Type::SInt(x) => Self::SInt(x),
      ir::Type::Ref(x) => Self::Ref(x),
      ir::Type::Vector(x, y) => Self::Vector(Box::new((*x).into()), y),
      ir::Type::Bundle(x) => Self::Struct(x.into_iter().map(|(name, ty, flip)| (name, ty.into(), flip)).collect()),
      ir::Type::Enum(x) => Self::Enum(x.into_iter().map(|(name, ty)| (name, Some(ty.into()))).collect()),
    }
  }
}

pub trait TypeChecker {
  fn accept(ty: &Type) -> bool;
}