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

//! Thread-local test faults never alter production File facts or storage scans.
extern crate std;
use std::cell::Cell;

#[derive(Clone, Copy, PartialEq, Eq)]
pub(super) enum Fault {
    BeforeObserve,
    AfterPark,
    AfterMint,
    AfterFailurePark,
}

std::thread_local! {
    static FAULT: Cell<Option<Fault>> = const { Cell::new(None) };
}

pub(super) fn set_fault(fault: Fault) {
    FAULT.with(|state| state.set(Some(fault)));
}

fn trip(fault: Fault) {
    FAULT.with(|state| {
        if state.get() == Some(fault) {
            state.set(None);
            panic!("test fault during original interpolation event");
        }
    });
}

pub(super) fn after_park() {
    trip(Fault::AfterPark);
}
pub(super) fn before_observe() {
    trip(Fault::BeforeObserve);
}
pub(super) fn after_failure_park() {
    trip(Fault::AfterFailurePark);
}
pub(super) fn after_mint() {
    trip(Fault::AfterMint);
}