device-driver-mir 2.2.0

Internal compiler crate for the device-driver toolkit
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

use std::collections::HashSet;

use device_driver_common::specifiers::Access;
use device_driver_diagnostics::{Diagnostics, DynError, errors::UnspecifiedAccess};

use crate::{
    model::{Manifest, ObjectId, ObjectMut},
    passes::Pass,
};

use super::Assumption;

pub struct AccessSet;

impl Pass for AccessSet {
    const ASSUMPTIONS_MADE: &[Assumption] = &[];
    const ASSUMPTIONS_RELEASED: &[Assumption] = &[Assumption::AccessSet];

    fn run_pass(
        manifest: &mut Manifest,
        diagnostics: &mut Diagnostics,
    ) -> Result<HashSet<ObjectId>, DynError> {
        let all_objects = manifest.object_ids().collect::<Vec<_>>();

        for object_id in all_objects {
            let default_access = manifest.object_default_access(object_id);

            let object = object_id.get_mut(manifest).unwrap();
            match object {
                ObjectMut::Register(val) => {
                    val.access = val.access.or(default_access);
                    if val.access.is_none() {
                        val.access = Some(Access::RW);
                        diagnostics.add(UnspecifiedAccess {
                            object_name: val.name.span,
                            short_property: false,
                            properties_span: val.properties_span,
                        });
                    }
                }
                ObjectMut::Buffer(val) => {
                    val.access = val.access.or(default_access);
                    if val.access.is_none() {
                        val.access = Some(Access::RW);
                        diagnostics.add(UnspecifiedAccess {
                            object_name: val.name.span,
                            short_property: false,
                            properties_span: val.properties_span,
                        });
                    }
                }
                ObjectMut::Field(val) => {
                    val.access = val.access.or(default_access);
                    if val.access.is_none() {
                        val.access = Some(Access::RW);
                        diagnostics.add(UnspecifiedAccess {
                            object_name: val.name.span,
                            short_property: true,
                            properties_span: Some(val.short_properties_span),
                        });
                    }
                }
                ObjectMut::Device(_) => {}
                ObjectMut::Block(_) => {}
                ObjectMut::Command(_) => {}
                ObjectMut::FieldSet(_) => {}
                ObjectMut::Enum(_) => {}
                ObjectMut::Extern(_) => {}
                ObjectMut::EnumVariant(_) => {}
            }
        }

        Ok(Default::default())
    }
}