air-mir 0.4.0

Intermediate representation for the AirScript language
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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82

use crate::ir::{BackLink, Builder, Bus, Child, Link, Node, Op, Owner, Parent, Singleton};
use miden_diagnostics::{SourceSpan, Spanned};
use std::hash::Hash;

#[derive(Clone, Copy, PartialEq, Eq, Debug, Default, Hash)]
pub enum BusOpKind {
    #[default]
    Insert,
    Remove,
}

#[derive(Default, Clone, Eq, Debug, Spanned, Builder)]
#[enum_wrapper(Op)]
pub struct BusOp {
    pub parents: Vec<BackLink<Owner>>,
    pub bus: BackLink<Bus>,
    pub kind: BusOpKind,
    pub args: Vec<Link<Op>>,
    pub latch: Link<Op>,
    pub _node: Singleton<Node>,
    pub _owner: Singleton<Owner>,
    #[span]
    pub span: SourceSpan,
}

impl Hash for BusOp {
    fn hash<H: std::hash::Hasher>(&self, state: &mut H) {
        self.bus.get_name().hash(state);
        self.kind.hash(state);
        self.args.hash(state);
        self.latch.hash(state);
    }
}

impl PartialEq for BusOp {
    fn eq(&self, other: &Self) -> bool {
        self.bus.get_name() == other.bus.get_name()
            && self.kind == other.kind
            && self.args == other.args
            && self.latch == other.latch
    }
}

impl BusOp {
    pub fn create(
        bus: BackLink<Bus>,
        kind: BusOpKind,
        args: Vec<Link<Op>>,
        span: SourceSpan,
    ) -> Link<Op> {
        Op::BusOp(Self {
            bus,
            kind,
            args,
            span,
            ..Default::default()
        })
        .into()
    }
}

impl Parent for BusOp {
    type Child = Op;
    fn children(&self) -> Link<Vec<Link<Self::Child>>> {
        let mut children = self.args.clone();
        children.push(self.latch.clone());
        children.into()
    }
}

impl Child for BusOp {
    type Parent = Owner;
    fn get_parents(&self) -> Vec<BackLink<Self::Parent>> {
        self.parents.clone()
    }
    fn add_parent(&mut self, parent: Link<Self::Parent>) {
        self.parents.push(parent.into());
    }
    fn remove_parent(&mut self, parent: Link<Self::Parent>) {
        self.parents.retain(|p| *p != parent.clone().into());
    }
}