vize_l3 0.554.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
37
38
39

use super::{Placement, PlacementSet};
use crate::op::OpId;

/// The placement alternatives recorded on one op, plus the committed choice.
///
/// An op without a record has exactly the canonical [`Placement::Inline`]
/// shape. A record therefore always lists `inline` and at least one other
/// alternative, and records appear in program op order.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct PlacementRecord {
    /// The op whose work may move.
    pub op: OpId,
    /// Every semantics-preserving shape available to the op.
    pub alternatives: PlacementSet,
    /// Head of the effect unit the `group` alternative joins.
    pub leader: Option<OpId>,
    /// The committed shape. Canonical programs choose `inline`.
    pub chosen: Placement,
}

impl PlacementRecord {
    /// A record that still has the canonical `inline` choice.
    #[must_use]
    pub const fn new(op: OpId, alternatives: PlacementSet, leader: Option<OpId>) -> Self {
        Self {
            op,
            alternatives,
            leader,
            chosen: Placement::Inline,
        }
    }

    /// The same record with `chosen` committed.
    #[must_use]
    pub const fn with_chosen(mut self, chosen: Placement) -> Self {
        self.chosen = chosen;
        self
    }
}