vize_l2 0.485.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
38
39
40
41
42
43
44

//! Fault hooks are private thread-local test state, absent from production.
extern crate std;
use std::cell::Cell;
#[derive(Clone, Copy, PartialEq, Eq)]
pub(super) enum Fault {
    BeforeObserve,
    AfterPark,
    AfterMint,
    AfterAttach,
}
std::thread_local! {
    static FAULT: Cell<Option<Fault>> = const { Cell::new(None) };
    static OBSERVATIONS: Cell<usize> = const { Cell::new(0) };
}
pub(super) fn set_fault(fault: Fault) {
    FAULT.with(|state| state.set(Some(fault)));
}
pub(super) fn reset_observations() {
    OBSERVATIONS.with(|state| state.set(0));
}
pub(super) fn observations() -> usize {
    OBSERVATIONS.with(Cell::get)
}
fn trip(fault: Fault) {
    FAULT.with(|state| {
        if state.get() == Some(fault) {
            state.set(None);
            panic!("private fault at original prepared root Text event");
        }
    });
}
pub(super) fn before_observe() {
    trip(Fault::BeforeObserve);
    OBSERVATIONS.with(|state| state.set(state.get() + 1));
}
pub(super) fn after_park() {
    trip(Fault::AfterPark);
}
pub(super) fn after_mint() {
    trip(Fault::AfterMint);
}
pub(super) fn after_attach() {
    trip(Fault::AfterAttach);
}