vize_l2 0.530.0

L2 - the Davinci semantic IR (codename Disegno): the neutral op family every input dialect lowers into
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

//! An observer unwind cannot seal an interrupted admitted Program as complete.

use crate::file::build::Facts;
pub(super) struct ProgramWalkGuard<'f, 'a> {
    facts: &'f mut Facts<'a>,
    row: usize,
}

impl<'f, 'a> ProgramWalkGuard<'f, 'a> {
    pub(super) fn new(facts: &'f mut Facts<'a>) -> Option<Self> {
        // The actual checked unit constructor just appended this private row.
        let row = facts.units.len().checked_sub(1)?;
        facts.units.get(row)?;
        Some(Self { facts, row })
    }

    pub(super) fn facts(&mut self) -> &mut Facts<'a> {
        self.facts
    }

    /// Normal processing ends after the sole walk/row closure or an explicit
    /// invalid-profile refusal; that refusal already keeps the unit incomplete.
    pub(super) fn complete(self) {
        if let Some(unit) = self.facts.units.get_mut(self.row) {
            unit.complete_walk();
        }
    }
}

impl Drop for ProgramWalkGuard<'_, '_> {
    fn drop(&mut self) {
        if let Some(unit) = self.facts.units.get_mut(self.row) {
            // Inline Pending→Interrupted only: no allocation/callback/assertion.
            unit.interrupt_walk();
        }
    }
}