midenc-hir 0.9.2

High-level Intermediate Representation for Miden Assembly
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
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

use core::fmt;

use crate::{
    AttrPrinter, Attribute, OpPrintingFlags, attributes::AttrList, derive::DialectAttribute,
    dialects::builtin::BuiltinDialect, print::AsmPrinter,
};

#[derive(DialectAttribute, Default)]
#[attribute(dialect = BuiltinDialect, implements(AttrPrinter))]
pub struct List(AttrList);

impl fmt::Debug for List {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        let mut list = f.debug_list();
        for entry in self.0.iter() {
            let attr = entry.as_trait::<dyn Attribute>().unwrap();
            list.entry_with(|f| write!(f, "{attr:?}"));
        }
        list.finish()
    }
}

impl fmt::Display for List {
    fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {
        let mut list = f.debug_list();
        let flags = OpPrintingFlags::default();
        for entry in self.0.iter() {
            let attr = entry.as_trait::<dyn Attribute>().unwrap();
            list.entry_with(|f| {
                let context = attr.context_rc();
                let mut printer = AsmPrinter::new(context, &flags);
                printer.print_attribute_value(attr);
                write!(f, "{}", printer.finish())
            });
        }
        list.finish()
    }
}

impl Eq for List {}
impl PartialEq for List {
    fn eq(&self, other: &Self) -> bool {
        let mut lhs = self.0.front();
        let mut rhs = other.0.front();
        loop {
            match (lhs.get(), rhs.get()) {
                (None, None) => break true,
                (Some(l), Some(r)) => {
                    if !l
                        .as_trait::<dyn Attribute>()
                        .unwrap()
                        .dyn_eq(r.as_trait::<dyn Attribute>().unwrap())
                    {
                        break false;
                    }
                }
                _ => break false,
            }

            lhs.move_next();
            rhs.move_next();
        }
    }
}

impl Clone for List {
    fn clone(&self) -> Self {
        let mut list = AttrList::new();
        for attr in self.0.iter() {
            let cloned = attr.as_trait::<dyn Attribute>().unwrap().dyn_clone();
            let attr = cloned.borrow().as_attr().as_attr_ref();
            list.push_back(attr);
        }
        Self(list)
    }
}

impl core::hash::Hash for List {
    fn hash<H: core::hash::Hasher>(&self, state: &mut H) {
        for attr in self.0.iter() {
            attr.as_trait::<dyn Attribute>().unwrap().dyn_hash(state);
        }
    }
}

impl From<AttrList> for List {
    fn from(value: AttrList) -> Self {
        Self(value)
    }
}

impl From<List> for AttrList {
    fn from(value: List) -> Self {
        value.0
    }
}

impl AsRef<AttrList> for List {
    fn as_ref(&self) -> &AttrList {
        &self.0
    }
}

impl AsMut<AttrList> for List {
    fn as_mut(&mut self) -> &mut AttrList {
        &mut self.0
    }
}

impl AttrPrinter for ListAttr {
    fn print(&self, _printer: &mut AsmPrinter<'_>) {
        todo!()
    }
}