vize_l3 0.599.0

L3 - the Davinci reactivity IR (codename Impeto): flat scheduled ops with explicit state and effect edges
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

use vize_l0::Span;

use super::{OpId, RegionId};

/// Region metadata for the flat L3 graph.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct Region {
    pub id: RegionId,
    pub parent: Option<RegionId>,
    pub owner: Option<OpId>,
    pub span: Span,
}

impl Region {
    /// Root region for a program.
    #[must_use]
    pub const fn root(span: Span) -> Self {
        Self {
            id: RegionId::ROOT,
            parent: None,
            owner: None,
            span,
        }
    }

    /// A nested region owned by an op in `parent`.
    #[must_use]
    pub const fn child(id: RegionId, parent: RegionId, owner: OpId, span: Span) -> Self {
        Self {
            id,
            parent: Some(parent),
            owner: Some(owner),
            span,
        }
    }
}